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

Member predicate DefOrUse::reaches

Holds if the value of v in this control-flow node reaches defOrUse along some control-flow path without crossing a definition of v.

predicate reaches(boolean isDef, SemanticStackVariable v, DefOrUse defOrUse)