commit bb18aa73fe5dbec562a3ef17c2c3eb9e6924ccdd
author Ted Kremenek <kremenek@apple.com> Fri Mar 13 15:39:16 2009 +0000
committer Ted Kremenek <kremenek@apple.com> Fri Mar 13 15:39:16 2009 +0000
tree 83eb098653a0f8814a55f4e340f61cc541f907e8
parent b88d81c0e720bd43335c2776841fa7597c3ca66d

Updated comment.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66894 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Analysis/RegionStore.cpp

diff --git a/lib/Analysis/RegionStore.cpp b/lib/Analysis/RegionStore.cpp
index 5f1c39c..6b962b1 100644
--- a/lib/Analysis/RegionStore.cpp
+++ b/lib/Analysis/RegionStore.cpp
@@ -646,6 +646,8 @@
     //  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);