base-init.cpp revision c210cb7a358d14cdd93b58562f33ff5ed2d895c1 
1// RUN: %clang_cc1 -analyze -analyzer-checker=core,debug.ExprInspection -analyzer-store region -analyzer-ipa=inlining -verify %s
2
3void clang_analyzer_eval(bool);
4
5class A {
6  int x;
7public:
8  A();
9  int getx() const {
10    return x;
11  }
12};
13
14A::A() : x(0) {
15}
16
17class B : public A {
18  int y;
19public:
20  B();
21};
22
23B::B() {
24}
25
26void f() {
27  B b;
28  clang_analyzer_eval(b.getx() == 0); // expected-warning{{TRUE}}
29}
30