clang
8.0.0
|
SubRegion - A region that subsets another larger region. More...
#include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h"
Public Member Functions | |
const MemRegion * | getSuperRegion () const |
virtual DefinedOrUnknownSVal | getExtent (SValBuilder &svalBuilder) const |
getExtent - Returns the size of the region in bytes. More... | |
MemRegionManager * | getMemRegionManager () const override |
bool | isSubRegionOf (const MemRegion *R) const override |
Check if the region is a subregion of the given region. More... | |
![]() | |
ASTContext & | getContext () const |
virtual void | Profile (llvm::FoldingSetNodeID &ID) const =0 |
const MemSpaceRegion * | getMemorySpace () const |
const MemRegion * | getBaseRegion () const |
const MemRegion * | getMostDerivedObjectRegion () const |
Recursively retrieve the region of the most derived class instance of regions of C++ base class instances. More... | |
const MemRegion * | StripCasts (bool StripBaseAndDerivedCasts=true) const |
const SymbolicRegion * | getSymbolicBase () const |
If this is a symbolic region, returns the region. More... | |
bool | hasGlobalsOrParametersStorage () const |
bool | hasStackStorage () const |
bool | hasStackNonParametersStorage () const |
bool | hasStackParametersStorage () const |
RegionOffset | getAsOffset () const |
Compute the offset within the top level memory object. More... | |
std::string | getString () const |
Get a string representation of a region for debug use. More... | |
virtual void | dumpToStream (raw_ostream &os) const |
void | dump () const |
virtual bool | canPrintPretty () const |
Returns true if this region can be printed in a user-friendly way. More... | |
virtual void | printPretty (raw_ostream &os) const |
Print the region for use in diagnostics. More... | |
virtual bool | canPrintPrettyAsExpr () const |
Returns true if this region's textual representation can be used as part of a larger expression. More... | |
virtual void | printPrettyAsExpr (raw_ostream &os) const |
Print the region as expression. More... | |
Kind | getKind () const |
template<typename RegionTy > | |
const RegionTy * | getAs () const |
virtual bool | isBoundable () const |
std::string | getDescriptiveName (bool UseQuotes=true) const |
Get descriptive name for memory region. More... | |
SourceRange | sourceRange () const |
Retrieve source range from memory region. More... | |
Static Public Member Functions | |
static bool | classof (const MemRegion *R) |
Protected Member Functions | |
SubRegion (const MemRegion *sReg, Kind k) | |
![]() | |
MemRegion (Kind k) | |
virtual | ~MemRegion () |
Protected Attributes | |
const MemRegion * | superRegion |
Additional Inherited Members | |
![]() | |
enum | Kind |
SubRegion - A region that subsets another larger region.
Most regions are subclasses of SubRegion.
Definition at line 436 of file MemRegion.h.
Definition at line 442 of file MemRegion.h.
References clang::classof().
Definition at line 461 of file MemRegion.h.
References clang::ento::MemRegion::getKind().
|
inlinevirtual |
getExtent - Returns the size of the region in bytes.
Reimplemented in clang::ento::FieldRegion, clang::ento::StringRegion, clang::ento::SymbolicRegion, clang::ento::TypedValueRegion, and clang::ento::AllocaRegion.
Definition at line 453 of file MemRegion.h.
|
overridevirtual |
Implements clang::ento::MemRegion.
Definition at line 146 of file MemRegion.cpp.
References clang::ento::MemRegion::getMemRegionManager(), and getSuperRegion().
|
inline |
Definition at line 448 of file MemRegion.h.
Referenced by clang::ento::mpi::MPIChecker::checkDoubleNonblocking(), clang::ento::retaincountchecker::RetainCountChecker::checkPostStmt(), clang::ento::mpi::MPIChecker::checkUnmatchedWaits(), clang::ento::ElementRegion::getAsArrayOffset(), clang::ento::MemRegion::getDescriptiveName(), getMemRegionManager(), clang::ento::SValExplainer::VisitCXXBaseObjectRegion(), clang::ento::SValExplainer::VisitElementRegion(), clang::ento::SValExplainer::VisitFieldRegion(), and clang::ento::SValExplainer::VisitObjCIvarRegion().
Check if the region is a subregion of the given region.
Each region is a subregion of itself.
Reimplemented from clang::ento::MemRegion.
Definition at line 133 of file MemRegion.cpp.
Referenced by clang::ento::ProgramState::addPartialTaint(), and willObjectBeAnalyzedLater().
|
protected |
Definition at line 440 of file MemRegion.h.