https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113576
--- Comment #9 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Richard Biener <rgue...@gcc.gnu.org>: https://gcc.gnu.org/g:578c7b91f418ebbef1bf169117815409e06f5197 commit r14-8413-g578c7b91f418ebbef1bf169117815409e06f5197 Author: Richard Biener <rguent...@suse.de> Date: Wed Jan 24 14:55:49 2024 +0100 tree-optimization/113576 - non-empty latch and may_be_zero vectorization We can't support niters with may_be_zero when we end up with a non-empty latch due to early exit peeling. At least not in the simplistic way the vectorizer handles this now. Disallow it again for exits that are not the last one. PR tree-optimization/113576 * tree-vect-loop.cc (vec_init_loop_exit_info): Only allow exits with may_be_zero niters when its the last one. * gcc.dg/vect/pr113576.c: New testcase.