clang
9.0.0
|
Value representing pointer-to-member. More...
#include "clang/StaticAnalyzer/Core/PathSensitive/SVals.h"
Public Types | |
using | PTMDataType = llvm::PointerUnion< const DeclaratorDecl *, const PointerToMemberData * > |
using | iterator = llvm::ImmutableList< const CXXBaseSpecifier * >::iterator |
![]() | |
enum | BaseKind |
enum | { BaseBits = 2, BaseMask = 0x3 } |
Public Member Functions | |
const PTMDataType | getPTMData () const |
bool | isNullMemberPointer () const |
const DeclaratorDecl * | getDecl () const |
template<typename AdjustedDecl > | |
const AdjustedDecl * | getDeclAs () const |
iterator | begin () const |
iterator | end () const |
![]() | |
void | dumpToStream (raw_ostream &Out) const |
![]() | |
bool | isUnknown () const =delete |
bool | isUnknownOrUndef () const =delete |
bool | isValid () const =delete |
![]() | |
bool | isUndef () const =delete |
bool | isValid () const =delete |
![]() | |
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== (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 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 SymExpr * | getAsSymbolicExpression () const |
getAsSymbolicExpression - If this Sval wraps a symbolic expression then return that expression. More... | |
const SymExpr * | getAsSymExpr () const |
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 |
Friends | |
class | ento::SValBuilder |
class | SVal |
Additional Inherited Members | |
![]() | |
static bool | isCompoundType (QualType T) |
![]() | |
NonLoc ()=default | |
NonLoc (unsigned SubKind, const void *d) | |
![]() | |
DefinedSVal ()=default | |
DefinedSVal (const void *d, bool isLoc, unsigned ValKind) | |
![]() | |
DefinedOrUnknownSVal ()=default | |
DefinedOrUnknownSVal (const void *d, bool isLoc, unsigned ValKind) | |
DefinedOrUnknownSVal (BaseKind k, void *D=nullptr) | |
![]() | |
SVal (const void *d, bool isLoc, unsigned ValKind) | |
SVal (BaseKind k, const void *D=nullptr) | |
![]() | |
const void * | Data = nullptr |
unsigned | Kind = 0 |
The lowest 2 bits are a BaseKind (0 – 3). More... | |
Value representing pointer-to-member.
This value is qualified as NonLoc because neither loading nor storing operations are applied to it. Instead, the analyzer uses the L-value coming from pointer-to-member applied to an object. This SVal is represented by a DeclaratorDecl which can be a member function pointer or a member data pointer and a list of CXXBaseSpecifiers. This list is required to accumulate the pointer-to-member cast history to figure out the correct subobject field.
using clang::ento::nonloc::PointerToMember::iterator = llvm::ImmutableList<const CXXBaseSpecifier *>::iterator |
using clang::ento::nonloc::PointerToMember::PTMDataType = llvm::PointerUnion<const DeclaratorDecl *, const PointerToMemberData *> |
nonloc::PointerToMember::iterator nonloc::PointerToMember::begin | ( | ) | const |
nonloc::PointerToMember::iterator nonloc::PointerToMember::end | ( | ) | const |
const DeclaratorDecl * nonloc::PointerToMember::getDecl | ( | ) | const |
Definition at line 178 of file SVals.cpp.
Referenced by clang::ento::NonLoc::dumpToStream().
|
inline |
|
inline |
Definition at line 531 of file SVals.h.
Referenced by clang::ento::BasicValueFactory::accumCXXBase().
bool nonloc::PointerToMember::isNullMemberPointer | ( | ) | const |
|
friend |