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  }