ElementRegin is used to represent both array elements and casts. More...
#include <MemRegion.h>
Public Member Functions | |
| NonLoc | getIndex () const |
| QualType | getValueType () const override |
| QualType | getElementType () const |
| RegionRawOffset | getAsArrayOffset () const |
| Compute the offset within the array. The array might also be a subobject. | |
| void | dumpToStream (raw_ostream &os) const override |
| void | Profile (llvm::FoldingSetNodeID &ID) const override |
Static Public Member Functions | |
| static bool | classof (const MemRegion *R) |
Friends | |
| class | MemRegionManager |
Detailed Description
ElementRegin is used to represent both array elements and casts.
Definition at line 1008 of file MemRegion.h.
Member Function Documentation
| static bool clang::ento::ElementRegion::classof | ( | const MemRegion * | R | ) | [inline, static] |
Reimplemented from clang::ento::TypedValueRegion.
Definition at line 1043 of file MemRegion.h.
References clang::ento::MemRegion::ElementRegionKind, and clang::ento::MemRegion::getKind().
| void ElementRegion::dumpToStream | ( | raw_ostream & | os | ) | const [override, virtual] |
Reimplemented from clang::ento::MemRegion.
Definition at line 497 of file MemRegion.cpp.
References clang::QualType::getAsString(), and getElementType().
Compute the offset within the array. The array might also be a subobject.
Definition at line 1119 of file MemRegion.cpp.
References AttributeLangSupport::C, clang::ento::SVal::getAs(), clang::ento::MemRegion::getContext(), getElementType(), getIndex(), clang::ento::SubRegion::getSuperRegion(), clang::ASTContext::getTypeSizeInChars(), clang::Type::isIncompleteType(), and clang::CharUnits::Zero().
Referenced by clang::ento::StoreManager::castRegion().
| QualType clang::ento::ElementRegion::getElementType | ( | ) | const [inline] |
Definition at line 1033 of file MemRegion.h.
Referenced by dumpToStream(), getAsArrayOffset(), and clang::ento::MemRegionManager::getElementRegionWithSuper().
| NonLoc clang::ento::ElementRegion::getIndex | ( | ) | const [inline] |
Definition at line 1027 of file MemRegion.h.
Referenced by getAsArrayOffset(), clang::ento::MemRegion::getAsOffset(), clang::ento::MemRegionManager::getElementRegionWithSuper(), clang::ento::StoreManager::getLValueElement(), and clang::ento::MemRegion::StripCasts().
| QualType clang::ento::ElementRegion::getValueType | ( | ) | const [inline, override, virtual] |
Implements clang::ento::TypedValueRegion.
Definition at line 1029 of file MemRegion.h.
Referenced by clang::ento::MemRegion::getAsOffset().
| void ElementRegion::Profile | ( | llvm::FoldingSetNodeID & | ID | ) | const [override, virtual] |
Implements clang::ento::MemRegion.
Definition at line 356 of file MemRegion.cpp.
Friends And Related Function Documentation
friend class MemRegionManager [friend] |
Reimplemented from clang::ento::MemRegion.
Definition at line 1009 of file MemRegion.h.
The documentation for this class was generated from the following files: