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

Member predicate ReachableBasicBlock::strictlyDominates

Holds if this basic block strictly dominates bb.

predicate strictlyDominates(ReachableBasicBlock bb)