clang
6.0.0
|
Represents a symbolic expression like 3 - 'x'. More...
#include "clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h"
Public Member Functions | |
IntSymExpr (const llvm::APSInt &lhs, BinaryOperator::Opcode op, const SymExpr *rhs, QualType t) | |
void | dumpToStream (raw_ostream &os) const override |
const SymExpr * | getRHS () const |
const llvm::APSInt & | getLHS () const |
void | Profile (llvm::FoldingSetNodeID &ID) override |
![]() | |
QualType | getType () const override |
BinaryOperator::Opcode | getOpcode () const |
![]() | |
virtual | ~SymExpr () |
Kind | getKind () const |
virtual void | dump () const |
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 void | Profile (llvm::FoldingSetNodeID &ID, const llvm::APSInt &lhs, BinaryOperator::Opcode op, const SymExpr *rhs, QualType t) |
static bool | classof (const SymExpr *SE) |
![]() | |
static bool | classof (const SymExpr *SE) |
![]() | |
static symbol_iterator | symbol_end () |
Additional Inherited Members | |
![]() | |
enum | Kind |
![]() | |
BinarySymExpr (Kind k, BinaryOperator::Opcode op, QualType t) | |
![]() | |
SymExpr (Kind k) | |
![]() | |
static bool | isValidTypeForSymbol (QualType T) |
Represents a symbolic expression like 3 - 'x'.
Definition at line 358 of file SymbolManager.h.
|
inline |
Definition at line 363 of file SymbolManager.h.
References clang::ento::SymbolRegionValue::dumpToStream().
Definition at line 389 of file SymbolManager.h.
References clang::ento::SymExpr::getKind().
|
overridevirtual |
Reimplemented from clang::ento::SymExpr.
Definition at line 43 of file SymbolManager.cpp.
References IteratorComparison::getOpcode(), and clang::BinaryOperator::getOpcodeStr().
|
inline |
Definition at line 372 of file SymbolManager.h.
|
inline |
Definition at line 371 of file SymbolManager.h.
|
inlinestatic |
Definition at line 374 of file SymbolManager.h.
|
inlineoverridevirtual |
Implements clang::ento::SymExpr.
Definition at line 384 of file SymbolManager.h.
References IteratorComparison::getOpcode(), clang::ento::SymbolRegionValue::getType(), and clang::ento::SymbolRegionValue::Profile().