1 /* { dg-do run } */
2 /* { dg-options "-O -fno-tree-dominator-opts -fgraphite-identity" } */
3 
4 int a, b, c;
5 int d[14];
6 
7 int
main(void)8 main (void)
9 {
10   short e;
11   char f;
12 
13   for (; b >= 0; b--)
14     {
15       e = 0;
16       for (; e < 2; e++)
17 	{
18 	  a = 0;
19 	  for (; a < 7; a++)
20 	    d[a] = 1;
21 	}
22       if (c)
23 	{
24 	  f = 0;
25 	  for (; f >= 0; f--)
26 	    ;
27 	}
28     }
29 
30   if (a != 7)
31     __builtin_abort ();
32 
33   return 0;
34 }
35