SymbolicRegion - A special, "non-concrete" region. More...

#include <MemRegion.h>

Inheritance diagram for clang::ento::SymbolicRegion:

Collaboration diagram for clang::ento::SymbolicRegion:

Public Member Functions
	SymbolicRegion (const SymbolRef s, const MemRegion *sreg)

SymbolRef	getSymbol () const

bool	isBoundable () const override

DefinedOrUnknownSVal	getExtent (SValBuilder &svalBuilder) const override
	getExtent - Returns the size of the region in bytes. More...

void	Profile (llvm::FoldingSetNodeID &ID) const override

void	dumpToStream (raw_ostream &os) const override

Public Member Functions inherited from clang::ento::SubRegion
const MemRegion *	getSuperRegion () const

MemRegionManager *	getMemRegionManager () const override

bool	isSubRegionOf (const MemRegion *R) const override
	Check if the region is a subregion of the given region. More...

Public Member Functions inherited from clang::ento::MemRegion
ASTContext &	getContext () const

const MemSpaceRegion *	getMemorySpace () const

const MemRegion *	getBaseRegion () const

const MemRegion *	StripCasts (bool StripBaseCasts=true) const

const SymbolicRegion *	getSymbolicBase () const
	If this is a symbolic region, returns the region. More...

bool	hasGlobalsOrParametersStorage () const

bool	hasStackStorage () const

bool	hasStackNonParametersStorage () const

bool	hasStackParametersStorage () const

RegionOffset	getAsOffset () const
	Compute the offset within the top level memory object. More...

std::string	getString () const
	Get a string representation of a region for debug use. More...

void	dump () const

virtual bool	canPrintPretty () const
	Returns true if this region can be printed in a user-friendly way. More...

virtual void	printPretty (raw_ostream &os) const
	Print the region for use in diagnostics. More...

virtual bool	canPrintPrettyAsExpr () const
	Returns true if this region's textual representation can be used as part of a larger expression. More...

virtual void	printPrettyAsExpr (raw_ostream &os) const
	Print the region as expression. More...

Kind	getKind () const

template<typename RegionTy >
const RegionTy *	getAs () const

std::string	getDescriptiveName (bool UseQuotes=true) const
	Get descriptive name for memory region. More...

clang::SourceRange	sourceRange () const
	Retrieve source range from memory region. More...

Static Public Member Functions
static void	ProfileRegion (llvm::FoldingSetNodeID &ID, SymbolRef sym, const MemRegion *superRegion)

static bool	classof (const MemRegion *R)

Static Public Member Functions inherited from clang::ento::SubRegion
static bool	classof (const MemRegion *R)

Protected Attributes
const SymbolRef	sym

Protected Attributes inherited from clang::ento::SubRegion
const MemRegion *	superRegion

Additional Inherited Members
Public Types inherited from clang::ento::MemRegion
enum	Kind

Protected Member Functions inherited from clang::ento::SubRegion
	SubRegion (const MemRegion *sReg, Kind k)

Protected Member Functions inherited from clang::ento::MemRegion
	MemRegion (Kind k)

virtual	~MemRegion ()

Detailed Description

SymbolicRegion - A special, "non-concrete" region.

Unlike other region classes, SymbolicRegion represents a region that serves as an alias for either a real region, a NULL pointer, etc. It essentially is used to map the concept of symbolic values into the domain of regions. Symbolic regions do not need to be typed.

Definition at line 707 of file MemRegion.h.