1 2 3 4 5 6 7 8 9
/* { dg-do compile } */ /* { dg-options "-O2" } */ extern int __attribute__((returns_twice)) setjmp(void*); void bbb(void) { int (*fnptr)(void*) = setjmp; fnptr(0); }