https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104522
--- Comment #8 from Richard Biener <rguenth at gcc dot gnu.org> --- So my question is whether something should normalize those numbers and why decode_ieee_extended happily initializes an invalid number (its documentation of course might suggest it only expects valid encoded numbers). But yes, enabling this re-interpretation checking unconditionally sounds like the way to go.
