CodeQL library for C/C++
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)