+++ /dev/null
- 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);
- }
-