Signals the state of the dominator infomation.
Values: no_dom, dom_consistent, dom_inconsistent
no_dom: doms are not computed, no memory is allocated. The access routines
Signals the state of the dominator infomation.
Values: no_dom, dom_consistent, dom_inconsistent
no_dom: doms are not computed, no memory is allocated. The access routines