Predicate Make :: lastRefRedefExt
NB: If this predicate is exposed, it should be cached.
Holds if the node at index i
in bb
is a last reference to SSA definition
def
. The reference is last because it can reach another write next
,
without passing through another read or write.
Import path
import codeql.ssa.Ssa
predicate
lastRefRedefExt
(
DefinitionExt
def
,
SourceVariable
v
,
BasicBlock
bb
,
int
i
,
DefinitionExt
next
)