https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111724
--- Comment #2 from Yi <652023330028 at smail dot nju.edu.cn> --- (In reply to Richard Biener from comment #1) > Yup, it's difficult. reassoc doesn't handle signed arithmetic, that's > usually the pass that optimizes association for invariant motion. Yes. This issue has the same result for 'unsigned'.