dtor.cpp revision b13453bd8a91f331d0910ca95ad52aa41b52f648
1// RUN: %clang_cc1 -analyze -analyzer-check-objc-mem -analyzer-store region -analyzer-inline-call -cfg-add-implicit-dtors -verify %s 2 3class A { 4public: 5 ~A() { 6 int *x = 0; 7 *x = 3; // expected-warning{{Dereference of null pointer}} 8 } 9}; 10 11int main() { 12 A a; 13} 14