#include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h"
Inheritance diagram for clang::ento::CXXLifetimeExtendedObjectRegion:
Public Member Functions | |
| LLVM_ATTRIBUTE_RETURNS_NONNULL const Expr * | getExpr () const |
| LLVM_ATTRIBUTE_RETURNS_NONNULL const ValueDecl * | getExtendingDecl () const |
| const StackFrameContext * | getStackFrame () const |
| It might return null. | |
| QualType | getValueType () const override |
| void | dumpToStream (raw_ostream &os) const override |
| void | Profile (llvm::FoldingSetNodeID &ID) const override |
 Public Member Functions inherited from clang::ento::TypedValueRegion | |
| virtual QualType | getValueType () const =0 |
| QualType | getLocationType () const override |
| QualType | getDesugaredValueType (ASTContext &Context) const |
| Public Member Functions inherited from clang::ento::TypedRegion | |
| virtual QualType | getLocationType () const =0 |
| 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 |
| virtual void | Profile (llvm::FoldingSetNodeID &ID) const =0 |
| virtual MemRegionManager & | getMemRegionManager () const =0 |
| LLVM_ATTRIBUTE_RETURNS_NONNULL const MemSpaceRegion * | getMemorySpace () const |
| 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. | |
| virtual bool | isSubRegionOf (const MemRegion *R) const |
| Check if the region is a subregion of the given region. | |
| LLVM_ATTRIBUTE_RETURNS_NONNULL const MemRegion * | StripCasts (bool StripBaseAndDerivedCasts=true) const |
| const SymbolicRegion * | getSymbolicBase () const |
| If this is a symbolic region, returns the region. | |
| bool | hasStackStorage () const |
| bool | hasStackNonParametersStorage () const |
| bool | hasStackParametersStorage () const |
| 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. | |
| 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. | |
| virtual void | printPretty (raw_ostream &os) const |
| Print the region for use in diagnostics. | |
| virtual bool | canPrintPrettyAsExpr () const |
| Returns true if this region's textual representation can be used as part of a larger expression. | |
| virtual void | printPrettyAsExpr (raw_ostream &os) const |
| Print the region as expression. | |
| Kind | getKind () const |
| StringRef | getKindStr () const |
| template<typename RegionTy > | |
| const RegionTy * | getAs () const |
| template<typename RegionTy > | |
| LLVM_ATTRIBUTE_RETURNS_NONNULL const RegionTy * | castAs () const |
| virtual bool | isBoundable () 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 *R) |
| 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 |
Detailed Description
Definition at line 1272 of file MemRegion.h.
Member Function Documentation
◆ classof()
|
inlinestatic |
Definition at line 1304 of file MemRegion.h.
References clang::ento::MemRegion::getKind().
◆ dumpToStream()
|
overridevirtual |
Reimplemented from clang::ento::MemRegion.
Definition at line 511 of file MemRegion.cpp.
References clang::ento::MemRegion::getContext(), clang::Decl::getID(), clang::Stmt::getID(), clang::NamedDecl::getIdentifier(), and getValueType().
◆ getExpr()
|
inline |
Definition at line 1292 of file MemRegion.h.
◆ getExtendingDecl()
|
inline |
Definition at line 1294 of file MemRegion.h.
◆ getStackFrame()
| const StackFrameContext * CXXLifetimeExtendedObjectRegion::getStackFrame | ( | ) | const |
It might return null.
Definition at line 163 of file MemRegion.cpp.
References clang::ento::MemRegion::getMemorySpace().
◆ getValueType()
|
inlineoverridevirtual |
Implements clang::ento::TypedValueRegion.
Definition at line 1298 of file MemRegion.h.
References clang::Expr::getType().
Referenced by dumpToStream().
◆ Profile()
|
overridevirtual |
Implements clang::ento::MemRegion.
Definition at line 414 of file MemRegion.cpp.
References clang::ento::SubRegion::getSuperRegion().
Friends And Related Function Documentation
◆ MemRegionManager
|
friend |
Definition at line 1273 of file MemRegion.h.
The documentation for this class was generated from the following files:
- include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h
- lib/StaticAnalyzer/Core/MemRegion.cpp
