For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
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)