Следующий код резюмирует проблему, с которой я столкнулся на данный момент. Мой текущий поток выполнения выглядит следующим образом: я работаю в 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();
}
Вышеупомянутый поток выполнения создает segfault сразу после возврата в b_helper. Это похоже на то, как если бы действителен только фрейм стека b_helper, а стеки под ним стираются.
Кто-нибудь может объяснить, почему это происходит? Я предполагаю, что это оптимизация GCC, которая стирает неиспользуемые кадры стека или что-то в этом роде.
Спасибо.