https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71550
--- Comment #4 from Jeffrey A. Law <law at redhat dot com> --- This has gone latent on the trunk, but I'm pretty sure the core issues remain. Looking deeper into the problem, this may be another case of jump threading invalidating the cached loop iteration information.