1 /* PR middle-end/57393 */
2 /* { dg-do compile } */
3 
4 int a, b, c;
5 void foo (void);
6 
7 int
bar(void)8 bar (void)
9 {
10   for (;;)
11     {
12       foo ();
13       int d = a = 0;
14       for (; a < 7; ++a)
15 	{
16 	  d--;
17 	  b &= c <= d;
18 	}
19     }
20 }
21