commit 0bf152ef0bb54fc056fd675a125a410b67a5129b
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 d67d496454329f3dbba23df272d6549a733d28b8
parent 846b1ec40f829bdfc5047128a9131e66a1a6aaf7

Updated comment.

llvm-svn: 66894

clang/lib/Analysis/RegionStore.cpp

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