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

Member predicate AnalysedExpr::getNullSuccessor

Gets a successor of this in the control flow graph, where that successor is among the nodes to which control may flow when this tests v to be null.

ControlFlowNode getNullSuccessor(LocalScopeVariable v)