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

test/Analysis/uninit-msg-expr.m

index 3bceca0e6c376ea3e77683fa04b74116d269d001..024e59e865172cd3dc65b4a7d0373b4796329383 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
 
 //===----------------------------------------------------------------------===//
 // The following code is reduced using delta-debugging from