class BinarySymExprImpl

Declaration

template <class LHSTYPE, class RHSTYPE, SymExpr::Kind ClassKind>
class BinarySymExprImpl : public BinarySymExpr { /* full declaration omitted */ };

Description

Template implementation for all binary symbolic expressions

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h:424

Inherits from: BinarySymExpr

Templates

LHSTYPE

RHSTYPE

SymExpr::Kind ClassKind

Member Variables

private LHSTYPE LHS

private RHSTYPE RHS

Inherited from SymExpr:

protected Complexity = 0

Method Overview

• public BinarySymExprImpl<LHSTYPE, RHSTYPE, ClassKind>(LHSTYPE lhs, BinaryOperator::Opcode op, RHSTYPE rhs, clang::QualType t)
• public static void Profile(llvm::FoldingSetNodeID & ID, LHSTYPE lhs, BinaryOperator::Opcode op, RHSTYPE rhs, clang::QualType t)
• public void Profile(llvm::FoldingSetNodeID & ID)
• public static bool classof(const clang::ento::SymExpr * SE)
• public unsigned int computeComplexity() const
• public void dumpToStream(llvm::raw_ostream & os) const
• public LHSTYPE getLHS() const
• public RHSTYPE getRHS() const

Inherited from BinarySymExpr:

• public classof
• protected computeOperandComplexity
• protected computeOperandComplexity
• protected dumpToStreamImpl
• protected dumpToStreamImpl
• protected dumpToStreamImpl
• public getOpcode
• protected getPointer
• protected getPointer
• public getType

Inherited from SymExpr:

• public Profile
• public computeComplexity
• public dump
• public dumpToStream
• public getKind
• public getOriginRegion
• public getType
• protected isValidTypeForSymbol
• public symbol_begin
• public symbol_end

Inherited from FoldingSetBase::Node:

• public SetNextInBucket
• public getNextInBucket

Methods

¶BinarySymExprImpl<LHSTYPE, RHSTYPE, ClassKind>(
    LHSTYPE lhs,
    BinaryOperator::Opcode op,
    RHSTYPE rhs,
    clang::QualType t)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h:429

Parameters

LHSTYPE lhs

BinaryOperator::Opcode op

RHSTYPE rhs

clang::QualType t

¶static void Profile(llvm::FoldingSetNodeID& ID,
                    LHSTYPE lhs,
                    BinaryOperator::Opcode op,
                    RHSTYPE rhs,
                    clang::QualType t)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h:452

Parameters

llvm::FoldingSetNodeID& ID

LHSTYPE lhs

BinaryOperator::Opcode op

RHSTYPE rhs

clang::QualType t

¶void Profile(llvm::FoldingSetNodeID& ID)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h:461

Parameters

llvm::FoldingSetNodeID& ID

¶static bool classof(
    const clang::ento::SymExpr* SE)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h:466

Parameters

const clang::ento::SymExpr* SE

¶unsigned int computeComplexity() const

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h:445

¶void dumpToStream(llvm::raw_ostream& os) const

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h:436

Parameters

llvm::raw_ostream& os

¶LHSTYPE getLHS() const

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h:442

¶RHSTYPE getRHS() const

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h:443