clang
10.0.0git
|
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=default | |
SymbolID | getSymbolID () const |
unsigned | computeComplexity () const override |
![]() | |
virtual | ~SymExpr ()=default |
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 |
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 symbol_iterator | symbol_end () |
Protected Member Functions | |
SymbolData (Kind k, SymbolID sym) | |
![]() | |
SymExpr (Kind k) | |
Additional Inherited Members | |
![]() | |
enum | Kind |
![]() | |
static bool | isValidTypeForSymbol (QualType T) |
![]() | |
unsigned | Complexity = 0 |
A symbol representing data which can be stored in a memory location (region).
Definition at line 122 of file SymExpr.h.
References clang::classof().
|
overridedefault |
Definition at line 136 of file SymExpr.h.
References clang::ento::SymExpr::getKind().
|
inlineoverridevirtual |
Implements clang::ento::SymExpr.
|
inline |