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);
_______________________________________________
cfe-commits mailing list
cfe-commits@cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
