class SubRegion

Declaration

class SubRegion : public MemRegion { /* full declaration omitted */ };

Description

SubRegion - A region that subsets another larger region. Most regions are subclasses of SubRegion.

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

Inherits from: MemRegion

Member Variables

protected const clang::ento::MemRegion* superRegion

Method Overview

• protected SubRegion(const clang::ento::MemRegion * sReg, clang::ento::MemRegion::Kind k)
• private virtual void anchor()
• public static bool classof(const clang::ento::MemRegion * R)
• public clang::ento::MemRegionManager & getMemRegionManager() const
• public const clang::ento::MemRegion * getSuperRegion() const
• public bool isSubRegionOf(const clang::ento::MemRegion * R) 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:

• public SetNextInBucket
• public getNextInBucket

Methods

¶SubRegion(const clang::ento::MemRegion* sReg,
          clang::ento::MemRegion::Kind k)

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

Parameters

const clang::ento::MemRegion* sReg

clang::ento::MemRegion::Kind k

¶virtual void anchor()

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

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

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

Parameters

const clang::ento::MemRegion* R

¶clang::ento::MemRegionManager&
getMemRegionManager() const

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

¶const clang::ento::MemRegion* getSuperRegion()
    const

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

¶bool isSubRegionOf(
    const clang::ento::MemRegion* R) const

Description

Check if the region is a subregion of the given region. Each region is a subregion of itself.

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

Parameters

const clang::ento::MemRegion* R