[Bug tree-optimization/113588] [14 Regression] The vectorizer is introducing out-of-bounds memory access

[tnfchris at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113588

--- Comment #4 from Tamar Christina <tnfchris at gcc dot gnu.org> ---
The change Richi made this morning to only allow may_be_zero  for the last exit
makes it not rotate this loop anymore.

However the bug is simply that if the final exit has a memory access it should
be checked as well.  I'll fix the underlying issue.