gcc/testsuite/gcc.c-torture/execute/991030-1.c

double x = 0x1.fp1;
int main()
{
  if (x !=  3.875)
    abort ();
  exit (0);
}