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

test/Analysis/func.c

index 53c4432a4d059c72e83dd39d576951827cd95618..49f2731256911237533e43bdf7270eb9ce98cb5f 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
 
 void f(void) {
   void (*p)(void);