clang  6.0.0svn
Public Member Functions | Static Public Member Functions | List of all members
clang::ento::SymbolDerived Class Reference

A symbol representing the value of a MemRegion whose parent region has symbolic value. More...

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

Inheritance diagram for clang::ento::SymbolDerived:
Inheritance graph
[legend]
Collaboration diagram for clang::ento::SymbolDerived:
Collaboration graph
[legend]

Public Member Functions

 SymbolDerived (SymbolID sym, SymbolRef parent, const TypedValueRegion *r)
 
SymbolRef getParentSymbol () const
 
const TypedValueRegiongetRegion () const
 
QualType getType () const override
 
void dumpToStream (raw_ostream &os) const override
 
const MemRegiongetOriginRegion () const override
 Find the region from which this symbol originates. More...
 
void Profile (llvm::FoldingSetNodeID &profile) override
 
- Public Member Functions inherited from clang::ento::SymbolData
 ~SymbolData () override
 
SymbolID getSymbolID () const
 
- Public Member Functions inherited from clang::ento::SymExpr
virtual ~SymExpr ()
 
Kind getKind () const
 
virtual void dump () const
 
symbol_iterator symbol_begin () const
 
unsigned computeComplexity () const
 

Static Public Member Functions

static void Profile (llvm::FoldingSetNodeID &profile, SymbolRef parent, const TypedValueRegion *r)
 
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

A symbol representing the value of a MemRegion whose parent region has symbolic value.

Definition at line 128 of file SymbolManager.h.

Constructor & Destructor Documentation

◆ SymbolDerived()

clang::ento::SymbolDerived::SymbolDerived ( SymbolID  sym,
SymbolRef  parent,
const TypedValueRegion r 
)
inline

Member Function Documentation

◆ classof()

static bool clang::ento::SymbolDerived::classof ( const SymExpr SE)
inlinestatic

Definition at line 160 of file SymbolManager.h.

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

◆ dumpToStream()

void SymbolDerived::dumpToStream ( raw_ostream &  os) const
overridevirtual

Reimplemented from clang::ento::SymExpr.

Definition at line 77 of file SymbolManager.cpp.

◆ getOriginRegion()

const MemRegion* clang::ento::SymbolDerived::getOriginRegion ( ) const
inlineoverridevirtual

Find the region from which this symbol originates.

Whenever the symbol was constructed to denote an unknown value of a certain memory region, return this region. This method allows checkers to make decisions depending on the origin of the symbol. Symbol classes for which the origin region is known include SymbolRegionValue which denotes the value of the region before the beginning of the analysis, and SymbolDerived which denotes the value of a certain memory region after its super region (a memory space or a larger record region) is default-bound with a certain symbol.

Reimplemented from clang::ento::SymExpr.

Definition at line 146 of file SymbolManager.h.

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

◆ getParentSymbol()

SymbolRef clang::ento::SymbolDerived::getParentSymbol ( ) const
inline

Definition at line 140 of file SymbolManager.h.

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

◆ getRegion()

const TypedValueRegion* clang::ento::SymbolDerived::getRegion ( ) const
inline

◆ getType()

QualType SymbolDerived::getType ( ) const
overridevirtual

Implements clang::ento::SymExpr.

Definition at line 319 of file SymbolManager.cpp.

◆ Profile() [1/2]

static void clang::ento::SymbolDerived::Profile ( llvm::FoldingSetNodeID &  profile,
SymbolRef  parent,
const TypedValueRegion r 
)
inlinestatic

Definition at line 148 of file SymbolManager.h.

◆ Profile() [2/2]

void clang::ento::SymbolDerived::Profile ( llvm::FoldingSetNodeID &  profile)
inlineoverridevirtual

Implements clang::ento::SymExpr.

Definition at line 155 of file SymbolManager.h.

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


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