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

void abort (void);
void exit (int);

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