1  extern void link_error ();
       2  
       3  void foo(double x)
       4  {
       5    if (x > __builtin_inf())
       6      link_error ();
       7  }
       8  
       9  int main ()
      10  {
      11    foo (1.0);
      12    return 0;
      13  }
      14