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

   1 // { dg-do compile }
   2 // { dg-options "-O2 -fdisable-tree-ethread -fdisable-tree-fre1 -fdump-tree-evrp-details" }
   3
   4 void bar ();
   5 void george ();
   6
   7 float
   8 foo (float x, float y)
   9 {
  10   if (x == x)
  11     {
  12       if (x > y)
  13         bar();
  14       if (x == x)
  15         george();
  16     }
  17 }
  18
  19 // { dg-final { scan-tree-dump-times "Folded into: if \\(1 != 0\\)" 1 "evrp" } }