| Zhongxing Xu | 9174b2c | 2010-05-06 02:59:29 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -analyze -analyzer-check-objc-mem -analyzer-inline-call -analyzer-store region -verify %s |
| Zhongxing Xu | 0b51d4d | 2010-11-01 06:46:05 +0000 | [diff] [blame^] | 2 | // XFAIL: * |
| Zhongxing Xu | 52c28fe | 2010-04-20 05:48:57 +0000 | [diff] [blame] | 3 | struct A { |
| 4 | int x; | ||||
| 5 | A(int a) { x = a; } | ||||
| 6 | int getx() { return x; } | ||||
| 7 | }; | ||||
| 8 | |||||
| 9 | void f1() { | ||||
| 10 | A x(3); | ||||
| 11 | if (x.getx() == 3) { | ||||
| 12 | int *p = 0; | ||||
| 13 | *p = 3; // expected-warning{{Dereference of null pointer}} | ||||
| 14 | } else { | ||||
| 15 | int *p = 0; | ||||
| 16 | *p = 3; // no-warning | ||||
| 17 | } | ||||
| 18 | } | ||||
| 19 | |||||