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)8main (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