[PATCH] Check dominator info in compute_dominance_frontiers
Tom de Vries
Tom_deVries@mentor.com
Mon Jun 22 17:17:00 GMT 2015
On 22/06/15 13:47, Richard Biener wrote:
>> (eventually also for the case where we
>> >>end up only computing the fast-query stuff).
>>
Like this?
...
diff --git a/gcc/dominance.c b/gcc/dominance.c
index 9c66ca2..58fc6fd 100644
--- a/gcc/dominance.c
+++ b/gcc/dominance.c
@@ -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 (CDI_DOMINATORS);
+#endif
+ }
compute_dom_fast_query (dir);
...
Thanks,
- Tom
More information about the Gcc-patches
mailing list