clang
3.9.0
|
Represents an implicit call to a C++ destructor. More...
#include <CallEvent.h>
Public Member Functions | |
SourceRange | getSourceRange () const override |
unsigned | getNumArgs () const override |
RuntimeDefinition | getRuntimeDefinition () const override |
SVal | getCXXThisVal () const override |
Returns the value of the implicit 'this' object. More... | |
bool | isBaseDestructor () const |
Returns true if this is a call to a base class destructor. More... | |
Kind | getKind () const override |
![]() | |
virtual const Expr * | getCXXThisExpr () const |
Returns the expression representing the implicit 'this' object. More... | |
const FunctionDecl * | getDecl () const override |
RuntimeDefinition | getRuntimeDefinition () const override |
void | getInitialStackFrameContents (const StackFrameContext *CalleeCtx, BindingsTy &Bindings) const override |
Static Public Member Functions | |
static bool | classof (const CallEvent *CA) |
![]() | |
static bool | classof (const CallEvent *CA) |
Protected Types | |
typedef llvm::PointerIntPair < const MemRegion *, 1, bool > | DtorDataTy |
Protected Member Functions | |
CXXDestructorCall (const CXXDestructorDecl *DD, const Stmt *Trigger, const MemRegion *Target, bool IsBaseDestructor, ProgramStateRef St, const LocationContext *LCtx) | |
Creates an implicit destructor. More... | |
CXXDestructorCall (const CXXDestructorCall &Other) | |
void | cloneTo (void *Dest) const override |
![]() | |
void | getExtraInvalidatedValues (ValueList &Values, RegionAndSymbolInvalidationTraits *ETraits) const override |
CXXInstanceCall (const CallExpr *CE, ProgramStateRef St, const LocationContext *LCtx) | |
CXXInstanceCall (const FunctionDecl *D, ProgramStateRef St, const LocationContext *LCtx) | |
CXXInstanceCall (const CXXInstanceCall &Other) | |
Friends | |
class | CallEventManager |
Represents an implicit call to a C++ destructor.
This can occur at the end of a scope (for automatic objects), at the end of a full-expression (for temporaries), or as part of a delete.
Definition at line 728 of file CallEvent.h.
|
protected |
Definition at line 732 of file CallEvent.h.
|
inlineprotected |
Creates an implicit destructor.
DD | The destructor that will be called. |
Trigger | The statement whose completion causes this destructor call. |
Target | The object region to be destructed. |
St | The path-sensitive state at this point in the program. |
LCtx | The location context at this point in the program. |
Definition at line 741 of file CallEvent.h.
|
inlineprotected |
Definition at line 749 of file CallEvent.h.
Definition at line 768 of file CallEvent.h.
References clang::ento::CE_CXXDestructor.
|
inlineoverrideprotected |
Definition at line 750 of file CallEvent.h.
|
overridevirtual |
Returns the value of the implicit 'this' object.
Reimplemented from clang::CXXInstanceCall.
Definition at line 659 of file CallEvent.cpp.
|
inlineoverride |
Definition at line 766 of file CallEvent.h.
References clang::ento::CE_CXXDestructor.
|
inlineoverride |
Definition at line 754 of file CallEvent.h.
|
override |
Definition at line 665 of file CallEvent.cpp.
References clang::ento::AnyFunctionCall::getRuntimeDefinition(), and clang::CXXInstanceCall::getRuntimeDefinition().
|
inlineoverride |
Definition at line 753 of file CallEvent.h.
|
inline |
Returns true if this is a call to a base class destructor.
Definition at line 762 of file CallEvent.h.
|
friend |
Definition at line 729 of file CallEvent.h.