Author: kremenek
Date: Wed Apr 29 11:03:59 2009
New Revision: 70383
URL: http://llvm.org/viewvc/llvm-project?rev=70383&view=rev
Log:
Add test case for transfer function logic for OSCompareAndSwap32Barrier.
Modified:
cfe/trunk/test/Analysis/NSString.m
Modified: cfe/trunk/test/Analysis/NSString.m
URL:
http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/NSString.m?rev=70383&r1=70382&r2=70383&view=diff
==============================================================================
--- cfe/trunk/test/Analysis/NSString.m (original)
+++ cfe/trunk/test/Analysis/NSString.m Wed Apr 29 11:03:59 2009
@@ -1,9 +1,9 @@
-// RUN: clang-cc -analyze -checker-cfref -analyzer-store=basic
-analyzer-constraints=basic -verify %s &&
-// RUN: clang-cc -analyze -checker-cfref -analyzer-store=basic
-analyzer-constraints=range -verify %s
+// RUN: clang-cc -arch i386 -analyze -checker-cfref -analyzer-store=basic
-analyzer-constraints=basic -verify %s &&
+// RUN: clang-cc -arch i386 -analyze -checker-cfref -analyzer-store=basic
-analyzer-constraints=range -verify %s
-// NOTWORK: clang-cc -analyze -checker-cfref -analyzer-store=region
-analyzer-constraints=basic -verify %s &&
-// NOTWORK: clang-cc -analyze -checker-cfref -analyzer-store=region
-analyzer-constraints=range -verify %s
+// NOTWORK: clang-cc -arch i386 -analyze -checker-cfref -analyzer-store=region
-analyzer-constraints=basic -verify %s &&
+// NOTWORK: clang-cc -arch i386 -analyze -checker-cfref -analyzer-store=region
-analyzer-constraints=range -verify %s
//===----------------------------------------------------------------------===//
// The following code is reduced using delta-debugging from
@@ -14,6 +14,7 @@
// both svelte and portable to non-Mac platforms.
//===----------------------------------------------------------------------===//
+typedef int int32_t;
typedef const void * CFTypeRef;
typedef const struct __CFString * CFStringRef;
typedef const struct __CFAllocator * CFAllocatorRef;
@@ -235,6 +236,15 @@
[old release];
}
+void testOSCompareAndSwap32Barrier() {
+ NSString *old = 0;
+ NSString *s = [[NSString alloc] init]; // no-warning
+ if (!OSAtomicCompareAndSwap32Barrier((int32_t) 0, (int32_t) s, (int32_t*)
&old))
+ [s release];
+ else
+ [old release];
+}
+
void test_objc_atomicCompareAndSwap() {
NSString *old = 0;
NSString *s = [[NSString alloc] init]; // no-warning
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
