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 |
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 271 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 281 of file MemRegion.h.
References clang::ento::MemRegion::getKind(), and clang::ento::MemRegion::GlobalImmutableSpaceRegionKind.
| void clang::ento::GlobalImmutableSpaceRegion::dumpToStream | ( | raw_ostream & | os | ) | const [virtual] |
Reimplemented from clang::ento::NonStaticGlobalSpaceRegion.
Friends And Related Function Documentation
friend class MemRegionManager [friend] |
Reimplemented from clang::ento::NonStaticGlobalSpaceRegion.
Definition at line 272 of file MemRegion.h.
The documentation for this class was generated from the following file: