dtor.cpp revision 66253352131e3e7a22b3bfd0e180607aa2bfb988
1// RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-store region -analyzer-ipa=inlining -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