https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125477
--- Comment #7 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-16 branch has been updated by Richard Biener <[email protected]>: https://gcc.gnu.org/g:5a03cc5b7f9b2dbcfd15a93f4c0ab5f40f7b17e2 commit r16-9094-g5a03cc5b7f9b2dbcfd15a93f4c0ab5f40f7b17e2 Author: Richard Biener <[email protected]> Date: Tue Jun 2 15:41:07 2026 +0200 tree-optimization/125477 - verify we can copy it before versioning an outer loop The following fixes a hole in vectorizer loop versioning which tries to version an outer loop that the versioning condition is invariant in but fails to verify we can actually copy it. PR tree-optimization/125477 * tree-vect-loop-manip.cc (vect_loop_versioning): Verify we can duplicate an outer loop before considering to version it. * gcc.dg/torture/pr125477.c: New testcase. (cherry picked from commit bfac2983b69f6cc6631aa7bfd1058eed37d7a425)
