https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116879
--- Comment #4 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:18e905b461a7138185cf4f0efde4a4e1214fb798 commit r15-3960-g18e905b461a7138185cf4f0efde4a4e1214fb798 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.