aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--test/Analysis/flat-store.c11
-rw-r--r--test/Analysis/misc-ps-flat-store.c10
2 files changed, 0 insertions, 21 deletions
diff --git a/test/Analysis/flat-store.c b/test/Analysis/flat-store.c
deleted file mode 100644
index bf93c72440..0000000000
--- a/test/Analysis/flat-store.c
+++ /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
index e6369cbfb0..0000000000
--- a/test/Analysis/misc-ps-flat-store.c
+++ /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
-}