Predicate signature getABasicBlockSuccessor
Gets an immediate successor of basic block bb
, if any.
Import path
import codeql.ssa.Ssa
signature
BasicBlock
getABasicBlockSuccessor
(
BasicBlock
bb
)