Predicate hasDominanceInformation
Holds if the dominance relation is calculated for bb.
Import path
import semmle.code.java.controlflow.Dominancepredicate hasDominanceInformation(BasicBlock bb)Holds if the dominance relation is calculated for bb.
import semmle.code.java.controlflow.Dominancepredicate hasDominanceInformation(BasicBlock bb)