modernc.org/cc@v1.0.1/testdata/gcc-6.3.0/gcc/testsuite/gcc.c-torture/execute/991030-1.c (about)

     1  double x = 0x1.fp1;
     2  int main()
     3  {
     4    if (x !=  3.875)
     5      abort ();
     6    exit (0);
     7  }
     8  
     9