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.



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

BasicBlock getANonNullSuccessor()