class StackSpaceRegion

Declaration

class StackSpaceRegion : 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:387

Inherits from: MemSpaceRegion

Member Variables

private const clang::StackFrameContext* SFC

Inherited from MemSpaceRegion:

protected Mgr

Method Overview

• public void Profile(llvm::FoldingSetNodeID & ID) const
• protected StackSpaceRegion(clang::ento::MemRegionManager & mgr, clang::ento::MemRegion::Kind k, const clang::StackFrameContext * sfc)
• private virtual void anchor()
• public static bool classof(const clang::ento::MemRegion * R)
• public const clang::StackFrameContext * getStackFrame() const

Inherited from MemSpaceRegion:

• public Profile
• public classof
• protected getMemRegionManager
• public isBoundable

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:

• public SetNextInBucket
• public getNextInBucket

Methods

¶void Profile(llvm::FoldingSetNodeID& ID) const

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h:403

Parameters

llvm::FoldingSetNodeID& ID

¶StackSpaceRegion(
    clang::ento::MemRegionManager& mgr,
    clang::ento::MemRegion::Kind k,
    const clang::StackFrameContext* sfc)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h:393

Parameters

clang::ento::MemRegionManager& mgr

clang::ento::MemRegion::Kind k

const clang::StackFrameContext* sfc

¶virtual void anchor()

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h:388

¶static bool classof(
    const clang::ento::MemRegion* R)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h:405

Parameters

const clang::ento::MemRegion* R

¶const clang::StackFrameContext* getStackFrame()
    const

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h:401