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)8foo (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