Member predicate BasicBlocks::BasicBlock::getANonNullSuccessor

Gets an immediate non-null successor, if any.

An immediate non-null successor is a successor that is reached when the expression that ends this basic block evaluates to a non-null value.

Example:

x?.M();

The node x?.M(), representing the call to M, is a non-null successor of the node x.

BasicBlock getANonNullSuccessor()