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

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

int main ()
{
  long double x;

  x = 0x1.0p-500L;
  x *= 0x1.0p-522L;
  if (x != 0x1.0p-1022L)
    abort ();
  exit (0);
}