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)