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

Member predicate AnalysedExpr :: getNonNullSuccessor

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 not null.

ControlFlowNode getNonNullSuccessor ( LocalScopeVariable v )