[cfe-commits] r136421 - in /cfe/trunk/test/Analysis: flat-store.c misc-ps-flat-store.c

[Ted Kremenek]

Author: kremenek
Date: Thu Jul 28 18:08:04 2011
New Revision: 136421

URL: http://llvm.org/viewvc/llvm-project?rev=136421&view=rev
Log:
Remove flat store tests.

Removed:
    cfe/trunk/test/Analysis/flat-store.c
    cfe/trunk/test/Analysis/misc-ps-flat-store.c

Removed: cfe/trunk/test/Analysis/flat-store.c
URL: 
http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/flat-store.c?rev=136420&view=auto
==============================================================================
--- cfe/trunk/test/Analysis/flat-store.c (original)
+++ cfe/trunk/test/Analysis/flat-store.c (removed)
@@ -1,11 +0,0 @@
-// RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-store=flat 
-Wno-null-dereference -verify %s
-#define FAIL ((void)*(char*)0)
-struct simple { int x; };
-
-void PR7297 () {
-  struct simple a;
-  struct simple *p = &a;
-  p->x = 5;
-  if (!p[0].x) FAIL; // no-warning
-  if (p[0].x) FAIL; // expected-warning {{null}}
-}

Removed: cfe/trunk/test/Analysis/misc-ps-flat-store.c
URL: 
http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/misc-ps-flat-store.c?rev=136420&view=auto
==============================================================================
--- cfe/trunk/test/Analysis/misc-ps-flat-store.c (original)
+++ cfe/trunk/test/Analysis/misc-ps-flat-store.c (removed)
@@ -1,10 +0,0 @@
-// RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-store=flat 
-verify %s
-
-void f1() {
-  int x;
-  int *p;
-  x = 1;
-  p = 0;
-  if (x != 1)
-    *p = 1; // no-warning
-}


_______________________________________________
cfe-commits mailing list
cfe-commits@cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits