gcc/testsuite/gcc.dg/tree-ssa/vrp-compare-1.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-evrp-details" } */
   3 /* PR tree-optimization/28794 */
   4
   5 void g(int);
   6 void f1(int x)
   7 {
   8   if (x < 0)  return;
   9   g(x>0);
  10 }
  11
  12 /* `x > 0` should be optimized to just `x != 0`  */
  13 /* { dg-final { scan-tree-dump-times "Simplified relational" 1 "evrp" } } */