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

   1 // { dg-do compile }
   2 // { dg-options "-O2 -fno-thread-jumps -fdisable-tree-fre1 -fdump-tree-evrp-details" }
   3
   4 void a(float, float);
   5 void b(float, float);
   6
   7 void foo(float x, float y)
   8 {
   9   if (x != y)
  10     a (x,y);
  11   else if (x < y)
  12     b (x,y);
  13 }
  14
  15 // Test that the false side of if(x != y) has a range for y.
  16 // { dg-final { scan-tree-dump "2->4  \\(F\\) y_3\\(D\\)" "evrp" } }