aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis/PathSensitive/SValuator.h
diff options
context:
space:
mode:
Diffstat (limited to 'include/clang/Analysis/PathSensitive/SValuator.h')
-rw-r--r--include/clang/Analysis/PathSensitive/SValuator.h22
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