if (dom_computed[dir_index] == DOM_OK)
{
#if ENABLE_CHECKING
- verify_dominators (CDI_DOMINATORS);
+ verify_dominators (dir);
#endif
return;
}
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);