The IR translation of the destructor calls of the parent TranslatedThrow
.
This object does not itself generate the destructor calls. Instead, its
children provide the actual calls, and this object ensures that we correctly
exit with an ExceptionEdge
after executing all the destructor calls.
Import path
import semmle.code.cpp.ir.implementation.raw.internal.TranslatedExpr
Direct supertypes
Indirect supertypes
Fields
Predicates
getALastInstructionInternal | Gets an instruction within this |
getAst | Gets the AST node being translated. |
getChild | Gets the immediate child element of this element. The |
getChildSuccessorInternal | Gets the successor instruction to which control should flow after the child element specified by |
getFirstInstruction | Get the first instruction to be executed in the evaluation of this element when the edge kind is |
getFunction | Gets the |
getInstructionSuccessorInternal | Gets the successor instruction of the instruction that was generated by this element for tag |
getLastChild | |
handlesDestructorsExplicitly | Holds if this |
hasInstruction | Holds if this element generates an instruction with opcode |
toString |
Inherited predicates
getAChild | Get the immediate child elements of this element. | from TranslatedElement |
getALastInstruction | Gets an instruction within this | from TranslatedElement |
getAST | DEPRECATED: Alias for getAst | from TranslatedElement |
getChildSuccessor | Gets the successor instruction to which control should flow after the child element specified by | from TranslatedElement |
getExceptionSuccessorInstruction | Gets the instruction to which control should flow if an exception is thrown within this element. This will generally return first | from TranslatedElement |
getFirstDestructorCallIndex | Gets the child index of the first destructor call that should be executed after this | from TranslatedElement |
getId | Gets the an identifier string for the element. This id is unique within the scope of the element’s function. | from TranslatedElement |
getInstruction | Gets the instruction generated by this element with tag | from TranslatedElement |
getInstructionBuiltInOperation | If the instruction specified by | from TranslatedElement |
getInstructionConstantValue | If the instruction specified by | from TranslatedElement |
getInstructionElementSize | If the instruction specified by | from TranslatedElement |
getInstructionExceptionType | If the instruction specified by | from TranslatedElement |
getInstructionField | If the instruction specified by | from TranslatedElement |
getInstructionFunction | If the instruction specified by | from TranslatedElement |
getInstructionIndex | If the instruction specified by | from TranslatedElement |
getInstructionInheritance | If the instruction specified by | from TranslatedElement |
getInstructionMemoryOperandType | Gets the type of the memory operand specified by | from TranslatedElement |
getInstructionOperandSize | Gets the size of the memory operand specified by | from TranslatedElement |
getInstructionRegisterOperand | Gets the instruction whose result is consumed as an operand of the instruction specified by | from TranslatedElement |
getInstructionStringLiteral | If the instruction specified by | from TranslatedElement |
getInstructionSuccessor | Gets the successor instruction of the instruction that was generated by this element for tag | from TranslatedElement |
getInstructionVariable | If the instruction specified by | from TranslatedElement |
getLocation | Gets the location of this element. | from TranslatedElement |
getParent | Gets the parent element of this element. | from TranslatedElement |
getPrimaryInstructionForSideEffect | Gets the primary instruction for the side effect instruction that was generated by this element for tag | from TranslatedElement |
getTempVariable | Gets the temporary variable generated by this element with tag | from TranslatedElement |
hasAnImplicitDestructorCall | Holds if this element has implicit destructor calls that should follow it. | from TranslatedElement |
hasTempVariable | Holds if this element generates a temporary variable with type | from TranslatedElement |
needsUnknownOpaqueType | Holds if the generated IR refers to an opaque type with size | from TranslatedElement |