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