#include "clang/StaticAnalyzer/Core/PathSensitive/SVals.h"
Inheritance diagram for clang::ento::NonLoc:
Public Member Functions | |
| 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. | |
| template<typename T > | |
| std::optional< T > | getAs () const |
| Convert to the specified SVal type, returning std::nullopt if this SVal is not of the desired type. | |
| SValKind | getKind () const |
| StringRef | getKindStr () 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. | |
| SymbolRef | getAsLocSymbol (bool IncludeBaseRegions=false) const |
| If this SVal is a location and wraps a symbol, return that SymbolRef. | |
| SymbolRef | getLocSymbolInBase () const |
| Get the symbol in the SVal or its base region. | |
| SymbolRef | getAsSymbol (bool IncludeBaseRegions=false) const |
| If this SVal wraps a symbol return that SymbolRef. | |
| const llvm::APSInt * | getAsInteger () const |
| If this SVal is loc::ConcreteInt or | |