1 /* PR tree-optimization/33434 */
2 /* { dg-do run } */
3 /* { dg-options "-O2" } */
4 
5 int k;
6 
f1(int a,int b)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 
main(void)19 int main (void)
20 {
21   f1 (1, 1);
22   if (k != 1)
23     __builtin_abort ();
24   return 0;
25 }
26