[cfe-commits] r75318 - /cfe/trunk/test/Analysis/rdar-6562655.m

[Ted Kremenek]

Author: kremenek
Date: Fri Jul 10 19:07:06 2009
New Revision: 75318

URL: http://llvm.org/viewvc/llvm-project?rev=75318&view=rev
Log:
This test passes with RegionStoreManager.

Modified:
    cfe/trunk/test/Analysis/rdar-6562655.m

Modified: cfe/trunk/test/Analysis/rdar-6562655.m
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/rdar-6562655.m?rev=75318&r1=75317&r2=75318&view=diff

==============================================================================
--- cfe/trunk/test/Analysis/rdar-6562655.m (original)
+++ cfe/trunk/test/Analysis/rdar-6562655.m Fri Jul 10 19:07:06 2009
@@ -1,5 +1,6 @@
 // RUN: clang-cc -analyze -checker-cfref -analyzer-constraints=basic -analyzer-store=basic -verify %s &&
-// RUN: clang-cc -analyze -checker-cfref -analyzer-constraints=basic -analyzer-store=basic-old-cast -verify %s
+// RUN: clang-cc -analyze -checker-cfref -analyzer-constraints=basic -analyzer-store=basic-old-cast -verify %s &&
+// RUN: clang-cc -analyze -checker-cfref -analyzer-constraints=basic -analyzer-store=region -verify %s
 //
 // This test case mainly checks that the retain/release checker doesn't crash
 // on this file.