Predicate Make::SsaDefReaches::lastSsaRef
Same as lastSsaRefExt
, but ignores phi-reads.
Import path
import codeql.ssa.Ssa
predicate lastSsaRef(Definition def, SourceVariable v, BasicBlock bb, int i)
Same as lastSsaRefExt
, but ignores phi-reads.
import codeql.ssa.Ssa
predicate lastSsaRef(Definition def, SourceVariable v, BasicBlock bb, int i)