class GlobalImmutableSpaceRegion

Declaration

class GlobalImmutableSpaceRegion : public NonStaticGlobalSpaceRegion { /* full declaration omitted */ };

Description

The region containing globals which are considered not to be modified or point to data which could be modified as a result of a function call (system or internal). Ex: Const global scalars would be modeled as part of this region. This region also includes most system globals since they have low chance of being modified.

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

Inherits from: NonStaticGlobalSpaceRegion

Member Variables

Inherited from MemSpaceRegion:

protected Mgr

Method Overview

• private GlobalImmutableSpaceRegion(clang::ento::MemRegionManager & mgr)
• public static bool classof(const clang::ento::MemRegion * R)
• public void dumpToStream(llvm::raw_ostream & os) const

Inherited from NonStaticGlobalSpaceRegion:

• public classof

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

¶GlobalImmutableSpaceRegion(
    clang::ento::MemRegionManager& mgr)

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

Parameters

clang::ento::MemRegionManager& mgr

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

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

Parameters

const clang::ento::MemRegion* R

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

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

Parameters

llvm::raw_ostream& os