以下代码总结了我目前遇到的问题。我当前的执行流程如下,我在 GCC 4.3 中运行。
jmp_buf a_buf;
jmp_buf b_buf;
void b_helper()
{
printf("entering b_helper");
if(setjmp(b_buf) == 0)
{
printf("longjmping to a_buf");
longjmp(a_buf, 1);
}
printf("returning from b_helper");
return; //segfaults right here
}
void b()
{
b_helper();
}
void a()
{
printf("setjmping a_buf");
if(setjmp(a_buf) == 0)
{
printf("calling b");
b();
}
printf("longjmping to b_buf");
longjmp(b_buf, 1);
}
int main()
{
a();
}
上面的执行流程在 b_helper 中返回后立即创建了一个段错误。就好像只有 b_helper 堆栈帧是有效的,它下面的堆栈被擦除了。
谁能解释为什么会这样?我猜这是删除未使用的堆栈帧或其他东西的 GCC 优化。
谢谢。