clang 20.0.0git
|
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 | |
const Stmt * | getStmt () const |
It might return null. | |
unsigned | getCount () const |
const void * | getTag () const |
It might return null. | |
QualType | getType () const override |
StringRef | getKindStr () const override |
Get a string representation of the kind of the region. | |
void | dumpToStream (raw_ostream &os) const override |
void | Profile (llvm::FoldingSetNodeID &profile) override |
![]() | |
~SymbolData () override=default | |
virtual StringRef | getKindStr () const =0 |
Get a string representation of the kind of the region. | |
unsigned | computeComplexity () const override |
![]() | |
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 unsigned | computeComplexity () const =0 |
virtual const MemRegion * | getOriginRegion () const |
Find the region from which this symbol originates. | |
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) |
Friends | |
class | SymExprAllocator |
Additional Inherited Members | |
![]() | |
enum | Kind |
![]() | |
SymbolData (Kind k, SymbolID sym) | |
![]() | |
SymExpr (Kind k, SymbolID Sym) | |
![]() | |
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 82 of file SymbolManager.h.
Definition at line 132 of file SymbolManager.h.
References clang::ento::SymExpr::getKind().
|
overridevirtual |
Reimplemented from clang::ento::SymExpr.
Definition at line 83 of file SymbolManager.cpp.
References clang::Decl::getASTContext(), clang::LocationContext::getDecl(), clang::LocationContext::getID(), clang::Stmt::getID(), getKindStr(), and clang::ento::SymExpr::getSymbolID().
|
inline |
Definition at line 106 of file SymbolManager.h.
|
overridevirtual |
Get a string representation of the kind of the region.
Implements clang::ento::SymbolData.
Definition at line 38 of file SymbolManager.cpp.
Referenced by dumpToStream().
|
inline |
It might return null.
Definition at line 105 of file SymbolManager.h.
|
inline |
It might return null.
Definition at line 108 of file SymbolManager.h.
|
overridevirtual |
Implements clang::ento::SymExpr.
Definition at line 321 of file SymbolManager.cpp.
References clang::T.
|
inlineoverridevirtual |
Implements clang::ento::SymExpr.
Definition at line 127 of file SymbolManager.h.
|
inlinestatic |
Definition at line 116 of file SymbolManager.h.
References clang::T.
Referenced by clang::ento::SymbolManager::conjureSymbol(), and Profile().
|
friend |
Definition at line 89 of file SymbolManager.h.