1 extern void abort (void) __attribute__ ((noreturn)); 2 3 double __attribute__ ((noinline, noclone)) foo(unsigned int x)4 foo (unsigned int x) 5 { 6 return (double) (float) (x | 0xffff0000); 7 } 8 9 int main()10 main () 11 { 12 if (foo (1) != 0x1.fffep31) 13 abort (); 14 return 0; 15 } 16