30 lines · cpp
1// RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection -analyzer-config c++-inlining=constructors -verify %s2 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