#include <SymbolManager.h>
Public Member Functions | |
| SymbolMetadata (SymbolID sym, const MemRegion *r, const Stmt *s, QualType t, unsigned count, const void *tag) | |
| const MemRegion * | getRegion () const |
| const Stmt * | getStmt () const |
| unsigned | getCount () const |
| const void * | getTag () const |
| QualType | getType (ASTContext &) const |
| virtual void | dumpToStream (raw_ostream &os) const |
| virtual void | Profile (llvm::FoldingSetNodeID &profile) |
Static Public Member Functions | |
| static void | Profile (llvm::FoldingSetNodeID &profile, const MemRegion *R, const Stmt *S, QualType T, unsigned Count, const void *Tag) |
| static bool | classof (const SymExpr *SE) |
Detailed Description
SymbolMetadata - Represents path-dependent metadata about a specific region. Metadata symbols remain live as long as they are marked as in use before dead-symbol sweeping AND their associated regions are still alive. Intended for use by checkers.
Definition at line 270 of file SymbolManager.h.
Constructor & Destructor Documentation
| clang::ento::SymbolMetadata::SymbolMetadata | ( | SymbolID | sym, |
| const MemRegion * | r, | ||
| const Stmt * | s, | ||
| QualType | t, | ||
| unsigned | count, | ||
| const void * | tag | ||
| ) | [inline] |
Definition at line 277 of file SymbolManager.h.
Member Function Documentation
| static bool clang::ento::SymbolMetadata::classof | ( | const SymExpr * | SE | ) | [inline, static] |
Reimplemented from clang::ento::SymbolData.
Definition at line 306 of file SymbolManager.h.
References clang::ento::SymExpr::getKind(), and clang::ento::SymExpr::MetadataKind.
| virtual void clang::ento::SymbolMetadata::dumpToStream | ( | raw_ostream & | os | ) | const [virtual] |
Reimplemented from clang::ento::SymExpr.
| unsigned clang::ento::SymbolMetadata::getCount | ( | ) | const [inline] |
Definition at line 283 of file SymbolManager.h.
| const MemRegion* clang::ento::SymbolMetadata::getRegion | ( | ) | const [inline] |
Definition at line 281 of file SymbolManager.h.
| const Stmt * BugReport::getStmt | ( | ) | const [inline] |
Definition at line 282 of file SymbolManager.h.
| const void* clang::ento::SymbolMetadata::getTag | ( | ) | const [inline] |
Definition at line 284 of file SymbolManager.h.
| QualType clang::ento::SymbolMetadata::getType | ( | ASTContext & | ) | const [virtual] |
Implements clang::ento::SymExpr.
| static void clang::ento::SymbolMetadata::Profile | ( | llvm::FoldingSetNodeID & | profile, |
| const MemRegion * | R, | ||
| const Stmt * | S, | ||
| QualType | T, | ||
| unsigned | Count, | ||
| const void * | Tag | ||
| ) | [inline, static] |
Definition at line 290 of file SymbolManager.h.
References clang::ento::SymExpr::MetadataKind.
Referenced by Profile().
| virtual void clang::ento::SymbolMetadata::Profile | ( | llvm::FoldingSetNodeID & | profile | ) | [inline, virtual] |
Implements clang::ento::SymExpr.
Definition at line 301 of file SymbolManager.h.
References Profile().
The documentation for this class was generated from the following files: