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