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

Member predicate ReachableBasicBlock::dominates

Holds if this basic block dominates bb.

This predicate is reflexive: each reachable basic block dominates itself.

predicate dominates(ReachableBasicBlock bb)