class KnownSVal
Declaration
class KnownSVal : public SVal { /* full declaration omitted */ };
Description
Represents an SVal that is guaranteed to not be UnknownVal.
Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h:259
Inherits from: SVal
Member Variables
Inherited from SVal:
- protected Data = nullptr
- protected Kind = 0
Method Overview
- public KnownSVal(const clang::ento::DefinedSVal & V)
- public KnownSVal(const clang::ento::UndefinedVal & V)
- 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
¶KnownSVal(const clang::ento::DefinedSVal& V)
KnownSVal(const clang::ento::DefinedSVal& V)
Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h:261
Parameters
- const clang::ento::DefinedSVal& V
¶KnownSVal(const clang::ento::UndefinedVal& V)
KnownSVal(const clang::ento::UndefinedVal& V)
Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h:262
Parameters
- const clang::ento::UndefinedVal& V
¶static bool classof(clang::ento::SVal V)
static bool classof(clang::ento::SVal V)
Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h:263