1 2 #if(__SIZEOF_DOUBLE__==8) 3 double d = 1024.0 - 1.0 / 32768.0; 4 #else 5 double d = 1024.0 - 1.0 / 16384.0; 6 #endif 7 8 extern double floor(double); 9 extern float floorf(float); 10 extern void abort(); 11 main()12int main() { 13 14 double df = floor(d); 15 float f1 = (float)floor(d); 16 17 if ((int)df != 1023 || (int)f1 != 1023) 18 abort (); 19 20 return 0; 21 } 22