gcc/testsuite/gcc.c-torture/execute/ieee/pr67218.c

   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 }