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