clang  15.0.0git
Public Member Functions | Protected Member Functions | Friends | List of all members
clang::ento::DefinedOrUnknownSVal Class Reference

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

Inheritance diagram for clang::ento::DefinedOrUnknownSVal:
Inheritance graph
Collaboration diagram for clang::ento::DefinedOrUnknownSVal:
Collaboration graph

Public Member Functions

bool isUndef () const =delete
bool isValid () const =delete
- Public Member Functions inherited from clang::ento::SVal
 SVal ()=default
template<typename 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== (const SVal &R) const
bool operator!= (const 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
bool hasConjuredSymbol () const
 hasConjuredSymbol - If this SVal wraps a conjured symbol, return true; More...
const FunctionDeclgetAsFunctionDecl () 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 MemRegiongetAsRegion () 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...

Protected Member Functions

 DefinedOrUnknownSVal ()=default
 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)


class SVal

Additional Inherited Members

- Public Types inherited from clang::ento::SVal
enum  BaseKind
enum  { BaseBits = 2, BaseMask = 0b11 }
- 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

Definition at line 235 of file SVals.h.

Constructor & Destructor Documentation

◆ DefinedOrUnknownSVal() [1/3]

clang::ento::DefinedOrUnknownSVal::DefinedOrUnknownSVal ( )

◆ DefinedOrUnknownSVal() [2/3]

clang::ento::DefinedOrUnknownSVal::DefinedOrUnknownSVal ( const void *  d,
bool  isLoc,
unsigned  ValKind 

Definition at line 244 of file SVals.h.

◆ DefinedOrUnknownSVal() [3/3]

clang::ento::DefinedOrUnknownSVal::DefinedOrUnknownSVal ( BaseKind  k,
void *  D = nullptr 

Definition at line 246 of file SVals.h.

Member Function Documentation

◆ isUndef()

bool clang::ento::DefinedOrUnknownSVal::isUndef ( ) const

◆ isValid()

bool clang::ento::DefinedOrUnknownSVal::isValid ( ) const

Friends And Related Function Documentation

◆ SVal

friend class SVal

Definition at line 249 of file SVals.h.

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