1 /* { dg-do run } */ 2 /* { dg-options "-O2" } */ 3 4 extern void abort (void); 5 6 int foo(int k,int j)7foo (int k, int j) 8 { 9 if (k >= 10) 10 { 11 if (j > k) 12 { 13 /* We should fold this to if (0). */ 14 if (j < 10) 15 abort (); 16 } 17 } 18 19 return j; 20 } 21 22 int main()23main() 24 { 25 foo (10, 3); 26 return 0; 27 } 28