From: Tom de Vries <tom@codesourcery.com>
Date: Mon, 22 Jun 2015 16:26:00 +0000 (+0000)
Subject: Verify dominators in early-out calculate_dominance_info
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f3c676e11851ee48f43367bbc1d7dc160c043dc6;p=gcc.git

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
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 0b3ea81c7d3..0817d2444cb 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 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))