base-init.cpp revision e17da65c5773e0285b22e33d1431b13fbcd8942c 
1// RUN: %clang_cc1 -analyze -analyzer-check-objc-mem -analyzer-store region -analyzer-inline-call -cfg-add-initializers -verify %s
2
3class A {
4  int x;
5public:
6  A();
7  int getx() const {
8    return x;
9  }
10};
11
12A::A() : x(0) {
13}
14
15class B : public A {
16  int y;
17public:
18  B();
19};
20
21B::B() {
22}
23
24void f() {
25  B b;
26  if (b.getx() != 0) {
27    int *p = 0;
28    *p = 0; // no-warning
29  }
30}
31