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