[Cfp-interest 3301] suggestions for fadd/fsub/fma error reporting

[Jerome Coonen]

This responds to an action item from the August 2024 meeting, with thanks
to Fred for a nudge along the way.

*Suggestions:*
        fadd – change the last sentence of  7.12.15.2#2 to

                A domain error occurs for some infinite arguments.

        fsub – change the last sentence of 7.12.15.3#2 to

                A domain error occurs for some infinite arguments.

        fma – change the last sentence of 7.12.15.6#2 to

                A domain error occurs for some infinite arguments.

*Rationale:*
The issue with fadd and fsub and one issue with fma is the magnitude
subtraction of infinite values. The other issue in fma is multiplication of
zero by infinity. Those operations would raise the "invalid" floating-point
exception in ordinary arithmetic, but in the library they cause a domain
error to occur.

The current usage "may occur" is too weak, because the errors will arise
for some combinations of infinite arguments.

-Jerome Coonen
 650.996.4738
 jcoonen at gmail.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.oakapple.net/pipermail/cfp-interest/attachments/20241008/da7827ca/attachment.htm>