Predicate bbDominates
Holds if dom dominates node. (This is reflexive.)
Import path
import semmle.code.java.controlflow.Dominancepredicate bbDominates(BasicBlock dom, BasicBlock node)Holds if dom dominates node. (This is reflexive.)
import semmle.code.java.controlflow.Dominancepredicate bbDominates(BasicBlock dom, BasicBlock node)