diff options
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/dominance.c | 8 |
2 files changed, 12 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 550f788..d60bd5fc 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2015-06-25 Tom de Vries <tom@codesourcery.com> + + * dominance.c (calculate_dominance_info): Fix verify_dominators call + argument. Call verify_dominator when reusing dominator info. + 2015-06-24 Kaz Kojima <kkojima@gcc.gnu.org> PR target/66563 diff --git a/gcc/dominance.c b/gcc/dominance.c index 9c66ca2..fb61596 100644 --- a/gcc/dominance.c +++ b/gcc/dominance.c @@ -648,7 +648,7 @@ calculate_dominance_info (enum cdi_direction dir) if (dom_computed[dir_index] == DOM_OK) { #if ENABLE_CHECKING - verify_dominators (CDI_DOMINATORS); + verify_dominators (dir); #endif return; } @@ -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 (dir); +#endif + } compute_dom_fast_query (dir); |