Predicate Internal::bbIPostDominates
Holds if dom is an immediate post-dominator of bb.
Import path
import semmle.code.csharp.controlflow.BasicBlockspredicate bbIPostDominates(BasicBlock dom, BasicBlock bb)Holds if dom is an immediate post-dominator of bb.
import semmle.code.csharp.controlflow.BasicBlockspredicate bbIPostDominates(BasicBlock dom, BasicBlock bb)