https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105142
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> --- Hmm, I think the error happens earlier already when we simplify _2 < _16 && (_16 + 5713568809962283044 > _2) to _2 < _4 I do have a patch to do the rewrite into defined overflow which definitely fixes a latent issue but not this bug.
