[Bug middle-end/125477] [13/14/15/16 Regression] ICE on x86_64-linux-gnu: Segmentation fault during GIMPLE pass: vect with asm goto at -O3 since r10-1057

[cvs-commit at gcc dot gnu.org]

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
<rguenth@gcc.gnu.org>:

https://gcc.gnu.org/g:5a03cc5b7f9b2dbcfd15a93f4c0ab5f40f7b17e2

commit r16-9094-g5a03cc5b7f9b2dbcfd15a93f4c0ab5f40f7b17e2
Author: Richard Biener <rguenther@suse.de>
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)