class UnknownVal
Declaration
class UnknownVal : public DefinedOrUnknownSVal { /* full declaration omitted */ };Description
SVal - This represents a symbolic expression, which can be either an L-value or an R-value.
Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h:236
Inherits from: DefinedOrUnknownSVal
Member Variables
Inherited from SVal:
- protected Data = nullptr
- protected Kind = 0
Method Overview
- public UnknownVal()
- public static bool classof(clang::ento::SVal V)
Inherited from DefinedOrUnknownSVal:
Inherited from SVal:
- public Profile
- public castAs
- public dump
- public dumpToStream
- public getAs
- public getAsFunctionDecl
- public getAsInteger
- public getAsLocSymbol
- public getAsRegion
- public getAsSymbol
- public getBaseKind
- public getLocSymbolInBase
- public getRawKind
- public getSubKind
- public getType
- public isConstant
- public isConstant
- public isUndef
- public isUnknown
- public isUnknownOrUndef
- public isValid
- public isZeroConstant
- public printJson
- public symbol_begin
- public symbol_end
Methods
¶UnknownVal()
UnknownVal()Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h:238
¶static bool classof(clang::ento::SVal V)
static bool classof(clang::ento::SVal V)Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h:240