class TypedValueRegion
Declaration
class TypedValueRegion : public TypedRegion { /* full declaration omitted */ };
Description
TypedValueRegion - An abstract class representing regions having a typed value.
Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h:531
Inherits from: TypedRegion
Member Variables
Inherited from SubRegion:
Method Overview
- protected TypedValueRegion(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 getDesugaredValueType(clang::ASTContext & Context) const
- public clang::QualType getLocationType() const
- public virtual clang::QualType getValueType() const
Inherited from TypedRegion:
Inherited from SubRegion:
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:
Methods
¶TypedValueRegion(
const clang::ento::MemRegion* sReg,
clang::ento::MemRegion::Kind k)
TypedValueRegion(
const clang::ento::MemRegion* sReg,
clang::ento::MemRegion::Kind k)
Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h:535
Parameters
- const clang::ento::MemRegion* sReg
- clang::ento::MemRegion::Kind k
¶void anchor()
void anchor()
Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h:532
¶static bool classof(
const clang::ento::MemRegion* R)
static bool classof(
const clang::ento::MemRegion* R)
Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h:556
Parameters
- const clang::ento::MemRegion* R
¶clang::QualType getDesugaredValueType(
clang::ASTContext& Context) const
clang::QualType getDesugaredValueType(
clang::ASTContext& Context) const
Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h:551
Parameters
- clang::ASTContext& Context
¶clang::QualType getLocationType() const
clang::QualType getLocationType() const
Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h:542
¶virtual clang::QualType getValueType() const
virtual clang::QualType getValueType() const
Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h:540