clang::ento::SymbolMetadata Class Reference

SymbolMetadata - Represents path-dependent metadata about a specific region. More...

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

Inheritance diagram for clang::ento::SymbolMetadata:

Collaboration diagram for clang::ento::SymbolMetadata:

Public Member Functions
	SymbolMetadata (SymbolID sym, const MemRegion *r, const Stmt *s, QualType t, const LocationContext *LCtx, unsigned count, const void *tag)
const MemRegion *	getRegion () const
const Stmt *	getStmt () const
const LocationContext *	getLocationContext () const
unsigned	getCount () const
const void *	getTag () const
QualType	getType () const override
void	dumpToStream (raw_ostream &os) const override
void	Profile (llvm::FoldingSetNodeID &profile) override
Public Member Functions inherited from clang::ento::SymbolData
	~SymbolData () override=default
SymbolID	getSymbolID () const
Public Member Functions inherited from clang::ento::SymExpr
virtual	~SymExpr ()=default
Kind	getKind () const
virtual void	dump () const
symbol_iterator	symbol_begin () const
unsigned	computeComplexity () const
virtual const MemRegion *	getOriginRegion () const
	Find the region from which this symbol originates. More...

Static Public Member Functions
static void	Profile (llvm::FoldingSetNodeID &profile, const MemRegion *R, const Stmt *S, QualType T, const LocationContext *LCtx, unsigned Count, const void *Tag)
static bool	classof (const SymExpr *SE)
Static Public Member Functions inherited from clang::ento::SymbolData
static bool	classof (const SymExpr *SE)
Static Public Member Functions inherited from clang::ento::SymExpr
static symbol_iterator	symbol_end ()

Additional Inherited Members
Public Types inherited from clang::ento::SymExpr
enum	Kind
Protected Member Functions inherited from clang::ento::SymbolData
	SymbolData (Kind k, SymbolID sym)
Protected Member Functions inherited from clang::ento::SymExpr
	SymExpr (Kind k)
Static Protected Member Functions inherited from clang::ento::SymExpr
static bool	isValidTypeForSymbol (QualType T)

Detailed Description

SymbolMetadata - Represents path-dependent metadata about a specific region.

Metadata symbols remain live as long as they are marked as in use before dead-symbol sweeping AND their associated regions are still alive. Intended for use by checkers.

Definition at line 202 of file SymbolManager.h.

Constructor & Destructor Documentation

SymbolMetadata()

clang::ento::SymbolMetadata::SymbolMetadata ( SymbolID  sym, const MemRegion *  r, const Stmt *  s, QualType  t, const LocationContext *  LCtx, unsigned  count, const void *  tag  )

inline

Definition at line 211 of file SymbolManager.h.

References clang::ento::SymExpr::isValidTypeForSymbol().

Member Function Documentation

classof()

static bool clang::ento::SymbolMetadata::classof ( const SymExpr *  SE )

inlinestatic

Definition at line 249 of file SymbolManager.h.

References clang::ento::SymExpr::getKind().

dumpToStream()

void SymbolMetadata::dumpToStream ( raw_ostream &  os ) const

overridevirtual

Reimplemented from clang::ento::SymExpr.

Definition at line 98 of file SymbolManager.cpp.

References clang::T.

getCount()

unsigned clang::ento::SymbolMetadata::getCount ( ) const

inline

Definition at line 225 of file SymbolManager.h.

getLocationContext()

const LocationContext* clang::ento::SymbolMetadata::getLocationContext ( ) const

inline

Definition at line 224 of file SymbolManager.h.

getRegion()

const MemRegion* clang::ento::SymbolMetadata::getRegion ( ) const

inline

Definition at line 222 of file SymbolManager.h.

Referenced by clang::ento::SValExplainer::VisitSymbolMetadata().

getStmt()

const Stmt* clang::ento::SymbolMetadata::getStmt ( ) const

inline

Definition at line 223 of file SymbolManager.h.

getTag()

const void* clang::ento::SymbolMetadata::getTag ( ) const

inline

Definition at line 226 of file SymbolManager.h.

References clang::ento::SymbolRegionValue::dumpToStream(), and clang::ento::SymbolRegionValue::getType().

getType()

QualType SymbolMetadata::getType ( ) const

overridevirtual

Implements clang::ento::SymExpr.

Definition at line 338 of file SymbolManager.cpp.

Referenced by clang::ento::SValExplainer::VisitSymbolMetadata().

Profile() [1/2]

static void clang::ento::SymbolMetadata::Profile ( llvm::FoldingSetNodeID &  profile, const MemRegion *  R, const Stmt *  S, QualType  T, const LocationContext *  LCtx, unsigned  Count, const void *  Tag  )

inlinestatic

Definition at line 232 of file SymbolManager.h.

Profile() [2/2]

void clang::ento::SymbolMetadata::Profile ( llvm::FoldingSetNodeID &  profile )

inlineoverridevirtual

Implements clang::ento::SymExpr.

Definition at line 244 of file SymbolManager.h.

References clang::ento::SymbolRegionValue::Profile().

---

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

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