BlockCodeRegion - A region that represents code texts of blocks (closures). More...

#include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h"

Inheritance diagram for clang::ento::BlockCodeRegion:

Public Member Functions
QualType	getLocationType () const override
LLVM_ATTRIBUTE_RETURNS_NONNULL const BlockDecl *	getDecl () const
LLVM_ATTRIBUTE_RETURNS_NONNULL AnalysisDeclContext *	getAnalysisDeclContext () const
void	dumpToStream (raw_ostream &os) const override
void	Profile (llvm::FoldingSetNodeID &ID) const override
Public Member Functions inherited from clang::ento::CodeTextRegion
bool	isBoundable () const override
Public Member Functions inherited from clang::ento::TypedRegion
QualType	getDesugaredLocationType (ASTContext &Context) const
bool	isBoundable () const override
Public Member Functions inherited from clang::ento::SubRegion
LLVM_ATTRIBUTE_RETURNS_NONNULL 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.
Public Member Functions inherited from clang::ento::MemRegion
ASTContext &	getContext () const
LLVM_ATTRIBUTE_RETURNS_NONNULL const MemSpaceRegion *	getRawMemorySpace () const
	Deprecated.
template<class MemSpace>
const MemSpace *	getRawMemorySpaceAs () const
	Deprecated. Use getMemorySpace(ProgramStateRef) instead.
LLVM_ATTRIBUTE_RETURNS_NONNULL const MemSpaceRegion *	getMemorySpace (ProgramStateRef State) const
	Returns the most specific memory space for this memory region in the given ProgramStateRef.
template<class MemSpace>
const MemSpace *	getMemorySpaceAs (ProgramStateRef State) const
template<typename... MemorySpaces>
bool	hasMemorySpace (ProgramStateRef State) const
ProgramStateRef	setMemorySpace (ProgramStateRef State, const MemSpaceRegion *Space) const
	Set the dynamically deduced memory space of a MemRegion that currently has UnknownSpaceRegion.
LLVM_ATTRIBUTE_RETURNS_NONNULL const MemRegion *	getBaseRegion () const
LLVM_ATTRIBUTE_RETURNS_NONNULL const MemRegion *	getMostDerivedObjectRegion () const
	Recursively retrieve the region of the most derived class instance of regions of C++ base class instances.
LLVM_ATTRIBUTE_RETURNS_NONNULL const MemRegion *	StripCasts (bool StripBaseAndDerivedCasts=true) const
const SymbolicRegion *	getSymbolicBase () const
	If this is a symbolic region, returns the region.
RegionOffset	getAsOffset () const
	Compute the offset within the top level memory object.
std::string	getString () const
	Get a string representation of a region for debug use.
void	dump () const
virtual bool	canPrintPretty () const
	Returns true if this region can be printed in a user-friendly way.
virtual void	printPretty (raw_ostream &os) const
	Print the region for use in diagnostics.
virtual bool	canPrintPrettyAsExpr () const
	Returns true if this region's textual representation can be used as part of a larger expression.
virtual void	printPrettyAsExpr (raw_ostream &os) const
	Print the region as expression.
Kind	getKind () const
StringRef	getKindStr () const
template<typename RegionTy>
const RegionTy *	getAs () const
template<typename RegionTy>
LLVM_ATTRIBUTE_RETURNS_NONNULL const RegionTy *	castAs () const
std::string	getDescriptiveName (bool UseQuotes=true) const
	Get descriptive name for memory region.
SourceRange	sourceRange () const
	Retrieve source range from memory region.

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

Friends
class	MemRegionManager

Additional Inherited Members
Public Types inherited from clang::ento::MemRegion
enum	Kind
Protected Member Functions inherited from clang::ento::CodeTextRegion
	CodeTextRegion (const MemSpaceRegion *sreg, Kind k)
Protected Member Functions inherited from clang::ento::TypedRegion
	TypedRegion (const MemRegion *sReg, Kind k)
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 ()
Protected Attributes inherited from clang::ento::SubRegion
const MemRegion *	superRegion

Detailed Description

BlockCodeRegion - A region that represents code texts of blocks (closures).

Blocks are represented with two kinds of regions. BlockCodeRegions represent the "code", while BlockDataRegions represent instances of blocks, which correspond to "code+data". The distinction is important, because like a closure a block captures the values of externally referenced variables.

Definition at line 659 of file MemRegion.h.