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

Member predicate IRBlock :: dominanceFrontier

Gets a block on the dominance frontier of this block.

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

IRBlock dominanceFrontier ( )