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 550f7888b2ae0e66d3cf96be22370c14768b5b45..d60bd5fcbb39bb3b2cbe6e74c67baf5dbbefaf2e 100644 (file)
--- 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 9c66ca234f9e234fda43d3757b3241fa5260cc12..fb61596a82b549f01ca0c5d1b9eff827cd0ec0d9 100644 (file)
--- 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);