]> granicus.if.org Git - clang/commitdiff
Remove flat store tests.
authorTed Kremenek <kremenek@apple.com>
Thu, 28 Jul 2011 23:08:04 +0000 (23:08 +0000)
committerTed Kremenek <kremenek@apple.com>
Thu, 28 Jul 2011 23:08:04 +0000 (23:08 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@136421 91177308-0d34-0410-b5e6-96231b3b80d8

test/Analysis/flat-store.c [deleted file]
test/Analysis/misc-ps-flat-store.c [deleted file]

diff --git a/test/Analysis/flat-store.c b/test/Analysis/flat-store.c
deleted file mode 100644 (file)
index bf93c72..0000000
+++ /dev/null
@@ -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}}
-}
diff --git a/test/Analysis/misc-ps-flat-store.c b/test/Analysis/misc-ps-flat-store.c
deleted file mode 100644 (file)
index e6369cb..0000000
+++ /dev/null
@@ -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
-}