[cfe-commits] r70859 - in /cfe/trunk/test/Analysis: no-outofbounds-basicstore.c no-outofbounds.c xfail-no-outofbounds.c

[Ted Kremenek]

Author: kremenek
Date: Mon May  4 09:31:19 2009
New Revision: 70859

URL: http://llvm.org/viewvc/llvm-project?rev=70859&view=rev
Log:
Rename no-outofbounds.c to xfail-no-outofbounds.c and split off that
test into a separate file to monitor the fact that BasicStoreManager
passes the test.

Added:
    cfe/trunk/test/Analysis/no-outofbounds-basicstore.c
    cfe/trunk/test/Analysis/xfail-no-outofbounds.c
      - copied, changed from r70857, cfe/trunk/test/Analysis/no-outofbounds.c
Removed:
    cfe/trunk/test/Analysis/no-outofbounds.c

Added: cfe/trunk/test/Analysis/no-outofbounds-basicstore.c
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/no-outofbounds-basicstore.c?rev=70859&view=auto

==============================================================================
--- cfe/trunk/test/Analysis/no-outofbounds-basicstore.c (added)
+++ cfe/trunk/test/Analysis/no-outofbounds-basicstore.c Mon May  4 09:31:19 2009
@@ -0,0 +1,7 @@
+// RUN: clang-cc -checker-cfref -analyze -analyzer-store=basic -verify %s
+
+void f() {
+  long x = 0;
+  char *y = (char*) &x;
+  char c = y[0] + y[1] + y[2]; // no-warning
+}

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

==============================================================================
--- cfe/trunk/test/Analysis/no-outofbounds.c (original)
+++ cfe/trunk/test/Analysis/no-outofbounds.c (removed)
@@ -1,8 +0,0 @@
-// RUN: clang-cc -checker-cfref -analyze -analyzer-store=region -verify %s &&
-// RUN: clang-cc -checker-cfref -analyze -analyzer-store=basic -verify %s
-// XFAIL
-void f() {
-  long x = 0;
-  char *y = (char*) &x;
-  char c = y[0] + y[1] + y[2]; // no-warning
-}

Copied: cfe/trunk/test/Analysis/xfail-no-outofbounds.c (from r70857, cfe/trunk/test/Analysis/no-outofbounds.c)
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/xfail-no-outofbounds.c?p2=cfe/trunk/test/Analysis/xfail-no-outofbounds.c&p1=cfe/trunk/test/Analysis/no-outofbounds.c&r1=70857&r2=70859&rev=70859&view=diff

==============================================================================
--- cfe/trunk/test/Analysis/no-outofbounds.c (original)
+++ cfe/trunk/test/Analysis/xfail-no-outofbounds.c Mon May  4 09:31:19 2009
@@ -1,5 +1,4 @@
-// RUN: clang-cc -checker-cfref -analyze -analyzer-store=region -verify %s &&
-// RUN: clang-cc -checker-cfref -analyze -analyzer-store=basic -verify %s
+// RUN: clang-cc -checker-cfref -analyze -analyzer-store=region -verify %s 
 // XFAIL
 void f() {
   long x = 0;