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