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