xref: /aosp_15_r20/external/clang/test/Analysis/base-init.cpp (revision 67e74705e28f6214e480b399dd47ea732279e315) 
1*67e74705SXin Li // RUN: %clang_cc1 -analyze -analyzer-checker=core,debug.ExprInspection -analyzer-config c++-inlining=constructors -verify %s
2*67e74705SXin Li 
3*67e74705SXin Li void clang_analyzer_eval(bool);
4*67e74705SXin Li 
5*67e74705SXin Li class A {
6*67e74705SXin Li   int x;
7*67e74705SXin Li public:
8*67e74705SXin Li   A();
getx() const9*67e74705SXin Li   int getx() const {
10*67e74705SXin Li     return x;
11*67e74705SXin Li   }
12*67e74705SXin Li };
13*67e74705SXin Li 
A()14*67e74705SXin Li A::A() : x(0) {
15*67e74705SXin Li }
16*67e74705SXin Li 
17*67e74705SXin Li class B : public A {
18*67e74705SXin Li   int y;
19*67e74705SXin Li public:
20*67e74705SXin Li   B();
21*67e74705SXin Li };
22*67e74705SXin Li 
B()23*67e74705SXin Li B::B() {
24*67e74705SXin Li }
25*67e74705SXin Li 
f()26*67e74705SXin Li void f() {
27*67e74705SXin Li   B b;
28*67e74705SXin Li   clang_analyzer_eval(b.getx() == 0); // expected-warning{{TRUE}}
29*67e74705SXin Li }
30