clang::ento::SymbolData Class Reference

A symbol representing data which can be stored in a memory location (region). More...

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

Inheritance diagram for clang::ento::SymbolData:

Public Member Functions
	~SymbolData () override=default
virtual StringRef	getKindStr () const =0
	Get a string representation of the kind of the region.
unsigned	computeComplexity () const override
Public Member Functions inherited from clang::ento::SymExpr
virtual	~SymExpr ()=default
Kind	getKind () const
SymbolID	getSymbolID () const
	Get a unique identifier for this symbol.
virtual void	dump () const
virtual void	dumpToStream (raw_ostream &os) const
virtual QualType	getType () const =0
virtual void	Profile (llvm::FoldingSetNodeID &profile)=0
llvm::iterator_range< symbol_iterator >	symbols () const
virtual const MemRegion *	getOriginRegion () const
	Find the region from which this symbol originates.

Static Public Member Functions
static bool	classof (const SymExpr *SE)
static constexpr bool	classof (Kind K)

Protected Member Functions
	SymbolData (Kind k, SymbolID sym)
Protected Member Functions inherited from clang::ento::SymExpr
	SymExpr (Kind k, SymbolID Sym)

Additional Inherited Members
Public Types inherited from clang::ento::SymExpr
enum	Kind
Static Protected Member Functions inherited from clang::ento::SymExpr
static bool	isValidTypeForSymbol (QualType T)
Protected Attributes inherited from clang::ento::SymExpr
unsigned	Complexity = 0

Detailed Description

A symbol representing data which can be stored in a memory location (region).

Definition at line 138 of file SymExpr.h.

Constructor & Destructor Documentation

SymbolData()

clang::ento::SymbolData::SymbolData ( Kind k, SymbolID sym )

inlineprotected

Definition at line 142 of file SymExpr.h.

References classof(), and clang::ento::SymExpr::SymExpr().

Referenced by clang::ento::SymbolConjured::SymExprAllocator, clang::ento::SymbolDerived::SymExprAllocator, clang::ento::SymbolExtent::SymExprAllocator, clang::ento::SymbolMetadata::SymExprAllocator, and clang::ento::SymbolRegionValue::SymExprAllocator.

~SymbolData()

clang::ento::SymbolData::~SymbolData ( )

overridedefault

Member Function Documentation

classof() [1/2]

bool clang::ento::SymbolData::classof ( const SymExpr * SE )

inlinestatic

Definition at line 155 of file SymExpr.h.

References classof(), clang::ento::SymExpr::getKind(), and clang::ento::SymExpr::SymExpr().

Referenced by classof(), and SymbolData().

classof() [2/2]

constexpr bool clang::ento::SymbolData::classof ( Kind K )

inlinestaticconstexpr

Definition at line 156 of file SymExpr.h.

computeComplexity()

unsigned clang::ento::SymbolData::computeComplexity ( ) const

inlineoverridevirtual

Implements clang::ento::SymExpr.

Definition at line 150 of file SymExpr.h.

getKindStr()

virtual StringRef clang::ento::SymbolData::getKindStr ( ) const

pure virtual

Get a string representation of the kind of the region.

Implemented in clang::ento::SymbolConjured, clang::ento::SymbolDerived, clang::ento::SymbolExtent, clang::ento::SymbolMetadata, and clang::ento::SymbolRegionValue.

Referenced by clang::ento::SMTConv::fromData().

---

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

• include/clang/StaticAnalyzer/Core/PathSensitive/SymExpr.h
• lib/StaticAnalyzer/Core/SymbolManager.cpp