diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-05-20 09:00:16 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-05-20 09:00:16 +0000 |
| commit | 262fd03ee934bebfbbfaabc14744427dd2e7a231 (patch) | |
| tree | 42b225e62f5e99d4cb9235f435dec96a4a36981e /lib/Analysis/GRSimpleVals.cpp | |
| parent | 5df0d426026b3820b5f0b13a8d4e60e9373d8d9d (diff) | |
* API change: we need to pass GRState to GRExprEngine::EvalBinOp() because
RegionStore needs to know the type of alloca region.
* RegionStoreManager::EvalBinOp() now converts the alloca region to its first
element region, as what is done to symbolic region.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@72164 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/GRSimpleVals.cpp')
| -rw-r--r-- | lib/Analysis/GRSimpleVals.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/Analysis/GRSimpleVals.cpp b/lib/Analysis/GRSimpleVals.cpp index 17e3c381dc..e1c4848f45 100644 --- a/lib/Analysis/GRSimpleVals.cpp +++ b/lib/Analysis/GRSimpleVals.cpp @@ -257,8 +257,8 @@ SVal GRSimpleVals::EvalBinOp(GRExprEngine& Eng, BinaryOperator::Opcode Op, } } -SVal GRSimpleVals::EvalBinOp(GRExprEngine& Eng, BinaryOperator::Opcode Op, - Loc L, NonLoc R) { +SVal GRSimpleVals::EvalBinOp(GRExprEngine& Eng, const GRState *state, + BinaryOperator::Opcode Op, Loc L, NonLoc R) { // Special case: 'R' is an integer that has the same width as a pointer and // we are using the integer location in a comparison. Normally this cannot be @@ -280,7 +280,7 @@ SVal GRSimpleVals::EvalBinOp(GRExprEngine& Eng, BinaryOperator::Opcode Op, } // Delegate pointer arithmetic to store manager. - return Eng.getStoreManager().EvalBinOp(Op, L, R); + return Eng.getStoreManager().EvalBinOp(state, Op, L, R); } // Equality operators for Locs. |