#include <MemRegion.h>
Public Member Functions | |
| const MemRegion * | getSuperRegion () const |
| virtual DefinedOrUnknownSVal | getExtent (SValBuilder &svalBuilder) const |
| getExtent - Returns the size of the region in bytes. | |
| MemRegionManager * | getMemRegionManager () const |
| bool | isSubRegionOf (const MemRegion *R) const |
Static Public Member Functions | |
| static bool | classof (const MemRegion *R) |
Protected Member Functions | |
| SubRegion (const MemRegion *sReg, Kind k) | |
Protected Attributes | |
| const MemRegion * | superRegion |
Detailed Description
SubRegion - A region that subsets another larger region. Most regions are subclasses of SubRegion.
Definition at line 375 of file MemRegion.h.
Constructor & Destructor Documentation
Definition at line 380 of file MemRegion.h.
Member Function Documentation
| static bool clang::ento::SubRegion::classof | ( | const MemRegion * | R | ) | [inline, static] |
Reimplemented from clang::ento::MemRegion.
Reimplemented in clang::ento::CXXBaseObjectRegion, clang::ento::CXXTempObjectRegion, clang::ento::ElementRegion, clang::ento::ObjCIvarRegion, clang::ento::FieldRegion, clang::ento::CXXThisRegion, clang::ento::VarRegion, clang::ento::DeclRegion, clang::ento::CompoundLiteralRegion, clang::ento::ObjCStringRegion, clang::ento::StringRegion, clang::ento::SymbolicRegion, clang::ento::BlockDataRegion, clang::ento::BlockTextRegion, clang::ento::FunctionTextRegion, clang::ento::CodeTextRegion, clang::ento::TypedValueRegion, clang::ento::TypedRegion, and clang::ento::AllocaRegion.
Definition at line 395 of file MemRegion.h.
References clang::ento::MemRegion::END_MEMSPACES, and clang::ento::MemRegion::getKind().
| virtual DefinedOrUnknownSVal clang::ento::SubRegion::getExtent | ( | SValBuilder & | svalBuilder | ) | const [inline, virtual] |
getExtent - Returns the size of the region in bytes.
Reimplemented in clang::ento::FieldRegion, clang::ento::DeclRegion, clang::ento::StringRegion, clang::ento::SymbolicRegion, and clang::ento::AllocaRegion.
Definition at line 387 of file MemRegion.h.
| MemRegionManager * SubRegion::getMemRegionManager | ( | ) | const [virtual] |
Implements clang::ento::MemRegion.
Definition at line 161 of file MemRegion.cpp.
References clang::ento::MemRegion::getMemRegionManager(), getSuperRegion(), and superRegion.
| const MemRegion* clang::ento::SubRegion::getSuperRegion | ( | ) | const [inline] |
Definition at line 382 of file MemRegion.h.
References superRegion.
Referenced by clang::ento::SimpleConstraintManager::assumeAux(), clang::ento::ElementRegion::getAsArrayOffset(), clang::ento::MemRegion::getAsOffset(), clang::ento::StoreManager::getLValueElement(), clang::ento::MemRegion::getMemorySpace(), getMemRegionManager(), and isSubRegionOf().
| bool SubRegion::isSubRegionOf | ( | const MemRegion * | R | ) | const |
Definition at line 148 of file MemRegion.cpp.
References getSuperRegion().
Member Data Documentation
const MemRegion* clang::ento::SubRegion::superRegion [protected] |
Definition at line 379 of file MemRegion.h.
Referenced by getMemRegionManager(), getSuperRegion(), clang::ento::StringRegion::Profile(), and clang::ento::ObjCStringRegion::Profile().
The documentation for this class was generated from the following files: