The region containing globals which are considered not to be modified or point to data which could be modified as a result of a function call (system or internal). Ex: Const global scalars would be modeled as part of this region. This region also includes most system globals since they have low chance of being modified. More...
#include <MemRegion.h>
Public Member Functions | |
| void | dumpToStream (raw_ostream &os) const override |
Static Public Member Functions | |
| static bool | classof (const MemRegion *R) |
Friends | |
| class | MemRegionManager |
Detailed Description
The region containing globals which are considered not to be modified or point to data which could be modified as a result of a function call (system or internal). Ex: Const global scalars would be modeled as part of this region. This region also includes most system globals since they have low chance of being modified.
Definition at line 298 of file MemRegion.h.
Member Function Documentation
| static bool clang::ento::GlobalImmutableSpaceRegion::classof | ( | const MemRegion * | R | ) | [inline, static] |
Reimplemented from clang::ento::NonStaticGlobalSpaceRegion.
Definition at line 308 of file MemRegion.h.
References clang::ento::MemRegion::getKind(), and clang::ento::MemRegion::GlobalImmutableSpaceRegionKind.
| void GlobalImmutableSpaceRegion::dumpToStream | ( | raw_ostream & | os | ) | const [override, virtual] |
Reimplemented from clang::ento::MemRegion.
Definition at line 548 of file MemRegion.cpp.
Friends And Related Function Documentation
friend class MemRegionManager [friend] |
Reimplemented from clang::ento::NonStaticGlobalSpaceRegion.
Definition at line 299 of file MemRegion.h.
The documentation for this class was generated from the following files: