class MemSpaceRegion
Declaration
class MemSpaceRegion : public MemRegion { /* 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:204
Inherits from: MemRegion
Member Variables
- protected clang::ento::MemRegionManager& Mgr
Method Overview
- protected MemSpaceRegion(clang::ento::MemRegionManager & mgr, clang::ento::MemRegion::Kind k)
- public void Profile(llvm::FoldingSetNodeID & ID) const
- public static bool classof(const clang::ento::MemRegion * R)
- protected clang::ento::MemRegionManager & getMemRegionManager() const
- public bool isBoundable() const
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
¶MemSpaceRegion(clang::ento::MemRegionManager& mgr,
clang::ento::MemRegion::Kind k)
MemSpaceRegion(clang::ento::MemRegionManager& mgr,
clang::ento::MemRegion::Kind k)
Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h:208
Parameters
- clang::ento::MemRegionManager& mgr
- clang::ento::MemRegion::Kind k
¶void Profile(llvm::FoldingSetNodeID& ID) const
void Profile(llvm::FoldingSetNodeID& ID) const
Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h:217
Parameters
¶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:219
Parameters
- const clang::ento::MemRegion* R
¶clang::ento::MemRegionManager&
getMemRegionManager() const
clang::ento::MemRegionManager&
getMemRegionManager() const
Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h:212
¶bool isBoundable() const
bool isBoundable() const
Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h:215