1  /* { dg-do compile } */
       2  
       3  typedef int jmp_buf[1];
       4  
       5  extern void exit(int) __attribute__((__noreturn__));
       6  extern int setjmpx(jmp_buf) __attribute__((__returns_twice__));
       7  
       8  jmp_buf jbAnagram;
       9  int a[6];
      10  int d;
      11  int b () { exit (1); }
      12  int c () { b (); }
      13  int e ()
      14  {
      15    int f = 0;
      16    for (; f < 6; f++)
      17      a[f] = d;
      18    c ();
      19    setjmpx (jbAnagram);
      20  }