class GlobalsSpaceRegion
Declaration
class GlobalsSpaceRegion : public MemSpaceRegion { /* full declaration omitted */ };Description
MemSpaceRegion - A memory region that represents a "memory space"; for example, the set of global variables, the stack frame, etc.
Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h:241
Inherits from: MemSpaceRegion
Member Variables
Inherited from MemSpaceRegion:
Method Overview
- protected GlobalsSpaceRegion(clang::ento::MemRegionManager & mgr, clang::ento::MemRegion::Kind k)
- private virtual void anchor()
- public static bool classof(const clang::ento::MemRegion * R)
Inherited from MemSpaceRegion:
Inherited from MemRegion:
- public Profile
- public StripCasts
- public canPrintPretty
- public canPrintPrettyAsExpr
- public castAs
- public dump
- public dumpToStream
- public getAs
- public getAsOffset
- public getBaseRegion
- public getContext
- public getDescriptiveName
- public getKind
- public getMemRegionManager
- public getMemorySpace
- public getMostDerivedObjectRegion
- public getString
- public getSymbolicBase
- public hasGlobalsOrParametersStorage
- public hasStackNonParametersStorage
- public hasStackParametersStorage
- public hasStackStorage
- public isBoundable
- public isSubRegionOf
- public printPretty
- public printPrettyAsExpr
- public sourceRange
Inherited from FoldingSetBase::Node:
Methods
¶GlobalsSpaceRegion(
clang::ento::MemRegionManager& mgr,
clang::ento::MemRegion::Kind k)
GlobalsSpaceRegion(
clang::ento::MemRegionManager& mgr,
clang::ento::MemRegion::Kind k)Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h:245
Parameters
- clang::ento::MemRegionManager& mgr
- clang::ento::MemRegion::Kind k
¶virtual void anchor()
virtual void anchor()Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h:242
¶static bool classof(
const clang::ento::MemRegion* R)
static bool classof(
const clang::ento::MemRegion* R)Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h:250
Parameters
- const clang::ento::MemRegion* R