1 // PR c++/25811
2 // { dg-do compile }
3
4 struct A1 // { dg-message "implicitly deleted" "" { target c++11 } }
5 // { dg-error "uninitialized" "" { target c++11 } 4 }
6 {
7 int const j; // { dg-message "should be initialized" }
8 };
9
10 struct A2 // { dg-message "implicitly deleted" "" { target c++11 } }
11 // { dg-error "uninitialized" "" { target c++11 } 10 }
12 {
13 int const volatile i; // { dg-message "should be initialized" }
14 };
15
16 struct A3 // { dg-message "implicitly deleted" "" { target c++11 } }
17 // { dg-error "uninitialized" "" { target c++11 } 16 }
18 {
19 int& ref; // { dg-message "should be initialized" }
20 };
21
22 struct A4 // { dg-message "implicitly deleted" "" { target c++11 } }
23 // { dg-error "uninitialized" "" { target c++11 } 22 }
24 {
25 int const& ref; // { dg-message "should be initialized" }
26 };
27
28 struct A5 // { dg-message "implicitly deleted" "" { target c++11 } }
29 // { dg-error "uninitialized" "" { target c++11 } 28 }
30 {
31 int& ref; // { dg-message "should be initialized" }
32 int const i; // { dg-message "should be initialized" }
33 };
34
35 template <class T> struct S1 // { dg-message "implicitly deleted" "" { target c++11 } }
36 // { dg-error "uninitialized" "" { target c++11 } 35 }
37 {
38 T const i; // { dg-message "should be initialized" }
39 };
40
41 template <class T> struct S2 // { dg-message "implicitly deleted" "" { target c++11 } }
42 // { dg-error "uninitialized" "" { target c++11 } 41 }
43 {
44 T const volatile i; // { dg-message "should be initialized" }
45 };
46
47 template <class T> struct S3 // { dg-message "implicitly deleted" "" { target c++11 } }
48 // { dg-error "uninitialized" "" { target c++11 } 47 }
49 {
50 T& ref; // { dg-message "should be initialized" }
51 };
52
53 template <class T> struct S4 // { dg-message "implicitly deleted" "" { target c++11 } }
54 // { dg-error "uninitialized" "" { target c++11 } 53 }
55 {
56 T const i; // { dg-message "should be initialized" }
57 T& ref; // { dg-message "should be initialized" }
58 };
59
60 struct X
61 {
XX62 X () : c (0), r (c) {}
63 int const c;
64 int const& r;
65 };
66
67 struct Y11 // { dg-message "implicitly deleted" "" { target c++11 } }
68 // { dg-error "uninitialized" "" { target c++11 } 67 }
69 {
70 int const i; // { dg-message "should be initialized" }
71 };
72
73 struct Y1 // { dg-error "deleted" "" { target c++11 } }
74 {
75 Y11 a[1];
76 };
77
78 struct Y22 // { dg-message "implicitly deleted" "" { target c++11 } }
79 // { dg-error "uninitialized" "" { target c++11 } 78 }
80 {
81 int& ref; // { dg-message "should be initialized" }
82 };
83
84 struct Y2 // { dg-error "deleted" "" { target c++11 } }
85 {
86 Y22 a[1];
87 };
88
89 struct Z1 // { dg-message "implicitly deleted" "" { target c++11 } }
90 // { dg-error "uninitialized" "" { target c++11 } 89 }
91 {
92 int const i; // { dg-message "should be initialized" }
93 };
94
95 struct Z2 // { dg-message "implicitly deleted" "" { target c++11 } }
96 // { dg-error "uninitialized" "" { target c++11 } 95 }
97 {
98 int& ref; // { dg-message "should be initialized" }
99 };
100
101 struct Z3 // { dg-message "implicitly deleted" "" { target c++11 } }
102 // { dg-error "uninitialized" "" { target c++11 } 101 }
103 {
104 int const i; // { dg-message "should be initialized" }
105 };
106
107 struct Z4 // { dg-message "implicitly deleted" "" { target c++11 } }
108 // { dg-error "uninitialized" "" { target c++11 } 107 }
109 {
110 int& ref; // { dg-message "should be initialized" }
111 };
112
113 struct Z5
114 {
115 int i;
116 };
117
118 struct Z // { dg-error "deleted" "" { target c++11 } }
119 {
120 Z1 z1;
121 Z2 z2;
122 Z3 z3;
123 Z4 z4;
124 Z5 z5;
125 };
126
127 union U // { dg-message "implicitly deleted" "" { target c++11 } }
128 // { dg-error "uninitialized" "" { target c++11 } 127 }
129 {
130 int const i; // { dg-message "should be initialized" }
131 };
132
f1()133 void f1 ()
134 {
135 new A1; // { dg-error "deleted|uninitialized const member" }
136 }
137
f2()138 void f2 ()
139 {
140 new A2; // { dg-error "deleted|uninitialized const member" }
141 }
142
f3()143 void f3 ()
144 {
145 new A3; // { dg-error "deleted|uninitialized reference member" }
146 }
147
f4()148 void f4 ()
149 {
150 new A4; // { dg-error "deleted|uninitialized reference member" }
151 }
152
f5()153 void f5 ()
154 {
155 new A5; // { dg-error "deleted|uninitialized reference member|uninitialized const member" }
156 }
157
f6()158 void f6 ()
159 {
160 new S1<int>; // { dg-error "deleted|uninitialized const member" }
161 }
162
f7()163 void f7 ()
164 {
165 new S2<int>; // { dg-error "deleted|uninitialized const member" }
166 }
167
f8()168 void f8 ()
169 {
170 new S3<int>; // { dg-error "deleted|uninitialized reference member" }
171 }
172
f9()173 void f9 ()
174 {
175 new S4<int>; // { dg-error "deleted|uninitialized reference member|uninitialized const member" }
176 }
177
f10()178 void f10 ()
179 {
180 new X;
181 }
182
f11()183 void f11 ()
184 {
185 new A1[1]; // { dg-error "deleted|uninitialized const member" }
186 }
187
f12()188 void f12 ()
189 {
190 new A3[1]; // { dg-error "deleted|uninitialized reference member" }
191 }
192
f13()193 void f13 ()
194 {
195 new Y1; // { dg-error "deleted|uninitialized const member" }
196 }
197
f14()198 void f14 ()
199 {
200 new Y2; // { dg-error "deleted|uninitialized reference member" }
201 }
202
f15()203 void f15 ()
204 {
205 new Z; // { dg-error "deleted|uninitialized reference member|uninitialized const member" }
206 }
207
f16()208 void f16 ()
209 {
210 new U; // { dg-error "deleted|uninitialized const member" }
211 }
212