| QualType |
getLocationType () const override |
| const NamedDecl * |
getDecl () const |
| void |
dumpToStream (raw_ostream &os) const override |
| void |
Profile (llvm::FoldingSetNodeID &ID) const override |
| Public Member Functions inherited from clang::ento::CodeTextRegion |
|
| bool |
isBoundable () const override |
| 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 |
|
| 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 |
|
| 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. |
| 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 |
|
| const RegionTy * |
getAs () const |
| template |
|
| 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. |