(root)/
gcc-13.2.0/
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"} } */