我一直在写一个 GCC 过程间插件,我必须在其中插入 GIMPLE 语句在程序的某些点。在此之后,我对完整的数据流进行分析程序。当我完成分析后,我将删除那些新插入的 GIMPLE 语句。
我的分析即将完成,但在退出分析之前,会生成以下消息:
内部编译器错误:在 execute_ipa_pass_list 中,在 passes.c:1817
这肯定是因为插入了 GIMPLE 语句,如果我不这样做,我就不会收到此错误消息。
谁能帮我解释问题是什么以及如何解决?
这通常发生在 GCC 代码包含结果为false
的断言时。
passes.c
中的第 1817 行(它是 GCC 源代码的一部分,位于 GCC 源代码树的 gcc
子目录中)有一段代码,如下所示:
gcc_assert (some_condition);
在您的情况下,some_condition
是错误的,但编译器希望它始终true
(这就是代码作者首先编写断言的原因)。
你在插件中做了一些事情,使它false
,你需要修复它。
你做错了什么?这真的取决于。打开passes.c
并找到该行,看看它正在检查什么。在我的GCC副本中,相关函数如下:
void
execute_ipa_pass_list (struct opt_pass *pass)
{
do
{
/* An assertion. */
gcc_assert (!current_function_decl);
/* Another assertion. */
gcc_assert (!cfun);
/* Another assertion. */
gcc_assert (pass->type == SIMPLE_IPA_PASS || pass->type == IPA_PASS);
if (execute_one_pass (pass) && pass->sub)
{
if (pass->sub->type == GIMPLE_PASS)
{
invoke_plugin_callbacks (PLUGIN_EARLY_GIMPLE_PASSES_START, NULL);
do_per_function_toporder ((void (*)(void *))execute_pass_list,
pass->sub);
invoke_plugin_callbacks (PLUGIN_EARLY_GIMPLE_PASSES_END, NULL);
}
else if (pass->sub->type == SIMPLE_IPA_PASS
|| pass->sub->type == IPA_PASS)
execute_ipa_pass_list (pass->sub);
else
gcc_unreachable ();
}
/* Another assertion. */
gcc_assert (!current_function_decl);
cgraph_process_new_functions ();
pass = pass->next;
}
while (pass);
}
有四种gcc_assert
声明。您的插件导致其中一个变为错误。即你弄乱了其中一个变量:
current_function_decl
cfun
pass->type
这可能是问题所在。