[Bug tree-optimization/117113] [12/13 regression] ICE on valid code at -O3 with "-fno-tree-dce -fno-inline" on x86_64-linux-gnu: verify_ssa failed since r8-5204-gdc236397e4d966

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

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

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

https://gcc.gnu.org/g:8ee6631540ca9d5c437ce4bf3236d6d6ae22c475

commit r13-9514-g8ee6631540ca9d5c437ce4bf3236d6d6ae22c475
Author: Richard Biener <rguent...@suse.de>
Date:   Mon Feb 3 15:12:52 2025 +0100

    tree-optimization/117113 - ICE with unroll-and-jam

    When there's an inner loop without virtual header PHI but the outer
    loop has one the fusion process cannot handle the need to create
    an inner loop virtual header PHI.  Punt in this case.

            PR tree-optimization/117113
            * gimple-loop-jam.cc (unroll_jam_possible_p): Detect when
            we cannot handle virtual SSA update.

            * gcc.dg/torture/pr117113.c: New testcase.

    (cherry picked from commit 0675eb17480bada678bf2769d39732027abcd6d0)