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" } }