diff options
Diffstat (limited to 'test/Analysis')
| -rw-r--r-- | test/Analysis/basicstore_wine_crash.c | 11 | ||||
| -rw-r--r-- | test/Analysis/no-outofbounds-basicstore.c | 7 | ||||
| -rw-r--r-- | test/Analysis/rdar-6539791.c | 47 | ||||
| -rw-r--r-- | test/Analysis/xfail-no-outofbounds.c | 7 | ||||
| -rw-r--r-- | test/Analysis/xfail_regionstore_wine_crash.c | 11 |
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; -} |
