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.RangeUtilspredicate rankedPhiInput(SsaPhiNode phi, SsaVariable inp, SsaReadPositionPhiInputEdge edge, int r)