[Bug tree-optimization/117915] [15 Regression] ICE on valid code at -O{s,2,3} with "-fno-tree-copy-prop -fno-tree-vrp" on x86_64-linux-gnu: tree check: expected ssa_name, have integer_cst in ifcombine_mark_ssa_name, at tree-ssa-ifcombine.cc:478 since r15-5003-gae074c69fd5aff

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

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

--- Comment #4 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Alexandre Oliva <aol...@gcc.gnu.org>:

https://gcc.gnu.org/g:34e6c77da699de4cd172523310123af8e0a36a36

commit r15-6359-g34e6c77da699de4cd172523310123af8e0a36a36
Author: Alexandre Oliva <ol...@adacore.com>
Date:   Wed Dec 18 22:17:13 2024 -0300

    noncontiguous ifcombine: skip marking of non-SSA_NAMEs [PR117915]

    When ifcombine_mark_ssa_name is called directly, rather than by
    ifcombine_mark_ssa_name_walk, we need to check that name is an
    SSA_NAME at the caller or in the function itself.  For convenience and
    safety, I'm moving the checks from _walk to the implementation proper.


    for  gcc/ChangeLog

            PR tree-optimization/117915
            * tree-ssa-ifcombine.cc (ifcombine_mark_ssa_name): Move
            preconditions from...
            (ifcombine_mark_ssa_name_walk): ... here.

    for  gcc/testsuite/ChangeLog

            PR tree-optimization/117915
            * gcc.dg/pr117915.c: New.