diff options
Diffstat (limited to 'lib/Checker')
| -rw-r--r-- | lib/Checker/RegionStore.cpp | 6 | ||||
| -rw-r--r-- | lib/Checker/SimpleSValuator.cpp | 2 |
2 files changed, 3 insertions, 5 deletions
diff --git a/lib/Checker/RegionStore.cpp b/lib/Checker/RegionStore.cpp index 420f6650b8..348450e233 100644 --- a/lib/Checker/RegionStore.cpp +++ b/lib/Checker/RegionStore.cpp @@ -266,8 +266,7 @@ public: /// casts from arrays to pointers. SVal ArrayToPointer(Loc Array); - SVal EvalBinOp(const GRState *state, BinaryOperator::Opcode Op,Loc L, - NonLoc R, QualType resultTy); + SVal EvalBinOp(BinaryOperator::Opcode Op,Loc L, NonLoc R, QualType resultTy); Store getInitialStore(const LocationContext *InitLoc) { return RBFactory.GetEmptyMap().getRoot(); @@ -916,8 +915,7 @@ SVal RegionStoreManager::ArrayToPointer(Loc Array) { // Pointer arithmetic. //===----------------------------------------------------------------------===// -SVal RegionStoreManager::EvalBinOp(const GRState *state, - BinaryOperator::Opcode Op, Loc L, NonLoc R, +SVal RegionStoreManager::EvalBinOp(BinaryOperator::Opcode Op, Loc L, NonLoc R, QualType resultTy) { // Assume the base location is MemRegionVal. if (!isa<loc::MemRegionVal>(L)) diff --git a/lib/Checker/SimpleSValuator.cpp b/lib/Checker/SimpleSValuator.cpp index 7c6e0902ca..fb1d74a990 100644 --- a/lib/Checker/SimpleSValuator.cpp +++ b/lib/Checker/SimpleSValuator.cpp @@ -423,6 +423,6 @@ SVal SimpleSValuator::EvalBinOpLN(const GRState *state, } // Delegate pointer arithmetic to the StoreManager. - return state->getStateManager().getStoreManager().EvalBinOp(state, op, lhs, + return state->getStateManager().getStoreManager().EvalBinOp(op, lhs, rhs, resultTy); } |