我正在开发一个为GCC构建边界检查插件的项目。因为，这与 mudflap 的目的相似，这将是一个很好的起点。因此，我开始尝试全面了解为什么 mudflap 在两次传递中完成GIMPLE仪器，为什么传球被放置在他们所在的位置。我知道pass1必须在高GIMPLE上执行，因此必须早于gimple降低传递。但是，我还不了解放置第二遍的理由。 如果有人可以对这一点有所了解，我会很感激。我在gcc-help论坛上发布了同样的问题（这里：http://gcc.gnu.org/ml/gcc-help/2012-02/msg00206.html），但还没有回复。我希望有人可以提供帮助。
谢谢！