class AllocaRegion

Declaration

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

Description

AllocaRegion - A region that represents an untyped blob of bytes created by a call to 'alloca'.

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

Inherits from: SubRegion

Member Variables

private unsigned int Cnt

private const clang::Expr* Ex

Inherited from SubRegion:

protected superRegion

Method Overview

• private AllocaRegion(const clang::Expr * ex, unsigned int cnt, const clang::ento::MemSpaceRegion * superRegion)
• public void Profile(llvm::FoldingSetNodeID & ID) const
• private static void ProfileRegion(llvm::FoldingSetNodeID & ID, const clang::Expr * Ex, unsigned int Cnt, const clang::ento::MemRegion * superRegion)
• public static bool classof(const clang::ento::MemRegion * R)
• public void dumpToStream(llvm::raw_ostream & os) const
• public const clang::Expr * getExpr() 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

¶AllocaRegion(const clang::Expr* ex,
             unsigned int cnt,
             const clang::ento::MemSpaceRegion*
                 superRegion)

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

Parameters

const clang::Expr* ex

unsigned int cnt

const clang::ento::MemSpaceRegion* superRegion

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

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

Parameters

llvm::FoldingSetNodeID& ID

¶static void ProfileRegion(
    llvm::FoldingSetNodeID& ID,
    const clang::Expr* Ex,
    unsigned int Cnt,
    const clang::ento::MemRegion* superRegion)

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

Parameters

llvm::FoldingSetNodeID& ID

const clang::Expr* Ex

unsigned int Cnt

const clang::ento::MemRegion* superRegion

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

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

Parameters

const clang::ento::MemRegion* R

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

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

Parameters

llvm::raw_ostream& os

¶const clang::Expr* getExpr() const

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

¶bool isBoundable() const

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