1 // RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-store region -analyzer-ipa=inlining -cfg-add-implicit-dtors -verify %s 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 } 14
