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

Member predicate IRBlock::strictlyDominates

Holds if this block strictly dominates block.

Block A strictly dominates block B if block A dominates block B and blocks A and B are not the same block.

predicate strictlyDominates(IRBlock block)