clang 19.0.0git
Public Member Functions | Static Public Member Functions | List of all members
clang::ento::UnknownVal Class Reference

#include "clang/StaticAnalyzer/Core/PathSensitive/SVals.h"

Inheritance diagram for clang::ento::UnknownVal:
Inheritance graph

Public Member Functions

 UnknownVal ()
- 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< TgetAs () const
 Convert to the specified SVal type, returning std::nullopt if this SVal is not of the desired type.
SValKind getKind () 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 FunctionDeclgetAsFunctionDecl () 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 nonloc::ConcreteInt, return a pointer to APSInt which is held in it.
const MemRegiongetAsRegion () const
void printJson (raw_ostream &Out, bool AddQuotes) const
 printJson - Pretty-prints in JSON format.
void dumpToStream (raw_ostream &OS) const
void dump () const
llvm::iterator_range< SymExpr::symbol_iteratorsymbols () const
QualType getType (const ASTContext &) const
 Try to get a reasonable type for the given value.

Static Public Member Functions

static bool classof (SVal V)
- Static Public Member Functions inherited from clang::ento::DefinedOrUnknownSVal
static bool classof (SVal V)

Additional Inherited Members

- Public Types inherited from clang::ento::SVal
enum  SValKind : unsigned char
- Protected Member Functions inherited from clang::ento::DefinedOrUnknownSVal
 DefinedOrUnknownSVal (SValKind Kind, const void *Data=nullptr)
- Protected Member Functions inherited from clang::ento::SVal
 SVal (SValKind Kind, const void *Data=nullptr)
template<typename T >
const TcastDataAs () const
- Protected Attributes inherited from clang::ento::SVal
const void * Data = nullptr
SValKind Kind = UndefinedValKind

Detailed Description

Definition at line 213 of file SVals.h.

Constructor & Destructor Documentation

◆ UnknownVal()

clang::ento::UnknownVal::UnknownVal ( )

Definition at line 215 of file SVals.h.

Member Function Documentation

◆ classof()

static bool clang::ento::UnknownVal::classof ( SVal  V)

Definition at line 217 of file SVals.h.

References V.

The documentation for this class was generated from the following file: