From: Ted Kremenek <kremenek@apple.com>
Date: Thu, 22 Jan 2009 22:42:16 +0000 (+0000)
Subject: This test case now passes with RegionStore.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=62bca24df24ea66c185e3b622e9451174c3139ca;p=clang

This test case now passes with RegionStore.

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

diff --git a/test/Analysis/exercise-ps.c b/test/Analysis/exercise-ps.c
index f561912d21..6d58e92c31 100644
--- a/test/Analysis/exercise-ps.c
+++ b/test/Analysis/exercise-ps.c
@@ -1,4 +1,6 @@
-// RUN: clang -analyze -checker-simple -verify %s
+// RUN: clang -analyze -checker-simple -verify %s &&
+// RUN: clang -analyze -checker-cfref -analyzer-store-basic -verify %s &&
+// RUN: clang -analyze -checker-cfref -analyzer-store-region -verify %s
 //
 // Just exercise the analyzer (no assertions).