summaryrefslogtreecommitdiff
path: root/clang/test/Analysis/dtor.cpp
blob: 8d63cc47bed42525fcbfa15d3640c06ea14a7c10 (about) (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
// RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-store region -analyzer-ipa=inlining -cfg-add-implicit-dtors -verify %s

class A {
public:
  ~A() { 
    int *x = 0;
    *x = 3; // expected-warning{{Dereference of null pointer}}
  }
};

int main() {
  A a;
}