rt_gccstream/gcc/testsuite/gcc.c-torture/compile/20011029-1.c

void foo (void *) __attribute__ ((noreturn));

void
bar (void *x)
{
  if (__builtin_setjmp (x))
    return;
  foo (x);
}