Represents an implicit call to a C++ destructor. More...

#include <CallEvent.h>

Inheritance diagram for clang::CXXDestructorCall:

Collaboration diagram for clang::CXXDestructorCall:

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.
bool	isBaseDestructor () const
	Returns true if this is a call to a base class destructor.
Kind	getKind () const override
Static Public Member Functions
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)
	CXXDestructorCall (const CXXDestructorCall &Other)
void	cloneTo (void *Dest) const override
Friends
class	CallEventManager

Detailed Description

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 639 of file CallEvent.h.

Member Typedef Documentation

typedef llvm::PointerIntPair<const MemRegion *, 1, bool> clang::CXXDestructorCall::DtorDataTy [protected]

Definition at line 643 of file CallEvent.h.

clang::CXXDestructorCall::CXXDestructorCall	(	const CXXDestructorDecl *	DD,
		const Stmt *	Trigger,
		const MemRegion *	Target,
		bool	IsBaseDestructor,
		ProgramStateRef	St,
		const LocationContext *	LCtx
	)		`[inline, protected]`

Creates an implicit destructor.

Parameters:

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.