https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113578
Jonathan Wakely <redi at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |INVALID
Status|UNCONFIRMED |RESOLVED
--- Comment #4 from Jonathan Wakely <redi at gcc dot gnu.org> ---
So the reason the sign isn't lost for -O1 is that the conversion to double
happens at compile-time and a negative nan is compiled into the executable,
rather than being converted by the processor at runtime.
Huh, OK. I guess Matthias can close his Debian bug then.
