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