diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-01-22 18:54:47 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-01-22 18:54:47 +0000 |
| commit | f536ca311af4ca68df94fa6597790a354ccfbb01 (patch) | |
| tree | 115fc3c1da35906948b0b918771265cb7a73dacc | |
| parent | 2dabd42df78e8d379ed0eebbf8d4a7aac86a9b6f (diff) | |
These test cases now pass with RegionStore.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@62773 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | test/Analysis/CheckNSError.m | 3 | ||||
| -rw-r--r-- | test/Analysis/NSPanel.m | 3 | ||||
| -rw-r--r-- | test/Analysis/NSString.m | 3 | ||||
| -rw-r--r-- | test/Analysis/NSWindow.m | 3 |
4 files changed, 8 insertions, 4 deletions
diff --git a/test/Analysis/CheckNSError.m b/test/Analysis/CheckNSError.m index 7da12c04b8..b3eacda20d 100644 --- a/test/Analysis/CheckNSError.m +++ b/test/Analysis/CheckNSError.m @@ -1,4 +1,5 @@ -// RUN: clang -analyze -checker-cfref -verify %s +// RUN: clang -analyze -checker-cfref -analyzer-store-basic -verify %s && +// RUN: clang -analyze -checker-cfref -analyzer-store-region -verify %s typedef signed char BOOL; typedef int NSInteger; diff --git a/test/Analysis/NSPanel.m b/test/Analysis/NSPanel.m index 8a64581b2e..5f9f26c88b 100644 --- a/test/Analysis/NSPanel.m +++ b/test/Analysis/NSPanel.m @@ -1,4 +1,5 @@ -// RUN: clang -analyze -checker-cfref -verify %s +// RUN: clang -analyze -checker-cfref -analyzer-store-basic -verify %s && +// RUN: clang -analyze -checker-cfref -analyzer-store-region -verify %s // BEGIN delta-debugging reduced header stuff diff --git a/test/Analysis/NSString.m b/test/Analysis/NSString.m index af8909f838..e01c994d31 100644 --- a/test/Analysis/NSString.m +++ b/test/Analysis/NSString.m @@ -1,4 +1,5 @@ -// RUN: clang -analyze -checker-cfref -verify %s +// RUN: clang -analyze -checker-cfref -analyzer-store-basic -verify %s && +// RUN: clang -analyze -checker-cfref -analyzer-store-region -verify %s //===----------------------------------------------------------------------===// // The following code is reduced using delta-debugging from diff --git a/test/Analysis/NSWindow.m b/test/Analysis/NSWindow.m index f7202f5563..bcb6c41aba 100644 --- a/test/Analysis/NSWindow.m +++ b/test/Analysis/NSWindow.m @@ -1,4 +1,5 @@ -// RUN: clang -analyze -checker-cfref -warn-dead-stores -verify %s +// RUN: clang -analyze -checker-cfref -warn-dead-stores -analyzer-store-basic -verify %s && +// RUN: clang -analyze -checker-cfref -warn-dead-stores -analyzer-store-region -verify %s // These declarations were reduced using Delta-Debugging from Foundation.h // on Mac OS X. The test cases are below. |