CodeQL library for Go
codeql/go-all 2.1.3 (changelog, source)
Search

Member predicate ReachableJoinBlock::inDominanceFrontierOf

Holds if this basic block belongs to the dominance frontier of b, that is b dominates a predecessor of this block, but not this block itself.

Algorithm from Cooper et al., “A Simple, Fast Dominance Algorithm” (Figure 5), who in turn attribute it to Ferrante et al., “The program dependence graph and its use in optimization”.

predicate inDominanceFrontierOf(ReachableBasicBlock b)