Predicate Make::lastRefRedef
NB: If this predicate is exposed, it should be cached.
Same as lastRefRedefExt
, but ignores phi-reads.
Import path
import codeql.ssa.Ssa
predicate lastRefRedef(Definition def, BasicBlock bb, int i, Definition next)
NB: If this predicate is exposed, it should be cached.
Same as lastRefRedefExt
, but ignores phi-reads.
import codeql.ssa.Ssa
predicate lastRefRedef(Definition def, BasicBlock bb, int i, Definition next)