Predicate signature Semantic::getABasicBlockSuccessor
Gets an immediate successor of basic block bb
, if any.
signature BasicBlock getABasicBlockSuccessor(BasicBlock bb)
Gets an immediate successor of basic block bb
, if any.
signature BasicBlock getABasicBlockSuccessor(BasicBlock bb)