clang
3.9.0
|
SymbolExtent - Represents the extent (size in bytes) of a bounded region. More...
#include <SymbolManager.h>
Public Member Functions | |
SymbolExtent (SymbolID sym, const SubRegion *r) | |
const SubRegion * | getRegion () const |
QualType | getType () const override |
void | dumpToStream (raw_ostream &os) const override |
void | Profile (llvm::FoldingSetNodeID &profile) override |
![]() | |
~SymbolData () override | |
SymbolID | getSymbolID () const |
![]() | |
virtual | ~SymExpr () |
Kind | getKind () const |
virtual void | dump () const |
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 void | Profile (llvm::FoldingSetNodeID &profile, const SubRegion *R) |
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) | |
SymbolExtent - Represents the extent (size in bytes) of a bounded region.
Clients should not ask the SymbolManager for a region's extent. Always use SubRegion::getExtent instead – the value returned may not be a symbol.
Definition at line 153 of file SymbolManager.h.
Definition at line 157 of file SymbolManager.h.
Definition at line 176 of file SymbolManager.h.
References clang::ento::SymExpr::getKind().
|
overridevirtual |
Reimplemented from clang::ento::SymExpr.
Definition at line 76 of file SymbolManager.cpp.
References getRegion(), and clang::ento::SymbolData::getSymbolID().
|
inline |
Definition at line 160 of file SymbolManager.h.
Referenced by dumpToStream(), and clang::ento::SValExplainer::VisitSymbolExtent().
|
overridevirtual |
Implements clang::ento::SymExpr.
Definition at line 315 of file SymbolManager.cpp.
References clang::ASTContext::getSizeType().
|
inlinestatic |
Definition at line 166 of file SymbolManager.h.
Referenced by clang::ento::SymbolManager::getExtentSymbol(), and Profile().
|
inlineoverridevirtual |
Implements clang::ento::SymExpr.
Definition at line 171 of file SymbolManager.h.
References Profile().