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

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