clang 22.0.0git
|
#include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h"
Public Member Functions | |
LLVM_ATTRIBUTE_RETURNS_NONNULL const CXXRecordDecl * | getDecl () const |
QualType | getValueType () const override |
void | dumpToStream (raw_ostream &os) const override |
void | Profile (llvm::FoldingSetNodeID &ID) 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. | |
Public Member Functions inherited from clang::ento::TypedValueRegion | |
QualType | getLocationType () const override |
QualType | getDesugaredValueType (ASTContext &Context) const |
Public Member Functions inherited from clang::ento::TypedRegion | |
QualType | getDesugaredLocationType (ASTContext &Context) const |
bool | isBoundable () const override |
Public Member Functions inherited from clang::ento::SubRegion | |
LLVM_ATTRIBUTE_RETURNS_NONNULL const MemRegion * | getSuperRegion () const |
MemRegionManager & | getMemRegionManager () const override |
bool | isSubRegionOf (const MemRegion *R) const override |
Check if the region is a subregion of the given region. | |
Public Member Functions inherited from clang::ento::MemRegion | |
ASTContext & | getContext () const |
LLVM_ATTRIBUTE_RETURNS_NONNULL const MemSpaceRegion * | getRawMemorySpace () const |
Deprecated. | |
template<class MemSpace> | |
const MemSpace * | getRawMemorySpaceAs () const |
Deprecated. Use getMemorySpace(ProgramStateRef) instead. | |
LLVM_ATTRIBUTE_RETURNS_NONNULL const MemSpaceRegion * | getMemorySpace (ProgramStateRef State) const |
Returns the most specific memory space for this memory region in the given ProgramStateRef. | |
template<class MemSpace> | |
const MemSpace * | getMemorySpaceAs (ProgramStateRef State) const |
template<typename... MemorySpaces> | |
bool | hasMemorySpace (ProgramStateRef State) const |
ProgramStateRef | setMemorySpace (ProgramStateRef State, const MemSpaceRegion *Space) const |
Set the dynamically deduced memory space of a MemRegion that currently has UnknownSpaceRegion. | |
LLVM_ATTRIBUTE_RETURNS_NONNULL const MemRegion * | getBaseRegion () const |
LLVM_ATTRIBUTE_RETURNS_NONNULL const MemRegion * | getMostDerivedObjectRegion () const |
Recursively retrieve the region of the most derived class instance of regions of C++ base class instances. | |
LLVM_ATTRIBUTE_RETURNS_NONNULL const MemRegion * | StripCasts (bool StripBaseAndDerivedCasts=true) const |
const SymbolicRegion * | getSymbolicBase () const |
If this is a symbolic region, returns the region. | |
RegionOffset | getAsOffset () const |
Compute the offset within the top level memory object. | |
std::string | getString () const |
Get a string representation of a region for debug use. | |
void | dump () const |
virtual bool | canPrintPretty () const |
Returns true if this region can be printed in a user-friendly way. | |
virtual void | printPretty (raw_ostream &os) const |
Print the region for use in diagnostics. | |
Kind | getKind () const |
StringRef | getKindStr () const |
template<typename RegionTy> | |
const RegionTy * | getAs () const |
template<typename RegionTy> | |
LLVM_ATTRIBUTE_RETURNS_NONNULL const RegionTy * | castAs () const |
std::string | getDescriptiveName (bool UseQuotes=true) const |
Get descriptive name for memory region. | |
SourceRange | sourceRange () const |
Retrieve source range from memory region. |
Static Public Member Functions | |
static bool | classof (const MemRegion *region) |
Static Public Member Functions inherited from clang::ento::TypedValueRegion | |
static bool | classof (const MemRegion *R) |
Static Public Member Functions inherited from clang::ento::TypedRegion | |
static bool | classof (const MemRegion *R) |
Static Public Member Functions inherited from clang::ento::SubRegion | |
static bool | classof (const MemRegion *R) |
Friends | |
class | MemRegionManager |
Additional Inherited Members | |
Public Types inherited from clang::ento::MemRegion | |
enum | Kind |
Protected Member Functions inherited from clang::ento::TypedValueRegion | |
TypedValueRegion (const MemRegion *sReg, Kind k) | |
Protected Member Functions inherited from clang::ento::TypedRegion | |
TypedRegion (const MemRegion *sReg, Kind k) | |
Protected Member Functions inherited from clang::ento::SubRegion | |
SubRegion (const MemRegion *sReg, Kind k) | |
Protected Member Functions inherited from clang::ento::MemRegion | |
MemRegion (Kind k) | |
virtual | ~MemRegion () |
Protected Attributes inherited from clang::ento::SubRegion | |
const MemRegion * | superRegion |
Definition at line 1378 of file MemRegion.h.
|
overridevirtual |
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 719 of file MemRegion.cpp.
References clang::ento::SubRegion::superRegion.
Definition at line 1410 of file MemRegion.h.
References clang::ento::MemRegion::getKind().
|
overridevirtual |
Reimplemented from clang::ento::MemRegion.
Definition at line 534 of file MemRegion.cpp.
References getDecl(), clang::NamedDecl::getName(), and clang::ento::SubRegion::superRegion.
|
inline |
Definition at line 1398 of file MemRegion.h.
Referenced by dumpToStream(), getValueType(), and Profile().
|
overridevirtual |
Implements clang::ento::TypedValueRegion.
Definition at line 198 of file MemRegion.cpp.
References clang::ASTContext::getCanonicalTagType(), clang::ento::MemRegion::getContext(), and getDecl().
|
overridevirtual |
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 723 of file MemRegion.cpp.
References clang::ento::SubRegion::superRegion.
|
overridevirtual |
Implements clang::ento::MemRegion.
Definition at line 448 of file MemRegion.cpp.
References getDecl(), and clang::ento::SubRegion::superRegion.
|
friend |
Definition at line 1379 of file MemRegion.h.
References MemRegionManager, and clang::ento::TypedValueRegion::TypedValueRegion().
Referenced by MemRegionManager.