Commit 4081bdd2 by Tom de Vries Committed by Tom de Vries

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
parent 6094199c
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> 2015-06-24 Kaz Kojima <kkojima@gcc.gnu.org>
PR target/66563 PR target/66563
......
...@@ -648,7 +648,7 @@ calculate_dominance_info (enum cdi_direction dir) ...@@ -648,7 +648,7 @@ calculate_dominance_info (enum cdi_direction dir)
if (dom_computed[dir_index] == DOM_OK) if (dom_computed[dir_index] == DOM_OK)
{ {
#if ENABLE_CHECKING #if ENABLE_CHECKING
verify_dominators (CDI_DOMINATORS); verify_dominators (dir);
#endif #endif
return; return;
} }
...@@ -679,6 +679,12 @@ calculate_dominance_info (enum cdi_direction dir) ...@@ -679,6 +679,12 @@ calculate_dominance_info (enum cdi_direction dir)
free_dom_info (&di); free_dom_info (&di);
dom_computed[dir_index] = DOM_NO_FAST_QUERY; dom_computed[dir_index] = DOM_NO_FAST_QUERY;
} }
else
{
#if ENABLE_CHECKING
verify_dominators (dir);
#endif
}
compute_dom_fast_query (dir); compute_dom_fast_query (dir);
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment