class MemRegionVal

Declaration

class MemRegionVal : public Loc { /* 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:506

Inherits from: Loc

Member Variables

Inherited from SVal:

protected Data = nullptr

protected Kind = 0

Method Overview

• public MemRegionVal(const clang::ento::MemRegion * r)
• public static bool classof(clang::ento::SVal V)
• public static bool classof(clang::ento::Loc V)
• public const clang::ento::MemRegion * getRegion() const
• public template <typename REGION>const REGION * getRegionAs() const
• public const clang::ento::MemRegion * stripCasts(bool StripBaseCasts = true) const

Inherited from Loc:

• public classof
• public dumpToStream
• public isLocType

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

¶MemRegionVal(const clang::ento::MemRegion* r)

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

Parameters

const clang::ento::MemRegion* r

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

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

Parameters

clang::ento::SVal V

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

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

Parameters

clang::ento::Loc V

¶const clang::ento::MemRegion* getRegion() const

Description

Get the underlining region.

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

¶template <typename REGION>
const REGION* getRegionAs() const

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

Templates

REGION

¶const clang::ento::MemRegion* stripCasts(
    bool StripBaseCasts = true) const

Description

Get the underlining region and strip casts.

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

Parameters

bool StripBaseCasts = true