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

Predicate Make::ssaDefReachesEndOfBlockExt

NB: If this predicate is exposed, it should be cached.

Holds if the SSA definition of v at def reaches the end of basic block bb, at which point it is still live, without crossing another SSA definition of v.

Import path

import codeql.ssa.Ssa
predicate ssaDefReachesEndOfBlockExt(BasicBlock bb, DefinitionExt def, SourceVariable v)