diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-01-22 20:27:48 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-01-22 20:27:48 +0000 |
| commit | 92d48a71f551093efbbbd53f402c4257cf91f8d3 (patch) | |
| tree | 565a0f0e2b8b0c95fe6b9104a8ce2db253fcfa38 /clang/test/Analysis/array-struct.c | |
| parent | 483e12e09e0d9016a754be6c45e967435f8d31e0 (diff) | |
| download | llvm-92d48a71f551093efbbbd53f402c4257cf91f8d3.zip llvm-92d48a71f551093efbbbd53f402c4257cf91f8d3.tar.gz llvm-92d48a71f551093efbbbd53f402c4257cf91f8d3.tar.bz2 | |
Fix RegionStore::getLValueElement() to handle the case when the base region is not an ElementRegion (also do some cleanups of its core logic).
This gets array-struct.c to work with RegionStore.
llvm-svn: 62781
Diffstat (limited to 'clang/test/Analysis/array-struct.c')
| -rw-r--r-- | clang/test/Analysis/array-struct.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/clang/test/Analysis/array-struct.c b/clang/test/Analysis/array-struct.c index 1d5e944..4257220 100644 --- a/clang/test/Analysis/array-struct.c +++ b/clang/test/Analysis/array-struct.c @@ -1,5 +1,6 @@ -// RUN: clang -analyze -checker-simple -verify %s -// DISABLE: clang -analyze -checker-simple -analyzer-store-region -verify %s +// RUN: clang -analyze -checker-simple -analyzer-store-basic -verify %s && +// RUN: clang -analyze -checker-cfref -analyzer-store-basic -verify %s && +// RUN: clang -analyze -checker-cfref -analyzer-store-region -verify %s struct s { int data; |