1  // { dg-do compile }
       2  // { dg-options "-O2 -fno-thread-jumps -fdump-tree-evrp" }
       3  
       4  extern void link_error ();
       5  
       6  void fast_sqrt (float);
       7  
       8  float test (float x)
       9  {
      10      float y = x*x;
      11      if (y >= 0.f)
      12        { 
      13          if (__builtin_isnan (y))
      14           link_error ();
      15          else
      16            fast_sqrt (y);
      17  
      18         if (!__builtin_isnan (y))
      19           fast_sqrt (y);
      20         else
      21           link_error ();
      22        }
      23  }
      24  
      25  // { dg-final { scan-tree-dump-times "fast_sqrt" 2 "evrp" } }
      26  // { dg-final { scan-tree-dump-not "link_error" "evrp" } }