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