diff options
| -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. |