| int main(void) | |
| { | |
| float reale = 1.0f; | |
| float oneplus; | |
| int i; | |
| if (sizeof (float) != 4) | |
| exit (0); | |
| for (i = 0; ; i++) | |
| { | |
| oneplus = 1.0f + reale; | |
| if (oneplus == 1.0f) | |
| break; | |
| reale=reale/2.0f; | |
| } | |
| /* Assumes ieee754 accurate arithmetic above. */ | |
| if (i != 24) | |
| abort (); | |
| else | |
| exit (0); | |
| } | |