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.
---
gcc/dominance.c | 7 ++++++-
1 file changed, 6 insertions(+), 1 deletion(-)
@@ -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))
--
1.9.1