From 4081bdd252d988fa04189e78e163662005a6d38e Mon Sep 17 00:00:00 2001 From: Tom de Vries Date: Thu, 25 Jun 2015 06:43:14 +0000 Subject: [PATCH] Verify reused dominators info in calculate_dominance_info 2015-06-25 Tom de Vries * dominance.c (calculate_dominance_info): Fix verify_dominators call argument. Call verify_dominator when reusing dominator info. From-SVN: r224931 --- gcc/ChangeLog | 5 +++++ gcc/dominance.c | 8 +++++++- 2 files changed, 12 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 550f7888b2a..d60bd5fcbb3 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2015-06-25 Tom de Vries + + * dominance.c (calculate_dominance_info): Fix verify_dominators call + argument. Call verify_dominator when reusing dominator info. + 2015-06-24 Kaz Kojima PR target/66563 diff --git a/gcc/dominance.c b/gcc/dominance.c index 9c66ca234f9..fb61596a82b 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); -- 2.30.2