gcc/testsuite/gcc.dg/tree-ssa/pr61140.c

   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 }