The region for all the non-static global variables. More...
#include <MemRegion.h>
Public Member Functions | |
| void | dumpToStream (raw_ostream &os) const |
Static Public Member Functions | |
| static bool | classof (const MemRegion *R) |
Protected Member Functions | |
| NonStaticGlobalSpaceRegion (MemRegionManager *mgr, Kind k) | |
Friends | |
| class | MemRegionManager |
Detailed Description
The region for all the non-static global variables.
This class is further split into subclasses for efficient implementation of invalidating a set of related global values as is done in RegionStoreManager::invalidateRegions (instead of finding all the dependent globals, we invalidate the whole parent region).
Definition at line 231 of file MemRegion.h.
Constructor & Destructor Documentation
| clang::ento::NonStaticGlobalSpaceRegion::NonStaticGlobalSpaceRegion | ( | MemRegionManager * | mgr, |
| Kind | k | ||
| ) | [inline, protected] |
Definition at line 235 of file MemRegion.h.
Member Function Documentation
| static bool clang::ento::NonStaticGlobalSpaceRegion::classof | ( | const MemRegion * | R | ) | [inline, static] |
Reimplemented from clang::ento::GlobalsSpaceRegion.
Reimplemented in clang::ento::GlobalInternalSpaceRegion, clang::ento::GlobalImmutableSpaceRegion, and clang::ento::GlobalSystemSpaceRegion.
Definition at line 242 of file MemRegion.h.
References clang::ento::MemRegion::BEG_NON_STATIC_GLOBAL_MEMSPACES, clang::ento::MemRegion::END_NON_STATIC_GLOBAL_MEMSPACES, and clang::ento::MemRegion::getKind().
| void clang::ento::NonStaticGlobalSpaceRegion::dumpToStream | ( | raw_ostream & | os | ) | const [virtual] |
Reimplemented from clang::ento::MemRegion.
Reimplemented in clang::ento::GlobalInternalSpaceRegion, clang::ento::GlobalImmutableSpaceRegion, and clang::ento::GlobalSystemSpaceRegion.
Friends And Related Function Documentation
friend class MemRegionManager [friend] |
Reimplemented from clang::ento::MemSpaceRegion.
Reimplemented in clang::ento::GlobalInternalSpaceRegion, clang::ento::GlobalImmutableSpaceRegion, and clang::ento::GlobalSystemSpaceRegion.
Definition at line 232 of file MemRegion.h.
The documentation for this class was generated from the following file: