1/* { dg-do compile } */
2/* { dg-options "-O2 -g -fno-dce -fno-tree-dce" } */
3
4extern void *buf;
5
6extern void bar (void);
7
8int
9foo (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}
22