diff options
-rw-r--r-- | test/Analysis/flat-store.c | 11 | ||||
-rw-r--r-- | test/Analysis/misc-ps-flat-store.c | 10 |
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 -} |