The region containing globals which can be modified by calls to "internally" defined functions - (for now just) functions other then system calls. 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 can be modified by calls to "internally" defined functions - (for now just) functions other then system calls.
Definition at line 316 of file MemRegion.h.
Member Function Documentation
| static bool clang::ento::GlobalInternalSpaceRegion::classof | ( | const MemRegion * | R | ) | [inline, static] |
Reimplemented from clang::ento::NonStaticGlobalSpaceRegion.
Definition at line 326 of file MemRegion.h.
References clang::ento::MemRegion::getKind(), and clang::ento::MemRegion::GlobalInternalSpaceRegionKind.
| void GlobalInternalSpaceRegion::dumpToStream | ( | raw_ostream & | os | ) | const [override, virtual] |
Reimplemented from clang::ento::MemRegion.
Definition at line 540 of file MemRegion.cpp.
Friends And Related Function Documentation
friend class MemRegionManager [friend] |
Reimplemented from clang::ento::NonStaticGlobalSpaceRegion.
Definition at line 317 of file MemRegion.h.
The documentation for this class was generated from the following files: