]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2fe238e) | patch
Improve flat store: MemRegion::getAsOffset() computes a region's offset within
authorZhongxing Xu <xuzhongxing@gmail.com>
Mon, 2 Aug 2010 04:56:14 +0000 (04:56 +0000)
committerZhongxing Xu <xuzhongxing@gmail.com>
Mon, 2 Aug 2010 04:56:14 +0000 (04:56 +0000)
commit7caf9b369cba6edaf6eac25121cbc65ee938f14d
treec15958f4f67e8d3df28e928c7364dd09afee792btree | snapshot
parent2fe238ed293bd4bc27af9beb9fa151fad2146fa8commit | 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
include/clang/Checker/PathSensitive/MemRegion.h diff | blob | history
lib/Checker/FlatStore.cpp diff | blob | history
lib/Checker/MemRegion.cpp diff | blob | history
lib/Checker/RegionStore.cpp diff | blob | history
lib/Checker/SimpleSValuator.cpp diff | blob | history
lib/Checker/Store.cpp diff | blob | history
test/Analysis/flat-store.c [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.