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