1 // RUN: %clang_cc1 -analyze -analyzer-checker=core,debug.ExprInspection -analyzer-ipa=inlining -analyzer-store region -verify %s
2 // XFAIL: *
3 
4 void clang_analyzer_eval(bool);
5 
6 struct A {
7   int x;
8   A(int a) { x = a; }
9   int getx() const { return x; }
10 };
11 
12 void f1() {
13   A x(3);
14   clang_analyzer_eval(x.getx() == 3); // expected-warning{{TRUE}}
15 }
16 
17 void f2() {
18   const A &x = A(3);
19   clang_analyzer_eval(x.getx() == 3); // expected-warning{{TRUE}}
20 }
21 
22 void f3() {
23   const A &x = (A)3;
24   clang_analyzer_eval(x.getx() == 3); // expected-warning{{TRUE}}
25 }
26