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