Predicate Cached::bbIDominates
Holds if dom is an immediate dominator of bb.
Import path
import codeql.ruby.controlflow.BasicBlockspredicate bbIDominates(BasicBlock dom, BasicBlock bb)Holds if dom is an immediate dominator of bb.
import codeql.ruby.controlflow.BasicBlockspredicate bbIDominates(BasicBlock dom, BasicBlock bb)