Predicate Make::Consistency::readWithMultiplePriorRefs
Holds if a certain read has multiple prior references. The introduction of phi reads should make the prior reference unique.
Import path
import codeql.ssa.Ssapredicate readWithMultiplePriorRefs(SourceVariable v, BasicBlock bb1, int i1, BasicBlock bb2, int i2)