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

Member predicate ReachableBasicBlock::strictlyDominates

Holds if this basic block strictly dominates bb.

predicate strictlyDominates(ReachableBasicBlock bb)