Predicate Make :: Consistency :: notDominatedByDefExt
Holds if a read is not dominated by a definition.
Import path
import codeql.ssa.Ssa
predicate
notDominatedByDefExt
(
RelevantDefinitionExt
def
,
SourceVariable
v
,
BasicBlock
bb
,
int
i
)