https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122218
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> --- experimenting with non disambiguating latches is possible, but note CH or infrastructure it uses might rely on loop->latch to be non-NULL.
