| Zhongxing Xu | 7b99d12 | 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 | 7ce351d | 2010-11-01 09:09:44 +0000 | [diff] [blame] | 2 | |
| Zhongxing Xu | 40ab43b | 2010-04-20 05:48:57 +0000 | [diff] [blame] | 3 | struct A { |
| 4 | int x; |
| 5 | A(int a) { x = a; } |
| Zhongxing Xu | 3230302 | 2010-11-24 13:48:50 +0000 | [diff] [blame] | 6 | int getx() const { return x; } |
| Zhongxing Xu | 40ab43b | 2010-04-20 05:48:57 +0000 | [diff] [blame] | 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 | |
| Zhongxing Xu | 0e38d5d | 2010-11-25 03:18:57 +0000 | [diff] [blame] | 20 | void f2() { |
| 21 | const A &x = A(3); |
| 22 | if (x.getx() == 3) { |
| 23 | int *p = 0; |
| 24 | *p = 3; // expected-warning{{Dereference of null pointer}} |
| 25 | } else { |
| 26 | int *p = 0; |
| 27 | *p = 3; // no-warning |
| 28 | } |
| 29 | } |
| 30 | |