#include <MemRegion.h>
Public Member Functions | |
| bool | isBoundable () const override |
| void | Profile (llvm::FoldingSetNodeID &ID) const override |
Static Public Member Functions | |
| static bool | classof (const MemRegion *R) |
Protected Member Functions | |
| MemSpaceRegion (MemRegionManager *mgr, Kind k=GenericMemSpaceRegionKind) | |
| MemRegionManager * | getMemRegionManager () const override |
Protected Attributes | |
| MemRegionManager * | Mgr |
Friends | |
| class | MemRegionManager |
Detailed Description
MemSpaceRegion - A memory region that represents a "memory space"; for example, the set of global variables, the stack frame, etc.
Definition at line 193 of file MemRegion.h.
Constructor & Destructor Documentation
| clang::ento::MemSpaceRegion::MemSpaceRegion | ( | MemRegionManager * | mgr, |
| Kind | k = GenericMemSpaceRegionKind |
||
| ) | [inline, protected] |
Definition at line 199 of file MemRegion.h.
References classof().
Member Function Documentation
| static bool clang::ento::MemSpaceRegion::classof | ( | const MemRegion * | R | ) | [inline, static] |
Reimplemented in clang::ento::StackArgumentsSpaceRegion, clang::ento::StackLocalsSpaceRegion, clang::ento::StackSpaceRegion, clang::ento::UnknownSpaceRegion, clang::ento::HeapSpaceRegion, clang::ento::GlobalInternalSpaceRegion, clang::ento::GlobalImmutableSpaceRegion, clang::ento::GlobalSystemSpaceRegion, clang::ento::NonStaticGlobalSpaceRegion, clang::ento::StaticGlobalSpaceRegion, and clang::ento::GlobalsSpaceRegion.
Definition at line 211 of file MemRegion.h.
References clang::ento::MemRegion::BEG_MEMSPACES, clang::ento::MemRegion::END_MEMSPACES, and clang::ento::MemRegion::getKind().
Referenced by MemSpaceRegion().
| MemRegionManager* clang::ento::MemSpaceRegion::getMemRegionManager | ( | ) | const [inline, override, protected, virtual] |
| bool clang::ento::MemSpaceRegion::isBoundable | ( | ) | const [inline, override, virtual] |
Reimplemented from clang::ento::MemRegion.
Definition at line 207 of file MemRegion.h.
| void MemSpaceRegion::Profile | ( | llvm::FoldingSetNodeID & | ID | ) | const [override, virtual] |
Implements clang::ento::MemRegion.
Reimplemented in clang::ento::StackSpaceRegion, and clang::ento::StaticGlobalSpaceRegion.
Definition at line 248 of file MemRegion.cpp.
References clang::ento::MemRegion::getKind().
Friends And Related Function Documentation
friend class MemRegionManager [friend] |
Reimplemented from clang::ento::MemRegion.
Reimplemented in clang::ento::StackArgumentsSpaceRegion, clang::ento::StackLocalsSpaceRegion, clang::ento::UnknownSpaceRegion, clang::ento::HeapSpaceRegion, clang::ento::GlobalInternalSpaceRegion, clang::ento::GlobalImmutableSpaceRegion, clang::ento::GlobalSystemSpaceRegion, clang::ento::NonStaticGlobalSpaceRegion, and clang::ento::StaticGlobalSpaceRegion.
Definition at line 195 of file MemRegion.h.
Member Data Documentation
MemRegionManager* clang::ento::MemSpaceRegion::Mgr [protected] |
Definition at line 197 of file MemRegion.h.
Referenced by getMemRegionManager().
The documentation for this class was generated from the following files: