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