1  /* { dg-do compile } */
       2  /* { dg-options "-O -ftree-loop-if-convert -ftree-vrp -fno-tree-copy-prop -fno-tree-dce -fno-tree-dominator-opts" } */
       3  
       4  typedef int jmp_buf[1];
       5  
       6  extern void exit(int) __attribute__((__noreturn__));
       7  extern int setjmpx(jmp_buf) __attribute__((__returns_twice__));
       8  
       9  jmp_buf jbAnagram;
      10  int a[6];
      11  int d;
      12  int b () { exit (1); }
      13  int c () { b (); }
      14  int e ()
      15  {
      16    int f = 0;
      17    for (; f < 6; f++)
      18      a[f] = d;
      19    c ();
      20    setjmpx (jbAnagram);
      21  }