[Bug tree-optimization/106249] [13 Regression] ICE in check_loop_closed_ssa_def, at tree-ssa-loop-manip.cc:645 since r13-1450-gd2a898666609452e

["cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>]

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

--- Comment #6 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Richard Biener <rguenth@gcc.gnu.org>:

https://gcc.gnu.org/g:c479c40f8c8fee0fb70e8a365b61c55739f448e1

commit r13-1653-gc479c40f8c8fee0fb70e8a365b61c55739f448e1
Author: Richard Biener <rguenther@suse.de>
Date:   Wed Jul 13 08:27:57 2022 +0200

    tree-optimization/106249 - unroll-and-jam and LC SSA upate

    When I delayed the LC SSA update in unroll-and-jam this exposed
    an issue that tree_transform_and_unroll_loop does a full function
    LC SSA verification when new_loop is NULL (when it doesn't need to
    do versioning).  That wasn't intended.  I also took the chance
    to make the versioning in tree_transform_and_unroll_loop use
    TODO_update_ssa_nophi for the loop versioning SSA update which
    I somehow missed earlier.

            PR tree-optimization/106249
            * tree-ssa-loop-manip.cc (tree_transform_and_unroll_loop):
            Only verify LC SSA of the new_loop if we created it.
            Use TODO_update_ssa_nophi for the SSA update after versioning
            the loop.

            * gcc.dg/pr106249.c: New testcase.