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