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
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
|
// RUN: %clang_cc1 -ast-dump -std=c++26 %s | FileCheck %s
// Test this with PCH.
// RUN: %clang_cc1 %s -std=c++26 -emit-pch -o %t %s
// RUN: %clang_cc1 %s -std=c++26 -include-pch %t -ast-dump-all | FileCheck %s
#ifndef PCH_HELPER
#define PCH_HELPER
template <unsigned N>
void foo() {
int arr[4] = {1, 2, 3, 4};
auto [binding_1, ...binding_rest, binding_4] = arr;
int arr_2[] = {binding_rest...};
};
// CHECK-LABEL: FunctionTemplateDecl {{.*}} foo
// CHECK-LABEL: BindingDecl {{.*}} binding_1
// CHECK-NEXT: ArraySubscriptExpr {{.*}}
// CHECK-NEXT: ImplicitCastExpr
// CHECK-NEXT: DeclRefExpr {{.*}}
// CHECK-NEXT: IntegerLiteral {{.*}} 'int' 0
// CHECK-NOT: BindingDecl
// CHECK-LABEL: BindingDecl {{.*}} binding_rest
// CHECK-NEXT: FunctionParmPackExpr
// CHECK-LABEL: BindingDecl {{.*}} binding_4
// CHECK-NEXT: ArraySubscriptExpr
// CHECK-NEXT: ImplicitCastExpr {{.*}}
// CHECK-NEXT: DeclRefExpr {{.*}} lvalue Decomposition {{.*}}
// CHECK-NEXT: IntegerLiteral {{.*}} 'int' 3
// CHECK-NOT: BindingDecl
// CHECK-LABEL: VarDecl {{.*}} arr_2
// CHECK-NEXT: InitListExpr
// CHECK-NEXT: PackExpansionExpr {{.*}} '<dependent type>' lvalue
// CHECK-NEXT: DeclRefExpr {{.*}} lvalue Binding {{.*}} 'binding_rest'
struct tag_t { };
template <unsigned N>
void bar() {
auto [...empty_binding_pack] = tag_t{};
static_assert(sizeof...(empty_binding_pack) == 0);
};
// CHECK-LABEL: FunctionTemplateDecl {{.*}} bar
// CHECK-NOT: BindingDecl
// CHECK-LABEL: BindingDecl {{.*}} empty_binding_pack
// CHECK-NEXT: FunctionParmPackExpr
// CHECK: DeclStmt
struct int_pair { int x; int y; };
template <typename T>
void baz() {
auto [binding_1, binding_2, ...empty_binding_pack] = T{};
static_assert(sizeof...(empty_binding_pack) == 0);
};
void(*f)() = baz<int_pair>;
// CHECK-LABEL: FunctionDecl {{.*}} baz {{.*}} implicit_instantiation
// CHECK-NEXT: TemplateArgument type 'int_pair'
// CHECK: BindingDecl {{.*}} binding_1
// CHECK: BindingDecl {{.*}} binding_2
// CHECK-NOT: BindingDecl
// CHECK-LABEL: BindingDecl {{.*}} empty_binding_pack
// CHECK-NEXT: FunctionParmPackExpr
// CHECK: DeclStmt
#endif
|
