gcc/testsuite/gcc.dg/tree-ssa/evrp1.c

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