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 /include/clang/Analysis/PathSensitive/GRTransferFuncs.h | |
| 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 'include/clang/Analysis/PathSensitive/GRTransferFuncs.h')
| -rw-r--r-- | include/clang/Analysis/PathSensitive/GRTransferFuncs.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/include/clang/Analysis/PathSensitive/GRTransferFuncs.h b/include/clang/Analysis/PathSensitive/GRTransferFuncs.h index bee139f968..0f353d0700 100644 --- a/include/clang/Analysis/PathSensitive/GRTransferFuncs.h +++ b/include/clang/Analysis/PathSensitive/GRTransferFuncs.h @@ -67,8 +67,8 @@ public: // Pointer arithmetic. - virtual SVal EvalBinOp(GRExprEngine& Engine, BinaryOperator::Opcode Op, - Loc L, NonLoc R) = 0; + virtual SVal EvalBinOp(GRExprEngine& Engine, const GRState *state, + BinaryOperator::Opcode Op, Loc L, NonLoc R) = 0; // Calls. |