+++ /dev/null
-// 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}}
-}
+++ /dev/null
-// 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
-}