Predicate PreSsa::SsaInput::getABasicBlockSuccessor
Gets an immediate successor of basic block bb, if any.
Import path
import semmle.code.csharp.controlflow.internal.PreSsaGets an immediate successor of basic block bb, if any.
import semmle.code.csharp.controlflow.internal.PreSsa