Predicate MakeUtils::maxPhiInputRank
Holds if rix is the number of input edges to phi.
Import path
import codeql.rangeanalysis.internal.RangeUtilspredicate maxPhiInputRank(SsaPhiNode phi, int rix)Holds if rix is the number of input edges to phi.
import codeql.rangeanalysis.internal.RangeUtilspredicate maxPhiInputRank(SsaPhiNode phi, int rix)