#include <MemRegion.h>
Public Member Functions | |
| const FieldDecl * | getDecl () const |
| QualType | getValueType () const override |
| DefinedOrUnknownSVal | getExtent (SValBuilder &svalBuilder) const override |
| getExtent - Returns the size of the region in bytes. | |
| void | dumpToStream (raw_ostream &os) const override |
| bool | canPrintPretty () const override |
| Returns true if this region can be printed in a user-friendly way. | |
| void | printPretty (raw_ostream &os) const override |
| Print the region for use in diagnostics. | |
| 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 void | ProfileRegion (llvm::FoldingSetNodeID &ID, const FieldDecl *FD, const MemRegion *superRegion) |
| static bool | classof (const MemRegion *R) |
Friends | |
| class | MemRegionManager |
Detailed Description
Definition at line 927 of file MemRegion.h.
Member Function Documentation
| bool FieldRegion::canPrintPretty | ( | ) | const [override, virtual] |
Returns true if this region can be printed in a user-friendly way.
Reimplemented from clang::ento::MemRegion.
Definition at line 605 of file MemRegion.cpp.
| bool FieldRegion::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 609 of file MemRegion.cpp.
References clang::ento::MemRegion::canPrintPrettyAsExpr().
Referenced by printPretty(), and printPrettyAsExpr().
| static bool clang::ento::FieldRegion::classof | ( | const MemRegion * | R | ) | [inline, static] |
Reimplemented from clang::ento::DeclRegion.
Definition at line 948 of file MemRegion.h.
References clang::ento::MemRegion::FieldRegionKind, and clang::ento::MemRegion::getKind().
| void FieldRegion::dumpToStream | ( | raw_ostream & | os | ) | const [override, virtual] |
Reimplemented from clang::ento::MemRegion.
Definition at line 502 of file MemRegion.cpp.
References getDecl().
| const FieldDecl* clang::ento::FieldRegion::getDecl | ( | ) | const [inline] |
Reimplemented from clang::ento::DeclRegion.
Definition at line 934 of file MemRegion.h.
References clang::ento::DeclRegion::D.
Referenced by dumpToStream(), evalBinOpFieldRegionFieldRegion(), clang::ento::MemRegion::getAsOffset(), getExtent(), clang::ento::MemRegionManager::getFieldRegionWithSuper(), getValueType(), isUnionField(), printPretty(), and printPrettyAsExpr().
| DefinedOrUnknownSVal FieldRegion::getExtent | ( | SValBuilder & | svalBuilder | ) | const [override, virtual] |
getExtent - Returns the size of the region in bytes.
Reimplemented from clang::ento::TypedValueRegion.
Definition at line 197 of file MemRegion.cpp.
References clang::ento::SValBuilder::getContext(), getDecl(), clang::ento::TypedValueRegion::getDesugaredValueType(), and clang::ento::SVal::isZeroConstant().
| QualType clang::ento::FieldRegion::getValueType | ( | ) | const [inline, override, virtual] |
Implements clang::ento::TypedValueRegion.
Definition at line 936 of file MemRegion.h.
References getDecl(), and clang::ValueDecl::getType().
| void FieldRegion::printPretty | ( | raw_ostream & | os | ) | const [override, virtual] |
Print the region for use in diagnostics.
Reimplemented from clang::ento::MemRegion.
Definition at line 619 of file MemRegion.cpp.
References canPrintPrettyAsExpr(), getDecl(), clang::NamedDecl::getName(), and printPrettyAsExpr().
| void FieldRegion::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 613 of file MemRegion.cpp.
References canPrintPrettyAsExpr(), getDecl(), clang::NamedDecl::getName(), and clang::ento::MemRegion::printPrettyAsExpr().
Referenced by printPretty().
| static void clang::ento::FieldRegion::ProfileRegion | ( | llvm::FoldingSetNodeID & | ID, |
| const FieldDecl * | FD, | ||
| const MemRegion * | superRegion | ||
| ) | [inline, static] |
Definition at line 943 of file MemRegion.h.
References clang::ento::MemRegion::FieldRegionKind.
Friends And Related Function Documentation
friend class MemRegionManager [friend] |
Reimplemented from clang::ento::MemRegion.
Definition at line 928 of file MemRegion.h.
The documentation for this class was generated from the following files: