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

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-evrp" } */
   3
   4 void call (void);
   5
   6 void foo (int base)
   7 {
   8   unsigned i;
   9
  10   // Ranger should be able to remove the (i > 123) comparison.
  11   for (i = base; i < 10; i++)
  12     if (i > 123)
  13       {
  14         call ();
  15         return;
  16       }
  17 }
  18
  19 /* { dg-final { scan-tree-dump-not "call" "evrp"} } */