class TypedRegion

Declaration

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

Description

TypedRegion - An abstract class representing regions that are typed.

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

Inherits from: SubRegion

Member Variables

Inherited from SubRegion:

protected superRegion

Method Overview

• protected TypedRegion(const clang::ento::MemRegion * sReg, clang::ento::MemRegion::Kind k)
• private void anchor()
• public static bool classof(const clang::ento::MemRegion * R)
• public clang::QualType getDesugaredLocationType(clang::ASTContext & Context) const
• public virtual clang::QualType getLocationType() const
• public bool isBoundable() const

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

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

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

Parameters

const clang::ento::MemRegion* sReg

clang::ento::MemRegion::Kind k

¶void anchor()

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

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

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

Parameters

const clang::ento::MemRegion* R

¶clang::QualType getDesugaredLocationType(
    clang::ASTContext& Context) const

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

Parameters

clang::ASTContext& Context

¶virtual clang::QualType getLocationType() const

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

¶bool isBoundable() const

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