clang: clang::ento::AllocaRegion Class Reference

clang API Documentation

#include <MemRegion.h>

Inheritance diagram for clang::ento::AllocaRegion:

Inheritance graph

Collaboration diagram for clang::ento::AllocaRegion:

Collaboration graph

List of all members.

Public Member Functions
const Expr *	getExpr () const
bool	isBoundable () const override
DefinedOrUnknownSVal	getExtent (SValBuilder &svalBuilder) const override
	getExtent - Returns the size of the region in bytes.
void	Profile (llvm::FoldingSetNodeID &ID) const override
void	dumpToStream (raw_ostream &os) const override
Static Public Member Functions
static void	ProfileRegion (llvm::FoldingSetNodeID &ID, const Expr Ex, unsigned Cnt, const MemRegion superRegion)
static bool	classof (const MemRegion *R)
Protected Member Functions
	AllocaRegion (const Expr ex, unsigned cnt, const MemRegion superRegion)
Protected Attributes
unsigned	Cnt
const Expr *	Ex
Friends
class	MemRegionManager

Detailed Description

AllocaRegion - A region that represents an untyped blob of bytes created by a call to 'alloca'.

Definition at line 445 of file MemRegion.h.

Constructor & Destructor Documentation

clang::ento::AllocaRegion::AllocaRegion	(	const Expr *	ex,
		unsigned	cnt,
		const MemRegion *	superRegion
	)		`[inline, protected]`

Definition at line 452 of file MemRegion.h.

Member Function Documentation

static bool clang::ento::AllocaRegion::classof ( const MemRegion * R ) [inline, static]

Reimplemented from clang::ento::SubRegion.

Definition at line 470 of file MemRegion.h.

References clang::ento::MemRegion::AllocaRegionKind, and clang::ento::MemRegion::getKind().

void AllocaRegion::dumpToStream ( raw_ostream & os ) const [override, virtual]

Reimplemented from clang::ento::MemRegion.

Definition at line 456 of file MemRegion.cpp.

References Cnt.

const Expr* clang::ento::AllocaRegion::getExpr ( ) const [inline]

Definition at line 457 of file MemRegion.h.

References Ex.

DefinedOrUnknownSVal AllocaRegion::getExtent ( SValBuilder & svalBuilder ) const [override, virtual]

getExtent - Returns the size of the region in bytes.

Reimplemented from clang::ento::SubRegion.

Definition at line 216 of file MemRegion.cpp.

References clang::ento::SymbolManager::getExtentSymbol(), and clang::ento::SValBuilder::getSymbolManager().

bool clang::ento::AllocaRegion::isBoundable ( ) const [inline, override, virtual]

Reimplemented from clang::ento::MemRegion.

Definition at line 459 of file MemRegion.h.

void AllocaRegion::Profile ( llvm::FoldingSetNodeID & ID ) const [override, virtual]

Implements clang::ento::MemRegion.

Definition at line 287 of file MemRegion.cpp.

References Cnt, Ex, and ProfileRegion().

void AllocaRegion::ProfileRegion	(	llvm::FoldingSetNodeID &	ID,
		const Expr *	Ex,
		unsigned	Cnt,
		const MemRegion *	superRegion
	)		`[static]`

Definition at line 278 of file MemRegion.cpp.

References clang::ento::MemRegion::AllocaRegionKind.

Referenced by Profile().

Friends And Related Function Documentation

friend class MemRegionManager [friend]

Reimplemented from clang::ento::MemRegion.

Definition at line 446 of file MemRegion.h.

Member Data Documentation

unsigned clang::ento::AllocaRegion::Cnt [protected]

Definition at line 448 of file MemRegion.h.

Referenced by dumpToStream(), and Profile().

const Expr* clang::ento::AllocaRegion::Ex [protected]

Definition at line 450 of file MemRegion.h.

Referenced by getExpr(), and Profile().

The documentation for this class was generated from the following files: