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