Predicate Make :: Consistency :: nonUniqueDef
Holds if a read can be reached from multiple definitions.
Import path
import codeql.ssa.Ssa
predicate
nonUniqueDef
(
RelevantDefinition
def
,
SourceVariable
v
,
BasicBlock
bb
,
int
i
)