1 /* { dg-do compile } */ 2 /* { dg-options "-O2 -fdump-tree-evrp" } */ 3 4 int foo (int i); bar2(int j)5int bar2 (int j) 6 { 7 if (j > 2) 8 { 9 if (j < 7) 10 return foo (j + 1); 11 else 12 return foo (j + 2); 13 } 14 return j; 15 } 16 17 18 /* { dg-final { scan-tree-dump "\\\[4, 7\\\]" "evrp" } } */ 19