1 /* { dg-do compile } */
2 
3 extern int baz (void);
4 extern int foo (void) __attribute__ ((returns_twice));
5 
6 void
bar(_Bool b)7 bar (_Bool b)
8 {
9   int buf[1];
10   while (1)
11     {
12       _Bool x = 1;
13       if (b)
14 	baz ();
15       b = 1;
16       baz ();
17       x = 0;
18       unsigned int i;
19       while (buf[i] && i)
20 	i++;
21       foo ();
22       if (!x)
23 	b = 0;
24     }
25 }
26