| Argyrios Kyrtzidis | b3d74da | 2011-02-28 17:36:18 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-check-objc-mem -analyzer-store=flat -verify %s |
| Zhongxing Xu | 7caf9b3 | 2010-08-02 04:56:14 +0000 | [diff] [blame] | 2 | #define FAIL ((void)*(char*)0) |
| 3 | struct simple { int x; }; | ||||
| 4 | |||||
| 5 | void PR7297 () { | ||||
| 6 | struct simple a; | ||||
| 7 | struct simple *p = &a; | ||||
| 8 | p->x = 5; | ||||
| 9 | if (!p[0].x) FAIL; // no-warning | ||||
| 10 | if (p[0].x) FAIL; // expected-warning {{null}} | ||||
| 11 | } | ||||