CodeQL library for Java
Search

Predicate hasDominanceInformation

Holds if the dominance relation is calculated for bb.

Import path

import java
predicate hasDominanceInformation(BasicBlock bb)