------- Additional Comments From dberlin at gcc dot gnu dot org 2005-07-06
14:05 -------
Subject: Re: [4.1 Regression] Dominance error
after aggressive dead code elimination (cd_dce)
On Tue, 2005-07-05 at 23:29 -0600, Jeffrey A Law wrote:
> DCE in aggressive mode sometimes is able to remove control structures
> and thus edge from the CFG. Sometimes removal of edges from the CFG
> changes the dominator tree, but we make no attempt to actually keep
> the dominators up-to-date.
>
> In this testcase failure to keep the dominators up-to-date leads to
> a checking failure. This is trivially addressed by arranging for the
> dominators to be recomputed if we remove edges from the CFG. An
> enterprising individual might be able to incrementally update the
> dominators,
Uh, we have code to incrementally update the dominators.
Just use iterate_fix_dominators
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21356
