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

Member predicate TranslatedElement::getInstructionSuccessorInternal

Gets the successor instruction of the instruction that was generated by this element for tag tag. The successor edge kind is specified by kind. This predicate does not usually include destructors, which are inserted as part of getInstructionSuccessor unless handlesDestructorsExplicitly holds.

Instruction getInstructionSuccessorInternal(InstructionTag tag, EdgeKind kind)