1 2 3 4 5 6 7 8 9
void foo (void *) __attribute__ ((noreturn)); void bar (void *x) { if (__builtin_setjmp (x)) return; foo (x); }