gcc/testsuite/gcc.dg/tree-ssa/vrp-float-5a.c

   1 // { dg-do compile }
   2 // { dg-options "-O2 -fno-thread-jumps -fdisable-tree-fre1 -fdump-tree-evrp" }
   3
   4 void link_error ();
   5
   6 float
   7 foo (float x)
   8 {
   9   if (__builtin_isnan (x))
  10     {
  11       if (!__builtin_isnan (x))
  12         link_error ();
  13     }
  14 }
  15
  16 // { dg-final { scan-tree-dump-not "link_error" "evrp" } }