[Bug tree-optimization/107876] [13 Regression] ICE in verify_dominators, at dominance.cc:1184 (error: dominator of 4 should be 14, not 16) since r13-3749-g7314b98b1bcd382c

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

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

--- Comment #5 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:238cf114de16518c6569f0cdd2c4d6211ac98a74

commit r13-4317-g238cf114de16518c6569f0cdd2c4d6211ac98a74
Author: Richard Biener <rguent...@suse.de>
Date:   Mon Nov 28 09:19:33 2022 +0100

    tree-optimization/107876 - unswitching of switch

    The following shows a missed update of dominators when unswitching
    removes unreachable edges from switch stmts it unswitches.  Fixed
    by wiping dominator info in that case.

            PR tree-optimization/107876
            * tree-ssa-loop-unswitch.cc (clean_up_after_unswitching): Wipe
            dominator info if we removed an edge.

            * g++.dg/tree-ssa/pr107876.C: New testcase.