[Bug tree-optimization/120211] [15/16 regression] ICE on valid code at -O3 with "-fno-tree-copy-prop -fno-tree-dominator-opts -fno-tree-loop-ivcanon -fno-tree-pre -fno-code-hoisting" on x86_64-linux-gnu: in gimple_phi_arg_def_from_edge, at gimple.h:4759

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120211

--- Comment #5 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-15 branch has been updated by Richard Biener
<rgue...@gcc.gnu.org>:

https://gcc.gnu.org/g:44cd55a1df897e3160cffeb10f96171bafc06400

commit r15-9655-g44cd55a1df897e3160cffeb10f96171bafc06400
Author: Richard Biener <rguent...@suse.de>
Date:   Sun May 11 14:03:12 2025 +0200

    tree-optimization/120211 - constrain LOOP_VINFO_EARLY_BREAKS_LIVE_IVS more

    The PR120089 fix added more PHIs to LOOP_VINFO_EARLY_BREAKS_LIVE_IVS
    but not checking that we only add PHIs with a latch argument.  The
    following adds this missing check.

            PR tree-optimization/120211
            * tree-vect-stmts.cc (vect_stmt_relevant_p): Only add PHIs
            from the loop header to LOOP_VINFO_EARLY_BREAKS_LIVE_IVS.

            * gcc.dg/vect/vect-early-break_135-pr120211.c: New testcase.
            * gcc.dg/torture/pr120211-1.c: Likewise.