summaryrefslogtreecommitdiff
path: root/test/Analysis
diff options
context:
space:
mode:
Diffstat (limited to 'test/Analysis')
-rw-r--r--test/Analysis/basicstore_wine_crash.c11
-rw-r--r--test/Analysis/no-outofbounds-basicstore.c7
-rw-r--r--test/Analysis/rdar-6539791.c47
-rw-r--r--test/Analysis/xfail-no-outofbounds.c7
-rw-r--r--test/Analysis/xfail_regionstore_wine_crash.c11
5 files changed, 0 insertions, 83 deletions
diff --git a/test/Analysis/basicstore_wine_crash.c b/test/Analysis/basicstore_wine_crash.c
deleted file mode 100644
index cb5fac8d2919..000000000000
--- a/test/Analysis/basicstore_wine_crash.c
+++ /dev/null
@@ -1,11 +0,0 @@
-// RUN: clang-cc -checker-cfref -analyze -analyzer-store=basic %s
-
-// Once xfail_regionstore_wine_crash.c passes, move this test case
-// into misc-ps.m.
-
-void foo() {
- long x = 0;
- char *y = (char *) &x;
- if (!*y)
- return;
-}
diff --git a/test/Analysis/no-outofbounds-basicstore.c b/test/Analysis/no-outofbounds-basicstore.c
deleted file mode 100644
index 9a0b35906d7c..000000000000
--- a/test/Analysis/no-outofbounds-basicstore.c
+++ /dev/null
@@ -1,7 +0,0 @@
-// RUN: clang-cc -checker-cfref -analyze -analyzer-store=basic -verify %s
-
-void f() {
- long x = 0;
- char *y = (char*) &x;
- char c = y[0] + y[1] + y[2]; // no-warning
-}
diff --git a/test/Analysis/rdar-6539791.c b/test/Analysis/rdar-6539791.c
deleted file mode 100644
index c1c989154337..000000000000
--- a/test/Analysis/rdar-6539791.c
+++ /dev/null
@@ -1,47 +0,0 @@
-// RUN: clang-cc -analyze -checker-cfref -analyzer-store=basic -verify %s &&
-// RUN: clang-cc -analyze -checker-cfref -analyzer-store=region -verify %s
-
-typedef const struct __CFAllocator * CFAllocatorRef;
-typedef struct __CFDictionary * CFMutableDictionaryRef;
-typedef signed long CFIndex;
-typedef CFIndex CFNumberType;
-typedef const void * CFTypeRef;
-typedef struct {} CFDictionaryKeyCallBacks, CFDictionaryValueCallBacks;
-typedef const struct __CFNumber * CFNumberRef;
-extern const CFAllocatorRef kCFAllocatorDefault;
-extern const CFDictionaryKeyCallBacks kCFTypeDictionaryKeyCallBacks;
-extern const CFDictionaryValueCallBacks kCFTypeDictionaryValueCallBacks;
-enum { kCFNumberSInt32Type = 3 };
-CFMutableDictionaryRef CFDictionaryCreateMutable(CFAllocatorRef allocator, CFIndex capacity, const CFDictionaryKeyCallBacks *keyCallBacks, const CFDictionaryValueCallBacks *valueCallBacks);
-void CFDictionaryAddValue(CFMutableDictionaryRef theDict, const void *key, const void *value);
-void CFRelease(CFTypeRef cf);
-CFTypeRef CFRetain(CFTypeRef cf);
-extern CFNumberRef CFNumberCreate(CFAllocatorRef allocator, CFNumberType theType, const void *valuePtr);
-typedef const struct __CFArray * CFArrayRef;
-typedef struct __CFArray * CFMutableArrayRef;
-void CFArrayAppendValue(CFMutableArrayRef theArray, const void *value);
-
-void f(CFMutableDictionaryRef y, void* key, void* val_key) {
- CFMutableDictionaryRef x = CFDictionaryCreateMutable(kCFAllocatorDefault, 1, &kCFTypeDictionaryKeyCallBacks, &kCFTypeDictionaryValueCallBacks);
- CFDictionaryAddValue(y, key, x);
- CFRelease(x); // the dictionary keeps a reference, so the object isn't deallocated yet
- signed z = 1;
- CFNumberRef value = CFNumberCreate(kCFAllocatorDefault, kCFNumberSInt32Type, &z);
- if (value) {
- CFDictionaryAddValue(x, val_key, value); // no-warning
- CFRelease(value);
- CFDictionaryAddValue(y, val_key, value); // no-warning
- }
-}
-
-// <rdar://problem/6560661>
-// Same issue, except with "AppendValue" functions.
-void f2(CFMutableArrayRef x) {
- signed z = 1;
- CFNumberRef value = CFNumberCreate(kCFAllocatorDefault, kCFNumberSInt32Type, &z);
- // CFArrayAppendValue keeps a reference to value.
- CFArrayAppendValue(x, value);
- CFRelease(value);
- CFRetain(value);
- CFRelease(value); // no-warning
-}
diff --git a/test/Analysis/xfail-no-outofbounds.c b/test/Analysis/xfail-no-outofbounds.c
deleted file mode 100644
index f2ee732c2570..000000000000
--- a/test/Analysis/xfail-no-outofbounds.c
+++ /dev/null
@@ -1,7 +0,0 @@
-// RUN: clang-cc -checker-cfref -analyze -analyzer-store=region -verify %s
-
-void f() {
- long x = 0;
- char *y = (char*) &x;
- char c = y[0] + y[1] + y[2]; // no-warning
-}
diff --git a/test/Analysis/xfail_regionstore_wine_crash.c b/test/Analysis/xfail_regionstore_wine_crash.c
deleted file mode 100644
index af20ca2e28c2..000000000000
--- a/test/Analysis/xfail_regionstore_wine_crash.c
+++ /dev/null
@@ -1,11 +0,0 @@
-// RUN: clang-cc -analyze -checker-cfref -analyzer-store=region -verify %s
-
-// When this test passes we should put it in the misc-ps.m test file.
-// This test fails now because RegionStoreManager::Retrieve() does correctly
-// retrieve the first byte of 'x' when retrieving '*y'.
-void foo() {
- long x = 0;
- char *y = (char *) &x;
- if (!*y)
- return;
-}