clang
10.0.0svn
|
A symbol representing the result of an expression in the case when we do not know anything about what the expression is. More...
#include "clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h"
Public Member Functions | |
SymbolConjured (SymbolID sym, const Stmt *s, const LocationContext *lctx, QualType t, unsigned count, const void *symbolTag) | |
const Stmt * | getStmt () 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 |
![]() | |
~SymbolData () override=default | |
SymbolID | getSymbolID () const |
unsigned | computeComplexity () const override |
![]() | |
virtual | ~SymExpr ()=default |
Kind | getKind () const |
virtual void | dump () const |
symbol_iterator | symbol_begin () 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 Stmt *S, QualType T, unsigned Count, const LocationContext *LCtx, const void *SymbolTag) |
static bool | classof (const SymExpr *SE) |
![]() | |
static bool | classof (const SymExpr *SE) |
![]() | |
static symbol_iterator | symbol_end () |
Additional Inherited Members | |
![]() | |
enum | Kind |
![]() | |
SymbolData (Kind k, SymbolID sym) | |
![]() | |
SymExpr (Kind k) | |
![]() | |
static bool | isValidTypeForSymbol (QualType T) |
![]() | |
unsigned | Complexity = 0 |
A symbol representing the result of an expression in the case when we do not know anything about what the expression is.
Definition at line 75 of file SymbolManager.h.
|
inline |
Definition at line 83 of file SymbolManager.h.
References clang::ento::SymExpr::isValidTypeForSymbol().
Definition at line 120 of file SymbolManager.h.
References clang::ento::SymExpr::getKind().
|
overridevirtual |
Reimplemented from clang::ento::SymExpr.
Definition at line 84 of file SymbolManager.cpp.
|
inline |
Definition at line 97 of file SymbolManager.h.
|
inline |
Definition at line 96 of file SymbolManager.h.
Referenced by clang::ento::SValExplainer::VisitSymbolConjured().
|
inline |
Definition at line 98 of file SymbolManager.h.
References clang::ento::SymbolRegionValue::dumpToStream(), and clang::ento::SymbolRegionValue::getType().
|
overridevirtual |
Implements clang::ento::SymExpr.
Definition at line 323 of file SymbolManager.cpp.
Referenced by clang::ento::SValExplainer::VisitSymbolConjured().
|
inlinestatic |
Definition at line 104 of file SymbolManager.h.
|
inlineoverridevirtual |
Implements clang::ento::SymExpr.
Definition at line 115 of file SymbolManager.h.
References clang::ento::SymbolRegionValue::Profile().