modernc.org/ccgo/v3@v3.16.14/lib/testdata/gcc-9.1.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