Test case in test/Analysis/xfail_regionstore_wine_crash.c no longer fails, so

move this case to 'test/Analysis/misc-ps.m' to test with both BasicStoreManager
and RegionStoreManager.

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

diff --git a/test/Analysis/basicstore_wine_crash.c b/test/Analysis/basicstore_wine_crash.c
deleted file mode 100644 (file)
index 077c403..0000000
--- a/test/Analysis/basicstore_wine_crash.c
+++ /dev/null
@@ -1,12 +0,0 @@
-// RUN: clang-cc -checker-cfref -analyze -analyzer-store=basic %s &&
-// RUN: clang-cc -checker-cfref -analyze -analyzer-store=basic-old-cast %s
-
-// Once xfail_regionstore_wine_crash.c passes, move this test case
-// into misc-ps.m.
-
-void foo() {
-  long x = 0;
-  char *y = (char *) &x;
-  if (!*y)
-    return;
-}

diff --git a/test/Analysis/misc-ps.m b/test/Analysis/misc-ps.m
index a0da13e0aa2b29de2fca6958c45b9e453472e83b..581a0543f411e9b9022d6505591f9bc33832242c 100644 (file)
--- a/test/Analysis/misc-ps.m
+++ b/test/Analysis/misc-ps.m
@@ -341,3 +341,12 @@ void handle_funcptr_voidptr_casts() {
   handle_funcptr_voidptr_casts_aux_3(ptr);
 }
 
+// RegionStore::Retrieve previously crashed on this example.  This example
+// was previously in the test file 'xfail_regionstore_wine_crash.c'.
+void testA() {
+  long x = 0;
+  char *y = (char *) &x;
+  if (!*y)
+    return;
+}
+

diff --git a/test/Analysis/xfail_regionstore_wine_crash.c b/test/Analysis/xfail_regionstore_wine_crash.c
deleted file mode 100644 (file)
index af20ca2..0000000
--- a/test/Analysis/xfail_regionstore_wine_crash.c
+++ /dev/null
@@ -1,11 +0,0 @@
-// RUN: clang-cc -analyze -checker-cfref -analyzer-store=region -verify %s
-
-// When this test passes we should put it in the misc-ps.m test file.
-// This test fails now because RegionStoreManager::Retrieve() does correctly 
-// retrieve the first byte of 'x' when retrieving '*y'.
-void foo() {
-  long x = 0;
-  char *y = (char *) &x;
-  if (!*y)
-    return;
-}