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.
* tree-ssa-propagate.cc (substitute_and_fold_dom_walker): Add
a stmt can no longer transfer control flow abnormally set
abnormal control flow.
* g++.dg/pr107803.C: New testcase.
2 files changed