[Cfp-interest 1741] Underflow range error

[Fred J. Tydeman]

Given:

7.12.1 Treatment of error conditions

#4: Likewise, a range error occurs if and only if the mathematical
result of the function cannot be represented in an object of the
specified type, due to extreme magnitude.

#6: The result underflows if the magnitude of the mathematical result
is nonzero and less than the minimum normal number in the type.243)

What is supposed to happen if a subnormal result is exact and is
representable?  For example,
remainder(DBL_MIN*(1.0+DBL_EPSILON),DBL_MIN) which is DBL_TRUE_MIN.

Is it a range error?


---
Fred J. Tydeman        Tydeman Consulting
tydeman at tybor.com      Testing, numerics, programming
+1 (702) 608-6093      Vice-chair of PL22.11 (ANSI "C")
Sample C99+FPCE tests: http://www.tybor.com
Savers sleep well, investors eat well, spenders work forever.