1  /* { dg-do run } */
       2  /* { dg-options "-O2" } */
       3  
       4  int a[1] = { 1 }, b = 1, c; 
       5  
       6  int
       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  }