[Bug tree-optimization/112939] [14 Regression] ICE: verify_ssa failed with -O -ftrivial-auto-var-init=zero

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

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

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

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

commit r14-6448-gf5f33b44b5dd4c41ae335445ae3f06b1ca3cfbcb
Author: Richard Biener <rguent...@suse.de>
Date:   Mon Dec 11 13:00:18 2023 +0100

    tree-optimization/112939 - VN PHI visiting and -ftrivial-auto-var-init

    The following builds upon the last fix, making sure we only value-number
    to visited (un-)defs, otherwise prefer .VN_TOP.

            PR tree-optimization/112939
            * tree-ssa-sccvn.cc (visit_phi): When all args are undefined
            make sure we end up with a value that was visited, otherwise
            fall back to .VN_TOP.

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