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