diff options
Diffstat (limited to 'test')
40 files changed, 79 insertions, 68 deletions
diff --git a/test/Analysis/CFDateGC.m b/test/Analysis/CFDateGC.m index 8b702d9203..10c72331ab 100644 --- a/test/Analysis/CFDateGC.m +++ b/test/Analysis/CFDateGC.m @@ -1,6 +1,7 @@ // RUN: clang -analyze -checker-cfref -verify -fobjc-gc %s && +// RUN: clang -analyze -checker-cfref -verify -fobjc-gc -analyzer-constraints=range %s && // RUN: clang -analyze -checker-cfref -verify -fobjc-gc -disable-free %s && -// RUN: clang -analyze -checker-cfref -analyzer-store-region -verify -fobjc-gc %s +// RUN: clang -analyze -checker-cfref -analyzer-store=region -verify -fobjc-gc %s //===----------------------------------------------------------------------===// // The following code is reduced using delta-debugging from diff --git a/test/Analysis/CFNumber.c b/test/Analysis/CFNumber.c index e0d3c3ad03..cfef84983b 100644 --- a/test/Analysis/CFNumber.c +++ b/test/Analysis/CFNumber.c @@ -1,5 +1,6 @@ -// RUN: clang -analyze -checker-cfref -analyzer-store-basic -verify -triple x86_64-apple-darwin9 %s && -// RUN: clang -analyze -checker-cfref -analyzer-store-region -verify -triple x86_64-apple-darwin9 %s +// RUN: clang -analyze -checker-cfref -analyzer-store=basic -verify -triple x86_64-apple-darwin9 %s && +// RUN: clang -analyze -checker-cfref -analyzer-store=basic -verify -triple x86_64-apple-darwin9 -analyzer-constraints=range %s && +// RUN: clang -analyze -checker-cfref -analyzer-store=region -verify -triple x86_64-apple-darwin9 %s typedef signed long CFIndex; typedef const struct __CFAllocator * CFAllocatorRef; diff --git a/test/Analysis/CFRetainRelease_NSAssertionHandler.m b/test/Analysis/CFRetainRelease_NSAssertionHandler.m index 13a2236518..a4c16bda9a 100644 --- a/test/Analysis/CFRetainRelease_NSAssertionHandler.m +++ b/test/Analysis/CFRetainRelease_NSAssertionHandler.m @@ -1,4 +1,5 @@ -// RUN: clang -analyze -checker-cfref -verify %s +// RUN: clang -analyze -checker-cfref -verify %s && +// RUN: clang -analyze -checker-cfref -verify %s -analyzer-constraints=range typedef struct objc_selector *SEL; typedef signed char BOOL; diff --git a/test/Analysis/CGColorSpace.c b/test/Analysis/CGColorSpace.c index b229bd2e24..807c6b83f2 100644 --- a/test/Analysis/CGColorSpace.c +++ b/test/Analysis/CGColorSpace.c @@ -1,5 +1,6 @@ -// RUN: clang -analyze -checker-cfref -analyzer-store-basic -verify %s && -// RUN: clang -analyze -checker-cfref -analyzer-store-region -verify %s +// RUN: clang -analyze -checker-cfref -analyzer-store=basic -verify %s && +// RUN: clang -analyze -checker-cfref -analyzer-store=region -verify %s && +// RUN: clang -analyze -checker-cfref -analyzer-store=region -analyzer-constraints=range -verify %s typedef struct CGColorSpace *CGColorSpaceRef; extern CGColorSpaceRef CGColorSpaceCreateDeviceRGB(void); diff --git a/test/Analysis/CheckNSError.m b/test/Analysis/CheckNSError.m index b3eacda20d..ac6ab673c3 100644 --- a/test/Analysis/CheckNSError.m +++ b/test/Analysis/CheckNSError.m @@ -1,5 +1,8 @@ -// RUN: clang -analyze -checker-cfref -analyzer-store-basic -verify %s && -// RUN: clang -analyze -checker-cfref -analyzer-store-region -verify %s +// RUN: clang -analyze -checker-cfref -analyzer-store=basic -verify %s && +// RUN: clang -analyze -checker-cfref -analyzer-store=region -verify %s && +// RUN: clang -analyze -checker-cfref -analyzer-store=basic -analyzer-constraints=range -verify %s && +// RUN: clang -analyze -checker-cfref -analyzer-store=region -analyzer-constraints=range -verify %s + typedef signed char BOOL; typedef int NSInteger; diff --git a/test/Analysis/NSPanel.m b/test/Analysis/NSPanel.m index 7e2d0a807f..2ceabc0c1d 100644 --- a/test/Analysis/NSPanel.m +++ b/test/Analysis/NSPanel.m @@ -1,5 +1,6 @@ -// RUN: clang -analyze -checker-cfref -analyzer-store-basic -verify %s && -// RUN: clang -analyze -checker-cfref -analyzer-store-region -verify %s +// RUN: clang -analyze -checker-cfref -analyzer-store=basic -verify %s && +// RUN: clang -analyze -checker-cfref -analyzer-store=basic -analyzer-constraints=range -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 9788971f62..5a515a345c 100644 --- a/test/Analysis/NSString.m +++ b/test/Analysis/NSString.m @@ -1,5 +1,6 @@ -// RUN: clang -analyze -checker-cfref -analyzer-store-basic -verify %s && -// RUN: clang -analyze -checker-cfref -analyzer-store-region -verify %s +// RUN: clang -analyze -checker-cfref -analyzer-store=basic -verify %s && +// RUN: clang -analyze -checker-cfref -analyzer-store=basic -analyzer-constraints=range -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 33d77528f9..ef8bff5c8d 100644 --- a/test/Analysis/NSWindow.m +++ b/test/Analysis/NSWindow.m @@ -1,5 +1,6 @@ -// 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 +// RUN: clang -analyze -checker-cfref -warn-dead-stores -analyzer-store=basic -verify %s && +// RUN: clang -analyze -checker-cfref -warn-dead-stores -analyzer-store=basic -analyzer-constraints=range -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. diff --git a/test/Analysis/NoReturn.m b/test/Analysis/NoReturn.m index 2d3bd7c81e..1ab60bd380 100644 --- a/test/Analysis/NoReturn.m +++ b/test/Analysis/NoReturn.m @@ -1,6 +1,7 @@ -// 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 +// 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=basic -analyzer-constraints=range -verify %s && +// RUN: clang -analyze -checker-cfref -analyzer-store=region -verify %s #include <stdarg.h> diff --git a/test/Analysis/ObjCProperties.m b/test/Analysis/ObjCProperties.m index 7ce434fbfa..c2c3b66dd7 100644 --- a/test/Analysis/ObjCProperties.m +++ b/test/Analysis/ObjCProperties.m @@ -1,6 +1,6 @@ // RUN: clang -analyze -checker-simple %s -verify && -// RUN: clang -analyze -checker-cfref -analyzer-store-basic %s -verify && -// RUN: clang -analyze -checker-cfref -analyzer-store-region %s -verify +// RUN: clang -analyze -checker-cfref -analyzer-store=basic %s -verify && +// RUN: clang -analyze -checker-cfref -analyzer-store=region %s -verify // The point of this test cases is to exercise properties in the static // analyzer diff --git a/test/Analysis/array-struct.c b/test/Analysis/array-struct.c index a8de8245cd..0d25ef721d 100644 --- a/test/Analysis/array-struct.c +++ b/test/Analysis/array-struct.c @@ -1,6 +1,6 @@ -// 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 +// 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; diff --git a/test/Analysis/cfref_PR2519.c b/test/Analysis/cfref_PR2519.c index cfe5a1d60d..0e25c12a75 100644 --- a/test/Analysis/cfref_PR2519.c +++ b/test/Analysis/cfref_PR2519.c @@ -1,5 +1,5 @@ -// RUN: clang -analyze -checker-cfref --analyzer-store-basic -verify %s && -// RUN: clang -analyze -checker-cfref --analyzer-store-region -verify %s +// RUN: clang -analyze -checker-cfref --analyzer-store=basic -verify %s && +// RUN: clang -analyze -checker-cfref --analyzer-store=region -verify %s typedef unsigned char Boolean; typedef signed long CFIndex; diff --git a/test/Analysis/cfref_rdar6080742.c b/test/Analysis/cfref_rdar6080742.c index b1038bcfaf..0912a7a103 100644 --- a/test/Analysis/cfref_rdar6080742.c +++ b/test/Analysis/cfref_rdar6080742.c @@ -1,5 +1,5 @@ -// RUN: clang -analyze -checker-cfref -analyzer-store-basic -verify %s && -// RUN: clang -analyze -checker-cfref -analyzer-store-region -verify %s +// RUN: clang -analyze -checker-cfref -analyzer-store=basic -verify %s && +// RUN: clang -analyze -checker-cfref -analyzer-store=region -verify %s // This test case was reported in <rdar:problem/6080742>. // It tests path-sensitivity with respect to '!(cfstring != 0)' (negation of inequality). diff --git a/test/Analysis/complex.c b/test/Analysis/complex.c index fd3d429a1a..f2ade5aa1c 100644 --- a/test/Analysis/complex.c +++ b/test/Analysis/complex.c @@ -1,6 +1,6 @@ // RUN: clang -analyze -checker-simple -verify %s && -// RUN: clang -analyze -checker-cfref -analyzer-store-basic -verify %s && -// RUN: clang -analyze -checker-cfref -analyzer-store-region -verify %s +// RUN: clang -analyze -checker-cfref -analyzer-store=basic -verify %s && +// RUN: clang -analyze -checker-cfref -analyzer-store=region -verify %s #include <stdint.h> diff --git a/test/Analysis/exercise-ps.c b/test/Analysis/exercise-ps.c index 217135ec06..1b001ec3cb 100644 --- a/test/Analysis/exercise-ps.c +++ b/test/Analysis/exercise-ps.c @@ -1,6 +1,6 @@ // RUN: clang -analyze -checker-simple -verify %s && -// RUN: clang -analyze -checker-cfref -analyzer-store-basic -verify %s && -// RUN: clang -analyze -checker-cfref -analyzer-store-region -verify %s +// RUN: clang -analyze -checker-cfref -analyzer-store=basic -verify %s && +// RUN: clang -analyze -checker-cfref -analyzer-store=region -verify %s // // Just exercise the analyzer on code that has at one point caused issues // (i.e., no assertions or crashes). diff --git a/test/Analysis/fields.c b/test/Analysis/fields.c index 60353d93ad..aa7acf26d1 100644 --- a/test/Analysis/fields.c +++ b/test/Analysis/fields.c @@ -1,5 +1,5 @@ -// RUN: clang -analyze -checker-cfref %s --analyzer-store-basic -verify && -// RUN: clang -analyze -checker-cfref %s --analyzer-store-region -verify && +// RUN: clang -analyze -checker-cfref %s --analyzer-store=basic -verify && +// RUN: clang -analyze -checker-cfref %s --analyzer-store=region -verify && // RUN: clang -analyze -checker-simple %s -verify unsigned foo(); diff --git a/test/Analysis/func.c b/test/Analysis/func.c index 49f2731256..94ca2694fe 100644 --- a/test/Analysis/func.c +++ b/test/Analysis/func.c @@ -1,6 +1,6 @@ // RUN: clang -analyze -checker-simple -verify %s && -// RUN: clang -analyze -checker-cfref -analyzer-store-basic -verify %s && -// RUN: clang -analyze -checker-cfref -analyzer-store-region -verify %s +// RUN: clang -analyze -checker-cfref -analyzer-store=basic -verify %s && +// RUN: clang -analyze -checker-cfref -analyzer-store=region -verify %s void f(void) { void (*p)(void); diff --git a/test/Analysis/misc-ps-basic-store.m b/test/Analysis/misc-ps-basic-store.m index 8d7ac87b26..00183e7b8d 100644 --- a/test/Analysis/misc-ps-basic-store.m +++ b/test/Analysis/misc-ps-basic-store.m @@ -1,4 +1,4 @@ -// RUN: clang -analyze -checker-cfref --analyzer-store-basic --verify -fblocks %s +// RUN: clang -analyze -checker-cfref --analyzer-store=basic --verify -fblocks %s //--------------------------------------------------------------------------- // Test case 'checkaccess_union' differs for region store and basic store. diff --git a/test/Analysis/misc-ps-region-store.m b/test/Analysis/misc-ps-region-store.m index 940d277b92..a7409ec5dc 100644 --- a/test/Analysis/misc-ps-region-store.m +++ b/test/Analysis/misc-ps-region-store.m @@ -1,4 +1,4 @@ -// RUN: clang -analyze -checker-cfref --analyzer-store-region --verify -fblocks %s +// RUN: clang -analyze -checker-cfref --analyzer-store=region --verify -fblocks %s //--------------------------------------------------------------------------- // Test case 'checkaccess_union' differs for region store and basic store. diff --git a/test/Analysis/misc-ps.m b/test/Analysis/misc-ps.m index 0ddce3aa73..e38b94e613 100644 --- a/test/Analysis/misc-ps.m +++ b/test/Analysis/misc-ps.m @@ -1,5 +1,5 @@ -// RUN: clang -analyze -checker-cfref --analyzer-store-basic --verify -fblocks %s && -// RUN: clang -analyze -checker-cfref --analyzer-store-region --verify -fblocks %s +// RUN: clang -analyze -checker-cfref --analyzer-store=basic --verify -fblocks %s && +// RUN: clang -analyze -checker-cfref --analyzer-store=region --verify -fblocks %s // Reduced test case from crash in <rdar://problem/6253157> diff --git a/test/Analysis/no-exit-cfg.c b/test/Analysis/no-exit-cfg.c index 362fd88eda..6752008d67 100644 --- a/test/Analysis/no-exit-cfg.c +++ b/test/Analysis/no-exit-cfg.c @@ -1,5 +1,5 @@ -// RUN: clang -analyze -checker-cfref -analyzer-store-basic -verify %s && -// RUN: clang -analyze -checker-cfref -analyzer-store-region -verify %s +// RUN: clang -analyze -checker-cfref -analyzer-store=basic -verify %s && +// RUN: clang -analyze -checker-cfref -analyzer-store=region -verify %s // This is a test case for the issue reported in PR 2819: // http://llvm.org/bugs/show_bug.cgi?id=2819 diff --git a/test/Analysis/null-deref-ps.c b/test/Analysis/null-deref-ps.c index 68937bec9f..b320e8dd19 100644 --- a/test/Analysis/null-deref-ps.c +++ b/test/Analysis/null-deref-ps.c @@ -1,7 +1,7 @@ // RUN: clang -analyze -std=gnu99 -checker-simple -verify %s && -// RUN: clang -analyze -std=gnu99 -checker-simple -verify %s -analyzer-range-constraints && -// RUN: clang -analyze -std=gnu99 -checker-simple -analyzer-store-region -analyzer-purge-dead=false -verify %s && -// RUN: clang -analyze -std=gnu99 -checker-cfref -analyzer-store-region -verify %s +// RUN: clang -analyze -std=gnu99 -checker-simple -verify %s -analyzer-constraints=range && +// RUN: clang -analyze -std=gnu99 -checker-simple -analyzer-store=region -analyzer-purge-dead=false -verify %s && +// RUN: clang -analyze -std=gnu99 -checker-cfref -analyzer-store=region -verify %s #include<stdint.h> #include <assert.h> diff --git a/test/Analysis/outofbound.c b/test/Analysis/outofbound.c index e496425eb9..4ab2326fcd 100644 --- a/test/Analysis/outofbound.c +++ b/test/Analysis/outofbound.c @@ -1,4 +1,4 @@ -// RUN: clang -analyze -checker-simple -analyzer-store-region -verify %s +// RUN: clang -analyze -checker-simple -analyzer-store=region -verify %s char f1() { char* s = "abcd"; diff --git a/test/Analysis/rdar-6442306-1.m b/test/Analysis/rdar-6442306-1.m index b3235d9c40..e53b09411c 100644 --- a/test/Analysis/rdar-6442306-1.m +++ b/test/Analysis/rdar-6442306-1.m @@ -1,5 +1,5 @@ -// RUN: clang -analyze -checker-cfref %s --analyzer-store-basic -verify && -// RUN: clang -analyze -checker-cfref %s --analyzer-store-region -verify +// RUN: clang -analyze -checker-cfref %s --analyzer-store=basic -verify && +// RUN: clang -analyze -checker-cfref %s --analyzer-store=region -verify typedef int bar_return_t; typedef struct { diff --git a/test/Analysis/rdar-6539791.c b/test/Analysis/rdar-6539791.c index 75485b0b54..5fe2d293c1 100644 --- a/test/Analysis/rdar-6539791.c +++ b/test/Analysis/rdar-6539791.c @@ -1,5 +1,5 @@ -// RUN: clang -analyze -checker-cfref -analyzer-store-basic -verify %s && -// RUN: clang -analyze -checker-cfref -analyzer-store-region -verify %s +// RUN: clang -analyze -checker-cfref -analyzer-store=basic -verify %s && +// RUN: clang -analyze -checker-cfref -analyzer-store=region -verify %s typedef const struct __CFAllocator * CFAllocatorRef; typedef struct __CFDictionary * CFMutableDictionaryRef; diff --git a/test/Analysis/rdar-6541136-region.c b/test/Analysis/rdar-6541136-region.c index 4fd2214daa..270fa33fbc 100644 --- a/test/Analysis/rdar-6541136-region.c +++ b/test/Analysis/rdar-6541136-region.c @@ -1,4 +1,4 @@ -// RUN: clang -verify -analyze -checker-cfref -analyzer-store-region %s +// RUN: clang -verify -analyze -checker-cfref -analyzer-store=region %s struct tea_cheese { unsigned magic; }; typedef struct tea_cheese kernel_tea_cheese_t; diff --git a/test/Analysis/rdar-6541136.c b/test/Analysis/rdar-6541136.c index 524f154adc..f90837c7dc 100644 --- a/test/Analysis/rdar-6541136.c +++ b/test/Analysis/rdar-6541136.c @@ -1,4 +1,4 @@ -// RUN: clang -verify -analyze -checker-cfref -analyzer-store-basic %s +// RUN: clang -verify -analyze -checker-cfref -analyzer-store=basic %s struct tea_cheese { unsigned magic; }; typedef struct tea_cheese kernel_tea_cheese_t; diff --git a/test/Analysis/rdar-6582778-basic-store.c b/test/Analysis/rdar-6582778-basic-store.c index c0a599335b..0e1c9055b0 100644 --- a/test/Analysis/rdar-6582778-basic-store.c +++ b/test/Analysis/rdar-6582778-basic-store.c @@ -1,4 +1,4 @@ -// RUN: clang -analyze -checker-cfref -analyzer-store-basic -verify %s +// RUN: clang -analyze -checker-cfref -analyzer-store=basic -verify %s typedef const void * CFTypeRef; typedef double CFTimeInterval; diff --git a/test/Analysis/refcnt_naming.m b/test/Analysis/refcnt_naming.m index 0fa95ebc8b..ee89d245f5 100644 --- a/test/Analysis/refcnt_naming.m +++ b/test/Analysis/refcnt_naming.m @@ -1,5 +1,5 @@ -// RUN: clang -analyze -checker-cfref -analyzer-store-basic -verify %s && -// RUN: clang -analyze -checker-cfref -analyzer-store-region -verify %s +// RUN: clang -analyze -checker-cfref -analyzer-store=basic -verify %s && +// RUN: clang -analyze -checker-cfref -analyzer-store=region -verify %s typedef const struct __CFString * CFStringRef; typedef const struct __CFAllocator * CFAllocatorRef; diff --git a/test/Analysis/region-only-test.c b/test/Analysis/region-only-test.c index 0eabb7b888..701da72f82 100644 --- a/test/Analysis/region-only-test.c +++ b/test/Analysis/region-only-test.c @@ -1,4 +1,4 @@ -// RUN: clang -analyze -checker-simple -analyzer-store-region -verify %s +// RUN: clang -analyze -checker-simple -analyzer-store=region -verify %s // Region store must be enabled for tests in this file. diff --git a/test/Analysis/retain-release-basic-store.m b/test/Analysis/retain-release-basic-store.m index 2fec3383cc..651135a72f 100644 --- a/test/Analysis/retain-release-basic-store.m +++ b/test/Analysis/retain-release-basic-store.m @@ -1,4 +1,4 @@ -// RUN: clang -analyze -checker-cfref -analyzer-store-basic -verify %s +// RUN: clang -analyze -checker-cfref -analyzer-store=basic -verify %s //===----------------------------------------------------------------------===// // The following code is reduced using delta-debugging from diff --git a/test/Analysis/retain-release-gc-only.m b/test/Analysis/retain-release-gc-only.m index 7e8164a2cc..32a9c877ac 100644 --- a/test/Analysis/retain-release-gc-only.m +++ b/test/Analysis/retain-release-gc-only.m @@ -1,5 +1,5 @@ // RUN: clang -analyze -checker-cfref -verify -fobjc-gc-only %s && -// RUN: clang -analyze -checker-cfref -analyzer-store-region -fobjc-gc-only -verify %s +// RUN: clang -analyze -checker-cfref -analyzer-store=region -fobjc-gc-only -verify %s //===----------------------------------------------------------------------===// // Header stuff. diff --git a/test/Analysis/retain-release-region-store.m b/test/Analysis/retain-release-region-store.m index 91b69cffca..ca040743b1 100644 --- a/test/Analysis/retain-release-region-store.m +++ b/test/Analysis/retain-release-region-store.m @@ -1,4 +1,4 @@ -// RUN: clang -analyze -checker-cfref -analyzer-store-region -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/retain-release.m b/test/Analysis/retain-release.m index 9a5a855947..cff7b9be60 100644 --- a/test/Analysis/retain-release.m +++ b/test/Analysis/retain-release.m @@ -1,5 +1,5 @@ // RUN: clang -analyze -checker-cfref -verify %s && -// RUN: clang -analyze -checker-cfref -analyzer-store-region -verify %s +// RUN: clang -analyze -checker-cfref -analyzer-store=region -verify %s //===----------------------------------------------------------------------===// diff --git a/test/Analysis/stack-addr-ps.c b/test/Analysis/stack-addr-ps.c index f9de9c0d72..b1214efd31 100644 --- a/test/Analysis/stack-addr-ps.c +++ b/test/Analysis/stack-addr-ps.c @@ -1,6 +1,6 @@ // RUN: clang -analyze -checker-simple -verify %s && -// RUN: clang -analyze -checker-cfref -analyzer-store-basic -verify %s && -// RUN: clang -analyze -checker-cfref -analyzer-store-region -verify %s +// RUN: clang -analyze -checker-cfref -analyzer-store=basic -verify %s && +// RUN: clang -analyze -checker-cfref -analyzer-store=region -verify %s #include <stdlib.h> #include <alloca.h> diff --git a/test/Analysis/uninit-msg-expr.m b/test/Analysis/uninit-msg-expr.m index 024e59e865..aad1a721f1 100644 --- a/test/Analysis/uninit-msg-expr.m +++ b/test/Analysis/uninit-msg-expr.m @@ -1,6 +1,6 @@ // RUN: clang -analyze -checker-simple -verify %s && -// RUN: clang -analyze -checker-cfref -analyzer-store-basic -verify %s && -// RUN: clang -analyze -checker-cfref -analyzer-store-region -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/uninit-ps-rdar6145427.m b/test/Analysis/uninit-ps-rdar6145427.m index 3850846e8f..126a594023 100644 --- a/test/Analysis/uninit-ps-rdar6145427.m +++ b/test/Analysis/uninit-ps-rdar6145427.m @@ -1,5 +1,5 @@ -// RUN: clang -analyze -verify -analyzer-store-basic -checker-cfref %s && -// RUN: clang -analyze -verify -analyzer-store-region -checker-cfref %s +// RUN: clang -analyze -verify -analyzer-store=basic -checker-cfref %s && +// RUN: clang -analyze -verify -analyzer-store=region -checker-cfref %s // Delta-Debugging reduced preamble. typedef signed char BOOL; diff --git a/test/Analysis/uninit-vals-ps-region.c b/test/Analysis/uninit-vals-ps-region.c index 73c23590e3..7e3d711bae 100644 --- a/test/Analysis/uninit-vals-ps-region.c +++ b/test/Analysis/uninit-vals-ps-region.c @@ -1,4 +1,4 @@ -// RUN: clang -analyze -checker-simple -analyzer-store-region -verify %s +// RUN: clang -analyze -checker-simple -analyzer-store=region -verify %s struct s { int data; diff --git a/test/Analysis/uninit-vals-ps.c b/test/Analysis/uninit-vals-ps.c index 96963e4fff..c6cf351ca2 100644 --- a/test/Analysis/uninit-vals-ps.c +++ b/test/Analysis/uninit-vals-ps.c @@ -1,5 +1,5 @@ // RUN: clang -analyze -checker-cfref -verify %s && -// RUN: clang -analyze -checker-cfref -analyzer-store-region -verify %s +// RUN: clang -analyze -checker-cfref -analyzer-store=region -verify %s struct FPRec { void (*my_func)(int * x); diff --git a/test/Analysis/uninit-vals.m b/test/Analysis/uninit-vals.m index f89ffeacdf..85efe5700b 100644 --- a/test/Analysis/uninit-vals.m +++ b/test/Analysis/uninit-vals.m @@ -1,5 +1,5 @@ -// RUN: clang -analyze -checker-cfref -analyzer-store-basic -verify %s && -// RUN: clang -analyze -checker-cfref -analyzer-store-region -verify %s +// RUN: clang -analyze -checker-cfref -analyzer-store=basic -verify %s && +// RUN: clang -analyze -checker-cfref -analyzer-store=region -verify %s typedef unsigned int NSUInteger; |