aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
authorTom de Vries <tom@codesourcery.com>2015-06-22 16:26:00 +0000
committerTom de Vries <vries@gcc.gnu.org>2015-06-22 16:26:00 +0000
commitf3c676e11851ee48f43367bbc1d7dc160c043dc6 (patch)
treef209b73811a869845b4cc857833ff99e9e1d6cb3 /gcc
parenta82484a2ee865542b9c20e4f6c2d080adaf8e38e (diff)
downloadgcc-f3c676e11851ee48f43367bbc1d7dc160c043dc6.zip
gcc-f3c676e11851ee48f43367bbc1d7dc160c043dc6.tar.gz
gcc-f3c676e11851ee48f43367bbc1d7dc160c043dc6.tar.bz2
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')
-rw-r--r--gcc/ChangeLog5
-rw-r--r--gcc/dominance.c7
2 files changed, 11 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 0b3ea81..0817d24 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2015-06-22 Tom de Vries <tom@codesourcery.com>
+
+ * dominance.c (calculate_dominance_info): Verify dominators if
+ early-out.
+
2015-06-22 Marek Polacek <polacek@redhat.com>
* match.pd ((x ^ y) ^ (x | y) -> x & y,
diff --git a/gcc/dominance.c b/gcc/dominance.c
index a9e042e..9c66ca2 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))