clang  6.0.0svn
Public Member Functions | Static Public Member Functions | List of all members
clang::ento::SymIntExpr Class Reference

Represents a symbolic expression like 'x' + 3. More...

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

Inheritance diagram for clang::ento::SymIntExpr:
Inheritance graph
[legend]
Collaboration diagram for clang::ento::SymIntExpr:
Collaboration graph
[legend]

Public Member Functions

 SymIntExpr (const SymExpr *lhs, BinaryOperator::Opcode op, const llvm::APSInt &rhs, QualType t)
 
void dumpToStream (raw_ostream &os) const override
 
const SymExprgetLHS () const
 
const llvm::APSInt & getRHS () const
 
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 ()
 
Kind getKind () const
 
virtual void dump () const
 
symbol_iterator symbol_begin () const
 
unsigned computeComplexity () const
 
virtual const MemRegiongetOriginRegion () const
 Find the region from which this symbol originates. More...
 

Static Public Member Functions

static void Profile (llvm::FoldingSetNodeID &ID, const SymExpr *lhs, BinaryOperator::Opcode op, const llvm::APSInt &rhs, QualType t)
 
static bool classof (const SymExpr *SE)
 
- Static Public Member Functions inherited from clang::ento::BinarySymExpr
static bool classof (const SymExpr *SE)
 
- Static Public Member Functions inherited from clang::ento::SymExpr
static symbol_iterator symbol_end ()
 

Additional Inherited Members

- Public Types inherited from clang::ento::SymExpr
enum  Kind
 
- Protected Member Functions inherited from clang::ento::BinarySymExpr
 BinarySymExpr (Kind k, BinaryOperator::Opcode op, QualType t)
 
- Protected Member Functions inherited from clang::ento::SymExpr
 SymExpr (Kind k)
 
- Static Protected Member Functions inherited from clang::ento::SymExpr
static bool isValidTypeForSymbol (QualType T)
 

Detailed Description

Represents a symbolic expression like 'x' + 3.

Definition at line 321 of file SymbolManager.h.

Constructor & Destructor Documentation

◆ SymIntExpr()

clang::ento::SymIntExpr::SymIntExpr ( const SymExpr lhs,
BinaryOperator::Opcode  op,
const llvm::APSInt &  rhs,
QualType  t 
)
inline

Definition at line 326 of file SymbolManager.h.

References clang::ento::SymbolRegionValue::dumpToStream().

Member Function Documentation

◆ classof()

static bool clang::ento::SymIntExpr::classof ( const SymExpr SE)
inlinestatic

Definition at line 352 of file SymbolManager.h.

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

◆ dumpToStream()

void SymIntExpr::dumpToStream ( raw_ostream &  os) const
overridevirtual

◆ getLHS()

const SymExpr* clang::ento::SymIntExpr::getLHS ( ) const
inline

Definition at line 334 of file SymbolManager.h.

Referenced by clang::ento::SValExplainer::VisitSymIntExpr().

◆ getRHS()

const llvm::APSInt& clang::ento::SymIntExpr::getRHS ( ) const
inline

Definition at line 335 of file SymbolManager.h.

Referenced by clang::ento::SValExplainer::VisitSymIntExpr().

◆ Profile() [1/2]

static void clang::ento::SymIntExpr::Profile ( llvm::FoldingSetNodeID &  ID,
const SymExpr lhs,
BinaryOperator::Opcode  op,
const llvm::APSInt &  rhs,
QualType  t 
)
inlinestatic

Definition at line 337 of file SymbolManager.h.

◆ Profile() [2/2]

void clang::ento::SymIntExpr::Profile ( llvm::FoldingSetNodeID &  ID)
inlineoverridevirtual

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