The region containing globals which are defined in system/external headers and are considered modifiable by system calls (ex: errno). More...
#include <MemRegion.h>
Inheritance diagram for clang::ento::GlobalSystemSpaceRegion:
Collaboration diagram for clang::ento::GlobalSystemSpaceRegion:
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 defined in system/external headers and are considered modifiable by system calls (ex: errno).
Definition at line 278 of file MemRegion.h.
Member Function Documentation
| static bool clang::ento::GlobalSystemSpaceRegion::classof | ( | const MemRegion * | R | ) | [inline, static] |
Reimplemented from clang::ento::NonStaticGlobalSpaceRegion.
Definition at line 288 of file MemRegion.h.
References clang::ento::MemRegion::getKind(), and clang::ento::MemRegion::GlobalSystemSpaceRegionKind.
| void GlobalSystemSpaceRegion::dumpToStream | ( | raw_ostream & | os | ) | const [override, virtual] |
Reimplemented from clang::ento::MemRegion.
Definition at line 544 of file MemRegion.cpp.
Friends And Related Function Documentation
friend class MemRegionManager [friend] |
Reimplemented from clang::ento::NonStaticGlobalSpaceRegion.
Definition at line 279 of file MemRegion.h.
The documentation for this class was generated from the following files: