gcc/testsuite/gcc.dg/pr33434-2.c

   1 /* PR tree-optimization/33434 */
   2 /* { dg-do run } */
   3 /* { dg-options "-O2" } */
   4
   5 int k;
   6
   7 void f1 (int a)
   8 {
   9   int b;
  10   a = 1;
  11   b = 1;
  12   if (a)
  13     while (b --)
  14       k = 1;
  15   else
  16     if (b != 1)
  17       __builtin_abort ();
  18 }
  19
  20 int main (void)
  21 {
  22   f1 (1);
  23   if (k != 1)
  24     __builtin_abort ();
  25   return 0;
  26 }