class MemSpaceRegion

Declaration

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

Description

MemSpaceRegion - A memory region that represents a "memory space"; for example, the set of global variables, the stack frame, etc.

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

Inherits from: MemRegion

Member Variables

protected clang::ento::MemRegionManager& Mgr

Method Overview

  • protected MemSpaceRegion(clang::ento::MemRegionManager & mgr, clang::ento::MemRegion::Kind k)
  • public void Profile(llvm::FoldingSetNodeID & ID) const
  • public static bool classof(const clang::ento::MemRegion * R)
  • protected clang::ento::MemRegionManager & getMemRegionManager() const
  • public bool isBoundable() const

Inherited from MemRegion:

Inherited from FoldingSetBase::Node:

Methods

MemSpaceRegion(clang::ento::MemRegionManager& mgr,
               clang::ento::MemRegion::Kind k)

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

Parameters

clang::ento::MemRegionManager& mgr
clang::ento::MemRegion::Kind k

void Profile(llvm::FoldingSetNodeID& ID) const

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

Parameters

llvm::FoldingSetNodeID& ID

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

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

Parameters

const clang::ento::MemRegion* R

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

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

bool isBoundable() const

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