1  // { dg-do compile }
       2  // { dg-options "-O2 -ffinite-math-only -fdump-tree-evrp" }
       3  
       4  void link_error();
       5  
       6  void foo(float x)
       7  {
       8    if (__builtin_signbit (x))
       9      {
      10        if (x > 0.0)
      11  	link_error();
      12      }
      13  }
      14  
      15  // { dg-final { scan-tree-dump-not "link_error" "evrp" } }