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