CodeQL library for JavaScript/TypeScript
codeql/javascript-all 2.0.2 (changelog, source)
Search

Member predicate ReachableBasicBlock::strictlyPostDominates

Holds if this basic block strictly post-dominates bb.

predicate strictlyPostDominates(ReachableBasicBlock bb)