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