[cfe-commits] r75294 - in /cfe/trunk/test/Analysis: basicstore_wine_crash.c misc-ps.m xfail_regionstore_wine_crash.c

[Ted Kremenek]

Author: kremenek
Date: Fri Jul 10 16:43:30 2009
New Revision: 75294

URL: http://llvm.org/viewvc/llvm-project?rev=75294&view=rev
Log:
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.

Removed:
    cfe/trunk/test/Analysis/basicstore_wine_crash.c
    cfe/trunk/test/Analysis/xfail_regionstore_wine_crash.c
Modified:
    cfe/trunk/test/Analysis/misc-ps.m

Removed: cfe/trunk/test/Analysis/basicstore_wine_crash.c
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/basicstore_wine_crash.c?rev=75293&view=auto

==============================================================================
--- cfe/trunk/test/Analysis/basicstore_wine_crash.c (original)
+++ cfe/trunk/test/Analysis/basicstore_wine_crash.c (removed)
@@ -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;
-}

Modified: cfe/trunk/test/Analysis/misc-ps.m
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/misc-ps.m?rev=75294&r1=75293&r2=75294&view=diff

==============================================================================
--- cfe/trunk/test/Analysis/misc-ps.m (original)
+++ cfe/trunk/test/Analysis/misc-ps.m Fri Jul 10 16:43:30 2009
@@ -341,3 +341,12 @@
   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;
+}
+

Removed: cfe/trunk/test/Analysis/xfail_regionstore_wine_crash.c
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/xfail_regionstore_wine_crash.c?rev=75293&view=auto

==============================================================================
--- cfe/trunk/test/Analysis/xfail_regionstore_wine_crash.c (original)
+++ cfe/trunk/test/Analysis/xfail_regionstore_wine_crash.c (removed)
@@ -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;
-}