CodeQL library for C/C++
codeql/cpp-all 0.13.1 (changelog, source)

Member predicate IRBlock::postDominates

Holds if this block is a post-dominator of block.

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

predicate postDominates(IRBlock block)