Predicate Make::Consistency::readWithoutDefExt
Holds if a read cannot be reached from a definition.
Import path
import codeql.ssa.Ssapredicate readWithoutDefExt(SourceVariable v, BasicBlock bb, int i)Holds if a read cannot be reached from a definition.
import codeql.ssa.Ssapredicate readWithoutDefExt(SourceVariable v, BasicBlock bb, int i)