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