Message ID | 5588416F.1070702@mentor.com |
---|---|
State | New |
Headers | show |
On Mon, Jun 22, 2015 at 7:10 PM, Tom de Vries <Tom_deVries@mentor.com> wrote: > On 22/06/15 13:47, Richard Biener wrote: >>> >>> (eventually also for the case where we >>> >>end up only computing the fast-query stuff). >>> > > Like this? > ... > diff --git a/gcc/dominance.c b/gcc/dominance.c > index 9c66ca2..58fc6fd 100644 > --- a/gcc/dominance.c > +++ b/gcc/dominance.c > @@ -679,6 +679,12 @@ calculate_dominance_info (enum cdi_direction dir) > free_dom_info (&di); > dom_computed[dir_index] = DOM_NO_FAST_QUERY; > } > + else > + { > +#if ENABLE_CHECKING > + verify_dominators (CDI_DOMINATORS); > +#endif > + } > > compute_dom_fast_query (dir); Yeah. Richard. > ... > > Thanks, > - Tom
diff --git a/gcc/dominance.c b/gcc/dominance.c index 9c66ca2..58fc6fd 100644 --- a/gcc/dominance.c +++ b/gcc/dominance.c @@ -679,6 +679,12 @@ calculate_dominance_info (enum cdi_direction dir) free_dom_info (&di); dom_computed[dir_index] = DOM_NO_FAST_QUERY; } + else + { +#if ENABLE_CHECKING + verify_dominators (CDI_DOMINATORS); +#endif + } compute_dom_fast_query (dir);