1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-evrp" } */
3
4 int foo (int i);
bar(int j)5 void bar (int j)
6 {
7 unsigned int i;
8 for (i = 0; i < 10; ++i)
9 {
10 bar (i + 1);
11 }
12 }
13
14 /* { dg-final { scan-tree-dump "\\\[1, 10\\\]" "evrp" } } */
15
16