CodeQL library for Java
Search

Predicate dominanceFrontier

The dominance frontier relation for basic blocks.

This is equivalent to:

  bbDominates(x, w.getABBPredecessor()) and not bbStrictlyDominates(x, w)

Import path

import java
predicate dominanceFrontier(BasicBlock x, BasicBlock w)