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

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