class UndefinedVal
Declaration
class UndefinedVal : public SVal { /* 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:215
Inherits from: SVal
Member Variables
Inherited from SVal:
- protected Data = nullptr
- protected Kind = 0
Method Overview
- public UndefinedVal()
- public static bool classof(clang::ento::SVal V)
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
¶UndefinedVal()
UndefinedVal()Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h:217
¶static bool classof(clang::ento::SVal V)
static bool classof(clang::ento::SVal V)Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h:218