This test case now passes with RegionStore.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@62804 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/test/Analysis/uninit-ps-rdar6145427.m b/test/Analysis/uninit-ps-rdar6145427.m
index 530139da932fadcdc66479e0bd5e0373c4e73d9c..3850846e8fb298476cdf65ad3c988b5219fa9f84 100644 (file)
--- a/test/Analysis/uninit-ps-rdar6145427.m
+++ b/test/Analysis/uninit-ps-rdar6145427.m
@@ -1,4 +1,5 @@
-// RUN: clang -analyze -verify -checker-cfref %s
+// RUN: clang -analyze -verify -analyzer-store-basic -checker-cfref %s &&
+// RUN: clang -analyze -verify -analyzer-store-region -checker-cfref %s
 
 // Delta-Debugging reduced preamble.
 typedef signed char BOOL;