Predicate Make::Consistency::deadDef
Holds if a definition cannot reach a read.
Import path
import codeql.ssa.Ssapredicate deadDef(Definition def, SourceVariable v)Holds if a definition cannot reach a read.
import codeql.ssa.Ssapredicate deadDef(Definition def, SourceVariable v)