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