CodeQL library for Java/Kotlin
codeql/java-all 1.1.2-dev (changelog, source)

Predicate MakeUtils::rankedPhiInput

Holds if inp is an input to phi along edge and this input has index r in an arbitrary 1-based numbering of the input edges to phi.

Import path

import codeql.rangeanalysis.internal.RangeUtils
predicate rankedPhiInput(SsaPhiNode phi, SsaVariable inp, SsaReadPositionPhiInputEdge edge, int r)