https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84223
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> --- The issue is that we record a condition without ever verifying if it is valid - in this case it is the SESE entry condition which isn't in the region. We possibly want to gather this (and even more) condition because it might help constraining the iteration domains (checks from loop header copies for example). But the easiest fix is to not gather any such unverified conditions. Not to say the condition gathering stuff is fugly.
