CodeQL library for C/C++
codeql/cpp-all 0.12.12-dev (changelog, source)
Search

Member predicate TranslatedCall::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)