]> granicus.if.org Git - clang/commit
BasicStore: 'ElementRegion' is the new 'TypedViewRegion'.
authorTed Kremenek <kremenek@apple.com>
Mon, 4 May 2009 07:04:36 +0000 (07:04 +0000)
committerTed Kremenek <kremenek@apple.com>
Mon, 4 May 2009 07:04:36 +0000 (07:04 +0000)
commit20bd746306ecdc61125800d53ff7e07321704064
treeb837c831f7d873aa342d48c68b300231a36a0ea5
parentb84e8a670ad1d00c0a34295c42ac700cdde04815
BasicStore: 'ElementRegion' is the new 'TypedViewRegion'.
StoreManager: Handle casts from one element region to another.
Update test cases.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@70836 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/BasicStore.cpp
lib/Analysis/Store.cpp
test/Analysis/no-outofbounds.c [moved from test/Analysis/xfail_regionstore_bogus_array_bounds_failure.c with 58% similarity]
test/Analysis/xfail_regionstore_wine_crash.c