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  }