class ElementRegion

Declaration

class ElementRegion : public TypedValueRegion { /* full declaration omitted */ };

Description

ElementRegion is used to represent both array elements and casts.

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

Inherits from: TypedValueRegion

Member Variables

private clang::QualType ElementType

private clang::ento::NonLoc Index

Inherited from SubRegion:

protected superRegion

Method Overview

• private ElementRegion(clang::QualType elementType, clang::ento::NonLoc Idx, const clang::ento::SubRegion * sReg)
• public void Profile(llvm::FoldingSetNodeID & ID) const
• private static void ProfileRegion(llvm::FoldingSetNodeID & ID, clang::QualType elementType, clang::ento::SVal Idx, const clang::ento::MemRegion * superRegion)
• public static bool classof(const clang::ento::MemRegion * R)
• public void dumpToStream(llvm::raw_ostream & os) const
• public clang::ento::RegionRawOffset getAsArrayOffset() const
• public clang::QualType getElementType() const
• public clang::ento::NonLoc getIndex() const
• public clang::QualType getValueType() const

Inherited from TypedValueRegion:

• public classof
• public getDesugaredValueType
• public getLocationType
• public getValueType

Inherited from TypedRegion:

• public classof
• public getDesugaredLocationType
• public getLocationType
• public isBoundable

Inherited from SubRegion:

• public classof
• public getMemRegionManager
• public getSuperRegion
• public isSubRegionOf

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

¶ElementRegion(clang::QualType elementType,
              clang::ento::NonLoc Idx,
              const clang::ento::SubRegion* sReg)

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

Parameters

clang::QualType elementType

clang::ento::NonLoc Idx

const clang::ento::SubRegion* sReg

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

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

Parameters

llvm::FoldingSetNodeID& ID

¶static void ProfileRegion(
    llvm::FoldingSetNodeID& ID,
    clang::QualType elementType,
    clang::ento::SVal Idx,
    const clang::ento::MemRegion* superRegion)

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

Parameters

llvm::FoldingSetNodeID& ID

clang::QualType elementType

clang::ento::SVal Idx

const clang::ento::MemRegion* superRegion

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

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

Parameters

const clang::ento::MemRegion* R

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

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

Parameters

llvm::raw_ostream& os

¶clang::ento::RegionRawOffset getAsArrayOffset()
    const

Description

Compute the offset within the array. The array might also be a subobject.

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

¶clang::QualType getElementType() const

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

¶clang::ento::NonLoc getIndex() const

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

¶clang::QualType getValueType() const

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