diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-08-02 04:56:14 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-08-02 04:56:14 +0000 |
| commit | 7caf9b369cba6edaf6eac25121cbc65ee938f14d (patch) | |
| tree | c15958f4f67e8d3df28e928c7364dd09afee792b /lib/Checker/Store.cpp | |
| parent | 2fe238ed293bd4bc27af9beb9fa151fad2146fa8 (diff) | |
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.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@110020 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Checker/Store.cpp')
| -rw-r--r-- | lib/Checker/Store.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Checker/Store.cpp b/lib/Checker/Store.cpp index b128331705..b3aab66512 100644 --- a/lib/Checker/Store.cpp +++ b/lib/Checker/Store.cpp @@ -139,7 +139,7 @@ const MemRegion *StoreManager::CastRegion(const MemRegion *R, QualType CastToTy) // FIXME: Handle symbolic raw offsets. const ElementRegion *elementR = cast<ElementRegion>(R); - const RegionRawOffset &rawOff = elementR->getAsRawOffset(); + const RegionRawOffset &rawOff = elementR->getAsArrayOffset(); const MemRegion *baseR = rawOff.getRegion(); // If we cannot compute a raw offset, throw up our hands and return |