1  // { dg-do compile }
       2  // { dg-options "-O2 -fno-tree-forwprop -fno-tree-ccp -fno-tree-fre -fdump-tree-evrp" }
       3  
       4  extern void link_error ();
       5  
       6  void
       7  foo ()
       8  {
       9    float z = 0.0;
      10    if (__builtin_isnan (z))
      11      link_error ();
      12  }
      13  
      14  // { dg-final { scan-tree-dump-not "link_error" "evrp" } }