https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96804
--- Comment #3 from Paweł Bylica <chfast at gmail dot com> --- 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.
