c – SetJmp / LongJmp：为什么这会引发段错？

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优化,它正在擦除未使用的堆栈帧或其他东西.

谢谢.