diff options
| author | Tom de Vries <tom@codesourcery.com> | 2015-06-25 06:43:14 +0000 |
|---|---|---|
| committer | Tom de Vries <vries@gcc.gnu.org> | 2015-06-25 06:43:14 +0000 |
| commit | 4081bdd252d988fa04189e78e163662005a6d38e (patch) | |
| tree | 13ba8b68f3a8e3fb87c2645a77412973dc02ad51 /gcc | |
| parent | 6094199c1da8daf438e71ec1523bdc82e955239b (diff) | |
| download | gcc-4081bdd252d988fa04189e78e163662005a6d38e.zip gcc-4081bdd252d988fa04189e78e163662005a6d38e.tar.gz gcc-4081bdd252d988fa04189e78e163662005a6d38e.tar.bz2 | |
Verify reused dominators info in calculate_dominance_info
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.
From-SVN: r224931
Diffstat (limited to 'gcc')
| -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); |