[cfe-commits] r65988 - /cfe/trunk/test/Analysis/CFRetainRelease_NSAssertionHandler.m

[Ted Kremenek]

Author: kremenek
Date: Tue Mar  3 18:23:28 2009
New Revision: 65988

URL: http://llvm.org/viewvc/llvm-project?rev=65988&view=rev
Log:
This test now passes using RegionStore.

Modified:
    cfe/trunk/test/Analysis/CFRetainRelease_NSAssertionHandler.m

Modified: cfe/trunk/test/Analysis/CFRetainRelease_NSAssertionHandler.m
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/CFRetainRelease_NSAssertionHandler.m?rev=65988&r1=65987&r2=65988&view=diff

==============================================================================
--- cfe/trunk/test/Analysis/CFRetainRelease_NSAssertionHandler.m (original)
+++ cfe/trunk/test/Analysis/CFRetainRelease_NSAssertionHandler.m Tue Mar  3 18:23:28 2009
@@ -1,5 +1,7 @@
-// RUN: clang -analyze -checker-cfref -verify %s -analyzer-constraints=basic &&
-// RUN: clang -analyze -checker-cfref -verify %s -analyzer-constraints=range
+// RUN: clang -analyze -checker-cfref -verify %s -analyzer-constraints=basic -analyzer-store=basic &&
+// RUN: clang -analyze -checker-cfref -verify %s -analyzer-constraints=range -analyzer-store=basic &&
+// RUN: clang -analyze -checker-cfref -verify %s -analyzer-constraints=basic -analyzer-store=region &&
+// RUN: clang -analyze -checker-cfref -verify %s -analyzer-constraints=range -analyzer-store=region
 
 typedef struct objc_selector *SEL;
 typedef signed char BOOL;