main(void)1 int main(void) 2 { 3 float reale = 1.0f; 4 float oneplus; 5 int i; 6 7 if (sizeof (float) != 4) 8 exit (0); 9 10 for (i = 0; ; i++) 11 { 12 oneplus = 1.0f + reale; 13 if (oneplus == 1.0f) 14 break; 15 reale=reale/2.0f; 16 } 17 /* Assumes ieee754 accurate arithmetic above. */ 18 if (i != 24) 19 abort (); 20 else 21 exit (0); 22 } 23 24