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