[cfe-commits] r95364 - in /cfe/trunk: include/clang/Checker/PathSensitive/Store.h lib/Checker/RegionStore.cpp lib/Checker/SimpleSValuator.cpp
Zhongxing Xu
xuzhongxing at gmail.com
Thu Feb 4 21:24:23 PST 2010
Author: zhongxingxu
Date: Thu Feb 4 23:24:20 2010
New Revision: 95364
URL: http://llvm.org/viewvc/llvm-project?rev=95364&view=rev
Log:
Remove unused parameter.
Modified:
cfe/trunk/include/clang/Checker/PathSensitive/Store.h
cfe/trunk/lib/Checker/RegionStore.cpp
cfe/trunk/lib/Checker/SimpleSValuator.cpp
Modified: cfe/trunk/include/clang/Checker/PathSensitive/Store.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Checker/PathSensitive/Store.h?rev=95364&r1=95363&r2=95364&view=diff
==============================================================================
--- cfe/trunk/include/clang/Checker/PathSensitive/Store.h (original)
+++ cfe/trunk/include/clang/Checker/PathSensitive/Store.h Thu Feb 4 23:24:20 2010
@@ -127,7 +127,7 @@
const MemRegion *CastRegion(const MemRegion *region, QualType CastToTy);
/// EvalBinOp - Perform pointer arithmetic.
- virtual SVal EvalBinOp(const GRState *state, BinaryOperator::Opcode Op,
+ virtual SVal EvalBinOp(BinaryOperator::Opcode Op,
Loc lhs, NonLoc rhs, QualType resultTy) {
return UnknownVal();
}
Modified: cfe/trunk/lib/Checker/RegionStore.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Checker/RegionStore.cpp?rev=95364&r1=95363&r2=95364&view=diff
==============================================================================
--- cfe/trunk/lib/Checker/RegionStore.cpp (original)
+++ cfe/trunk/lib/Checker/RegionStore.cpp Thu Feb 4 23:24:20 2010
@@ -266,8 +266,7 @@
/// 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 @@
// 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))
Modified: cfe/trunk/lib/Checker/SimpleSValuator.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Checker/SimpleSValuator.cpp?rev=95364&r1=95363&r2=95364&view=diff
==============================================================================
--- cfe/trunk/lib/Checker/SimpleSValuator.cpp (original)
+++ cfe/trunk/lib/Checker/SimpleSValuator.cpp Thu Feb 4 23:24:20 2010
@@ -423,6 +423,6 @@
}
// Delegate pointer arithmetic to the StoreManager.
- return state->getStateManager().getStoreManager().EvalBinOp(state, op, lhs,
+ return state->getStateManager().getStoreManager().EvalBinOp(op, lhs,
rhs, resultTy);
}
More information about the cfe-commits
mailing list