clang 19.0.0git
Classes | Public Types | Public Member Functions | Protected Member Functions | Static Protected Member Functions | Protected Attributes | List of all members
clang::ento::SymExpr Class Referenceabstract

Symbolic value. More...

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

Inheritance diagram for clang::ento::SymExpr:
Inheritance graph


class  symbol_iterator
 Iterator over symbols that the current symbol depends on. More...

Public Types

enum  Kind

Public Member Functions

virtual ~SymExpr ()=default
Kind getKind () const
virtual void dump () const
virtual void dumpToStream (raw_ostream &os) const
virtual QualType getType () const =0
virtual void Profile (llvm::FoldingSetNodeID &profile)=0
llvm::iterator_range< symbol_iteratorsymbols () const
virtual unsigned computeComplexity () const =0
virtual const MemRegiongetOriginRegion () const
 Find the region from which this symbol originates.

Protected Member Functions

 SymExpr (Kind k)

Static Protected Member Functions

static bool isValidTypeForSymbol (QualType T)

Protected Attributes

unsigned Complexity = 0

Detailed Description

Symbolic value.

These values used to capture symbolic execution of the program.

Definition at line 30 of file SymExpr.h.

Member Enumeration Documentation

◆ Kind

Definition at line 34 of file SymExpr.h.

Constructor & Destructor Documentation

◆ SymExpr()

clang::ento::SymExpr::SymExpr ( Kind  k)

Definition at line 44 of file SymExpr.h.

◆ ~SymExpr()

virtual clang::ento::SymExpr::~SymExpr ( )

Member Function Documentation

◆ computeComplexity()

virtual unsigned clang::ento::SymExpr::computeComplexity ( ) const
pure virtual

◆ dump()

LLVM_DUMP_METHOD void SymExpr::dump ( ) const

Definition at line 44 of file SymbolManager.cpp.

References dumpToStream().

◆ dumpToStream()

virtual void clang::ento::SymExpr::dumpToStream ( raw_ostream &  os) const

◆ getKind()

Kind clang::ento::SymExpr::getKind ( ) const

◆ getOriginRegion()

virtual const MemRegion * clang::ento::SymExpr::getOriginRegion ( ) const

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 in clang::ento::SymbolRegionValue, and clang::ento::SymbolDerived.

Definition at line 104 of file SymExpr.h.

Referenced by clang::ento::retaincountchecker::RetainCountChecker::checkPostStmt(), getOriginParam(), and unwrapRValueReferenceIndirection().

◆ getType()

virtual QualType clang::ento::SymExpr::getType ( ) const
pure virtual

◆ isValidTypeForSymbol()

static bool clang::ento::SymExpr::isValidTypeForSymbol ( QualType  T)

◆ Profile()

virtual void clang::ento::SymExpr::Profile ( llvm::FoldingSetNodeID &  profile)
pure virtual

◆ symbols()

llvm::iterator_range< symbol_iterator > clang::ento::SymExpr::symbols ( ) const

Member Data Documentation

◆ Complexity

unsigned clang::ento::SymExpr::Complexity = 0

The documentation for this class was generated from the following files: