diff options
Diffstat (limited to 'test/Analysis/flat-store.c')
-rw-r--r-- | test/Analysis/flat-store.c | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/test/Analysis/flat-store.c b/test/Analysis/flat-store.c deleted file mode 100644 index bf93c724400f..000000000000 --- 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}} -} |