Predicate Make::Consistency::phiWithoutTwoPriorRefs
Holds if phi has less than 2 immediately prior references.
Import path
import codeql.ssa.Ssapredicate phiWithoutTwoPriorRefs(PhiNode phi, BasicBlock bbPhi, SourceVariable v, int inputRefs)Holds if phi has less than 2 immediately prior references.
import codeql.ssa.Ssapredicate phiWithoutTwoPriorRefs(PhiNode phi, BasicBlock bbPhi, SourceVariable v, int inputRefs)