clang 22.0.0git
Public Member Functions | Static Public Member Functions | Static Public Attributes | Friends | List of all members
clang::ento::BinarySymExprImpl< LHSTYPE, RHSTYPE, ClassK > Class Template Reference

Template implementation for all binary symbolic expressions. More...

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

Inheritance diagram for clang::ento::BinarySymExprImpl< LHSTYPE, RHSTYPE, ClassK >:
[legend]

Public Member Functions

void dumpToStream (raw_ostream &os) const override
LHSTYPE getLHS () const
RHSTYPE getRHS () const
unsigned computeComplexity () const override
void Profile (llvm::FoldingSetNodeID &ID) override
Public Member Functions inherited from clang::ento::BinarySymExpr
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
llvm::iterator_range< symbol_iterator > symbols () const
virtual const MemRegion * getOriginRegion () const
 Find the region from which this symbol originates.

Static Public Member Functions

static void Profile (llvm::FoldingSetNodeID &ID, LHSTYPE lhs, BinaryOperator::Opcode op, RHSTYPE rhs, QualType t)
static bool classof (const SymExpr *SE)
static constexpr bool classof (Kind K)
Static Public Member Functions inherited from clang::ento::BinarySymExpr
static bool classof (const SymExpr *SE)
static constexpr bool classof (Kind K)

Static Public Attributes

static constexpr Kind ClassKind = ClassK

Friends

class SymExprAllocator

Additional Inherited Members

Public Types inherited from clang::ento::SymExpr
enum  Kind
Protected Member Functions inherited from clang::ento::BinarySymExpr
 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 inherited from clang::ento::BinarySymExpr
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)
Protected Attributes inherited from clang::ento::SymExpr
unsigned Complexity = 0

Detailed Description

template<class LHSTYPE, class RHSTYPE, SymExpr::Kind ClassK>
class clang::ento::BinarySymExprImpl< LHSTYPE, RHSTYPE, ClassK >

Template implementation for all binary symbolic expressions.

Definition at line 434 of file SymbolManager.h.

Member Function Documentation

◆ classof() [1/2]

template<class LHSTYPE, class RHSTYPE, SymExpr::Kind ClassK>
bool clang::ento::BinarySymExprImpl< LHSTYPE, RHSTYPE, ClassK >::classof ( const SymExpr * SE)
inlinestatic

Definition at line 478 of file SymbolManager.h.

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

◆ classof() [2/2]

template<class LHSTYPE, class RHSTYPE, SymExpr::Kind ClassK>
constexpr bool clang::ento::BinarySymExprImpl< LHSTYPE, RHSTYPE, ClassK >::classof ( Kind K)
inlinestaticconstexpr

Definition at line 479 of file SymbolManager.h.

◆ computeComplexity()

template<class LHSTYPE, class RHSTYPE, SymExpr::Kind ClassK>
unsigned clang::ento::BinarySymExprImpl< LHSTYPE, RHSTYPE, ClassK >::computeComplexity ( ) const
inlineoverridevirtual

Implements clang::ento::SymExpr.

Definition at line 456 of file SymbolManager.h.

◆ dumpToStream()

template<class LHSTYPE, class RHSTYPE, SymExpr::Kind ClassK>
void clang::ento::BinarySymExprImpl< LHSTYPE, RHSTYPE, ClassK >::dumpToStream ( raw_ostream & os) const
inlineoverridevirtual

Reimplemented from clang::ento::SymExpr.

Definition at line 447 of file SymbolManager.h.

◆ getLHS()

template<class LHSTYPE, class RHSTYPE, SymExpr::Kind ClassK>
LHSTYPE clang::ento::BinarySymExprImpl< LHSTYPE, RHSTYPE, ClassK >::getLHS ( ) const
inline

Definition at line 453 of file SymbolManager.h.

Referenced by clang::ento::SValExplainer::VisitSymIntExpr(), and clang::ento::SValExplainer::VisitSymSymExpr().

◆ getRHS()

template<class LHSTYPE, class RHSTYPE, SymExpr::Kind ClassK>
RHSTYPE clang::ento::BinarySymExprImpl< LHSTYPE, RHSTYPE, ClassK >::getRHS ( ) const
inline

Definition at line 454 of file SymbolManager.h.

Referenced by clang::ento::SValExplainer::VisitSymIntExpr(), and clang::ento::SValExplainer::VisitSymSymExpr().

◆ Profile() [1/2]

template<class LHSTYPE, class RHSTYPE, SymExpr::Kind ClassK>
void clang::ento::BinarySymExprImpl< LHSTYPE, RHSTYPE, ClassK >::Profile ( llvm::FoldingSetNodeID & ID)
inlineoverridevirtual

Implements clang::ento::SymExpr.

Definition at line 472 of file SymbolManager.h.

◆ Profile() [2/2]

template<class LHSTYPE, class RHSTYPE, SymExpr::Kind ClassK>
void clang::ento::BinarySymExprImpl< LHSTYPE, RHSTYPE, ClassK >::Profile ( llvm::FoldingSetNodeID & ID,
LHSTYPE lhs,
BinaryOperator::Opcode op,
RHSTYPE rhs,
QualType t )
inlinestatic

Definition at line 463 of file SymbolManager.h.

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

◆ SymExprAllocator

template<class LHSTYPE, class RHSTYPE, SymExpr::Kind ClassK>
friend class SymExprAllocator
friend

Definition at line 438 of file SymbolManager.h.

Member Data Documentation

◆ ClassKind

template<class LHSTYPE, class RHSTYPE, SymExpr::Kind ClassK>
Kind clang::ento::BinarySymExprImpl< LHSTYPE, RHSTYPE, ClassK >::ClassKind = ClassK
staticconstexpr

Definition at line 477 of file SymbolManager.h.

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