aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/g++.dg/cpp2a/feat-cxx2a.C
blob: 753a6ecd0a85e82bb75d4e709484fa2b800043a7 (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
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
// { dg-options "-std=c++2a -I${srcdir}/g++.dg/cpp1y -I${srcdir}/g++.dg/cpp1y/testinc" }

//  C++98 features:

#ifndef __cpp_rtti
#  error "__cpp_rtti"
#elif  __cpp_rtti != 199711
#  error "__cpp_rtti != 199711"
#endif

#ifndef __cpp_exceptions
#  error "__cpp_exceptions"
#elif  __cpp_exceptions != 199711
#  error "__cpp_exceptions != 199711"
#endif

//  C++11 features:

#ifndef __cpp_raw_strings
#  error "__cpp_raw_strings"
#elif __cpp_raw_strings != 200710
#  error "__cpp_raw_strings != 200710"
#endif

#ifndef __cpp_unicode_literals
#  error "__cpp_unicode_literals"
#elif __cpp_unicode_literals != 200710
#  error "__cpp_unicode_literals != 200710"
#endif

#ifndef __cpp_user_defined_literals
#  error "__cpp_user_defined_literals"
#elif __cpp_user_defined_literals != 200809
#  error "__cpp_user_defined_literals != 200809"
#endif

#ifndef __cpp_lambdas
#  error "__cpp_lambdas"
#elif __cpp_lambdas != 200907
#  error "__cpp_lambdas != 200907"
#endif

#ifndef __cpp_range_based_for
#  error "__cpp_range_based_for"
#elif __cpp_range_based_for != 201603
#  error "__cpp_range_based_for != 201603"
#endif

#ifndef __cpp_decltype
#  error "__cpp_decltype"
#elif __cpp_decltype != 200707
#  error "__cpp_decltype != 200707"
#endif

#ifndef __cpp_attributes
#  error "__cpp_attributes"
#elif __cpp_attributes != 200809
#  error "__cpp_attributes != 200809"
#endif

#ifndef __cpp_rvalue_references
#  error "__cpp_rvalue_references"
#elif __cpp_rvalue_references != 200610
#  error "__cpp_rvalue_references != 200610"
#endif

#ifndef __cpp_variadic_templates
#  error "__cpp_variadic_templates"
#elif __cpp_variadic_templates != 200704
#  error "__cpp_variadic_templates != 200704"
#endif

#ifndef __cpp_initializer_lists
#  error "__cpp_initializer_lists"
#elif __cpp_initializer_lists != 200806
#  error "__cpp_initializer_lists != 200806"
#endif

#ifndef __cpp_delegating_constructors
#  error "__cpp_delegating_constructors"
#elif __cpp_delegating_constructors != 200604
#  error "__cpp_delegating_constructors != 200604"
#endif

#ifndef __cpp_nsdmi
#  error "__cpp_nsdmi"
#elif __cpp_nsdmi != 200809
#  error "__cpp_nsdmi != 200809"
#endif

#ifndef __cpp_inheriting_constructors
#  error "__cpp_inheriting_constructors"
#elif  __cpp_inheriting_constructors!= 201511
#  error "__cpp_inheriting_constructors != 201511"
#endif

#ifndef __cpp_ref_qualifiers
#  error "__cpp_ref_qualifiers"
#elif __cpp_ref_qualifiers != 200710
#  error "__cpp_ref_qualifiers != 200710"
#endif

#ifndef __cpp_alias_templates
#  error "__cpp_alias_templates"
#elif __cpp_alias_templates != 200704
#  error "__cpp_alias_templates != 200704"
#endif

#ifndef __cpp_threadsafe_static_init
#  error "__cpp_threadsafe_static_init"
#elif __cpp_threadsafe_static_init != 200806
#  error "__cpp_threadsafe_static_init != 200806"
#endif

//  C++14 features:

#ifndef __cpp_binary_literals
#  error "__cpp_binary_literals"
#elif __cpp_binary_literals != 201304
#  error "__cpp_binary_literals != 201304"
#endif

#ifndef __cpp_init_captures
#  error "__cpp_init_captures"
#elif __cpp_init_captures != 201803
#  error "__cpp_init_captures != 201803"
#endif

#ifndef __cpp_generic_lambdas
#  error "__cpp_generic_lambdas"
#elif __cpp_generic_lambdas != 201707
#  error "__cpp_generic_lambdas != 201707"
#endif

#ifndef __cpp_constexpr
#  error "__cpp_constexpr"
#elif __cpp_constexpr != 201603
#  error "__cpp_constexpr != 201603"
#endif

#ifndef __cpp_decltype_auto
#  error "__cpp_decltype_auto"
#elif __cpp_decltype_auto != 201304
#  error "__cpp_decltype_auto != 201304"
#endif

#ifndef __cpp_return_type_deduction
#  error "__cpp_return_type_deduction"
#elif __cpp_return_type_deduction != 201304
#  error "__cpp_return_type_deduction != 201304"
#endif

#ifndef __cpp_aggregate_nsdmi
#  error "__cpp_aggregate_nsdmi"
#elif __cpp_aggregate_nsdmi != 201304
#  error "__cpp_aggregate_nsdmi != 201304"
#endif

#ifndef __cpp_variable_templates
#  error "__cpp_variable_templates"
#elif __cpp_variable_templates != 201304
#  error "__cpp_variable_templates != 201304"
#endif

#ifndef __cpp_digit_separators
#  error "__cpp_digit_separators"
#elif __cpp_digit_separators != 201309
#  error "__cpp_digit_separators != 201309"
#endif

#ifndef __cpp_sized_deallocation
#  error "__cpp_sized_deallocation"
#elif __cpp_sized_deallocation != 201309
#  error "__cpp_sized_deallocation != 201309"
#endif

//  GNU VLA support:

#ifndef __cpp_runtime_arrays
#  error "__cpp_runtime_arrays"
#elif __cpp_runtime_arrays != 198712
#  error "__cpp_runtime_arrays != 198712"
#endif

//  C++11 attributes:

#ifdef __has_cpp_attribute
#  if ! __has_cpp_attribute(noreturn)
#    error "__has_cpp_attribute(noreturn)"
#  elif __has_cpp_attribute(noreturn) != 200809
#    error "__has_cpp_attribute(noreturn) != 200809"
#  endif
#else
#  error "__has_cpp_attribute"
#endif

//  Attribute carries_dependency not in yet.
//#ifdef __has_cpp_attribute
//#  if ! __has_cpp_attribute(carries_dependency)
//#    error "__has_cpp_attribute(carries_dependency)"
//#  elif __has_cpp_attribute(carries_dependency) != 200809
//#    error "__has_cpp_attribute(carries_dependency) != 200809"
//#  endif
//#else
//#  error "__has_cpp_attribute"
//#endif

//  C++14 attributes:

#ifdef __has_cpp_attribute
#  if ! __has_cpp_attribute(deprecated)
#    error "__has_cpp_attribute(deprecated)"
#  elif __has_cpp_attribute(deprecated) != 201309
#    error "__has_cpp_attribute(deprecated) != 201309"
#  endif
#else
#  error "__has_cpp_attribute"
#endif

//  Include checks:

//  Check for __has_include macro.
#ifndef __has_include
#  error "__has_include"
#endif

//  Quoted complex.h should find at least the bracket version (use operator).
#if __has_include__ "complex.h"
#else
#  error "complex.h"
#endif

//  Try known bracket header (use operator).
#if __has_include__(<complex>)
#else
#  error "<complex>"
#endif

//  Define and use a macro to invoke the operator.
#define sluggo(TXT) __has_include__(TXT)

#if sluggo(<complex>)
#else
#  error "<complex>"
#endif

#if ! sluggo(<complex>)
#  error "<complex>"
#else
#endif

//  Quoted complex.h should find at least the bracket version.
#if __has_include("complex.h")
#else
#  error "complex.h"
#endif

//  Try known local quote header.
#if __has_include("complex_literals.h")
#else
#  error "\"complex_literals.h\""
#endif

//  Try nonexistent bracket header.
#if __has_include(<stuff>)
#  error "<stuff>"
#else
#endif

//  Try nonexistent quote header.
#if __has_include("phlegm")
#  error "\"phlegm\""
#else
#endif

//  Test __has_include_next.
#if __has_include("phoobhar.h")
#  include "phoobhar.h"
#else
#  error "__has_include(\"phoobhar.h\")"
#endif

//  Try a macro.
#define COMPLEX_INC "complex.h"
#if __has_include(COMPLEX_INC)
#else
#  error COMPLEX_INC
#endif

//  Realistic use of __has_include.
#if __has_include(<array>)
#  define STD_ARRAY 1
#  include <array>
  template<typename _Tp, std::size_t _Num>
    using array = std::array<_Tp, _Num>;
#elif __has_include(<tr1/array>)
#  define TR1_ARRAY 1
#  include <tr1/array>
  template<typename _Tp, std::size_t _Num>
    typedef std::tr1::array<_Tp, _Num> array;
#endif

// C++17 features:

#ifndef __cpp_unicode_characters
#  error "__cpp_unicode_characters"
#elif __cpp_unicode_characters != 201411
#  error "__cpp_unicode_characters != 201411"
#endif

#ifndef __cpp_static_assert
#  error "__cpp_static_assert"
#elif __cpp_static_assert != 201411
#  error "__cpp_static_assert != 201411"
#endif

#ifndef __cpp_namespace_attributes
#  error "__cpp_namespace_attributes"
#elif __cpp_namespace_attributes != 201411
#  error "__cpp_namespace_attributes != 201411"
#endif

#ifndef __cpp_enumerator_attributes
#  error "__cpp_enumerator_attributes"
#elif __cpp_enumerator_attributes != 201411
#  error "__cpp_enumerator_attributes != 201411"
#endif

#ifndef __cpp_nested_namespace_definitions
#  error "__cpp_nested_namespace_definitions"
#elif __cpp_nested_namespace_definitions != 201411
#  error "__cpp_nested_namespace_definitions != 201411"
#endif

#ifndef __cpp_fold_expressions
#  error "__cpp_fold_expressions"
#elif __cpp_fold_expressions != 201603
#  error "__cpp_fold_expressions != 201603"
#endif

#ifndef __cpp_nontype_template_args
#  error "__cpp_nontype_template_args"
#elif __cpp_nontype_template_args != 201411
#  error "__cpp_nontype_template_args != 201411"
#endif

#ifndef __cpp_hex_float
#  error "__cpp_hex_float"
#elif __cpp_hex_float != 201603
#  error "__cpp_hex_float != 201603"
#endif

#ifndef __cpp_aggregate_bases
#  error "__cpp_aggregate_bases"
#elif __cpp_aggregate_bases != 201603
#  error "__cpp_aggregate_bases != 201603"
#endif

#ifndef __cpp_deduction_guides
#  error "__cpp_deduction_guides"
#elif __cpp_deduction_guides != 201703
#  error "__cpp_deduction_guides != 201703"
#endif

#ifndef __cpp_if_constexpr
#  error "__cpp_if_constexpr"
#elif __cpp_if_constexpr != 201606
#  error "__cpp_if_constexpr != 201606"
#endif

#ifndef __cpp_aligned_new
#  error "__cpp_aligned_new"
#elif __cpp_aligned_new != 201606
#  error "__cpp_aligned_new != 201606"
#endif

#ifndef __cpp_template_auto
#  error "__cpp_template_auto"
#elif __cpp_template_auto != 201606
#  error "__cpp_template_auto != 201606"
#endif

#ifndef __cpp_inline_variables
#  error "__cpp_inline_variables"
#elif __cpp_inline_variables != 201606
#  error "__cpp_inline_variables != 201606"
#endif

#ifndef __cpp_capture_star_this
#  error "__cpp_capture_star_this"
#elif __cpp_capture_star_this != 201603
#  error "__cpp_capture_star_this != 201603"
#endif

#ifndef __cpp_noexcept_function_type
#  error "__cpp_noexcept_function_type"
#elif __cpp_noexcept_function_type != 201510
#  error "__cpp_noexcept_function_type != 201510"
#endif

#ifndef __cpp_structured_bindings
#  error "__cpp_structured_bindings"
#elif __cpp_structured_bindings != 201606
#  error "__cpp_structured_bindings != 201606"
#endif

#ifndef __cpp_template_template_args
#  error "__cpp_template_template_args"
#elif __cpp_template_template_args != 201611
#  error "__cpp_template_template_args != 201611"
#endif

#ifndef __cpp_variadic_using
#  error "__cpp_variadic_using"
#elif __cpp_variadic_using != 201611
#  error "__cpp_variadic_using != 201611"
#endif

#ifndef __cpp_guaranteed_copy_elision
#  error "__cpp_guaranteed_copy_elision"
#elif __cpp_guaranteed_copy_elision != 201606
#  error "__cpp_guaranteed_copy_elision != 201606"
#endif

#ifndef __cpp_nontype_template_parameter_auto
#  error "__cpp_nontype_template_parameter_auto"
#elif __cpp_nontype_template_parameter_auto != 201606
#  error "__cpp_nontype_template_parameter_auto != 201606"
#endif

// C++20 features

#ifndef __cpp_conditional_explicit
#  error "__cpp_conditional_explicit"
#elif __cpp_conditional_explicit != 201806
#  error "__cpp_conditional_explicit != 201806"
#endif

#ifndef __cpp_nontype_template_parameter_class
#  error "__cpp_nontype_template_parameter_class"
#elif __cpp_nontype_template_parameter_class != 201806
#  error "__cpp_nontype_template_parameter_class != 201806"
#endif

#ifndef __cpp_impl_destroying_delete
#  error "__cpp_impl_destroying_delete"
#elif __cpp_impl_destroying_delete != 201806
#  error "__cpp_impl_destroying_delete != 201806"
#endif

#ifndef __cpp_constinit
#  error "__cpp_constinit"
#elif __cpp_constinit != 201907
#  error "__cpp_constinit != 201907"
#endif

#ifndef __cpp_constexpr_dynamic_alloc
#  error "__cpp_constexpr_dynamic_alloc"
#elif __cpp_constexpr_dynamic_alloc != 201907
#  error "__cpp_constexpr_dynamic_alloc != 201907"
#endif

#ifdef __has_cpp_attribute

#  if ! __has_cpp_attribute(maybe_unused)
#    error "__has_cpp_attribute(maybe_unused)"
#  elif __has_cpp_attribute(maybe_unused) != 201603
#    error "__has_cpp_attribute(maybe_unused) != 201603"
#  endif

#  if ! __has_cpp_attribute(nodiscard)
#    error "__has_cpp_attribute(nodiscard)"
#  elif __has_cpp_attribute(nodiscard) != 201907
#    error "__has_cpp_attribute(nodiscard) != 201907"
#  endif

#  if ! __has_cpp_attribute(fallthrough)
#    error "__has_cpp_attribute(fallthrough)"
#  elif __has_cpp_attribute(fallthrough) != 201603
#    error "__has_cpp_attribute(fallthrough) != 201603"
#  endif

#  if ! __has_cpp_attribute(no_unique_address)
#    error "__has_cpp_attribute(no_unique_address)"
#  elif __has_cpp_attribute(no_unique_address) != 201803
#    error "__has_cpp_attribute(no_unique_address) != 201803"
#  endif

#  if ! __has_cpp_attribute(likely)
#    error "__has_cpp_attribute(likely)"
#  elif __has_cpp_attribute(likely) != 201803
#    error "__has_cpp_attribute(likely) != 201803"
#  endif

#  if ! __has_cpp_attribute(unlikely)
#    error "__has_cpp_attribute(unlikely)"
#  elif __has_cpp_attribute(unlikely) != 201803
#    error "__has_cpp_attribute(unlikely) != 201803"
#  endif

#else
#  error "__has_cpp_attribute"
#endif

#ifndef __cpp_char8_t
#  error "__cpp_char8_t"
#elif __cpp_char8_t != 201811
#  error "__cpp_char8_t != 201811"
#endif

#ifndef __cpp_designated_initializers
#  error "__cpp_designated_initializers"
#elif __cpp_designated_initializers != 201707
#  error "__cpp_designated_initializers != 201707"
#endif

#ifndef __cpp_constexpr_in_decltype
#  error "__cpp_constexpr_in_decltype"
#elif __cpp_constexpr_in_decltype != 201711
#  error "__cpp_constexpr_in_decltype != 201711"
#endif

#ifndef __cpp_consteval
#  error "__cpp_consteval"
#elif __cpp_consteval != 201811
#  error "__cpp_consteval != 201811"
#endif

#ifndef __cpp_concepts
#  error "__cpp_concepts"
#elif __cpp_concepts != 201907
#  error "__cpp_concepts != 201907"
#endif