CodeQL library for C/C++
codeql/cpp-all 0.7.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 )