1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -g -fno-dce -fno-tree-dce" } */
       3  
       4  extern void *buf;
       5  
       6  extern void bar (void);
       7  
       8  int
       9  foo (int i)
      10  {
      11    int j = 0;
      12    if (__builtin_setjmp (buf) == 0)
      13      {
      14        while (1)
      15        {
      16          j = 1;
      17  	  bar ();
      18  	  }
      19      }
      20    return j ? i : 0;
      21  }