blob: 30d1a1623d365d2b2e5e96dc3cda1d8d999e9e9b (
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
|
// Test that we handle T{} differently between class non-type template
// arguments and other expressions in the signature.
// { dg-do compile { target c++20 } }
// { dg-additional-options -fabi-compat-version=0 }
struct B
{
int i;
constexpr B(int i): i(i+1) {}
};
struct A
{
B b;
};
template <class T, class... Ts> T sink(T&&, Ts&&...);
// Here A{1} is mangled as A{1}, the source representation, because expressions
// involving template parameters are compared by ODR (token-based) equivalence
// [temp.over.link].
// { dg-final { scan-assembler "_Z1fIiEDTcl4sinktl1ALi1EEcvT__EEES1_" } }
template <class T>
decltype(sink(A{1},T())) f(T) { return A{1}; }
int main() { f(42); }
template <auto> struct C { };
// Here A{1} is mangled as A{B{2}}, the value representation, because template
// arguments are compared by value.
// { dg-final { scan-assembler "_Z1g1CIXtl1Atl1BLi2EEEEE" } }
void g(C<A{1}>) { }
|
