1*11c3a21fSBalazs Benics // RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection \
2*11c3a21fSBalazs Benics // RUN:    -analyzer-config eagerly-assume=false -std=c++20 -verify %s
3*11c3a21fSBalazs Benics 
4*11c3a21fSBalazs Benics template <class T> void clang_analyzer_dump(T);
5*11c3a21fSBalazs Benics void clang_analyzer_eval(bool);
6*11c3a21fSBalazs Benics 
7*11c3a21fSBalazs Benics struct Box {
8*11c3a21fSBalazs Benics   int value;
9*11c3a21fSBalazs Benics };
operator ==(Box lhs,Box rhs)10*11c3a21fSBalazs Benics bool operator ==(Box lhs, Box rhs) {
11*11c3a21fSBalazs Benics   return lhs.value == rhs.value;
12*11c3a21fSBalazs Benics }
dumps()13*11c3a21fSBalazs Benics template <Box V> void dumps() {
14*11c3a21fSBalazs Benics   clang_analyzer_dump(V);        // expected-warning {{lazyCompoundVal}}
15*11c3a21fSBalazs Benics   clang_analyzer_dump(&V);       // expected-warning {{Unknown}}
16*11c3a21fSBalazs Benics   clang_analyzer_dump(V.value);  // expected-warning {{Unknown}} FIXME: It should be '6 S32b'.
17*11c3a21fSBalazs Benics   clang_analyzer_dump(&V.value); // expected-warning {{Unknown}}
18*11c3a21fSBalazs Benics }
19*11c3a21fSBalazs Benics template void dumps<Box{6}>();
20*11c3a21fSBalazs Benics 
21*11c3a21fSBalazs Benics // [temp.param].7.3.2:
22*11c3a21fSBalazs Benics // "All such template parameters in the program of the same type with the
23*11c3a21fSBalazs Benics // same value denote the same template parameter object."
stable_addresses()24*11c3a21fSBalazs Benics template <Box A1, Box A2, Box B1, Box B2> void stable_addresses() {
25*11c3a21fSBalazs Benics   clang_analyzer_eval(&A1 == &A2); // expected-warning {{UNKNOWN}} FIXME: It should be TRUE.
26*11c3a21fSBalazs Benics   clang_analyzer_eval(&B1 == &B2); // expected-warning {{UNKNOWN}} FIXME: It should be TRUE.
27*11c3a21fSBalazs Benics   clang_analyzer_eval(&A1 == &B2); // expected-warning {{UNKNOWN}} FIXME: It should be FALSE.
28*11c3a21fSBalazs Benics 
29*11c3a21fSBalazs Benics   clang_analyzer_eval(A1 == A2); // expected-warning {{UNKNOWN}} FIXME: It should be TRUE.
30*11c3a21fSBalazs Benics   clang_analyzer_eval(B1 == B2); // expected-warning {{UNKNOWN}} FIXME: It should be TRUE.
31*11c3a21fSBalazs Benics   clang_analyzer_eval(A1 == B2); // expected-warning {{UNKNOWN}} FIXME: It should be FALSE.
32*11c3a21fSBalazs Benics }
33*11c3a21fSBalazs Benics template void stable_addresses<Box{1}, Box{1}, Box{2}, Box{2}>();
34