CodeQL library for JavaScript
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)