#include <MemRegion.h>
Public Member Functions | |
| const VarDecl * | getDecl () const |
| const StackFrameContext * | getStackFrame () const |
| QualType | getValueType () const override |
| void | dumpToStream (raw_ostream &os) const override |
| bool | canPrintPrettyAsExpr () const override |
| Returns true if this region's textual representation can be used as part of a larger expression. | |
| void | printPrettyAsExpr (raw_ostream &os) const override |
| Print the region as expression. | |
Static Public Member Functions | |
| static bool | classof (const MemRegion *R) |
Friends | |
| class | MemRegionManager |
Detailed Description
Definition at line 862 of file MemRegion.h.
Member Function Documentation
| bool VarRegion::canPrintPrettyAsExpr | ( | ) | const [override, virtual] |
Returns true if this region's textual representation can be used as part of a larger expression.
Reimplemented from clang::ento::MemRegion.
Definition at line 589 of file MemRegion.cpp.
| static bool clang::ento::VarRegion::classof | ( | const MemRegion * | R | ) | [inline, static] |
Reimplemented from clang::ento::DeclRegion.
Definition at line 888 of file MemRegion.h.
References clang::ento::MemRegion::getKind(), and clang::ento::MemRegion::VarRegionKind.
| void VarRegion::dumpToStream | ( | raw_ostream & | os | ) | const [override, virtual] |
Reimplemented from clang::ento::MemRegion.
Definition at line 524 of file MemRegion.cpp.
References clang::ento::DeclRegion::D.
| const VarDecl* clang::ento::VarRegion::getDecl | ( | ) | const [inline] |
Reimplemented from clang::ento::DeclRegion.
Definition at line 877 of file MemRegion.h.
References clang::ento::DeclRegion::D.
Referenced by getValueType(), isInitializationOfVar(), clang::ento::SymbolReaper::isLive(), and printPrettyAsExpr().
| const StackFrameContext * VarRegion::getStackFrame | ( | ) | const |
Definition at line 174 of file MemRegion.cpp.
References clang::ento::MemRegion::getMemorySpace(), and clang::ento::StackSpaceRegion::getStackFrame().
Referenced by GetAllocationSite(), and clang::ento::SymbolReaper::isLive().
| QualType clang::ento::VarRegion::getValueType | ( | ) | const [inline, override, virtual] |
Implements clang::ento::TypedValueRegion.
Definition at line 881 of file MemRegion.h.
References getDecl(), and clang::ValueDecl::getType().
| void VarRegion::printPrettyAsExpr | ( | raw_ostream & | os | ) | const [override, virtual] |
Print the region as expression.
When this region represents a subexpression, the method is for printing an expression containing it.
Reimplemented from clang::ento::MemRegion.
Definition at line 593 of file MemRegion.cpp.
References getDecl(), and clang::NamedDecl::getName().
Friends And Related Function Documentation
friend class MemRegionManager [friend] |
Reimplemented from clang::ento::MemRegion.
Definition at line 863 of file MemRegion.h.
The documentation for this class was generated from the following files: