blob: addb4d69e53aa487dd0f406903ef73979deeffea (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
// RUN: %clang_cc1 -std=c++2a -emit-llvm-only -Wno-unused-value %s -verify
// expected-no-diagnostics
struct A {
consteval A operator+() { return {}; }
};
consteval A operator~(A) { return {}; }
consteval A operator+(A, A) { return {}; }
template <class> void f() {
A a;
A b = ~a;
A c = a + a;
A d = +a;
}
template void f<int>();
template <class T> void foo() {
T a;
T b = ~a;
T c = a + a;
T d = +a;
}
template void foo<A>();
template <typename DataT> struct B { DataT D; };
template <typename DataT>
consteval B<DataT> operator+(B<DataT> lhs, B<DataT> rhs) {
return B<DataT>{lhs.D + rhs.D};
}
template <class T> consteval T template_add(T a, T b) { return a + b; }
consteval B<int> non_template_add(B<int> a, B<int> b) { return a + b; }
void bar() {
constexpr B<int> a{};
constexpr B<int> b{};
auto constexpr c = a + b;
}
static_assert((template_add(B<int>{7}, B<int>{3})).D == 10);
static_assert((non_template_add(B<int>{7}, B<int>{3})).D == 10);
|
