From: Tom de Vries <tom@codesourcery.com>
Date: Thu, 25 Jun 2015 06:43:14 +0000 (+0000)
Subject: Verify reused dominators info in calculate_dominance_info
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4081bdd252d988fa04189e78e163662005a6d38e;p=gcc.git

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

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