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

Inheritance diagram for clang::ento::nonloc::LazyCompoundVal:

[legend]

Collaboration diagram for clang::ento::nonloc::LazyCompoundVal:

[legend]

Public Member Functions
const LazyCompoundValData *	getCVData () const

const void *	getStore () const

const TypedValueRegion *	getRegion () const

Public Member Functions inherited from clang::ento::NonLoc
void	dumpToStream (raw_ostream &Out) const

Public Member Functions inherited from clang::ento::DefinedSVal
bool	isUnknown () const =delete

bool	isUnknownOrUndef () const =delete

bool	isValid () const =delete

Public Member Functions inherited from clang::ento::DefinedOrUnknownSVal
bool	isUndef () const =delete

bool	isValid () const =delete

Public Member Functions inherited from clang::ento::SVal
	SVal ()=default

template<typename T >
T	castAs () const
	Convert to the specified SVal type, asserting that this SVal is of the desired type. More...

template<typename T >
Optional< T >	getAs () const
	Convert to the specified SVal type, returning None if this SVal is not of the desired type. More...

unsigned	getRawKind () const

BaseKind	getBaseKind () const

unsigned	getSubKind () const

void	Profile (llvm::FoldingSetNodeID &ID) const

bool	operator== (const SVal &R) const

bool	operator!= (const SVal &R) const

bool	isUnknown () const

bool	isUndef () const

bool	isUnknownOrUndef () const

bool	isValid () const

bool	isConstant () const

bool	isConstant (int I) const

bool	isZeroConstant () const

bool	hasConjuredSymbol () const
	hasConjuredSymbol - If this SVal wraps a conjured symbol, return true; More...

const FunctionDecl *	getAsFunctionDecl () const
	getAsFunctionDecl - If this SVal is a MemRegionVal and wraps a CodeTextRegion wrapping a FunctionDecl, return that FunctionDecl. More...

SymbolRef	getAsLocSymbol (bool IncludeBaseRegions=false) const
	If this SVal is a location and wraps a symbol, return that SymbolRef. More...

SymbolRef	getLocSymbolInBase () const
	Get the symbol in the SVal or its base region. More...

SymbolRef	getAsSymbol (bool IncludeBaseRegions=false) const
	If this SVal wraps a symbol return that SymbolRef. More...

const SymExpr *	getAsSymbolicExpression () const
	getAsSymbolicExpression - If this Sval wraps a symbolic expression then return that expression. More...

const SymExpr *	getAsSymExpr () const

const MemRegion *	getAsRegion () const

void	dumpToStream (raw_ostream &OS) const

void	dump () const

SymExpr::symbol_iterator	symbol_begin () const

SymExpr::symbol_iterator	symbol_end () const

Friends
class	ento::SValBuilder

class	SVal

Additional Inherited Members
Public Types inherited from clang::ento::SVal
enum	BaseKind

enum	{ BaseBits = 2, BaseMask = 0x3 }

Static Public Member Functions inherited from clang::ento::NonLoc
static bool	isCompoundType (QualType T)

Protected Member Functions inherited from clang::ento::NonLoc
	NonLoc ()=default

	NonLoc (unsigned SubKind, const void *d)

Protected Member Functions inherited from clang::ento::DefinedSVal
	DefinedSVal ()=default

	DefinedSVal (const void *d, bool isLoc, unsigned ValKind)

Protected Member Functions inherited from clang::ento::DefinedOrUnknownSVal
	DefinedOrUnknownSVal ()=default

	DefinedOrUnknownSVal (const void *d, bool isLoc, unsigned ValKind)

	DefinedOrUnknownSVal (BaseKind k, void *D=nullptr)

Protected Member Functions inherited from clang::ento::SVal
	SVal (const void *d, bool isLoc, unsigned ValKind)

	SVal (BaseKind k, const void *D=nullptr)

Protected Attributes inherited from clang::ento::SVal
const void *	Data = nullptr

unsigned	Kind = 0
	The lowest 2 bits are a BaseKind (0 – 3). More...