codeql/cpp-all
0.6.0
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
Holds if this block dominates block.
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.
A
B
predicate dominates ( IRBlock block )