https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69533
--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> --- Created attachment 37519 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=37519&action=edit patch to fix it in two places Uh, indeed. Looks like those kind of broken overflow checks are everywhere (well, the one we optimize only in two places).