#include <MemRegion.h>
Public Member Functions | |
| const Expr * | getExpr () const |
| bool | isBoundable () const |
| DefinedOrUnknownSVal | getExtent (SValBuilder &svalBuilder) const |
| getExtent - Returns the size of the region in bytes. | |
| void | Profile (llvm::FoldingSetNodeID &ID) const |
| void | dumpToStream (raw_ostream &os) const |
Static Public Member Functions | |
| static void | ProfileRegion (llvm::FoldingSetNodeID &ID, const Expr *Ex, unsigned Cnt, const MemRegion *superRegion) |
| static bool | classof (const MemRegion *R) |
Protected Member Functions | |
| AllocaRegion (const Expr *ex, unsigned cnt, const MemRegion *superRegion) | |
Protected Attributes | |
| unsigned | Cnt |
| const Expr * | Ex |
Friends | |
| class | MemRegionManager |
Detailed Description
AllocaRegion - A region that represents an untyped blob of bytes created by a call to 'alloca'.
Definition at line 406 of file MemRegion.h.
Constructor & Destructor Documentation
| clang::ento::AllocaRegion::AllocaRegion | ( | const Expr * | ex, |
| unsigned | cnt, | ||
| const MemRegion * | superRegion | ||
| ) | [inline, protected] |
Definition at line 413 of file MemRegion.h.
Member Function Documentation
| static bool clang::ento::AllocaRegion::classof | ( | const MemRegion * | R | ) | [inline, static] |
Reimplemented from clang::ento::SubRegion.
Definition at line 431 of file MemRegion.h.
References clang::ento::MemRegion::AllocaRegionKind, and clang::ento::MemRegion::getKind().
| void clang::ento::AllocaRegion::dumpToStream | ( | raw_ostream & | os | ) | const [virtual] |
Reimplemented from clang::ento::MemRegion.
| const Expr* clang::ento::AllocaRegion::getExpr | ( | ) | const [inline] |
Definition at line 418 of file MemRegion.h.
References Ex.
| DefinedOrUnknownSVal clang::ento::AllocaRegion::getExtent | ( | SValBuilder & | svalBuilder | ) | const [virtual] |
getExtent - Returns the size of the region in bytes.
Reimplemented from clang::ento::SubRegion.
| bool clang::ento::AllocaRegion::isBoundable | ( | ) | const [inline, virtual] |
Reimplemented from clang::ento::MemRegion.
Definition at line 420 of file MemRegion.h.
| void clang::ento::AllocaRegion::Profile | ( | llvm::FoldingSetNodeID & | ID | ) | const [virtual] |
Implements clang::ento::MemRegion.
| static void clang::ento::AllocaRegion::ProfileRegion | ( | llvm::FoldingSetNodeID & | ID, |
| const Expr * | Ex, | ||
| unsigned | Cnt, | ||
| const MemRegion * | superRegion | ||
| ) | [static] |
Friends And Related Function Documentation
friend class MemRegionManager [friend] |
Reimplemented from clang::ento::MemRegion.
Definition at line 407 of file MemRegion.h.
Member Data Documentation
unsigned clang::ento::AllocaRegion::Cnt [protected] |
Definition at line 409 of file MemRegion.h.
const Expr* clang::ento::AllocaRegion::Ex [protected] |
Definition at line 411 of file MemRegion.h.
Referenced by getExpr().
The documentation for this class was generated from the following file: