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