From: vries <vries@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Thu, 25 Jun 2015 06:43:14 +0000 (+0000)
Subject: Verify reused dominators info in calculate_dominance_info
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=a27e538c109959fc60eb679493932bb64769ed00;p=thirdparty%2Fgcc.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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@224931 138bc75d-0d04-0410-961f-82ee72b054a4
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 550f7888b2ae..d60bd5fcbb39 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 9c66ca234f9e..fb61596a82b5 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);