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