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