以下代码总结了我目前遇到的问题.我当前的执行流程如下,我在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优化,它正在擦除未使用的堆栈帧或其他东西.
谢谢.
解决方法
你只能longjmp()备份调用堆栈.对longjmp(b_buf,1)的调用是事情开始出错的地方,因为b_buf引用的堆栈帧在longjmp(a_buf)之后不再存在.
从longjmp的文档：
The longjmp() routines may not be called after the routine which called the setjmp() routines returns.
这包括通过函数中的longjmp()“返回”.