Member predicate TranslatedCrementOperation::getChildSuccessorInternal
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
.
This predicate does not usually include destructors, which are inserted as
part of getChildSuccessor
unless handlesDestructorsExplicitly
holds.
Instruction getChildSuccessorInternal(TranslatedElement child, EdgeKind kind)