base-init.cpp revision e1ce783708b65eaa832ffad03d239264046dd0eb 
1// RUN: %clang_cc1 -analyze -analyzer-checker=core,debug.ExprInspection -analyzer-store region -analyzer-ipa=inlining -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