1 /* { dg-do compile } */
2 
3 unsigned int a, b, c;
4 
5 void
foo(unsigned int x)6 foo (unsigned int x)
7 {
8   do
9     {
10       if (a == 0 ? 1 : 1 % a)
11 	for (; b; b--)
12 	  lab:;
13       else
14 	while (x)
15 	  ;
16       if (c)
17 	goto lab;
18     }
19   while (1);
20 }
21