https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107803
--- Comment #3 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:e4faee8d02ec5d65bf418612f7181823eb08c078 commit r13-4229-ge4faee8d02ec5d65bf418612f7181823eb08c078 Author: Richard Biener <rguent...@suse.de> Date: Tue Nov 22 10:16:14 2022 +0100 tree-optimization/107803 - abnormal cleanup from the SSA propagator The SSA propagator is missing abnormal cleanup which shows in a sanity check in the uninit engine (and missed CFG verification). The following adds that. PR tree-optimization/107803 * tree-ssa-propagate.cc (substitute_and_fold_dom_walker): Add need_ab_cleanup member. (substitute_and_fold_dom_walker::before_dom_children): When a stmt can no longer transfer control flow abnormally set need_ab_cleanup. (substitute_and_fold_engine::substitute_and_fold): Cleanup abnormal control flow. * g++.dg/pr107803.C: New testcase.
