https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116879
--- Comment #6 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-14 branch has been updated by Richard Biener <rgue...@gcc.gnu.org>: https://gcc.gnu.org/g:ae4b9dcff314644d8d6660b7d8649a4911cb88f8 commit r14-10776-gae4b9dcff314644d8d6660b7d8649a4911cb88f8 Author: Richard Biener <rguent...@suse.de> Date: Mon Sep 30 13:38:28 2024 +0200 tree-optimization/116879 - failure to recognize non-empty latch When we relaxed the vectorizers constraint on loop structure verifying the emptiness of the latch became too lose as can be seen in the case for PR116879 where the latch effectively contains two basic-blocks which one being an unmerged forwarder that's not empty. PR tree-optimization/116879 * tree-vect-loop.cc (vect_analyze_loop_form): Scan all blocks that form the latch. * gcc.dg/pr116879.c: New testcase. (cherry picked from commit 18e905b461a7138185cf4f0efde4a4e1214fb798)