https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112449
Vincent Lefèvre <vincent-gcc at vinc17 dot net> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |vincent-gcc at vinc17 dot net
--- Comment #14 from Vincent Lefèvre <vincent-gcc at vinc17 dot net> ---
(In reply to [email protected] from comment #13)
> Updating implement-c.texi for C23 is on my list for after C23 is out and
> so we have final subclause references (but the list of
> implementation-defined behavior in J.3 doesn't seem to have that point
> from Annex F at present).
In ISO C23, F.2.2: "Where specification of signaling NaNs is not provided, the
behavior of signaling NaNs is implementation-defined (either treated as an
ISO/IEC 60559 quiet NaN or treated as an ISO/IEC 60559 signaling NaN)."
But whether x treated as a quiet NaN or as a signaling NaN, operations like x *
1.0 should always give a quiet NaN.