class StaticGlobalSpaceRegion

Declaration

class StaticGlobalSpaceRegion : public GlobalsSpaceRegion { /* full declaration omitted */ };

Description

The region of the static variables within the current CodeTextRegion scope. Currently, only the static locals are placed there, so we know that these variables do not get invalidated by calls to other functions.

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

Inherits from: GlobalsSpaceRegion

Member Variables

private const clang::ento::CodeTextRegion* CR

Inherited from MemSpaceRegion:

protected Mgr

Method Overview

• public void Profile(llvm::FoldingSetNodeID & ID) const
• private StaticGlobalSpaceRegion(clang::ento::MemRegionManager & mgr, const clang::ento::CodeTextRegion * cr)
• public static bool classof(const clang::ento::MemRegion * R)
• public void dumpToStream(llvm::raw_ostream & os) const
• public const clang::ento::CodeTextRegion * getCodeRegion() const

Inherited from GlobalsSpaceRegion:

• public classof

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:272

Parameters

llvm::FoldingSetNodeID& ID

¶StaticGlobalSpaceRegion(
    clang::ento::MemRegionManager& mgr,
    const clang::ento::CodeTextRegion* cr)

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

Parameters

clang::ento::MemRegionManager& mgr

const clang::ento::CodeTextRegion* cr

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

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

Parameters

const clang::ento::MemRegion* R

¶void dumpToStream(llvm::raw_ostream& os) const

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

Parameters

llvm::raw_ostream& os

¶const clang::ento::CodeTextRegion* getCodeRegion()
    const

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