#include "clang/StaticAnalyzer/Core/PathSensitive/SVals.h"
Inheritance diagram for clang::ento::nonloc::LazyCompoundVal:
Collaboration diagram for clang::ento::nonloc::LazyCompoundVal:
Public Member Functions | |
| const LLVM_ATTRIBUTE_RETURNS_NONNULL LazyCompoundValData * | getCVData () const |
| const void * | getStore () const |
| It might return null. More... | |
| const LLVM_ATTRIBUTE_RETURNS_NONNULL TypedValueRegion * | getRegion () const |
 Public Member Functions inherited from clang::ento::NonLoc | |
| void | dumpToStream (raw_ostream &Out) const |
| Public Member Functions inherited from clang::ento::DefinedSVal | |
| bool | isUnknown () const =delete |
| bool | isUnknownOrUndef () const =delete |
| bool | isValid () const =delete |
| Public Member Functions inherited from clang::ento::DefinedOrUnknownSVal | |
| bool | isUndef () const =delete |
| bool | isValid () const =delete |
| Public Member Functions inherited from clang::ento::SVal | |
| SVal ()=default | |
| template<typename T > | |
| T | castAs () const |
| Convert to the specified SVal type, asserting that this SVal is of the desired type. More... | |
| template<typename T > | |
| Optional< T > | getAs () const |
| Convert to the specified SVal type, returning None if this SVal is not of the desired type. More... | |
| unsigned | getRawKind () const |
| BaseKind | getBaseKind () const |
| unsigned | getSubKind () const |
| void | Profile (llvm::FoldingSetNodeID &ID) const |
| bool | operator== (SVal R) const |
| bool | operator!= (SVal R) const |
| bool | isUnknown () const |
| bool | isUndef () const |
| bool | isUnknownOrUndef () const |
| bool | isValid () const |
| bool | isConstant () const |
| bool | isConstant (int I) const |
| bool | isZeroConstant () const |
| const FunctionDecl * | getAsFunctionDecl () const |
| getAsFunctionDecl - If this SVal is a MemRegionVal and wraps a CodeTextRegion wrapping a FunctionDecl, return that FunctionDecl. More... | |
| SymbolRef | getAsLocSymbol (bool IncludeBaseRegions=false) const |
| If this SVal is a location and wraps a symbol, return that SymbolRef. More... | |
| SymbolRef | getLocSymbolInBase () const |
| Get the symbol in the SVal or its base region. More... | |
| SymbolRef | getAsSymbol (bool IncludeBaseRegions=false) const |
| If this SVal wraps a symbol return that SymbolRef. More... | |
| const llvm::APSInt * | getAsInteger () const |
| If this SVal is loc::ConcreteInt or nonloc::ConcreteInt, return a pointer to APSInt which is held in it. More... | |
| const MemRegion * | getAsRegion () const |
| void | printJson (raw_ostream &Out, bool AddQuotes) const |
| printJson - Pretty-prints in JSON format. More... | |
| void | dumpToStream (raw_ostream &OS) const |
| void | dump () const |
| SymExpr::symbol_iterator | symbol_begin () const |
| SymExpr::symbol_iterator | symbol_end () const |
| QualType | getType (const ASTContext &) const |
| Try to get a reasonable type for the given value. More... | |
Static Public Member Functions | |
| static bool | classof (SVal V) |
| static bool | classof (NonLoc V) |
| Static Public Member Functions inherited from clang::ento::NonLoc | |
| static bool | isCompoundType (QualType T) |
| static bool | classof (SVal V) |
| Static Public Member Functions inherited from clang::ento::DefinedSVal | |
| static bool | classof (SVal V) |
| Static Public Member Functions inherited from clang::ento::DefinedOrUnknownSVal | |
| static bool | classof (SVal V) |
Friends | |
| class | ento::SValBuilder |
Additional Inherited Members | |
| Public Types inherited from clang::ento::SVal | |
| enum | BaseKind |
| enum | { BaseBits = 2, BaseMask = 0b11 } |
| Protected Member Functions inherited from clang::ento::NonLoc | |
| NonLoc (unsigned SubKind, const void *d) | |
| Protected Member Functions inherited from clang::ento::DefinedSVal | |
| DefinedSVal (const void *d, bool isLoc, unsigned ValKind) | |
| Protected Member Functions inherited from clang::ento::DefinedOrUnknownSVal | |
| DefinedOrUnknownSVal (const void *d, bool isLoc, unsigned ValKind) | |
| DefinedOrUnknownSVal (BaseKind k, void *D=nullptr) | |
| Protected Member Functions inherited from clang::ento::SVal | |
| SVal (const void *d, bool isLoc, unsigned ValKind) | |
| SVal (BaseKind k, const void *D=nullptr) | |
| Protected Attributes inherited from clang::ento::SVal | |
| const void * | Data = nullptr |
| unsigned | Kind = 0 |
| The lowest 2 bits are a BaseKind (0 – 3). More... | |
Detailed Description
Member Function Documentation
◆ classof() [1/2]
◆ classof() [2/2]
◆ getCVData()
|
inline |
Definition at line 412 of file SVals.h.
References clang::ento::SVal::Data.
Referenced by clang::ento::ScanReachableSymbols::scan().
◆ getRegion()
| const TypedValueRegion * nonloc::LazyCompoundVal::getRegion | ( | ) | const |
Definition at line 197 of file SVals.cpp.
Referenced by clang::ento::StoreManager::getDefaultBinding(), and clang::ento::ScanReachableSymbols::scan().
◆ getStore()
| const void * nonloc::LazyCompoundVal::getStore | ( | ) | const |
It might return null.
Definition at line 193 of file SVals.cpp.
Referenced by clang::ento::StoreManager::getDefaultBinding(), and clang::ento::ScanReachableSymbols::scan().
Friends And Related Function Documentation
◆ ento::SValBuilder
|
friend |
The documentation for this class was generated from the following files:
