diff options
Diffstat (limited to 'include/clang/Analysis/PathSensitive/SValuator.h')
-rw-r--r-- | include/clang/Analysis/PathSensitive/SValuator.h | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/include/clang/Analysis/PathSensitive/SValuator.h b/include/clang/Analysis/PathSensitive/SValuator.h index 4635a9cd2a..b08d7ca642 100644 --- a/include/clang/Analysis/PathSensitive/SValuator.h +++ b/include/clang/Analysis/PathSensitive/SValuator.h @@ -9,7 +9,7 @@ // // This file defines SValuator, a class that defines the interface for // "symbolical evaluators" which construct an SVal from an expression. -// +// //===----------------------------------------------------------------------===// #ifndef LLVM_CLANG_ANALYSIS_SVALUATOR @@ -28,14 +28,14 @@ class SValuator { protected: ValueManager &ValMgr; - virtual SVal EvalCastNL(NonLoc val, QualType castTy) = 0; - + virtual SVal EvalCastNL(NonLoc val, QualType castTy) = 0; + virtual SVal EvalCastL(Loc val, QualType castTy) = 0; public: SValuator(ValueManager &valMgr) : ValMgr(valMgr) {} virtual ~SValuator() {} - + class CastResult : public std::pair<const GRState *, SVal> { public: const GRState *getState() const { return first; } @@ -43,12 +43,12 @@ public: CastResult(const GRState *s, SVal v) : std::pair<const GRState*, SVal>(s, v) {} }; - + CastResult EvalCast(SVal val, const GRState *state, QualType castTy, QualType originalType); - + virtual SVal EvalMinus(NonLoc val) = 0; - + virtual SVal EvalComplement(NonLoc val) = 0; virtual SVal EvalBinOpNN(BinaryOperator::Opcode Op, NonLoc lhs, @@ -58,13 +58,13 @@ public: QualType resultTy) = 0; virtual SVal EvalBinOpLN(const GRState *state, BinaryOperator::Opcode Op, - Loc lhs, NonLoc rhs, QualType resultTy) = 0; - + Loc lhs, NonLoc rhs, QualType resultTy) = 0; + SVal EvalBinOp(const GRState *ST, BinaryOperator::Opcode Op, SVal L, SVal R, QualType T); }; - + SValuator* CreateSimpleSValuator(ValueManager &valMgr); - + } // end clang namespace #endif |