1 
2 /* { dg-do compile } */
3 /* { dg-options "-O2 -fdump-tree-evrp" } */
4 
5 extern void abort (void);
6 
7 int
foo(int k,int j)8 foo (int k, int j)
9 {
10   if (j >= 10)
11     {
12       if (j < k)
13 	{
14 	  k++;
15 	  if (k < 10)
16 	    abort ();
17 	}
18     }
19 
20   return j;
21 }
22 /* { dg-final { scan-tree-dump "\\\[12, \\+INF" "evrp" } } */
23