Member predicate TranslatedElement::getChildSuccessor
Gets the successor instruction to which control should flow after the
child element specified by child
has finished execution. The successor
edge kind is specified by kind
.
Instruction getChildSuccessor(TranslatedElement child, EdgeKind kind)