clang
3.9.0
|
Represents a symbolic expression involving a binary operator. More...
#include <SymbolManager.h>
Public Member Functions | |
QualType | getType () const override |
BinaryOperator::Opcode | getOpcode () const |
![]() | |
virtual | ~SymExpr () |
Kind | getKind () const |
virtual void | dump () const |
virtual void | dumpToStream (raw_ostream &os) const |
virtual void | Profile (llvm::FoldingSetNodeID &profile)=0 |
symbol_iterator | symbol_begin () const |
unsigned | computeComplexity () const |
virtual const MemRegion * | getOriginRegion () const |
Find the region from which this symbol originates. More... | |
Static Public Member Functions | |
static bool | classof (const SymExpr *SE) |
![]() | |
static symbol_iterator | symbol_end () |
Protected Member Functions | |
BinarySymExpr (Kind k, BinaryOperator::Opcode op, QualType t) | |
![]() | |
SymExpr (Kind k) | |
Additional Inherited Members | |
![]() | |
enum | Kind |
Represents a symbolic expression involving a binary operator.
Definition at line 263 of file SymbolManager.h.
|
inlineprotected |
Definition at line 268 of file SymbolManager.h.
Definition at line 279 of file SymbolManager.h.
References clang::ento::SymExpr::getKind().
|
inline |
Definition at line 276 of file SymbolManager.h.
Referenced by clang::ento::SymIntExpr::dumpToStream(), clang::ento::IntSymExpr::dumpToStream(), clang::ento::SymSymExpr::dumpToStream(), clang::ento::SymIntExpr::Profile(), clang::ento::IntSymExpr::Profile(), clang::ento::SymSymExpr::Profile(), clang::ento::SValExplainer::VisitSymIntExpr(), and clang::ento::SValExplainer::VisitSymSymExpr().
|
inlineoverridevirtual |
Implements clang::ento::SymExpr.
Definition at line 274 of file SymbolManager.h.
Referenced by clang::ento::SymIntExpr::Profile(), clang::ento::IntSymExpr::Profile(), and clang::ento::SymSymExpr::Profile().