https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87280
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> --- Here we're running into the not executable but limited region where we marked not only backedges as executable but also destination BBs as reachable. Things go downhill here because we end up with with all sorts of weird state this way. So this is related to (and probably caused by) r264057 and PR87169.
