https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98334
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> --- I think turning (int) (y - 1U) * x + x into unsigned mult is OK even early.
rguenth at gcc dot gnu.org via Gcc-bugs Mon, 04 Jan 2021 07:36:12 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98334
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> --- I think turning (int) (y - 1U) * x + x into unsigned mult is OK even early.