CodeQL library for C/C++
codeql/cpp-all 0.5.1 (changelog, source)
Search

Predicate Make::lastRefExt

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.

That is, the node can reach the end of the enclosing callable, or another SSA definition for the underlying source variable, without passing through another read.

Import path

import codeql.ssa.Ssa
predicate lastRefExt(DefinitionExt def, BasicBlock bb, int i)