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