https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111724
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Last reconfirmed| |2023-10-09 Ever confirmed|0 |1 Status|UNCONFIRMED |NEW --- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> --- Yup, it's difficult. reassoc doesn't handle signed arithmetic, that's usually the pass that optimizes association for invariant motion.