From d69e29e8c4f24a9302b0719e5c222543a745b81e Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Wed, 4 Mar 2009 00:23:28 +0000 Subject: This test now passes using RegionStore. llvm-svn: 65988 --- clang/test/Analysis/CFRetainRelease_NSAssertionHandler.m | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'clang/test') diff --git a/clang/test/Analysis/CFRetainRelease_NSAssertionHandler.m b/clang/test/Analysis/CFRetainRelease_NSAssertionHandler.m index eda63bab2c6..119a05e35bb 100644 --- a/clang/test/Analysis/CFRetainRelease_NSAssertionHandler.m +++ b/clang/test/Analysis/CFRetainRelease_NSAssertionHandler.m @@ -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; -- cgit v1.2.3