1 // Test without serialization:
2 // RUN: %clang_cc1 -triple x86_64-unknown-unknown -Wno-unused-value -std=gnu++17 \
3 // RUN:            -ast-dump %s -ast-dump-filter Test \
4 // RUN: | FileCheck --strict-whitespace --match-full-lines %s
5 //
6 // Test with serialization:
7 // RUN: %clang_cc1 -triple x86_64-unknown-unknown -Wno-unused-value -std=gnu++17 -emit-pch -o %t %s
8 // RUN: %clang_cc1 -x c++ -triple x86_64-unknown-unknown -Wno-unused-value -std=gnu++17 \
9 // RUN:           -include-pch %t -ast-dump-all -ast-dump-filter Test /dev/null \
10 // RUN: | sed -e "s/ <undeserialized declarations>//" -e "s/ imported//" \
11 // RUN: | FileCheck --strict-whitespace --match-full-lines %s
12 
13 struct S0 {
14   int i = 0;
15   union {
16     int j = 0;
17   } u0;
18 };
19 
20 struct S1 {
21   int i = 0;
22   union {
23     struct {
24       int j = 0;
25     } s;
26   } u1;
27 };
28 
29 struct S2 {
30   int i = 0;
31   union {
32     union {
33       int j = 0;
34     } u;
35   } u2;
36 };
37 
38 struct S3 {
39   int i = 0;
40   union {
41     union {
42       struct {
43         int j = 0;
44       } j;
45     } u;
46   } u3;
47 };
48 
49 struct S4 : S0 {
50   int i = 1, j = 2, k = 3;
51   struct {
52   } s;
53   int a = 4, b = 5, c = 6;
54 };
55 
56 struct S5 : S4 {
57   int arr0[8] = {1, 2, 3, 4};
58   int arr1[8] = {1, 2, 3, 4, 0, 0, 0, 0};
59 };
60 
61 void Test() {
62   constexpr S0 s0{};
63   // CHECK:  | `-VarDecl {{.*}} <col:{{.*}}, col:{{.*}}> col:{{.*}} s0 'const S0' constexpr listinit
64   // CHECK-NEXT:  |   |-value: Struct
65   // CHECK-NEXT:  |   | `-fields: Int 0, Union .j Int 0
66 
67   constexpr S1 s1{};
68   // CHECK:  | `-VarDecl {{.*}} <col:{{.*}}, col:{{.*}}> col:{{.*}} s1 'const S1' constexpr listinit
69   // CHECK-NEXT:  |   |-value: Struct
70   // CHECK-NEXT:  |   | |-field: Int 0
71   // CHECK-NEXT:  |   | `-field: Union .s
72   // CHECK-NEXT:  |   |   `-Struct
73   // CHECK-NEXT:  |   |     `-field: Int 0
74 
75   constexpr S2 s2{};
76   // CHECK:  | `-VarDecl {{.*}} <col:{{.*}}, col:{{.*}}> col:{{.*}} s2 'const S2' constexpr listinit
77   // CHECK-NEXT:  |   |-value: Struct
78   // CHECK-NEXT:  |   | `-fields: Int 0, Union .u Union .j Int 0
79 
80   constexpr S3 s3{};
81   // CHECK:  | `-VarDecl {{.*}} <col:{{.*}}, col:{{.*}}> col:{{.*}} s3 'const S3' constexpr listinit
82   // CHECK-NEXT:  |   |-value: Struct
83   // CHECK-NEXT:  |   | |-field: Int 0
84   // CHECK-NEXT:  |   | `-field: Union .u
85   // CHECK-NEXT:  |   |   `-Union .j
86   // CHECK-NEXT:  |   |     `-Struct
87   // CHECK-NEXT:  |   |       `-field: Int 0
88 
89   constexpr S4 s4{};
90   // CHECK:  | `-VarDecl {{.*}} <col:{{.*}}, col:{{.*}}> col:{{.*}} s4 'const S4' constexpr listinit
91   // CHECK-NEXT:  |   |-value: Struct
92   // CHECK-NEXT:  |   | |-base: Struct
93   // CHECK-NEXT:  |   | | `-fields: Int 0, Union .j Int 0
94   // CHECK-NEXT:  |   | |-fields: Int 1, Int 2, Int 3
95   // CHECK-NEXT:  |   | |-field: Struct
96   // CHECK-NEXT:  |   | `-fields: Int 4, Int 5, Int 6
97 
98   constexpr S5 s5{};
99   // CHECK:    `-VarDecl {{.*}} <col:{{.*}}, col:{{.*}}> col:{{.*}} s5 'const S5' constexpr listinit
100   // CHECK-NEXT:      |-value: Struct
101   // CHECK-NEXT:      | |-base: Struct
102   // CHECK-NEXT:      | | |-base: Struct
103   // CHECK-NEXT:      | | | `-fields: Int 0, Union .j Int 0
104   // CHECK-NEXT:      | | |-fields: Int 1, Int 2, Int 3
105   // CHECK-NEXT:      | | |-field: Struct
106   // CHECK-NEXT:      | | `-fields: Int 4, Int 5, Int 6
107   // CHECK-NEXT:      | |-field: Array size=8
108   // CHECK-NEXT:      | | |-elements: Int 1, Int 2, Int 3, Int 4
109   // CHECK-NEXT:      | | `-filler: 4 x Int 0
110   // CHECK-NEXT:      | `-field: Array size=8
111   // CHECK-NEXT:      |   |-elements: Int 1, Int 2, Int 3, Int 4
112   // CHECK-NEXT:      |   `-elements: Int 0, Int 0, Int 0, Int 0
113 }
114