modernc.org/ccgo/v3@v3.16.14/lib/testdata/gcc-9.1.0/gcc/testsuite/gcc.c-torture/execute/ieee/pr67218.c (about)

     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  }