1 /* { dg-do run } */
2 /* { dg-options "-O2" } */
3 
4 extern void abort (void);
5 
6 int
foo(int k,int j)7 foo (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()23 main()
24 {
25   foo (10, 3);
26   return 0;
27 }
28