| Anna Zaks | 6625335 | 2012-03-08 23:16:35 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-store region -analyzer-ipa=inlining -cfg-add-implicit-dtors -verify %s |
| Zhongxing Xu | b13453b | 2010-11-20 06:53:12 +0000 | [diff] [blame] | 2 | |
| 3 | class A { | ||||
| 4 | public: | ||||
| 5 | ~A() { | ||||
| 6 | int *x = 0; | ||||
| 7 | *x = 3; // expected-warning{{Dereference of null pointer}} | ||||
| 8 | } | ||||
| 9 | }; | ||||
| 10 | |||||
| 11 | int main() { | ||||
| 12 | A a; | ||||
| 13 | } | ||||