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

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)