]> granicus.if.org Git - clang/commitdiff
This test case now passes with RegionStore.
authorTed Kremenek <kremenek@apple.com>
Thu, 22 Jan 2009 22:42:16 +0000 (22:42 +0000)
committerTed Kremenek <kremenek@apple.com>
Thu, 22 Jan 2009 22:42:16 +0000 (22:42 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@62796 91177308-0d34-0410-b5e6-96231b3b80d8

test/Analysis/exercise-ps.c

index f561912d21a9369cc55a9af45d369bd833cb7f57..6d58e92c31f2e16e18d78c1ba9ae8b63ce2a2bb7 100644 (file)
@@ -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).