1// RUN: %clang_cc1 -analyze -analyzer-checker=core,debug.ExprInspection -analyzer-config c++-inlining=constructors -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