1#include <float.h>
2
3extern void abort(void);
4
5static const double C = DBL_MAX;
6
7double foo(double x)
8{
9        return ( ( (x * C) * C ) * C);
10}
11
12int main ()
13{
14  double d = foo (0.0);
15  if (d != 0.0)
16   abort ();
17
18  return 0;
19}
20