CodeQL library for Java
codeql/java-all 0.7.4 ( changelog , source )
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 )