20011029-1.c

this is a gcc file, you can download it and learn its usetility, for further detail please look at t

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

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