1 /* { dg-do run } */ 2 /* { dg-options "-O2" } */ 3 4 int a[1] = { 1 }, b = 1, c; 5 6 int main()7 main () 8 { 9 for (; c < 1; c++) 10 if (a[0]) 11 { 12 a[0] &= 1; 13 b = 0; 14 } 15 if (b) 16 __builtin_abort (); 17 return 0; 18 } 19