clang: clang::ento::BinarySymExpr Class Reference

clang 22.0.0git

Represents a symbolic expression involving a binary operator. More...

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

Inheritance diagram for clang::ento::BinarySymExpr:

Public Member Functions
QualType	getType () const override
BinaryOperator::Opcode	getOpcode () const
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
virtual void	dumpToStream (raw_ostream &os) const
virtual void	Profile (llvm::FoldingSetNodeID &profile)=0
llvm::iterator_range< symbol_iterator >	symbols () const
virtual unsigned	computeComplexity () const =0
virtual const MemRegion *	getOriginRegion () const
	Find the region from which this symbol originates.

Static Public Member Functions
static bool	classof (const SymExpr *SE)
static constexpr bool	classof (Kind K)

Protected Member Functions
	BinarySymExpr (SymbolID Sym, Kind k, BinaryOperator::Opcode op, QualType t)
Protected Member Functions inherited from clang::ento::SymExpr
	SymExpr (Kind k, SymbolID Sym)

Static Protected Member Functions
static unsigned	computeOperandComplexity (const SymExpr *Value)
static unsigned	computeOperandComplexity (const llvm::APSInt &Value)
static const llvm::APSInt *	getPointer (APSIntPtr Value)
static const SymExpr *	getPointer (const SymExpr *Value)
static void	dumpToStreamImpl (raw_ostream &os, const SymExpr *Value)
static void	dumpToStreamImpl (raw_ostream &os, const llvm::APSInt &Value)
static void	dumpToStreamImpl (raw_ostream &os, BinaryOperator::Opcode op)
Static Protected Member Functions inherited from clang::ento::SymExpr
static bool	isValidTypeForSymbol (QualType T)

Additional Inherited Members
Public Types inherited from clang::ento::SymExpr
enum	Kind
Protected Attributes inherited from clang::ento::SymExpr
unsigned	Complexity = 0

Detailed Description

Represents a symbolic expression involving a binary operator.

Definition at line 389 of file SymbolManager.h.

Constructor & Destructor Documentation

◆ BinarySymExpr()

clang::ento::BinarySymExpr::BinarySymExpr	(	SymbolID	Sym,
		Kind	k,
		BinaryOperator::Opcode	op,
		QualType	t )

inlineprotected

Definition at line 394 of file SymbolManager.h.

References classof(), clang::ento::Loc::isLocType(), clang::ento::SymExpr::isValidTypeForSymbol(), and clang::ento::SymExpr::SymExpr().

Referenced by clang::ento::BinarySymExprImpl< const SymExpr *, APSIntPtr, SymExpr::Kind::SymIntExprKind >::SymExprAllocator.

Member Function Documentation

◆ classof() [1/2]

bool clang::ento::BinarySymExpr::classof ( const SymExpr * SE )

inlinestatic

Definition at line 411 of file SymbolManager.h.

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

Referenced by BinarySymExpr(), and classof().

◆ classof() [2/2]

constexpr bool clang::ento::BinarySymExpr::classof ( Kind K )

inlinestaticconstexpr

Definition at line 412 of file SymbolManager.h.

◆ computeOperandComplexity() [1/2]

unsigned clang::ento::BinarySymExpr::computeOperandComplexity ( const llvm::APSInt & Value )

inlinestaticprotected

Definition at line 420 of file SymbolManager.h.

◆ computeOperandComplexity() [2/2]

unsigned clang::ento::BinarySymExpr::computeOperandComplexity ( const SymExpr * Value )

inlinestaticprotected

Definition at line 417 of file SymbolManager.h.

References clang::ento::SymExpr::SymExpr().

Referenced by clang::ento::BinarySymExprImpl< const SymExpr *, APSIntPtr, SymExpr::Kind::SymIntExprKind >::computeComplexity().

◆ dumpToStreamImpl() [1/3]

void BinarySymExpr::dumpToStreamImpl	(	raw_ostream &	os,
		BinaryOperator::Opcode	op )

staticprotected

Definition at line 58 of file SymbolManager.cpp.

References clang::BinaryOperator::getOpcodeStr(), and clang::ento::OS.

◆ dumpToStreamImpl() [2/3]

void BinarySymExpr::dumpToStreamImpl	(	raw_ostream &	os,
		const llvm::APSInt &	Value )

staticprotected

Definition at line 48 of file SymbolManager.cpp.

References clang::ento::OS.

◆ dumpToStreamImpl() [3/3]

void BinarySymExpr::dumpToStreamImpl	(	raw_ostream &	os,
		const SymExpr *	Value )

staticprotected

Definition at line 42 of file SymbolManager.cpp.

References clang::ento::OS, and clang::ento::SymExpr::SymExpr().

Referenced by clang::ento::BinarySymExprImpl< const SymExpr *, APSIntPtr, SymExpr::Kind::SymIntExprKind >::dumpToStream().

◆ getOpcode()

BinaryOperator::Opcode clang::ento::BinarySymExpr::getOpcode ( ) const

inline

Definition at line 408 of file SymbolManager.h.

Referenced by clang::ento::BinarySymExprImpl< const SymExpr *, APSIntPtr, SymExpr::Kind::SymIntExprKind >::dumpToStream(), clang::ento::SMTConv::getSymBinExpr(), clang::ento::BinarySymExprImpl< const SymExpr *, APSIntPtr, SymExpr::Kind::SymIntExprKind >::Profile(), clang::ento::SValExplainer::VisitSymIntExpr(), and clang::ento::SValExplainer::VisitSymSymExpr().

◆ getPointer() [1/2]

const llvm::APSInt * clang::ento::BinarySymExpr::getPointer ( APSIntPtr Value )

inlinestaticprotected

Definition at line 424 of file SymbolManager.h.

Referenced by clang::ento::BinarySymExprImpl< const SymExpr *, APSIntPtr, SymExpr::Kind::SymIntExprKind >::Profile().

◆ getPointer() [2/2]

const SymExpr * clang::ento::BinarySymExpr::getPointer ( const SymExpr * Value )

inlinestaticprotected

Definition at line 425 of file SymbolManager.h.

References clang::ento::SymExpr::SymExpr().

◆ getType()

QualType clang::ento::BinarySymExpr::getType ( ) const

inlineoverridevirtual

Implements clang::ento::SymExpr.

Definition at line 406 of file SymbolManager.h.

Referenced by clang::ento::BinarySymExprImpl< const SymExpr *, APSIntPtr, SymExpr::Kind::SymIntExprKind >::Profile().

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

include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h
lib/StaticAnalyzer/Core/SymbolManager.cpp