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

Member predicate IRBlock :: postDominanceFrontier

Gets a block on the post-dominance frontier of this block.

The post-dominance frontier of block A is the set of blocks B such that block A does not post-dominate block B, but block A does post-dominate an immediate successor of block B.

IRBlock postDominanceFrontier ( )