https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107972
Jakub Jelinek <jakub at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |aldyh at gcc dot gnu.org, | |jakub at gcc dot gnu.org --- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> --- For * I've posted such a patch today (but guess I should add a testcase): https://gcc.gnu.org/pipermail/gcc-patches/2022-December/607832.html For + and - I guess we can't do easily the sign bit computation, so we could just in the reverse ops do if lhs must be finite (not inf nor nan), then the operand we compute must be finite too.