Predicate maxPhiInputRank
Holds if rix
is the number of input edges to phi
.
Import path
import semmle.code.java.dataflow.internal.rangeanalysis.SsaReadPositionCommon
predicate maxPhiInputRank(SsaPhiNode phi, int rix)
Holds if rix
is the number of input edges to phi
.
import semmle.code.java.dataflow.internal.rangeanalysis.SsaReadPositionCommon
predicate maxPhiInputRank(SsaPhiNode phi, int rix)