class DefinedOrUnknownSVal

Declaration

class DefinedOrUnknownSVal : 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:221

Inherits from: SVal

Member Variables

Inherited from SVal:

protected Data = nullptr

protected Kind = 0

Method Overview

• protected DefinedOrUnknownSVal(const void * d, bool isLoc, unsigned int ValKind)
• protected DefinedOrUnknownSVal(clang::ento::SVal::BaseKind k, void * D = nullptr)
• public static bool classof(clang::ento::SVal V)
• public bool isUndef() const
• public bool isValid() const

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

¶DefinedOrUnknownSVal(const void* d,
                     bool isLoc,
                     unsigned int ValKind)

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

Parameters

const void* d

bool isLoc

unsigned int ValKind

¶DefinedOrUnknownSVal(
    clang::ento::SVal::BaseKind k,
    void* D = nullptr)

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

Parameters

clang::ento::SVal::BaseKind k

void* D = nullptr

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

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

Parameters

clang::ento::SVal V

¶bool isUndef() const

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

¶bool isValid() const

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