clang 22.0.0git
Public Member Functions | Static Public Member Functions | Static Public Attributes | Friends | List of all members
clang::ento::SymbolRegionValue Class Reference

A symbol representing the value stored at a MemRegion. More...

#include "clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h"

Inheritance diagram for clang::ento::SymbolRegionValue:
[legend]

Public Member Functions

LLVM_ATTRIBUTE_RETURNS_NONNULL const TypedValueRegion * getRegion () const
void Profile (llvm::FoldingSetNodeID &profile) override
StringRef getKindStr () const override
 Get a string representation of the kind of the region.
void dumpToStream (raw_ostream &os) const override
const MemRegion * getOriginRegion () const override
 Find the region from which this symbol originates.
QualType getType () const override
Public Member Functions inherited from clang::ento::SymbolData
 ~SymbolData () override=default
unsigned computeComplexity () const override
Public Member Functions inherited from clang::ento::SymExpr
virtual ~SymExpr ()=default
Kind getKind () const
SymbolID getSymbolID () const
 Get a unique identifier for this symbol.
virtual void dump () const
llvm::iterator_range< symbol_iterator > symbols () const

Static Public Member Functions

static void Profile (llvm::FoldingSetNodeID &profile, const TypedValueRegion *R)
static bool classof (const SymExpr *SE)
static constexpr bool classof (Kind K)
Static Public Member Functions inherited from clang::ento::SymbolData
static bool classof (const SymExpr *SE)
static constexpr bool classof (Kind K)

Static Public Attributes

static constexpr Kind ClassKind = SymbolRegionValueKind

Friends

class SymExprAllocator

Additional Inherited Members

Public Types inherited from clang::ento::SymExpr
enum  Kind
Protected Member Functions inherited from clang::ento::SymbolData
 SymbolData (Kind k, SymbolID sym)
Protected Member Functions inherited from clang::ento::SymExpr
 SymExpr (Kind k, SymbolID Sym)
Static Protected Member Functions inherited from clang::ento::SymExpr
static bool isValidTypeForSymbol (QualType T)
Protected Attributes inherited from clang::ento::SymExpr
unsigned Complexity = 0

Detailed Description

A symbol representing the value stored at a MemRegion.

Definition at line 44 of file SymbolManager.h.

Member Function Documentation

◆ classof() [1/2]

bool clang::ento::SymbolRegionValue::classof ( const SymExpr * SE)
inlinestatic

Definition at line 76 of file SymbolManager.h.

References classof(), and clang::ento::SymExpr::getKind().

Referenced by classof().

◆ classof() [2/2]

constexpr bool clang::ento::SymbolRegionValue::classof ( Kind K)
inlinestaticconstexpr

Definition at line 77 of file SymbolManager.h.

References ClassKind.

◆ dumpToStream()

void SymbolRegionValue::dumpToStream ( raw_ostream & os) const
overridevirtual

Reimplemented from clang::ento::SymExpr.

Definition at line 146 of file SymbolManager.cpp.

References getKindStr(), clang::ento::SymExpr::getSymbolID(), and getType().

◆ getKindStr()

StringRef SymbolRegionValue::getKindStr ( ) const
overridevirtual

Get a string representation of the kind of the region.

Implements clang::ento::SymbolData.

Definition at line 38 of file SymbolManager.cpp.

Referenced by dumpToStream().

◆ getOriginRegion()

const MemRegion * clang::ento::SymbolRegionValue::getOriginRegion ( ) const
inlineoverridevirtual

Find the region from which this symbol originates.

Whenever the symbol was constructed to denote an unknown value of a certain memory region, return this region. This method allows checkers to make decisions depending on the origin of the symbol. Symbol classes for which the origin region is known include SymbolRegionValue which denotes the value of the region before the beginning of the analysis, and SymbolDerived which denotes the value of a certain memory region after its super region (a memory space or a larger record region) is default-bound with a certain symbol. It might return null.

Reimplemented from clang::ento::SymExpr.

Definition at line 70 of file SymbolManager.h.

References getRegion().

◆ getRegion()

LLVM_ATTRIBUTE_RETURNS_NONNULL const TypedValueRegion * clang::ento::SymbolRegionValue::getRegion ( ) const
inline

Definition at line 56 of file SymbolManager.h.

Referenced by getOriginRegion(), and clang::ento::SValExplainer::VisitSymbolRegionValue().

◆ getType()

QualType SymbolRegionValue::getType ( ) const
overridevirtual

Implements clang::ento::SymExpr.

Definition at line 222 of file SymbolManager.cpp.

Referenced by dumpToStream().

◆ Profile() [1/2]

void clang::ento::SymbolRegionValue::Profile ( llvm::FoldingSetNodeID & profile)
inlineoverridevirtual

Implements clang::ento::SymExpr.

Definition at line 63 of file SymbolManager.h.

References Profile().

◆ Profile() [2/2]

void clang::ento::SymbolRegionValue::Profile ( llvm::FoldingSetNodeID & profile,
const TypedValueRegion * R )
inlinestatic

Definition at line 58 of file SymbolManager.h.

References ClassKind.

Referenced by Profile().

◆ SymExprAllocator

friend class SymExprAllocator
friend

Definition at line 47 of file SymbolManager.h.

References ClassKind, clang::ento::SymbolData::SymbolData(), and SymExprAllocator.

Referenced by SymExprAllocator.

Member Data Documentation

◆ ClassKind

Kind clang::ento::SymbolRegionValue::ClassKind = SymbolRegionValueKind
staticconstexpr

Definition at line 75 of file SymbolManager.h.

Referenced by classof(), Profile(), and SymExprAllocator.

The documentation for this class was generated from the following files:
Generated on for clang by doxygen 1.14.0