CodeQL library for Swift
codeql/swift-all 4.1.0 (changelog, source)
Search

Member predicate BasicBlock::getImmediateDominator

Gets the basic block that immediately dominates this basic block, if any.

That is, the result is the unique basic block satisfying:

  1. The result strictly dominates this basic block.
  2. There exists no other basic block that is strictly dominated by the result and which strictly dominates this basic block.

All basic blocks, except entry basic blocks, have a unique immediate dominator.

BasicBlock getImmediateDominator()