diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-03-13 15:39:16 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-03-13 15:39:16 +0000 |
| commit | 1060a3c4aea59d571217bd359067f88b03fe092a (patch) | |
| tree | 83eb098653a0f8814a55f4e340f61cc541f907e8 /lib/Analysis/RegionStore.cpp | |
| parent | caaacecb2b64e6d2e402533baffda4cb540f4145 (diff) | |
Updated comment.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66894 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/RegionStore.cpp')
| -rw-r--r-- | lib/Analysis/RegionStore.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/Analysis/RegionStore.cpp b/lib/Analysis/RegionStore.cpp index 5f1c39c2b6..6b962b1c1f 100644 --- a/lib/Analysis/RegionStore.cpp +++ b/lib/Analysis/RegionStore.cpp @@ -646,6 +646,8 @@ SVal RegionStoreManager::EvalBinOp(BinaryOperator::Opcode Op, Loc L, NonLoc R) { // they don't match. This can result from pointer arithmetic. In reality, // we should figure out what are the proper semantics and implement them. // + // This addresses the test case test/Analysis/ptr-arith.c + // nonloc::ConcreteInt OffConverted(getBasicVals().Convert(Base->getValue(), Offset->getValue())); SVal NewIdx = Base->EvalBinOp(getBasicVals(), Op, OffConverted); |