Predicate Flow::CaptureSsaInput::getABasicBlockSuccessor
Gets an immediate successor of basic block bb, if any.
Import path
import codeql.dataflow.VariableCaptureGets an immediate successor of basic block bb, if any.
import codeql.dataflow.VariableCapture