diff options
author | Tom de Vries <tom@codesourcery.com> | 2015-06-22 16:26:00 +0000 |
---|---|---|
committer | Tom de Vries <vries@gcc.gnu.org> | 2015-06-22 16:26:00 +0000 |
commit | f3c676e11851ee48f43367bbc1d7dc160c043dc6 (patch) | |
tree | f209b73811a869845b4cc857833ff99e9e1d6cb3 /gcc/dominance.c | |
parent | a82484a2ee865542b9c20e4f6c2d080adaf8e38e (diff) | |
download | gcc-f3c676e11851ee48f43367bbc1d7dc160c043dc6.tar.gz |
Verify dominators in early-out calculate_dominance_info
2015-06-22 Tom de Vries <tom@codesourcery.com>
* dominance.c (calculate_dominance_info): Verify dominators if
early-out.
From-SVN: r224744
Diffstat (limited to 'gcc/dominance.c')
-rw-r--r-- | gcc/dominance.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/gcc/dominance.c b/gcc/dominance.c index a9e042ef4b5..9c66ca234f9 100644 --- a/gcc/dominance.c +++ b/gcc/dominance.c @@ -646,7 +646,12 @@ calculate_dominance_info (enum cdi_direction dir) bool reverse = (dir == CDI_POST_DOMINATORS) ? true : false; if (dom_computed[dir_index] == DOM_OK) - return; + { +#if ENABLE_CHECKING + verify_dominators (CDI_DOMINATORS); +#endif + return; + } timevar_push (TV_DOMINANCE); if (!dom_info_available_p (dir)) |