https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96804
--- Comment #3 from Paweł Bylica ---
Yes, you are right, that is not violation of IEEE 754 (I assumed wrongly
previously, sorry).
However, it still maybe undesired to get different binary results depending on
optimization enabled/disabled.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96804
--- Comment #2 from Marc Glisse ---
(In reply to Paweł Bylica from comment #0)
> This is a problem because when both arguments are NaNs, the result may be
> different than the one predicted by IEEE 754.
Could you quote the sentence in IEEE 754 t
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96804
--- Comment #1 from Paweł Bylica ---
Created attachment 49133
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=49133&action=edit
Assembly output
