CodeQL library for C/C++
codeql/cpp-all 0.12.7-dev (changelog, source)
Search

Member predicate IRBlock::dominates

Holds if this block dominates block.

Block A dominates block B if any control flow path from the entry block of the function to block B must pass through block A. A block always dominates itself.

predicate dominates(IRBlock block)