1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-evrp" } */
3 
4 int foo (int i);
bar2(int j)5 int 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