Predicate Make::Consistency::readWithoutPriorRef
Holds if a certain read does not have a prior reference.
Import path
import codeql.ssa.Ssapredicate readWithoutPriorRef(SourceVariable v, BasicBlock bb, int i)Holds if a certain read does not have a prior reference.
import codeql.ssa.Ssapredicate readWithoutPriorRef(SourceVariable v, BasicBlock bb, int i)