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

test/Analysis/no-exit-cfg.c

index 60637a1916e3015bfa9b25d00b0ced02392a1a68..362fd88edaf14b7c63ba7c4adaf2466ea6834d5d 100644 (file)
@@ -1,4 +1,5 @@
-// RUN: clang -analyze -checker-cfref -verify %s
+// RUN: clang -analyze -checker-cfref -analyzer-store-basic -verify %s &&
+// RUN: clang -analyze -checker-cfref -analyzer-store-region -verify %s 
 
 // This is a test case for the issue reported in PR 2819:
 //  http://llvm.org/bugs/show_bug.cgi?id=2819