[Bug tree-optimization/115149] [15 Regression] ICE on valid code at -O3 with "-fno-inline -fno-tree-vrp -fno-ipa-sra -fno-tree-dce -fno-tree-ch" on x86_64-linux-gnu: verify_ssa failed

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

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

--- 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:ec9b8bafe20755d13ab9a1b834b5da79ae972c0e

commit r15-750-gec9b8bafe20755d13ab9a1b834b5da79ae972c0e
Author: Richard Biener <rguent...@suse.de>
Date:   Tue May 21 09:48:04 2024 +0200

    tree-optimization/115149 - VOP live and missing PHIs

    The following fixes a bug in vop-live get_live_in which was using
    NULL to indicate the first processed edge but at the same time
    using it for the case the live-in virtual operand cannot be computed.
    The following fixes this, avoiding sinking a load to a place where
    we'd have to insert virtual PHIs to make the virtual operand SSA
    web OK.

            PR tree-optimization/115149
            * tree-ssa-live.cc (virtual_operand_live::get_live_in):
            Explicitly track the first processed edge.

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