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

Inheritance diagram for clang::ento::DefinedOrUnknownSVal:

[legend]

Public Member Functions
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.

template<typename T >
std::optional< T >	getAs () const
	Convert to the specified SVal type, returning std::nullopt if this SVal is not of the desired type.

unsigned	getRawKind () const

BaseKind	getBaseKind () const

unsigned	getSubKind () const

void	Profile (llvm::FoldingSetNodeID &ID) const

bool	operator== (SVal R) const

bool	operator!= (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

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

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

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

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

const llvm::APSInt *	getAsInteger () const
	If this SVal is loc::ConcreteInt or nonloc::ConcreteInt, return a pointer to APSInt which is held in it.

const MemRegion *	getAsRegion () const

void	printJson (raw_ostream &Out, bool AddQuotes) const
	printJson - Pretty-prints in JSON format.

void	dumpToStream (raw_ostream &OS) const

void	dump () const

llvm::iterator_range< SymExpr::symbol_iterator >	symbols () const

QualType	getType (const ASTContext &) const
	Try to get a reasonable type for the given value.

Static Public Member Functions
static bool	classof (SVal V)

Protected Member Functions
	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)

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

enum	{ BaseBits = 2 , BaseMask = 0b11 }

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

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

Detailed Description

Definition at line 216 of file SVals.h.

Constructor & Destructor Documentation

◆ DefinedOrUnknownSVal() [1/2]

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

inlineexplicitprotected

Definition at line 226 of file SVals.h.

◆ DefinedOrUnknownSVal() [2/2]

clang::ento::DefinedOrUnknownSVal::DefinedOrUnknownSVal	(	BaseKind	k,
		void *	D = `nullptr`
	)

inlineexplicitprotected

Definition at line 228 of file SVals.h.

Member Function Documentation

◆ classof()

static bool clang::ento::DefinedOrUnknownSVal::classof ( SVal V )

inlinestatic

Definition at line 223 of file SVals.h.

References V.

◆ isUndef()

bool clang::ento::DefinedOrUnknownSVal::isUndef ( ) const

delete

◆ isValid()

bool clang::ento::DefinedOrUnknownSVal::isValid ( ) const

delete

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

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

Public Member Functions

Static Public Member Functions

Protected Member Functions

Additional Inherited Members