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