class BinarySymExpr

Declaration

class BinarySymExpr : public SymExpr { /* full declaration omitted */ };

Description

Represents a symbolic expression involving a binary operator

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

Inherits from: SymExpr

Member Variables

private BinaryOperator::Opcode Op
private clang::QualType T

Inherited from SymExpr:

protected Complexity = 0

Method Overview

  • protected BinarySymExpr(clang::ento::SymExpr::Kind k, BinaryOperator::Opcode op, clang::QualType t)
  • public static bool classof(const clang::ento::SymExpr * SE)
  • protected static unsigned int computeOperandComplexity(const clang::ento::SymExpr * Value)
  • protected static unsigned int computeOperandComplexity(const llvm::APSInt & Value)
  • protected static void dumpToStreamImpl(llvm::raw_ostream & os, const clang::ento::SymExpr * Value)
  • protected static void dumpToStreamImpl(llvm::raw_ostream & os, const llvm::APSInt & Value)
  • protected static void dumpToStreamImpl(llvm::raw_ostream & os, BinaryOperator::Opcode op)
  • public BinaryOperator::Opcode getOpcode() const
  • protected static const llvm::APSInt * getPointer(const llvm::APSInt & Value)
  • protected static const clang::ento::SymExpr * getPointer(const clang::ento::SymExpr * Value)
  • public clang::QualType getType() const

Inherited from SymExpr:

Inherited from FoldingSetBase::Node:

Methods

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

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

Parameters

clang::ento::SymExpr::Kind k
BinaryOperator::Opcode op
clang::QualType t

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

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

Parameters

const clang::ento::SymExpr* SE

static unsigned int computeOperandComplexity(
    const clang::ento::SymExpr* Value)

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

Parameters

const clang::ento::SymExpr* Value

static unsigned int computeOperandComplexity(
    const llvm::APSInt& Value)

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

Parameters

const llvm::APSInt& Value

static void dumpToStreamImpl(
    llvm::raw_ostream& os,
    const clang::ento::SymExpr* Value)

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

Parameters

llvm::raw_ostream& os
const clang::ento::SymExpr* Value

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

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

Parameters

llvm::raw_ostream& os
const llvm::APSInt& Value

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

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

Parameters

llvm::raw_ostream& os
BinaryOperator::Opcode op

BinaryOperator::Opcode getOpcode() const

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

static const llvm::APSInt* getPointer(
    const llvm::APSInt& Value)

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

Parameters

const llvm::APSInt& Value

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

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

Parameters

const clang::ento::SymExpr* Value

clang::QualType getType() const

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