class SymbolVal

Declaration

class SymbolVal : public NonLoc { /* full declaration omitted */ };

Description

Represents symbolic expression that isn't a location.

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h:305

Inherits from: NonLoc

Member Variables

Inherited from SVal:

protected Data = nullptr

protected Kind = 0

Method Overview

• public SymbolVal()
• public SymbolVal(clang::ento::SymbolRef sym)
• public static bool classof(clang::ento::SVal V)
• public static bool classof(clang::ento::NonLoc V)
• public clang::ento::SymbolRef getSymbol() const
• public bool isExpression() const

Inherited from NonLoc:

• public classof
• public dumpToStream
• public isCompoundType

Inherited from DefinedSVal:

• public classof
• public isUnknown
• public isUnknownOrUndef
• public isValid

Inherited from DefinedOrUnknownSVal:

• public classof
• public isUndef
• public isValid

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

¶SymbolVal()

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h:307

¶SymbolVal(clang::ento::SymbolRef sym)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h:308

Parameters

clang::ento::SymbolRef sym

¶static bool classof(clang::ento::SVal V)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h:322

Parameters

clang::ento::SVal V

¶static bool classof(clang::ento::NonLoc V)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h:326

Parameters

clang::ento::NonLoc V

¶clang::ento::SymbolRef getSymbol() const

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h:314

¶bool isExpression() const

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h:318