Predicate Make::Consistency::phiWithoutTwoPriorRefs
Holds if phi
has less than 2 immediately prior references.
Import path
import codeql.ssa.Ssa
predicate phiWithoutTwoPriorRefs(PhiNode phi, int inputRefs)
Holds if phi
has less than 2 immediately prior references.
import codeql.ssa.Ssa
predicate phiWithoutTwoPriorRefs(PhiNode phi, int inputRefs)