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
|
// RUN: %clang_cc1 -std=c++98 -fcxx-exceptions -verify %s
// RUN: %clang_cc1 -std=c++11 -fcxx-exceptions -verify %s
// RUN: %clang_cc1 -std=c++14 -fcxx-exceptions -fsized-deallocation -verify %s
// RUN: %clang_cc1 -std=c++17 -fcxx-exceptions -fsized-deallocation -verify %s
// RUN: %clang_cc1 -std=c++20 -fcxx-exceptions -fsized-deallocation -verify %s
// RUN: %clang_cc1 -std=c++2b -fcxx-exceptions -fsized-deallocation -verify %s
//
// RUN: %clang_cc1 -std=c++17 -fcxx-exceptions -fsized-deallocation -frelaxed-template-template-args -DRELAXED_TEMPLATE_TEMPLATE_ARGS=1 -verify %s
// RUN: %clang_cc1 -std=c++17 -fcxx-exceptions -fsized-deallocation -DCONCEPTS_TS=1 -verify %s
// RUN: %clang_cc1 -std=c++14 -fno-rtti -fno-threadsafe-statics -verify %s -DNO_EXCEPTIONS -DNO_RTTI -DNO_THREADSAFE_STATICS -fsized-deallocation
// RUN: %clang_cc1 -std=c++14 -fcoroutines-ts -DNO_EXCEPTIONS -DCOROUTINES -verify -fsized-deallocation %s
// RUN: %clang_cc1 -std=c++14 -fchar8_t -DNO_EXCEPTIONS -DCHAR8_T -verify -fsized-deallocation %s
// RUN: %clang_cc1 -std=c++2a -fno-char8_t -DNO_EXCEPTIONS -DNO_CHAR8_T -verify -fsized-deallocation %s
// expected-no-diagnostics
// FIXME using `defined` in a macro has undefined behavior.
#if __cplusplus < 201103L
#define check(macro, cxx98, cxx11, cxx14, cxx17, cxx20, cxx23) (cxx98 == 0 ? defined(__cpp_##macro) : __cpp_##macro != cxx98)
#elif __cplusplus < 201402L
#define check(macro, cxx98, cxx11, cxx14, cxx17, cxx20, cxx23) (cxx11 == 0 ? defined(__cpp_##macro) : __cpp_##macro != cxx11)
#elif __cplusplus < 201703L
#define check(macro, cxx98, cxx11, cxx14, cxx17, cxx20, cxx23) (cxx14 == 0 ? defined(__cpp_##macro) : __cpp_##macro != cxx14)
#elif __cplusplus < 202002L
#define check(macro, cxx98, cxx11, cxx14, cxx17, cxx20, cxx23) (cxx17 == 0 ? defined(__cpp_##macro) : __cpp_##macro != cxx17)
#elif __cplusplus == 202002L
#define check(macro, cxx98, cxx11, cxx14, cxx17, cxx20, cxx23) (cxx20 == 0 ? defined(__cpp_##macro) : __cpp_##macro != cxx20)
#else
#define check(macro, cxx98, cxx11, cxx14, cxx17, cxx20, cxx23) (cxx23 == 0 ? defined(__cpp_##macro) : __cpp_##macro != cxx23)
#endif
// --- C++2b features ---
#if check(implicit_move, 0, 0, 0, 0, 0, 202011)
#error "wrong value for __cpp_implicit_move"
#endif
#if check(size_t_suffix, 0, 0, 0, 0, 0, 202011)
#error "wrong value for __cpp_size_t_suffix"
#endif
// --- C++20 features ---
#if check(aggregate_paren_init, 0, 0, 0, 0, 0, 0)
// FIXME: 201902 in C++20
#error "wrong value for __cpp_aggregate_paren_init"
#endif
#if defined(CHAR8_T) ? check(char8_t, 201811, 201811, 201811, 201811, 201811, 201811) : \
defined(NO_CHAR8_T) ? check(char8_t, 0, 0, 0, 0, 0, 0) : \
check(char8_t, 0, 0, 0, 0, 201811, 201811)
#error "wrong value for __cpp_char8_t"
#endif
#if check(concepts, 0, 0, 0, 0, 201907, 201907)
#error "wrong value for __cpp_concepts"
#endif
#if check(conditional_explicit, 0, 0, 0, 0, 201806, 201806)
#error "wrong value for __cpp_conditional_explicit"
#endif
#if check(consteval, 0, 0, 0, 0, 0, 0)
// FIXME: 201811 in C++20
#error "wrong value for __cpp_consteval"
#endif
// constexpr checked below
#if check(constexpr_dynamic_alloc, 0, 0, 0, 0, 201907, 201907)
#error "wrong value for __cpp_constexpr_dynamic_alloc"
#endif
#if check(constexpr_in_decltype, 0, 201711, 201711, 201711, 201711, 201711)
#error "wrong value for __cpp_constexpr_in_decltype"
#endif
#if check(constinit, 0, 0, 0, 0, 201907, 201907)
#error "wrong value for __cpp_constinit"
#endif
// deduction_guides checked below
#if check(designated_initializers, 0, 0, 0, 0, 201707, 201707)
#error "wrong value for __cpp_designated_initializers"
#endif
// generic_lambdas checked below
#if check(impl_destroying_delete, 201806, 201806, 201806, 201806, 201806, 201806)
#error "wrong value for __cpp_impl_destroying_delete"
#endif
#if check(impl_three_way_comparison, 0, 0, 0, 0, 201907, 201907)
#error "wrong value for __cpp_impl_three_way_comparison"
#endif
#if check(impl_coroutine, 0, 0, 0, 0, 201902L, 201902L)
#error "wrong value for __cpp_impl_coroutine"
#endif
// init_captures checked below
#if check(modules, 0, 0, 0, 0, 0, 0)
// FIXME: 201907 in C++20
#error "wrong value for __cpp_modules"
#endif
#if check(using_enum, 0, 0, 0, 0, 201907, 201907)
#error "wrong value for __cpp_using_enum"
#endif
// --- C++17 features ---
#if check(hex_float, 0, 0, 0, 201603, 201603, 201603)
#error "wrong value for __cpp_hex_float"
#endif
#if check(inline_variables, 0, 0, 0, 201606, 201606, 201606)
#error "wrong value for __cpp_inline_variables"
#endif
#if check(aligned_new, 0, 0, 0, 201606, 201606, 201606)
#error "wrong value for __cpp_aligned_new"
#endif
#if check(guaranteed_copy_elision, 0, 0, 0, 201606, 201606, 201606)
#error "wrong value for __cpp_guaranteed_copy_elision"
#endif
#if check(noexcept_function_type, 0, 0, 0, 201510, 201510, 201510)
#error "wrong value for __cpp_noexcept_function_type"
#endif
#if check(fold_expressions, 0, 0, 0, 201603, 201603, 201603)
#error "wrong value for __cpp_fold_expressions"
#endif
#if check(capture_star_this, 0, 0, 0, 201603, 201603, 201603)
#error "wrong value for __cpp_capture_star_this"
#endif
// constexpr checked below
#if check(if_constexpr, 0, 0, 0, 201606, 201606, 201606)
#error "wrong value for __cpp_if_constexpr"
#endif
// range_based_for checked below
// static_assert checked below
#if check(deduction_guides, 0, 0, 0, 201703, 201703, 201703)
// FIXME: 201907 in C++20
#error "wrong value for __cpp_deduction_guides"
#endif
#if check(nontype_template_parameter_auto, 0, 0, 0, 201606, 201606, 201606)
#error "wrong value for __cpp_nontype_template_parameter_auto"
#endif
// This is the old name (from P0096R4) for
// __cpp_nontype_template_parameter_auto
#if check(template_auto, 0, 0, 0, 201606, 201606, 201606)
#error "wrong value for __cpp_template_auto"
#endif
#if check(namespace_attributes, 0, 0, 0, 201411, 201411, 201411)
// FIXME: allowed without warning in C++14 and C++11
#error "wrong value for __cpp_namespace_attributes"
#endif
#if check(enumerator_attributes, 0, 0, 0, 201411, 201411, 201411)
// FIXME: allowed without warning in C++14 and C++11
#error "wrong value for __cpp_enumerator_attributes"
#endif
// This is an old name (from P0096R4), now removed from SD-6.
#if check(nested_namespace_definitions, 0, 0, 0, 201411, 201411, 201411)
#error "wrong value for __cpp_nested_namespace_definitions"
#endif
// inheriting_constructors checked below
#if check(variadic_using, 0, 0, 0, 201611, 201611, 201611)
#error "wrong value for __cpp_variadic_using"
#endif
#if check(aggregate_bases, 0, 0, 0, 201603, 201603, 201603)
#error "wrong value for __cpp_aggregate_bases"
#endif
#if check(structured_bindings, 0, 0, 0, 201606, 201606, 201606)
#error "wrong value for __cpp_structured_bindings"
#endif
#if check(nontype_template_args, 0, 0, 0, 201411, 201411, 201411)
// FIXME: 201911 in C++20
#error "wrong value for __cpp_nontype_template_args"
#endif
#if defined(RELAXED_TEMPLATE_TEMPLATE_ARGS) \
? check(template_template_args, 0, 0, 0, 201611, 201611, 201611) \
: check(template_template_args, 0, 0, 0, 0, 0, 0)
#error "wrong value for __cpp_template_template_args"
#endif
// --- C++14 features ---
#if check(binary_literals, 0, 0, 201304, 201304, 201304, 201304)
#error "wrong value for __cpp_binary_literals"
#endif
// (Removed from SD-6.)
#if check(digit_separators, 0, 0, 201309, 201309, 201309, 201309)
#error "wrong value for __cpp_digit_separators"
#endif
#if check(init_captures, 0, 0, 201304, 201304, 201803, 201803)
#error "wrong value for __cpp_init_captures"
#endif
#if check(generic_lambdas, 0, 0, 201304, 201304, 201707, 201707)
#error "wrong value for __cpp_generic_lambdas"
#endif
#if check(sized_deallocation, 0, 0, 201309, 201309, 201309, 201309)
#error "wrong value for __cpp_sized_deallocation"
#endif
// constexpr checked below
#if check(decltype_auto, 0, 0, 201304, 201304, 201304, 201304)
#error "wrong value for __cpp_decltype_auto"
#endif
#if check(return_type_deduction, 0, 0, 201304, 201304, 201304, 201304)
#error "wrong value for __cpp_return_type_deduction"
#endif
#if check(runtime_arrays, 0, 0, 0, 0, 0, 0)
#error "wrong value for __cpp_runtime_arrays"
#endif
#if check(aggregate_nsdmi, 0, 0, 201304, 201304, 201304, 201304)
#error "wrong value for __cpp_aggregate_nsdmi"
#endif
#if check(variable_templates, 0, 0, 201304, 201304, 201304, 201304)
#error "wrong value for __cpp_variable_templates"
#endif
// --- C++11 features ---
#if check(unicode_characters, 0, 200704, 200704, 200704, 200704, 200704)
#error "wrong value for __cpp_unicode_characters"
#endif
#if check(raw_strings, 0, 200710, 200710, 200710, 200710, 200710)
#error "wrong value for __cpp_raw_strings"
#endif
#if check(unicode_literals, 0, 200710, 200710, 200710, 200710, 200710)
#error "wrong value for __cpp_unicode_literals"
#endif
#if check(user_defined_literals, 0, 200809, 200809, 200809, 200809, 200809)
#error "wrong value for __cpp_user_defined_literals"
#endif
#if defined(NO_THREADSAFE_STATICS) ? check(threadsafe_static_init, 0, 0, 0, 0, 0, 0) : \
check(threadsafe_static_init, 200806, 200806, 200806, 200806, 200806, 200806)
#error "wrong value for __cpp_threadsafe_static_init"
#endif
#if check(lambdas, 0, 200907, 200907, 200907, 200907, 200907)
#error "wrong value for __cpp_lambdas"
#endif
#if check(constexpr, 0, 200704, 201304, 201603, 201907, 202110)
#error "wrong value for __cpp_constexpr"
#endif
#if check(range_based_for, 0, 200907, 200907, 201603, 201603, 201603)
#error "wrong value for __cpp_range_based_for"
#endif
#if check(static_assert, 0, 200410, 200410, 201411, 201411, 201411)
#error "wrong value for __cpp_static_assert"
#endif
#if check(decltype, 0, 200707, 200707, 200707, 200707, 200707)
#error "wrong value for __cpp_decltype"
#endif
#if check(attributes, 0, 200809, 200809, 200809, 200809, 200809)
#error "wrong value for __cpp_attributes"
#endif
#if check(rvalue_references, 0, 200610, 200610, 200610, 200610, 200610)
#error "wrong value for __cpp_rvalue_references"
#endif
#if check(variadic_templates, 0, 200704, 200704, 200704, 200704, 200704)
#error "wrong value for __cpp_variadic_templates"
#endif
#if check(initializer_lists, 0, 200806, 200806, 200806, 200806, 200806)
#error "wrong value for __cpp_initializer_lists"
#endif
#if check(delegating_constructors, 0, 200604, 200604, 200604, 200604, 200604)
#error "wrong value for __cpp_delegating_constructors"
#endif
#if check(nsdmi, 0, 200809, 200809, 200809, 200809, 200809)
#error "wrong value for __cpp_nsdmi"
#endif
#if check(inheriting_constructors, 0, 201511, 201511, 201511, 201511, 201511)
#error "wrong value for __cpp_inheriting_constructors"
#endif
#if check(ref_qualifiers, 0, 200710, 200710, 200710, 200710, 200710)
#error "wrong value for __cpp_ref_qualifiers"
#endif
#if check(alias_templates, 0, 200704, 200704, 200704, 200704, 200704)
#error "wrong value for __cpp_alias_templates"
#endif
// --- C++98 features ---
#if defined(NO_RTTI) ? check(rtti, 0, 0, 0, 0, 0, 0) : check(rtti, 199711, 199711, 199711, 199711, 199711, 199711)
#error "wrong value for __cpp_rtti"
#endif
#if defined(NO_EXCEPTIONS) ? check(exceptions, 0, 0, 0, 0, 0, 0) : check(exceptions, 199711, 199711, 199711, 199711, 199711, 199711)
#error "wrong value for __cpp_exceptions"
#endif
// --- TS features --
#if defined(COROUTINES) ? check(coroutines, 201703, 201703, 201703, 201703, 201703, 201703) : check(coroutines, 0, 0, 0, 0, 201703, 201703)
#error "wrong value for __cpp_coroutines"
#endif
|
