|
clang
5.0.0
|
A symbol representing data which can be stored in a memory location (region). More...
#include "clang/StaticAnalyzer/Core/PathSensitive/SymExpr.h"
Public Member Functions | |
| ~SymbolData () override | |
| SymbolID | getSymbolID () const |
Public Member Functions inherited from clang::ento::SymExpr | |
| virtual | ~SymExpr () |
| Kind | getKind () const |
| virtual void | dump () const |
| virtual void | dumpToStream (raw_ostream &os) const |
| virtual QualType | getType () const =0 |
| virtual void | Profile (llvm::FoldingSetNodeID &profile)=0 |
| 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 bool | classof (const SymExpr *SE) |
Static Public Member Functions inherited from clang::ento::SymExpr | |
| static symbol_iterator | symbol_end () |
Protected Member Functions | |
| SymbolData (Kind k, SymbolID sym) | |
Protected Member Functions inherited from clang::ento::SymExpr | |
| SymExpr (Kind k) | |
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) |
A symbol representing data which can be stored in a memory location (region).
Definition at line 122 of file SymExpr.h.
References clang::ento::SymExpr::getKind().
Referenced by SymbolData().
|
inline |
Definition at line 119 of file SymExpr.h.
Referenced by clang::ento::SymbolRegionValue::dumpToStream(), clang::ento::SymbolConjured::dumpToStream(), clang::ento::SymbolDerived::dumpToStream(), clang::ento::SymbolExtent::dumpToStream(), and clang::ento::SymbolMetadata::dumpToStream().
1.8.6