1 /* { dg-do compile }  */
2 
3 int _setjmp (void *);
4 void foo (int);
5 
6 void
bar(int e,int b,char c,void * d)7 bar (int e, int b, char c, void *d)
8 {
9   while (b)
10     {
11       if (_setjmp (d))
12 	foo (e);
13       if (c)
14 	{
15 	  e--;
16 	  foo (0);
17 	}
18       e++;
19     }
20 }
21