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

Predicate Make::SsaDefReaches::varBlockReachesExitExt

Holds if def is accessed in basic block bb (either a read or a write), bb can reach a transitive successor bb2 where def is no longer live, and v is neither read nor written in any block on the path between bb and bb2.

Import path

import codeql.ssa.Ssa
predicate varBlockReachesExitExt(DefinitionExt def, BasicBlock bb)