commit fd91d27630c6236f13a3da1a79db22ede762a212
author Zhongxing Xu <xuzhongxing@gmail.com> Mon Aug 02 04:56:14 2010 +0000
committer Zhongxing Xu <xuzhongxing@gmail.com> Mon Aug 02 04:56:14 2010 +0000
tree ad1408f33e34c55564d895cba967c9c02566a039
parent 460ad41d6d2e6af29d11b3e16345123503da19c4

Improve flat store: MemRegion::getAsOffset() computes a region's offset within
the top-level object. FlatStore now can bind and retrieve element and field
regions.
PR7297 is fixed by flat store.

llvm-svn: 110020

clang/lib/Checker/SimpleSValuator.cpp

diff --git a/clang/lib/Checker/SimpleSValuator.cpp b/clang/lib/Checker/SimpleSValuator.cpp
index 3bc4ee7..48c8b9a 100644
--- a/clang/lib/Checker/SimpleSValuator.cpp
+++ b/clang/lib/Checker/SimpleSValuator.cpp
@@ -711,8 +711,8 @@
       }
 
       // If the element indexes aren't comparable, see if the raw offsets are.
-      RegionRawOffset LeftOffset = LeftER->getAsRawOffset();
-      RegionRawOffset RightOffset = RightER->getAsRawOffset();
+      RegionRawOffset LeftOffset = LeftER->getAsArrayOffset();
+      RegionRawOffset RightOffset = RightER->getAsArrayOffset();
 
       if (LeftOffset.getRegion() != NULL &&
           LeftOffset.getRegion() == RightOffset.getRegion()) {