[cfe-commits] r66894 - /cfe/trunk/lib/Analysis/RegionStore.cpp

[Ted Kremenek]

Author: kremenek
Date: Fri Mar 13 10:39:16 2009
New Revision: 66894

URL: http://llvm.org/viewvc/llvm-project?rev=66894&view=rev
Log:
Updated comment.

Modified:
    cfe/trunk/lib/Analysis/RegionStore.cpp

Modified: cfe/trunk/lib/Analysis/RegionStore.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/RegionStore.cpp?rev=66894&r1=66893&r2=66894&view=diff

==============================================================================
--- cfe/trunk/lib/Analysis/RegionStore.cpp (original)
+++ cfe/trunk/lib/Analysis/RegionStore.cpp Fri Mar 13 10:39:16 2009
@@ -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);