[Bug tree-optimization/109524] [13 Regression] ICE: SIGSEGV in remove_unreachable::remove_and_update_globals (tree-vrp.cc:136) with -O3 -fno-tree-forwprop -fnon-call-exceptions -fno-tree-ccp -fno-tree-fre

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

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

--- Comment #10 from CVS 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:f66ae49bba7d3b8c999498a0e166c0a2f99ec61a

commit r13-7203-gf66ae49bba7d3b8c999498a0e166c0a2f99ec61a
Author: Richard Biener <rguent...@suse.de>
Date:   Mon Apr 17 09:22:57 2023 +0200

    tree-optimization/109524 - ICE with VRP edge removal

    VRP queues edges to process late for updating global ranges for
    __builtin_unreachable.  But this interferes with edge removal
    from substitute_and_fold.  The following deals with this by
    looking up the edge with source/dest block indices which do not
    become stale.

            PR tree-optimization/109524
            * tree-vrp.cc (remove_unreachable::m_list): Change to a
            vector of pairs of block indices.
            (remove_unreachable::maybe_register_block): Adjust.
            (remove_unreachable::remove_and_update_globals): Likewise.
            Deal with removed blocks.

            * g++.dg/pr109524.C: New testcase.