[cfe-commits] r76469 - /cfe/trunk/test/Analysis/misc-ps.m

[Ted Kremenek]

Author: kremenek
Date: Mon Jul 20 16:00:55 2009
New Revision: 76469

URL: http://llvm.org/viewvc/llvm-project?rev=76469&view=rev
Log:
Add XFAILED test.

Modified:
    cfe/trunk/test/Analysis/misc-ps.m

Modified: cfe/trunk/test/Analysis/misc-ps.m
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/misc-ps.m?rev=76469&r1=76468&r2=76469&view=diff

==============================================================================
--- cfe/trunk/test/Analysis/misc-ps.m (original)
+++ cfe/trunk/test/Analysis/misc-ps.m Mon Jul 20 16:00:55 2009
@@ -4,6 +4,7 @@
 // RUN: clang-cc -analyze -checker-cfref --analyzer-store=basic-old-cast -analyzer-constraints=range --verify -fblocks %s &&
 // RUN: clang-cc -analyze -checker-cfref --analyzer-store=region -analyzer-constraints=basic --verify -fblocks %s &&
 // RUN: clang-cc -analyze -checker-cfref --analyzer-store=region -analyzer-constraints=range --verify -fblocks %s
+// XFAIL
 
 typedef struct objc_selector *SEL;
 typedef signed char BOOL;
@@ -437,3 +438,22 @@
   (void (^)(void *))test_block_cast_aux(); // expected-warning{{expression result unused}}
 }
 
+// ** THIS TEST FAILS **
+// Test comparison of 'id' instance variable to a null void* constant after
+// performing an OSAtomicCompareAndSwap32Barrier.
+// This previously was a crash in RegionStoreManager.
+ at interface TestIdNull {
+  id x;
+}
+-(int)foo;
+ at end
+ at implementation TestIdNull
+-(int)foo {
+  OSAtomicCompareAndSwap32Barrier(0, (signed)2, (signed*)&x);  
+  if (x == (void*) 0) { return 0; }
+  return 1;
+}
+ at end
+
+
+