[cfp-interest 3589] Re: "invalid" => domain error?

[Jim Thomas]

Is this suggesting that all floating-point exceptions (except “inexact”) required by Annex F for library functions would, for Annex F implementations, become occurring errors per 7.12.2? This would mean that an Annex F implementation that defines math_errhandling & MATH_ERRNO to nonzero would have to set errno for all those exceptions. Assuming support for errno is for legacy code, such changes in C would not be helpful. 

- Jim Thomas

> On Sep 6, 2025, at 10:07 PM, Fred J. Tydeman <tydeman at tybor.com> wrote:
> 
> Should C23 Annex F.10 Mathematics <math.h> and <tgmath.h>
> be updated with:
> 
> "Invalid" being raised is a domain error.
> "Divide-by-zero" being raised is a pole error.
> "Overflow" being raised is a range error.
> "Underflow" being raised is a range error.
> 
> 
> ---
> Fred J. Tydeman        Tydeman Consulting
> tydeman at tybor.com      Testing, numerics, programming
> +1 (702) 608-6093      Vice-chair of INCITS/C (ANSI "C")
> Sample C17+FPCE tests: http://www.tybor.com
> Savers sleep well, investors eat well, spenders work forever.
> 
> _______________________________________________
> cfp-interest mailing list
> cfp-interest at oakapple.net
> http://mailman.oakapple.net/mailman/listinfo/cfp-interest

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.oakapple.net/pipermail/cfp-interest/attachments/20250907/d02f5520/attachment.htm>