1//==--- DiagnosticParseKinds.td - libparse diagnostics --------------------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8
9//===----------------------------------------------------------------------===//
10// Parser Diagnostics
11//===----------------------------------------------------------------------===//
12
13let Component = "Parse" in {
14
15def err_asm_qualifier_ignored : Error<
16  "expected 'volatile', 'inline', 'goto', or '('">, CatInlineAsm;
17def err_global_asm_qualifier_ignored : Error<
18  "meaningless '%0' on asm outside function">, CatInlineAsm;
19
20let CategoryName = "Inline Assembly Issue" in {
21def err_asm_empty : Error<"__asm used with no assembly instructions">;
22def err_inline_ms_asm_parsing : Error<"%0">;
23def err_msasm_unsupported_arch : Error<
24  "unsupported architecture '%0' for MS-style inline assembly">;
25def err_msasm_unable_to_create_target : Error<
26  "MS-style inline assembly is not available: %0">;
27def err_gnu_inline_asm_disabled : Error<
28  "GNU-style inline assembly is disabled">;
29def err_asm_duplicate_qual : Error<"duplicate asm qualifier '%0'">;
30}
31
32let CategoryName = "Parse Issue" in {
33
34def ext_empty_translation_unit : Extension<
35  "ISO C requires a translation unit to contain at least one declaration">,
36  InGroup<DiagGroup<"empty-translation-unit">>;
37def warn_cxx98_compat_top_level_semi : Warning<
38  "extra ';' outside of a function is incompatible with C++98">,
39  InGroup<CXX98CompatExtraSemi>, DefaultIgnore;
40def ext_extra_semi : Extension<
41  "extra ';' %select{"
42  "outside of a function|"
43  "inside a %1|"
44  "inside instance variable list|"
45  "after member function definition}0">,
46  InGroup<ExtraSemi>;
47def ext_extra_semi_cxx11 : Extension<
48  "extra ';' outside of a function is a C++11 extension">,
49  InGroup<CXX11ExtraSemi>;
50def warn_extra_semi_after_mem_fn_def : Warning<
51  "extra ';' after member function definition">,
52  InGroup<ExtraSemi>, DefaultIgnore;
53def warn_null_statement : Warning<
54  "empty expression statement has no effect; "
55  "remove unnecessary ';' to silence this warning">,
56  InGroup<ExtraSemiStmt>, DefaultIgnore;
57
58def warn_misleading_indentation : Warning<
59  "misleading indentation; statement is not part of "
60  "the previous '%select{if|else|for|while}0'">,
61  InGroup<MisleadingIndentation>, DefaultIgnore;
62def note_previous_statement : Note<
63  "previous statement is here">;
64
65def subst_compound_token_kind : TextSubstitution<
66  "%select{%1 and |}0%2 tokens "
67  "%select{introducing statement expression|terminating statement expression|"
68  "introducing attribute|terminating attribute|"
69  "forming pointer to member type}3">;
70def warn_compound_token_split_by_macro : Warning<
71  "%sub{subst_compound_token_kind}0,1,2,3 appear in different "
72  "macro expansion contexts">, InGroup<CompoundTokenSplitByMacro>;
73def note_compound_token_split_second_token_here : Note<
74  "%select{|second }0%1 token is here">;
75def warn_compound_token_split_by_whitespace : Warning<
76  "%sub{subst_compound_token_kind}0,1,2,3 are separated by whitespace">,
77  InGroup<CompoundTokenSplitBySpace>, DefaultIgnore;
78
79def ext_thread_before : Extension<"'__thread' before '%0'">;
80def ext_keyword_as_ident : ExtWarn<
81  "keyword '%0' will be made available as an identifier "
82  "%select{here|for the remainder of the translation unit}1">,
83  InGroup<KeywordCompat>;
84
85def ext_nullability : Extension<
86  "type nullability specifier %0 is a Clang extension">,
87  InGroup<DiagGroup<"nullability-extension">>;
88
89def err_empty_enum : Error<"use of empty enum">;
90
91def ext_ident_list_in_param : Extension<
92  "type-less parameter names in function declaration">;
93def ext_c99_variable_decl_in_for_loop : Extension<
94  "variable declaration in for loop is a C99-specific feature">, InGroup<C99>;
95def ext_c99_compound_literal : Extension<
96  "compound literals are a C99-specific feature">, InGroup<C99>;
97def ext_enumerator_list_comma_c : Extension<
98  "commas at the end of enumerator lists are a C99-specific "
99  "feature">, InGroup<C99>;
100def ext_enumerator_list_comma_cxx : Extension<
101  "commas at the end of enumerator lists are a C++11 extension">,
102  InGroup<CXX11>;
103def warn_cxx98_compat_enumerator_list_comma : Warning<
104  "commas at the end of enumerator lists are incompatible with C++98">,
105  InGroup<CXX98CompatPedantic>, DefaultIgnore;
106def err_enumerator_list_missing_comma : Error<
107  "missing ',' between enumerators">;
108def err_enumerator_unnamed_no_def : Error<
109  "unnamed enumeration must be a definition">;
110def ext_cxx11_enum_fixed_underlying_type : Extension<
111  "enumeration types with a fixed underlying type are a C++11 extension">,
112  InGroup<CXX11>;
113def ext_ms_c_enum_fixed_underlying_type : Extension<
114  "enumeration types with a fixed underlying type are a Microsoft extension">,
115  InGroup<MicrosoftFixedEnum>;
116def ext_clang_c_enum_fixed_underlying_type : Extension<
117  "enumeration types with a fixed underlying type are a Clang extension">,
118  InGroup<DiagGroup<"fixed-enum-extension">>;
119def warn_cxx98_compat_enum_fixed_underlying_type : Warning<
120  "enumeration types with a fixed underlying type are incompatible with C++98">,
121  InGroup<CXX98Compat>, DefaultIgnore;
122def ext_enum_base_in_type_specifier : ExtWarn<
123  "non-defining declaration of enumeration with a fixed underlying type is "
124  "only permitted as a standalone declaration"
125  "%select{|; missing list of enumerators?}0">,
126  InGroup<DiagGroup<"elaborated-enum-base">>, DefaultError;
127def ext_elaborated_enum_class : ExtWarn<
128  "reference to enumeration must use 'enum' not 'enum %select{struct|class}0'">,
129  InGroup<DiagGroup<"elaborated-enum-class">>, DefaultError;
130def err_scoped_enum_missing_identifier : Error<
131  "scoped enumeration requires a name">;
132def ext_scoped_enum : ExtWarn<
133  "scoped enumerations are a C++11 extension">, InGroup<CXX11>;
134def warn_cxx98_compat_scoped_enum : Warning<
135  "scoped enumerations are incompatible with C++98">,
136  InGroup<CXX98Compat>, DefaultIgnore;
137def err_anonymous_enum_bitfield : Error<
138  "ISO C++ only allows ':' in member enumeration declaration to introduce "
139  "a fixed underlying type, not an anonymous bit-field">;
140
141def warn_cxx98_compat_alignof : Warning<
142  "alignof expressions are incompatible with C++98">,
143  InGroup<CXX98Compat>, DefaultIgnore;
144def ext_alignof_expr : ExtWarn<
145  "%0 applied to an expression is a GNU extension">, InGroup<GNUAlignofExpression>;
146def err_lambda_after_delete : Error<
147  "'[]' after delete interpreted as 'delete[]'; add parentheses to treat this as a lambda-expression">;
148
149def warn_microsoft_dependent_exists : Warning<
150  "dependent %select{__if_not_exists|__if_exists}0 declarations are ignored">,
151  InGroup<DiagGroup<"microsoft-exists">>;
152def warn_microsoft_qualifiers_ignored : Warning<
153  "qualifiers after comma in declarator list are ignored">,
154  InGroup<IgnoredAttributes>;
155
156def err_duplicate_default_assoc : Error<
157  "duplicate default generic association">;
158def note_previous_default_assoc : Note<
159  "previous default generic association is here">;
160def ext_generic_with_type_arg : Extension<
161  "passing a type argument as the first operand to '_Generic' is a Clang "
162  "extension">, InGroup<DiagGroup<"generic-type-extension">>;
163
164def ext_c99_feature : Extension<
165  "'%0' is a C99 extension">, InGroup<C99>;
166def ext_c11_feature : Extension<
167  "'%0' is a C11 extension">, InGroup<C11>;
168def warn_c23_compat_keyword : Warning<
169 "'%0' is incompatible with C standards before C23">,
170 InGroup<CPre23Compat>, DefaultIgnore;
171
172def err_c11_noreturn_misplaced : Error<
173  "'_Noreturn' keyword must precede function declarator">;
174
175def ext_gnu_indirect_goto : Extension<
176  "use of GNU indirect-goto extension">, InGroup<GNULabelsAsValue>;
177def ext_gnu_address_of_label : Extension<
178  "use of GNU address-of-label extension">, InGroup<GNULabelsAsValue>;
179def err_stmtexpr_file_scope : Error<
180  "statement expression not allowed at file scope">;
181def ext_gnu_statement_expr : Extension<
182  "use of GNU statement expression extension">, InGroup<GNUStatementExpression>;
183def ext_gnu_statement_expr_macro : Extension<
184  "use of GNU statement expression extension from macro expansion">,
185  InGroup<GNUStatementExpressionFromMacroExpansion>;
186def ext_gnu_conditional_expr : Extension<
187  "use of GNU ?: conditional expression extension, omitting middle operand">, InGroup<GNUConditionalOmittedOperand>;
188def ext_gnu_array_range : Extension<"use of GNU array range extension">,
189  InGroup<GNUDesignator>;
190def ext_gnu_missing_equal_designator : ExtWarn<
191  "use of GNU 'missing =' extension in designator">,
192  InGroup<GNUDesignator>;
193def err_expected_equal_designator : Error<"expected '=' or another designator">;
194def ext_gnu_old_style_field_designator : ExtWarn<
195  "use of GNU old-style field designator extension">,
196  InGroup<GNUDesignator>;
197def ext_gnu_case_range : Extension<"use of GNU case range extension">,
198  InGroup<GNUCaseRange>;
199
200// Generic errors.
201def err_expected_expression : Error<"expected expression">;
202def err_expected_type : Error<"expected a type">;
203def err_expected_external_declaration : Error<"expected external declaration">;
204def err_extraneous_closing_brace : Error<"extraneous closing brace ('}')">;
205def err_expected_semi_declaration : Error<
206  "expected ';' at end of declaration">;
207def err_expected_semi_decl_list : Error<
208  "expected ';' at end of declaration list">;
209def ext_expected_semi_decl_list : ExtWarn<
210  "expected ';' at end of declaration list">;
211def err_expected_member_name_or_semi : Error<
212  "expected member name or ';' after declaration specifiers">;
213def err_function_declared_typedef : Error<
214  "function definition declared 'typedef'">;
215def err_at_defs_cxx : Error<"@defs is not supported in Objective-C++">;
216def err_at_in_class : Error<"unexpected '@' in member specification">;
217def err_unexpected_semi : Error<"unexpected ';' before %0">;
218def err_postfix_after_unary_requires_parens : Error<
219  "expression cannot be followed by a postfix %0 operator; add parentheses">;
220def err_unparenthesized_non_primary_expr_in_requires_clause : Error<
221  "parentheses are required around this expression in a requires clause">;
222def note_unparenthesized_non_primary_expr_in_requires_clause : Note<
223  "parentheses are required around this expression in a requires clause">;
224
225def err_expected_fn_body : Error<
226  "expected function body after function declarator">;
227def warn_attribute_on_function_definition : Warning<
228  "GCC does not allow %0 attribute in this position on a function definition">,
229  InGroup<GccCompat>;
230def warn_gcc_attribute_location : Warning<
231  "GCC does not allow an attribute in this position on a function declaration">,
232  InGroup<GccCompat>;
233def warn_gcc_variable_decl_in_for_loop : Warning<
234  "GCC does not allow variable declarations in for loop initializers before "
235  "C99">, InGroup<GccCompat>;
236def warn_attribute_no_decl : Warning<
237  "attribute %0 ignored, because it is not attached to a declaration">,
238  InGroup<IgnoredAttributes>;
239def err_ms_attributes_not_enabled : Error<
240  "'__declspec' attributes are not enabled; use '-fdeclspec' or "
241  "'-fms-extensions' to enable support for __declspec attributes">;
242def err_expected_method_body : Error<"expected method body">;
243def err_declspec_after_virtspec : Error<
244  "'%0' qualifier may not appear after the virtual specifier '%1'">;
245def err_invalid_token_after_toplevel_declarator : Error<
246  "expected ';' after top level declarator">;
247def err_invalid_token_after_declarator_suggest_equal : Error<
248  "invalid %0 at end of declaration; did you mean '='?">;
249def err_expected_statement : Error<"expected statement">;
250def err_expected_lparen_after : Error<"expected '(' after '%0'">;
251def err_expected_rparen_after : Error<"expected ')' after '%0'">;
252def err_expected_punc : Error<"expected ')' or ',' after '%0'">;
253def err_expected_less_after : Error<"expected '<' after '%0'">;
254def err_expected_lbrace_in_compound_literal : Error<
255  "expected '{' in compound literal">;
256def err_expected_while : Error<"expected 'while' in do/while loop">;
257
258def err_expected_semi_after_stmt : Error<"expected ';' after %0 statement">;
259def err_expected_semi_after_expr : Error<"expected ';' after expression">;
260def err_extraneous_token_before_semi : Error<"extraneous '%0' before ';'">;
261
262def err_expected_semi_after_method_proto : Error<
263  "expected ';' after method prototype">;
264def err_expected_semi_after_namespace_name : Error<
265  "expected ';' after namespace name">;
266def err_unexpected_namespace_attributes_alias : Error<
267  "attributes cannot be specified on namespace alias">;
268def err_unexpected_nested_namespace_attribute : Error<
269  "attributes cannot be specified on a nested namespace definition">;
270def err_inline_namespace_alias : Error<"namespace alias cannot be inline">;
271def err_namespace_nonnamespace_scope : Error<
272  "namespaces can only be defined in global or namespace scope">;
273def ext_nested_namespace_definition : ExtWarn<
274  "nested namespace definition is a C++17 extension; "
275  "define each namespace separately">, InGroup<CXX17>;
276def warn_cxx14_compat_nested_namespace_definition : Warning<
277  "nested namespace definition is incompatible with C++ standards before C++17">,
278  InGroup<CXXPre17Compat>, DefaultIgnore;
279def ext_inline_nested_namespace_definition : ExtWarn<
280  "inline nested namespace definition is a C++20 extension">, InGroup<CXX20>;
281def warn_cxx17_compat_inline_nested_namespace_definition : Warning<
282  "inline nested namespace definition is incompatible with C++ standards before"
283  " C++20">, InGroup<CXXPre20Compat>, DefaultIgnore;
284def err_inline_nested_namespace_definition : Error<
285  "nested namespace definition cannot be 'inline'">;
286def err_expected_semi_after_attribute_list : Error<
287  "expected ';' after attribute list">;
288def err_expected_semi_after_static_assert : Error<
289  "expected ';' after '%0'">;
290def err_expected_semi_for : Error<"expected ';' in 'for' statement specifier">;
291def err_single_decl_assign_in_for_range : Error<
292  "range-based 'for' statement uses ':', not '='">;
293def warn_missing_selector_name : Warning<
294  "%0 used as the name of the previous parameter rather than as part "
295  "of the selector">,
296  InGroup<DiagGroup<"missing-selector-name">>;
297def note_missing_selector_name : Note<
298  "introduce a parameter name to make %0 part of the selector">;
299def note_force_empty_selector_name : Note<
300  "or insert whitespace before ':' to use %0 as parameter name "
301  "and have an empty entry in the selector">;
302def ext_c_label_followed_by_declaration : ExtWarn<
303  "label followed by a declaration is a C23 extension">,
304  InGroup<C23>;
305def warn_c23_compat_label_followed_by_declaration : Warning<
306  "label followed by a declaration is incompatible with C standards before "
307  "C23">, InGroup<CPre23Compat>, DefaultIgnore;
308def ext_c_label_end_of_compound_statement : ExtWarn<
309  "label at end of compound statement is a C23 extension">,
310   InGroup<C23>;
311def ext_cxx_label_end_of_compound_statement : ExtWarn<
312  "label at end of compound statement is a C++23 extension">,
313   InGroup<CXX23>;
314def warn_c23_compat_label_end_of_compound_statement : Warning<
315  "label at end of compound statement is incompatible with C standards before C23">,
316  InGroup<CPre23Compat>, DefaultIgnore;
317def warn_cxx20_compat_label_end_of_compound_statement : Warning<
318  "label at end of compound statement is incompatible with C++ standards before C++23">,
319  InGroup<CXXPre23Compat>, DefaultIgnore;
320def err_address_of_label_outside_fn : Error<
321  "use of address-of-label extension outside of a function body">;
322def err_asm_operand_wide_string_literal : Error<
323  "cannot use %select{unicode|wide|an empty}0 string literal in 'asm'">;
324def err_expected_selector_for_method : Error<
325  "expected selector for Objective-C method">;
326def err_expected_property_name : Error<"expected property name">;
327
328def err_unexpected_at : Error<"unexpected '@' in program">;
329def err_atimport : Error<
330"use of '@import' when modules are disabled">;
331
332def warn_atimport_in_framework_header : Warning<
333  "use of '@import' in framework header is discouraged, "
334  "including this header requires -fmodules">,
335  InGroup<FrameworkHdrAtImport>;
336
337def err_invalid_reference_qualifier_application : Error<
338  "'%0' qualifier may not be applied to a reference">;
339def err_illegal_decl_reference_to_reference : Error<
340  "%0 declared as a reference to a reference">;
341def ext_rvalue_reference : ExtWarn<
342  "rvalue references are a C++11 extension">, InGroup<CXX11>;
343def warn_cxx98_compat_rvalue_reference : Warning<
344  "rvalue references are incompatible with C++98">,
345  InGroup<CXX98Compat>, DefaultIgnore;
346def ext_ref_qualifier : ExtWarn<
347  "reference qualifiers on functions are a C++11 extension">, InGroup<CXX11>;
348def warn_cxx98_compat_ref_qualifier : Warning<
349  "reference qualifiers on functions are incompatible with C++98">,
350  InGroup<CXX98Compat>, DefaultIgnore;
351def ext_inline_namespace : ExtWarn<
352  "inline namespaces are a C++11 feature">, InGroup<CXX11InlineNamespace>;
353def warn_cxx98_compat_inline_namespace : Warning<
354  "inline namespaces are incompatible with C++98">,
355  InGroup<CXX98Compat>, DefaultIgnore;
356def ext_generalized_initializer_lists : ExtWarn<
357  "generalized initializer lists are a C++11 extension">,
358  InGroup<CXX11>;
359def warn_cxx98_compat_generalized_initializer_lists : Warning<
360  "generalized initializer lists are incompatible with C++98">,
361  InGroup<CXX98Compat>, DefaultIgnore;
362def err_init_list_bin_op : Error<"initializer list cannot be used on the "
363  "%select{left|right}0 hand side of operator '%1'">;
364def warn_cxx98_compat_trailing_return_type : Warning<
365  "trailing return types are incompatible with C++98">,
366  InGroup<CXX98Compat>, DefaultIgnore;
367def err_requires_clause_must_appear_after_trailing_return : Error<
368  "trailing return type must appear before trailing requires clause">;
369def err_requires_clause_on_declarator_not_declaring_a_function : Error<
370  "trailing requires clause can only be used when declaring a function">;
371def err_requires_clause_inside_parens : Error<
372  "trailing requires clause should be placed outside parentheses">;
373def ext_auto_storage_class : ExtWarn<
374  "'auto' storage class specifier is not permitted in C++11, and will not "
375  "be supported in future releases">, InGroup<DiagGroup<"auto-storage-class">>;
376def ext_decltype_auto_type_specifier : ExtWarn<
377  "'decltype(auto)' type specifier is a C++14 extension">, InGroup<CXX14>;
378def warn_cxx11_compat_decltype_auto_type_specifier : Warning<
379  "'decltype(auto)' type specifier is incompatible with C++ standards before "
380  "C++14">, InGroup<CXXPre14Compat>, DefaultIgnore;
381def ext_auto_type : Extension<
382  "'__auto_type' is a GNU extension">,
383  InGroup<GNUAutoType>;
384def ext_for_range : ExtWarn<
385  "range-based for loop is a C++11 extension">, InGroup<CXX11>;
386def warn_cxx98_compat_for_range : Warning<
387  "range-based for loop is incompatible with C++98">,
388  InGroup<CXX98Compat>, DefaultIgnore;
389def err_for_range_identifier : Error<
390  "range-based for loop requires type for loop variable">;
391def err_for_range_expected_decl : Error<
392  "for range declaration must declare a variable">;
393def err_argument_required_after_attribute : Error<
394  "argument required after attribute">;
395def err_missing_param : Error<"expected parameter declarator">;
396def err_function_scope_depth_exceeded : Error<
397  "function scope depth exceeded maximum of %0">, DefaultFatal;
398def err_missing_comma_before_ellipsis : Error<
399  "C requires a comma prior to the ellipsis in a variadic function type">;
400def err_unexpected_typedef_ident : Error<
401  "unexpected type name %0: expected identifier">;
402def warn_cxx98_compat_decltype : Warning<
403  "'decltype' type specifier is incompatible with C++98">,
404  InGroup<CXX98Compat>, DefaultIgnore;
405def err_unexpected_scope_on_base_decltype : Error<
406  "unexpected namespace scope prior to decltype">;
407def err_expected_class_name : Error<"expected class name">;
408def err_expected_class_name_not_template :
409  Error<"'typename' is redundant; base classes are implicitly types">;
410def err_unspecified_vla_size_with_static : Error<
411  "'static' may not be used with an unspecified variable length array size">;
412def err_unspecified_size_with_static : Error<
413  "'static' may not be used without an array size">;
414def err_expected_parentheses_around_typename : Error<
415  "expected parentheses around type name in %0 expression">;
416
417def err_expected_case_before_expression: Error<
418  "expected 'case' keyword before expression">;
419
420def ext_warn_gnu_final : ExtWarn<
421  "__final is a GNU extension, consider using C++11 final">,
422  InGroup<GccCompat>;
423
424// Declarations.
425def err_typename_requires_specqual : Error<
426  "type name requires a specifier or qualifier">;
427def err_typename_invalid_storageclass : Error<
428  "type name does not allow storage class to be specified">;
429def err_typename_invalid_functionspec : Error<
430  "type name does not allow function specifier to be specified">;
431def err_typename_invalid_constexpr : Error<
432  "type name does not allow %sub{select_constexpr_spec_kind}0 specifier "
433  "to be specified">;
434def err_typename_identifiers_only : Error<
435  "typename is allowed for identifiers only">;
436
437def err_friend_invalid_in_context : Error<
438  "'friend' used outside of class">;
439def err_templated_using_directive_declaration : Error<
440  "cannot template a using %select{directive|declaration}0">;
441def err_unexpected_colon_in_nested_name_spec : Error<
442  "unexpected ':' in nested name specifier; did you mean '::'?">;
443def err_unexpected_token_in_nested_name_spec : Error<
444  "'%0' cannot be a part of nested name specifier; did you mean ':'?">;
445def err_bool_redeclaration : Error<
446  "redeclaration of C++ built-in type 'bool'">;
447def warn_cxx98_compat_static_assert : Warning<
448  "'static_assert' declarations are incompatible with C++98">,
449  InGroup<CXX98Compat>, DefaultIgnore;
450def ext_ms_static_assert : ExtWarn<
451  "use of 'static_assert' without inclusion of <assert.h> is a Microsoft "
452  "extension">, InGroup<MicrosoftStaticAssert>;
453def ext_cxx_static_assert_no_message : ExtWarn<
454  "'static_assert' with no message is a C++17 extension">, InGroup<CXX17>;
455def ext_c_static_assert_no_message : ExtWarn<
456  "'_Static_assert' with no message is a C23 extension">, InGroup<C23>;
457def warn_cxx14_compat_static_assert_no_message : Warning<
458  "'static_assert' with no message is incompatible with C++ standards before "
459  "C++17">,
460  DefaultIgnore, InGroup<CXXPre17Compat>;
461def warn_c17_compat_static_assert_no_message : Warning<
462  "'_Static_assert' with no message is incompatible with C standards before "
463  "C23">,
464  DefaultIgnore, InGroup<CPre23Compat>;
465def err_function_definition_not_allowed : Error<
466  "function definition is not allowed here">;
467def err_expected_end_of_enumerator : Error<
468  "expected '= constant-expression' or end of enumerator definition">;
469def err_expected_coloncolon_after_super : Error<
470  "expected '::' after '__super'">;
471
472def ext_decomp_decl_empty : ExtWarn<
473  "ISO C++17 does not allow a decomposition group to be empty">,
474  InGroup<DiagGroup<"empty-decomposition">>;
475
476/// Objective-C parser diagnostics
477def err_expected_minus_or_plus : Error<
478  "method type specifier must start with '-' or '+'">;
479def err_objc_missing_end : Error<"missing '@end'">;
480def note_objc_container_start : Note<
481  "%select{class|protocol|category|class extension|implementation"
482  "|category implementation}0 started here">;
483def warn_objc_protocol_qualifier_missing_id : Warning<
484  "protocol has no object type specified; defaults to qualified 'id'">;
485def err_objc_unknown_at : Error<"expected an Objective-C directive after '@'">;
486def err_illegal_super_cast : Error<
487  "cannot cast 'super' (it isn't an expression)">;
488def err_nsnumber_nonliteral_unary : Error<
489  "@%0 must be followed by a number to form an NSNumber object">;
490def warn_cstyle_param : Warning<
491  "use of C-style parameters in Objective-C method declarations"
492  " is deprecated">, InGroup<DeprecatedDeclarations>;
493
494let CategoryName = "ARC Parse Issue" in {
495def err_arc_bridge_retain : Error<
496  "unknown cast annotation __bridge_retain; did you mean __bridge_retained?">;
497// To be default mapped to an error later.
498def warn_arc_bridge_cast_nonarc : Warning<
499  "'%0' casts have no effect when not using ARC">,
500  InGroup<DiagGroup<"arc-bridge-casts-disallowed-in-nonarc">>;
501}
502
503def err_objc_illegal_visibility_spec : Error<
504  "illegal visibility specification">;
505def err_objc_illegal_interface_qual : Error<"illegal interface qualifier">;
506def err_objc_expected_equal_for_getter : Error<
507  "expected '=' for Objective-C getter">;
508def err_objc_expected_equal_for_setter : Error<
509  "expected '=' for Objective-C setter">;
510def err_objc_expected_selector_for_getter_setter : Error<
511  "expected selector for Objective-C %select{setter|getter}0">;
512def err_objc_property_requires_field_name : Error<
513  "property requires fields to be named">;
514def err_objc_property_bitfield : Error<"property name cannot be a bit-field">;
515def err_objc_expected_property_attr : Error<"unknown property attribute %0">;
516def err_objc_unexpected_attr : Error<
517  "prefix attribute must be followed by an interface, protocol, or implementation">;
518def err_objc_postfix_attribute : Error <
519  "postfix attributes are not allowed on Objective-C directives">;
520def err_objc_postfix_attribute_hint : Error <
521  "postfix attributes are not allowed on Objective-C directives, place"
522  " them in front of '%select{@interface|@protocol}0'">;
523def err_objc_directive_only_in_protocol : Error<
524  "directive may only be specified in protocols only">;
525def err_missing_catch_finally : Error<
526  "@try statement without a @catch and @finally clause">;
527def err_objc_concat_string : Error<"unexpected token after Objective-C string">;
528def err_expected_objc_container : Error<
529  "'@end' must appear in an Objective-C context">;
530def err_unexpected_protocol_qualifier : Error<
531  "@implementation declaration cannot be protocol qualified">;
532def err_objc_unexpected_atend : Error<
533  "'@end' appears where closing brace '}' is expected">;
534def err_synthesized_property_name : Error<
535  "expected a property name in @synthesize">;
536def warn_semicolon_before_method_body : Warning<
537  "semicolon before method body is ignored">,
538  InGroup<SemiBeforeMethodBody>, DefaultIgnore;
539def note_extra_comma_message_arg : Note<
540  "comma separating Objective-C messaging arguments">;
541
542def err_expected_field_designator : Error<
543  "expected a field designator, such as '.field = 4'">;
544
545def err_declaration_does_not_declare_param : Error<
546  "declaration does not declare a parameter">;
547def err_no_matching_param : Error<"parameter named %0 is missing">;
548
549/// Objective-C++ parser diagnostics
550def err_expected_token_instead_of_objcxx_keyword : Error<
551  "expected %0; %1 is a keyword in Objective-C++">;
552def err_expected_member_name_or_semi_objcxx_keyword : Error<
553  "expected member name or ';' after declaration specifiers; "
554  "%0 is a keyword in Objective-C++">;
555
556/// C++ parser diagnostics
557def err_invalid_operator_on_type : Error<
558  "cannot use %select{dot|arrow}0 operator on a type">;
559def err_expected_unqualified_id : Error<
560  "expected %select{identifier|unqualified-id}0">;
561def err_while_loop_outside_of_a_function : Error<
562  "while loop outside of a function">;
563def err_brackets_go_after_unqualified_id : Error<
564  "brackets are not allowed here; to declare an array, "
565  "place the brackets after the %select{identifier|name}0">;
566def err_unexpected_unqualified_id : Error<"type-id cannot have a name">;
567def err_func_def_no_params : Error<
568  "function definition does not declare parameters">;
569def err_expected_lparen_after_type : Error<
570  "expected '(' for function-style cast or type construction">;
571def err_expected_init_in_condition : Error<
572  "variable declaration in condition must have an initializer">;
573def err_expected_init_in_condition_lparen : Error<
574  "variable declaration in condition cannot have a parenthesized initializer">;
575def err_extraneous_rparen_in_condition : Error<
576  "extraneous ')' after condition, expected a statement">;
577def ext_alias_in_init_statement : ExtWarn<
578  "alias declaration in this context is a C++23 extension">,
579  InGroup<CXX23>;
580def warn_cxx20_alias_in_init_statement  : Warning<
581  "alias declaration in this context is incompatible with C++ standards before C++23">,
582  DefaultIgnore, InGroup<CXXPre23Compat>;
583def warn_dangling_else : Warning<
584  "add explicit braces to avoid dangling else">,
585  InGroup<DanglingElse>;
586def err_expected_member_or_base_name : Error<
587  "expected class member or base class name">;
588def err_expected_lbrace_after_base_specifiers : Error<
589  "expected '{' after base class list">;
590def err_missing_end_of_definition : Error<
591  "missing '}' at end of definition of %q0">;
592def note_missing_end_of_definition_before : Note<
593  "still within definition of %q0 here">;
594def ext_ellipsis_exception_spec : Extension<
595  "exception specification of '...' is a Microsoft extension">,
596  InGroup<MicrosoftExceptionSpec>;
597def err_dynamic_and_noexcept_specification : Error<
598  "cannot have both throw() and noexcept() clause on the same function">;
599def err_except_spec_unparsed : Error<
600  "unexpected end of exception specification">;
601def ext_dynamic_exception_spec : ExtWarn<
602  "ISO C++17 does not allow dynamic exception specifications">,
603  InGroup<DynamicExceptionSpec>, DefaultError;
604def warn_exception_spec_deprecated : Warning<
605  "dynamic exception specifications are deprecated">,
606  InGroup<DeprecatedDynamicExceptionSpec>, DefaultIgnore;
607def note_exception_spec_deprecated : Note<"use '%0' instead">;
608def warn_cxx98_compat_noexcept_decl : Warning<
609  "noexcept specifications are incompatible with C++98">,
610  InGroup<CXX98Compat>, DefaultIgnore;
611def err_expected_catch : Error<"expected catch">;
612def err_using_namespace_in_class : Error<
613  "'using namespace' is not allowed in classes">;
614def warn_cxx17_compat_using_enum_declaration : Warning<
615  "using enum declaration is incompatible with C++ standards before C++20">,
616  InGroup<CXXPre20Compat>, DefaultIgnore;
617def ext_using_enum_declaration : ExtWarn<
618  "using enum declaration is a C++20 extension">,
619  InGroup<CXX20>;
620def err_using_enum_expect_identifier : Error<
621  "using enum %select{requires an enum or typedef name|"
622  "does not permit an elaborated enum specifier}0">;
623def err_constructor_bad_name : Error<
624  "missing return type for function %0; did you mean the constructor name %1?">;
625def err_destructor_tilde_identifier : Error<
626  "expected a class name after '~' to name a destructor">;
627def err_destructor_tilde_scope : Error<
628  "'~' in destructor name should be after nested name specifier">;
629def err_destructor_template_id : Error<
630  "destructor name %0 does not refer to a template">;
631def err_default_arg_unparsed : Error<
632  "unexpected end of default argument expression">;
633def err_bracket_depth_exceeded : Error<
634  "bracket nesting level exceeded maximum of %0">, DefaultFatal;
635def note_bracket_depth : Note<
636  "use -fbracket-depth=N to increase maximum nesting level">;
637def err_misplaced_ellipsis_in_declaration : Error<
638  "'...' must %select{immediately precede declared identifier|"
639  "be innermost component of anonymous pack declaration}0">;
640def warn_misplaced_ellipsis_vararg : Warning<
641  "'...' in this location creates a C-style varargs function"
642  "%select{, not a function parameter pack|}0">,
643  InGroup<DiagGroup<"ambiguous-ellipsis">>;
644def note_misplaced_ellipsis_vararg_existing_ellipsis : Note<
645  "preceding '...' declares a function parameter pack">;
646def note_misplaced_ellipsis_vararg_add_ellipsis : Note<
647  "place '...' %select{immediately before declared identifier|here}0 "
648  "to declare a function parameter pack">;
649def note_misplaced_ellipsis_vararg_add_comma : Note<
650  "insert ',' before '...' to silence this warning">;
651def ext_abstract_pack_declarator_parens : ExtWarn<
652  "ISO C++11 requires a parenthesized pack declaration to have a name">,
653  InGroup<DiagGroup<"anonymous-pack-parens">>;
654def err_function_is_not_record : Error<
655  "unexpected %0 in function call; perhaps remove the %0?">;
656def err_super_in_using_declaration : Error<
657  "'__super' cannot be used with a using declaration">;
658def ext_constexpr_if : ExtWarn<
659  "constexpr if is a C++17 extension">, InGroup<CXX17>;
660def warn_cxx14_compat_constexpr_if : Warning<
661  "constexpr if is incompatible with C++ standards before C++17">,
662  DefaultIgnore, InGroup<CXXPre17Compat>;
663def ext_consteval_if : ExtWarn<
664  "consteval if is a C++23 extension">,
665   InGroup<CXX23>;
666def warn_cxx20_compat_consteval_if : Warning<
667  "consteval if is incompatible with C++ standards before C++23">,
668  InGroup<CXXPre23Compat>, DefaultIgnore;
669
670def ext_init_statement : ExtWarn<
671  "'%select{if|switch}0' initialization statements are a C++17 extension">,
672  InGroup<CXX17>;
673def warn_cxx14_compat_init_statement : Warning<
674  "%select{if|switch}0 initialization statements are incompatible with "
675  "C++ standards before C++17">, DefaultIgnore, InGroup<CXXPre17Compat>;
676def ext_for_range_init_stmt : ExtWarn<
677  "range-based for loop initialization statements are a C++20 extension">,
678  InGroup<CXX20>;
679def warn_cxx17_compat_for_range_init_stmt : Warning<
680  "range-based for loop initialization statements are incompatible with "
681  "C++ standards before C++20">, DefaultIgnore, InGroup<CXXPre20Compat>;
682def warn_empty_init_statement : Warning<
683  "empty initialization statement of '%select{if|switch|range-based for}0' "
684  "has no effect">, InGroup<EmptyInitStatement>, DefaultIgnore;
685def err_keyword_as_parameter : Error <
686  "invalid parameter name: '%0' is a keyword">;
687
688// C++ derived classes
689def err_dup_virtual : Error<"duplicate 'virtual' in base specifier">;
690
691// C++ operator overloading
692def err_literal_operator_string_prefix : Error<
693  "string literal after 'operator' cannot have an encoding prefix">;
694def err_literal_operator_string_not_empty : Error<
695  "string literal after 'operator' must be '\"\"'">;
696def warn_cxx98_compat_literal_operator : Warning<
697  "literal operators are incompatible with C++98">,
698  InGroup<CXX98Compat>, DefaultIgnore;
699
700// Classes.
701def err_anon_type_definition : Error<
702  "declaration of anonymous %0 must be a definition">;
703def err_default_delete_in_multiple_declaration : Error<
704  "'= %select{default|delete}0' is a function definition and must occur in a "
705  "standalone declaration">;
706
707def warn_cxx98_compat_noexcept_expr : Warning<
708  "noexcept expressions are incompatible with C++98">,
709  InGroup<CXX98Compat>, DefaultIgnore;
710def warn_cxx98_compat_nullptr : Warning<
711  "'nullptr' is incompatible with C++98">, InGroup<CXX98Compat>, DefaultIgnore;
712def ext_c_nullptr : Extension<
713  "'nullptr' is a C23 extension">, InGroup<C23>;
714
715def warn_wrong_clang_attr_namespace : Warning<
716  "'__clang__' is a predefined macro name, not an attribute scope specifier; "
717  "did you mean '_Clang' instead?">, InGroup<IgnoredAttributes>;
718def ext_ns_enum_attribute : Extension<
719  "attributes on %select{a namespace|an enumerator}0 declaration are "
720  "a C++17 extension">, InGroup<CXX17>;
721def warn_cxx14_compat_ns_enum_attribute : Warning<
722  "attributes on %select{a namespace|an enumerator}0 declaration are "
723  "incompatible with C++ standards before C++17">,
724  InGroup<CXXPre17CompatPedantic>, DefaultIgnore;
725def warn_cxx98_compat_alignas : Warning<"'alignas' is incompatible with C++98">,
726  InGroup<CXX98Compat>, DefaultIgnore;
727def warn_cxx98_compat_attribute : Warning<
728  "[[]] attributes are incompatible with C++ standards before C++11">,
729  InGroup<CXX98Compat>, DefaultIgnore;
730def warn_ext_cxx11_attributes : Extension<
731  "[[]] attributes are a C++11 extension">,
732  InGroup<CXX11>;
733def warn_pre_c23_compat_attributes : Warning<
734  "[[]] attributes are incompatible with C standards before C23">,
735  DefaultIgnore, InGroup<CPre23Compat>;
736def warn_ext_c23_attributes : Extension<
737  "[[]] attributes are a C23 extension">,
738  InGroup<C23>;
739def err_cxx11_attribute_forbids_arguments : Error<
740  "attribute %0 cannot have an argument list">;
741def err_attribute_requires_arguments : Error<
742  "parentheses must be omitted if %0 attribute's argument list is empty">;
743def err_cxx11_attribute_forbids_ellipsis : Error<
744  "attribute %0 cannot be used as an attribute pack">;
745def warn_cxx14_compat_using_attribute_ns : Warning<
746  "default scope specifier for attributes is incompatible with C++ standards "
747  "before C++17">, InGroup<CXXPre17Compat>, DefaultIgnore;
748def ext_using_attribute_ns : ExtWarn<
749  "default scope specifier for attributes is a C++17 extension">,
750  InGroup<CXX17>;
751def err_using_attribute_ns_conflict : Error<
752  "attribute with scope specifier cannot follow default scope specifier">;
753def err_attributes_not_allowed : Error<"an attribute list cannot appear here">;
754def err_keyword_not_allowed : Error<"%0 cannot appear here">;
755def ext_cxx11_attr_placement : ExtWarn<
756  "ISO C++ does not allow %select{an attribute list|%0}1 to appear here">,
757  InGroup<DiagGroup<"cxx-attribute-extension">>;
758def err_attributes_misplaced : Error<"misplaced attributes; expected attributes here">;
759def err_keyword_misplaced : Error<"misplaced %0; expected %0 here">;
760def err_l_square_l_square_not_attribute : Error<
761  "C++11 only allows consecutive left square brackets when "
762  "introducing an attribute">;
763def err_attribute_argument_parm_pack_not_supported : Error<
764  "attribute %0 does not support argument pack expansion">;
765def err_ms_declspec_type : Error<
766  "__declspec attributes must be an identifier or string literal">;
767def err_ms_property_no_getter_or_putter : Error<
768  "property does not specify a getter or a putter">;
769def err_ms_property_unknown_accessor : Error<
770  "expected 'get' or 'put' in property declaration">;
771def err_ms_property_has_set_accessor : Error<
772  "putter for property must be specified as 'put', not 'set'">;
773def err_ms_property_missing_accessor_kind : Error<
774  "missing 'get=' or 'put='">;
775def err_ms_property_expected_equal : Error<
776  "expected '=' after '%0'">;
777def err_ms_property_duplicate_accessor : Error<
778  "property declaration specifies '%0' accessor twice">;
779def err_ms_property_expected_accessor_name : Error<
780  "expected name of accessor method">;
781def err_ms_property_expected_comma_or_rparen : Error<
782  "expected ',' or ')' at end of property accessor list">;
783def err_ms_property_initializer : Error<
784  "property declaration cannot have a default member initializer">;
785
786def warn_cxx20_compat_explicit_bool : Warning<
787  "this expression will be parsed as explicit(bool) in C++20">,
788  InGroup<CXX20Compat>, DefaultIgnore;
789def warn_cxx17_compat_explicit_bool : Warning<
790  "explicit(bool) is incompatible with C++ standards before C++20">,
791  InGroup<CXXPre20Compat>, DefaultIgnore;
792def ext_explicit_bool : ExtWarn<"explicit(bool) is a C++20 extension">,
793  InGroup<CXX20>;
794
795/// C++ Templates
796def err_expected_template : Error<"expected template">;
797def err_unknown_template_name : Error<
798  "unknown template name %0">;
799def err_expected_comma_greater : Error<
800  "expected ',' or '>' in template-parameter-list">;
801def err_class_on_template_template_param
802    : Error<"template template parameter requires 'class'%select{| or "
803            "'typename'}0 after the parameter list">;
804def ext_template_template_param_typename : ExtWarn<
805  "template template parameter using 'typename' is a C++17 extension">,
806  InGroup<CXX17>;
807def warn_cxx14_compat_template_template_param_typename : Warning<
808  "template template parameter using 'typename' is "
809  "incompatible with C++ standards before C++17">,
810  InGroup<CXXPre17Compat>, DefaultIgnore;
811def err_template_spec_syntax_non_template : Error<
812  "identifier followed by '<' indicates a class template specialization but "
813  "%0 %select{does not refer to a template|refers to a function template|"
814  "<unused>|refers to a variable template|<unused>|<unused>|"
815  "refers to a concept}1">;
816def err_id_after_template_in_nested_name_spec : Error<
817  "expected template name after 'template' keyword in nested name specifier">;
818def err_unexpected_template_in_unqualified_id : Error<
819  "'template' keyword not permitted here">;
820def err_unexpected_template_in_destructor_name : Error<
821  "'template' keyword not permitted in destructor name">;
822def err_unexpected_template_after_using : Error<
823  "'template' keyword not permitted after 'using' keyword">;
824def err_two_right_angle_brackets_need_space : Error<
825  "a space is required between consecutive right angle brackets (use '> >')">;
826def err_right_angle_bracket_equal_needs_space : Error<
827  "a space is required between a right angle bracket and an equals sign "
828  "(use '> =')">;
829def warn_cxx11_right_shift_in_template_arg : Warning<
830  "use of right-shift operator ('>>') in template argument will require "
831  "parentheses in C++11">, InGroup<CXX11Compat>;
832def warn_cxx98_compat_two_right_angle_brackets : Warning<
833  "consecutive right angle brackets are incompatible with C++98 (use '> >')">,
834  InGroup<CXX98Compat>, DefaultIgnore;
835def err_templated_invalid_declaration : Error<
836  "a static_assert declaration cannot be a template">;
837def err_multiple_template_declarators : Error<
838  "%select{|a template declaration|an explicit template specialization|"
839  "an explicit template instantiation}0 can "
840  "only %select{|declare|declare|instantiate}0 a single entity">;
841def err_explicit_instantiation_with_definition : Error<
842  "explicit template instantiation cannot have a definition; if this "
843  "definition is meant to be an explicit specialization, add '<>' after the "
844  "'template' keyword">;
845def err_template_defn_explicit_instantiation : Error<
846  "%select{function|class|variable}0 cannot be defined in an explicit instantiation; if this "
847  "declaration is meant to be a %select{function|class|variable}0 definition, remove the 'template' keyword">;
848def err_friend_explicit_instantiation : Error<
849  "friend cannot be declared in an explicit instantiation; if this "
850  "declaration is meant to be a friend declaration, remove the 'template' keyword">;
851def err_explicit_instantiation_enum : Error<
852  "enumerations cannot be explicitly instantiated">;
853def err_expected_template_parameter : Error<"expected template parameter">;
854def err_empty_requires_expr : Error<
855  "a requires expression must contain at least one requirement">;
856def err_requires_expr_parameter_list_ellipsis : Error<
857  "varargs not allowed in requires expression">;
858def err_expected_semi_requirement : Error<
859  "expected ';' at end of requirement">;
860def err_requires_expr_missing_arrow : Error<
861  "expected '->' before expression type requirement">;
862def err_requires_expr_expected_type_constraint : Error<
863  "expected concept name with optional arguments">;
864def err_requires_expr_simple_requirement_noexcept : Error<
865  "'noexcept' can only be used in a compound requirement (with '{' '}' around "
866  "the expression)">;
867def err_requires_expr_in_simple_requirement : Error<
868  "requires expression in requirement body; did "
869  "you intend to place it in a nested requirement? (add another 'requires' "
870  "before the expression)">;
871
872def err_missing_dependent_template_keyword : Error<
873  "use 'template' keyword to treat '%0' as a dependent template name">;
874def warn_missing_dependent_template_keyword : ExtWarn<
875  "use 'template' keyword to treat '%0' as a dependent template name">;
876
877def ext_extern_template : Extension<
878  "extern templates are a C++11 extension">, InGroup<CXX11>;
879def warn_cxx98_compat_extern_template : Warning<
880  "extern templates are incompatible with C++98">,
881  InGroup<CXX98CompatPedantic>, DefaultIgnore;
882def warn_static_inline_explicit_inst_ignored : Warning<
883  "ignoring '%select{static|inline}0' keyword on explicit template "
884  "instantiation">, InGroup<DiagGroup<"static-inline-explicit-instantiation">>;
885
886// Constructor template diagnostics.
887def err_out_of_line_constructor_template_id : Error<
888  "out-of-line constructor for %0 cannot have template arguments">;
889
890def err_expected_qualified_after_typename : Error<
891  "expected a qualified name after 'typename'">;
892def warn_expected_qualified_after_typename : ExtWarn<
893  "expected a qualified name after 'typename'">;
894
895def err_typename_refers_to_non_type_template : Error<
896  "typename specifier refers to a non-type template">;
897def err_expected_type_name_after_typename : Error<
898  "expected an identifier or template-id after '::'">;
899def err_explicit_spec_non_template : Error<
900  "explicit %select{specialization|instantiation}0 of "
901  "%select{non-|undeclared }3template %1 %2">;
902
903def err_default_template_template_parameter_not_template : Error<
904  "default template argument for a template template parameter must be a class "
905  "template">;
906
907def ext_fold_expression : ExtWarn<
908  "pack fold expression is a C++17 extension">,
909  InGroup<CXX17>;
910def warn_cxx14_compat_fold_expression : Warning<
911  "pack fold expression is incompatible with C++ standards before C++17">,
912  InGroup<CXXPre17Compat>, DefaultIgnore;
913def err_expected_fold_operator : Error<
914  "expected a foldable binary operator in fold expression">;
915def err_fold_operator_mismatch : Error<
916  "operators in fold expression must be the same">;
917
918def err_ctor_init_missing_comma : Error<
919  "missing ',' between base or member initializers">;
920
921// C++ declarations
922def err_friend_decl_defines_type : Error<
923  "cannot define a type in a friend declaration">;
924def err_missing_whitespace_digraph : Error<
925  "found '<::' after a "
926  "%select{template name|addrspace_cast|const_cast|dynamic_cast|reinterpret_cast|static_cast}0"
927  " which forms the digraph '<:' (aka '[') and a ':', did you mean '< ::'?">;
928
929def ext_defaulted_deleted_function : ExtWarn<
930  "%select{defaulted|deleted}0 function definitions are a C++11 extension">,
931  InGroup<CXX11>;
932def warn_cxx98_compat_defaulted_deleted_function : Warning<
933  "%select{defaulted|deleted}0 function definitions are incompatible with C++98">,
934  InGroup<CXX98Compat>, DefaultIgnore;
935
936// C++11 default member initialization
937def ext_nonstatic_member_init : ExtWarn<
938  "default member initializer for non-static data member is a C++11 "
939  "extension">, InGroup<CXX11>;
940def warn_cxx98_compat_nonstatic_member_init : Warning<
941  "default member initializer for non-static data members is incompatible with "
942  "C++98">, InGroup<CXX98Compat>, DefaultIgnore;
943def ext_bitfield_member_init: ExtWarn<
944  "default member initializer for bit-field is a C++20 extension">,
945  InGroup<CXX20>;
946def warn_cxx17_compat_bitfield_member_init: Warning<
947  "default member initializer for bit-field is incompatible with "
948  "C++ standards before C++20">, InGroup<CXXPre20Compat>, DefaultIgnore;
949def err_anon_bitfield_member_init : Error<
950  "anonymous bit-field cannot have a default member initializer">;
951def err_incomplete_array_member_init: Error<
952  "array bound cannot be deduced from a default member initializer">;
953
954// C++11 alias-declaration
955def ext_alias_declaration : ExtWarn<
956  "alias declarations are a C++11 extension">, InGroup<CXX11>;
957def warn_cxx98_compat_alias_declaration : Warning<
958  "alias declarations are incompatible with C++98">,
959  InGroup<CXX98Compat>, DefaultIgnore;
960def err_alias_declaration_not_identifier : Error<
961  "name defined in alias declaration must be an identifier">;
962def err_alias_declaration_specialization : Error<
963  "%select{partial specialization|explicit specialization|explicit instantiation}0 of alias templates is not permitted">;
964def err_alias_declaration_pack_expansion : Error<
965  "alias declaration cannot be a pack expansion">;
966
967// C++17 using-declaration pack expansions
968def ext_multi_using_declaration : ExtWarn<
969  "use of multiple declarators in a single using declaration is "
970  "a C++17 extension">, InGroup<CXX17>;
971def warn_cxx17_compat_multi_using_declaration : Warning<
972  "use of multiple declarators in a single using declaration is "
973  "incompatible with C++ standards before C++17">,
974  InGroup<CXXPre17Compat>, DefaultIgnore;
975def ext_using_declaration_pack : ExtWarn<
976  "pack expansion of using declaration is a C++17 extension">, InGroup<CXX17>;
977def warn_cxx17_compat_using_declaration_pack : Warning<
978  "pack expansion using declaration is incompatible with C++ standards "
979  "before C++17">, InGroup<CXXPre17Compat>, DefaultIgnore;
980
981// C++11 override control
982def ext_override_control_keyword : ExtWarn<
983  "'%0' keyword is a C++11 extension">, InGroup<CXX11>;
984def warn_cxx98_compat_override_control_keyword : Warning<
985  "'%0' keyword is incompatible with C++98">,
986  InGroup<CXX98Compat>, DefaultIgnore;
987def err_override_control_interface : Error<
988  "'%0' keyword not permitted with interface types">;
989def ext_ms_sealed_keyword : ExtWarn<
990  "'sealed' keyword is a Microsoft extension">,
991  InGroup<MicrosoftSealed>;
992def ext_ms_abstract_keyword : ExtWarn<
993  "'abstract' keyword is a Microsoft extension">,
994  InGroup<MicrosoftAbstract>;
995
996def err_access_specifier_interface : Error<
997  "interface types cannot specify '%select{private|protected}0' access">;
998
999def err_duplicate_class_virt_specifier : Error<
1000  "class already marked '%0'">;
1001
1002def err_duplicate_virt_specifier : Error<
1003  "class member already marked '%0'">;
1004
1005def err_virt_specifier_outside_class : Error<
1006  "'%0' specifier is not allowed outside a class definition">;
1007
1008def err_expected_parameter_pack : Error<
1009  "expected the name of a parameter pack">;
1010def err_paren_sizeof_parameter_pack : Error<
1011  "missing parentheses around the size of parameter pack %0">;
1012def err_sizeof_parameter_pack : Error<
1013  "expected parenthesized parameter pack name in 'sizeof...' expression">;
1014
1015// C++11 lambda expressions
1016def err_expected_comma_or_rsquare : Error<
1017  "expected ',' or ']' in lambda capture list">;
1018def err_this_captured_by_reference : Error<
1019  "'this' cannot be captured by reference">;
1020def err_expected_capture : Error<
1021  "expected variable name or 'this' in lambda capture list">;
1022def err_expected_lambda_body : Error<"expected body of lambda expression">;
1023def warn_cxx98_compat_lambda : Warning<
1024  "lambda expressions are incompatible with C++98">,
1025  InGroup<CXX98Compat>, DefaultIgnore;
1026def err_lambda_decl_specifier_repeated : Error<
1027  "%select{'mutable'|'static'|'constexpr'|'consteval'}0 cannot "
1028  "appear multiple times in a lambda declarator">;
1029def err_lambda_capture_misplaced_ellipsis : Error<
1030  "ellipsis in pack %select{|init-}0capture must appear %select{after|before}0 "
1031  "the name of the capture">;
1032def err_lambda_capture_multiple_ellipses : Error<
1033  "multiple ellipses in pack capture">;
1034def err_capture_default_first : Error<
1035  "capture default must be first">;
1036def ext_decl_attrs_on_lambda : ExtWarn<
1037  "%select{an attribute specifier sequence|%0}1 in this position "
1038  "is a C++23 extension">, InGroup<CXX23AttrsOnLambda>;
1039def ext_lambda_missing_parens : ExtWarn<
1040  "lambda without a parameter clause is a C++23 extension">,
1041  InGroup<CXX23>;
1042def warn_cxx20_compat_decl_attrs_on_lambda : Warning<
1043  "%select{an attribute specifier sequence|%1}0 in this position "
1044  "is incompatible with C++ standards before C++23">,
1045  InGroup<CXXPre23Compat>, DefaultIgnore;
1046
1047// C++17 lambda expressions
1048def err_expected_star_this_capture : Error<
1049  "expected 'this' following '*' in lambda capture list">;
1050
1051// C++17 constexpr lambda expressions
1052def warn_cxx14_compat_constexpr_on_lambda : Warning<
1053  "constexpr on lambda expressions is incompatible with C++ standards before C++17">,
1054  InGroup<CXXPre17Compat>, DefaultIgnore;
1055def ext_constexpr_on_lambda_cxx17 : ExtWarn<
1056  "'constexpr' on lambda expressions is a C++17 extension">, InGroup<CXX17>;
1057
1058// C++20 template lambdas
1059def ext_lambda_template_parameter_list: ExtWarn<
1060  "explicit template parameter list for lambdas is a C++20 extension">,
1061  InGroup<CXX20>;
1062def warn_cxx17_compat_lambda_template_parameter_list: Warning<
1063  "explicit template parameter list for lambdas is incompatible with "
1064  "C++ standards before C++20">, InGroup<CXXPre20Compat>, DefaultIgnore;
1065def err_lambda_template_parameter_list_empty : Error<
1066  "lambda template parameter list cannot be empty">;
1067
1068// C++23 static lambdas
1069def err_static_lambda: ExtWarn<
1070  "static lambdas are a C++23 extension">, InGroup<CXX23>;
1071def warn_cxx20_compat_static_lambda : Warning<
1072  "static lambdas are incompatible with C++ standards before C++23">,
1073  InGroup<CXXPre23Compat>, DefaultIgnore;
1074def err_static_mutable_lambda : Error<
1075  "lambda cannot be both mutable and static">;
1076def err_static_lambda_captures : Error<
1077  "a static lambda cannot have any captures">;
1078
1079// Availability attribute
1080def err_expected_version : Error<
1081  "expected a version of the form 'major[.minor[.subminor]]'">;
1082def warn_expected_consistent_version_separator : Warning<
1083  "use same version number separators '_' or '.'; as in "
1084  "'major[.minor[.subminor]]'">, InGroup<Availability>;
1085def err_zero_version : Error<
1086  "version number must have non-zero major, minor, or sub-minor version">;
1087def err_availability_expected_platform : Error<
1088  "expected a platform name, e.g., 'macos'">;
1089
1090// objc_bridge_related attribute
1091def err_objcbridge_related_expected_related_class : Error<
1092  "expected a related ObjectiveC class name, e.g., 'NSColor'">;
1093def err_objcbridge_related_selector_name : Error<
1094  "expected a class method selector with single argument, e.g., 'colorWithCGColor:'">;
1095
1096def err_availability_expected_change : Error<
1097  "expected 'introduced', 'deprecated', or 'obsoleted'">;
1098def err_availability_unknown_change : Error<
1099  "%0 is not an availability stage; use 'introduced', 'deprecated', or "
1100  "'obsoleted'">;
1101def err_availability_redundant : Error<
1102  "redundant %0 availability change; only the last specified change will "
1103  "be used">;
1104def warn_availability_and_unavailable : Warning<
1105  "'unavailable' availability overrides all other availability information">,
1106  InGroup<Availability>;
1107
1108// @available(...)
1109def err_avail_query_expected_platform_name : Error<
1110  "expected a platform name here">;
1111
1112def err_avail_query_unrecognized_platform_name : Error<
1113  "unrecognized platform name %0">;
1114def err_availability_query_wildcard_required: Error<
1115  "must handle potential future platforms with '*'">;
1116def err_availability_query_repeated_platform: Error<
1117  "version for '%0' already specified">;
1118def err_availability_query_repeated_star : Error<
1119  "'*' query has already been specified">;
1120
1121// External source symbol attribute
1122def err_external_source_symbol_expected_keyword : Error<
1123  "expected 'language', 'defined_in', 'generated_declaration', or 'USR'">;
1124def err_external_source_symbol_duplicate_clause : Error<
1125  "duplicate %0 clause in an 'external_source_symbol' attribute">;
1126
1127// Type safety attributes
1128def err_type_safety_unknown_flag : Error<
1129  "invalid comparison flag %0; use 'layout_compatible' or 'must_be_null'">;
1130
1131// Type traits
1132def err_type_trait_arity : Error<
1133  "type trait requires %0%select{| or more}1 argument%select{|s}2; have "
1134  "%3 argument%s3">;
1135
1136// Language specific pragmas
1137// - Generic warnings
1138def warn_pragma_expected_lparen : Warning<
1139  "missing '(' after '#pragma %0' - ignoring">, InGroup<IgnoredPragmas>;
1140def warn_pragma_expected_rparen : Warning<
1141  "missing ')' after '#pragma %0' - ignoring">, InGroup<IgnoredPragmas>;
1142def warn_pragma_expected_identifier : Warning<
1143  "expected identifier in '#pragma %0' - ignored">, InGroup<IgnoredPragmas>;
1144def warn_pragma_expected_string : Warning<
1145  "expected string literal in '#pragma %0' - ignoring">, InGroup<IgnoredPragmas>;
1146def warn_pragma_missing_argument : Warning<
1147  "missing argument to '#pragma %0'%select{|; expected %2}1">, InGroup<IgnoredPragmas>;
1148def warn_pragma_invalid_argument : Warning<
1149  "unexpected argument '%0' to '#pragma %1'%select{|; expected %3}2">, InGroup<IgnoredPragmas>;
1150
1151def err_pragma_misplaced_in_decl : Error<"this pragma cannot appear in %0 declaration">;
1152
1153// '#pragma clang section' related errors
1154def err_pragma_expected_clang_section_name : Error<
1155  "expected one of [bss|data|rodata|text|relro] section kind in '#pragma %0'">;
1156def err_pragma_clang_section_expected_equal : Error<
1157  "expected '=' following '#pragma clang section %select{invalid|bss|data|rodata|text|relro}0'">;
1158def warn_pragma_expected_section_name : Warning<
1159  "expected a string literal for the section name in '#pragma %0' - ignored">,
1160  InGroup<IgnoredPragmas>;
1161
1162def warn_pragma_expected_section_push_pop_or_name : Warning<
1163  "expected push, pop or a string literal for the section name in '#pragma %0' - ignored">,
1164  InGroup<IgnoredPragmas>;
1165def warn_pragma_expected_section_label_or_name : Warning<
1166  "expected a stack label or a string literal for the section name in '#pragma %0' - ignored">,
1167  InGroup<IgnoredPragmas>;
1168def warn_pragma_expected_init_seg : Warning<
1169  "expected 'compiler', 'lib', 'user', or a string literal for the section name in '#pragma %0' - ignored">,
1170  InGroup<IgnoredPragmas>;
1171
1172def err_pragma_expected_integer : Error<"expected an integer argument in '#pragma %0'">;
1173def warn_pragma_expected_integer : Warning<
1174  "expected integer between %0 and %1 inclusive in '#pragma %2' - ignored">,
1175  InGroup<IgnoredPragmas>;
1176def warn_pragma_ms_struct : Warning<
1177  "incorrect use of '#pragma ms_struct on|off' - ignored">,
1178  InGroup<IgnoredPragmas>;
1179def warn_pragma_ms_fenv_access : Warning<
1180  "incorrect use of '#pragma fenv_access (on|off)' - ignored">,
1181  InGroup<IgnoredPragmas>;
1182def warn_pragma_extra_tokens_at_eol : Warning<
1183  "extra tokens at end of '#pragma %0' - ignored">,
1184  InGroup<IgnoredPragmas>;
1185def warn_pragma_expected_comma : Warning<
1186  "expected ',' in '#pragma %0'">, InGroup<IgnoredPragmas>;
1187def warn_pragma_expected_punc : Warning<
1188  "expected ')' or ',' in '#pragma %0'">, InGroup<IgnoredPragmas>;
1189def warn_pragma_expected_non_wide_string : Warning<
1190  "expected non-wide string literal in '#pragma %0'">, InGroup<IgnoredPragmas>;
1191// - Generic errors
1192def err_pragma_missing_argument : Error<
1193  "missing argument to '#pragma %0'%select{|; expected %2}1">;
1194// - #pragma options
1195def warn_pragma_options_expected_align : Warning<
1196  "expected 'align' following '#pragma options' - ignored">,
1197  InGroup<IgnoredPragmas>;
1198def warn_pragma_align_expected_equal : Warning<
1199  "expected '=' following '#pragma %select{align|options align}0' - ignored">,
1200  InGroup<IgnoredPragmas>;
1201def warn_pragma_align_invalid_option : Warning<
1202  "invalid alignment option in '#pragma %select{align|options align}0' - ignored">,
1203  InGroup<IgnoredPragmas>;
1204// - #pragma pack
1205def warn_pragma_unsupported_action : Warning<
1206  "known but unsupported action '%1' for '#pragma %0' - ignored">,
1207  InGroup<IgnoredPragmas>;
1208def warn_pragma_invalid_specific_action : Warning<
1209  "unknown action '%1' for '#pragma %0' - ignored">,
1210  InGroup<IgnoredPragmas>;
1211def warn_pragma_expected_action_or_r_paren : Warning<
1212  "expected action or ')' in '#pragma %0' - ignored">,
1213  InGroup<IgnoredPragmas>;
1214def warn_pragma_invalid_action : Warning<
1215  "unknown action for '#pragma %0' - ignored">,
1216  InGroup<IgnoredPragmas>;
1217def warn_pragma_pack_malformed : Warning<
1218  "expected integer or identifier in '#pragma pack' - ignored">,
1219  InGroup<IgnoredPragmas>;
1220// - #pragma intrinsic
1221def warn_pragma_intrinsic_builtin : Warning<
1222  "%0 is not a recognized builtin%select{|; consider including <intrin.h> to access non-builtin intrinsics}1">,
1223  InGroup<IgnoredPragmaIntrinsic>;
1224// - #pragma unused
1225def warn_pragma_unused_expected_var : Warning<
1226  "expected '#pragma unused' argument to be a variable name">,
1227  InGroup<IgnoredPragmas>;
1228// - #pragma init_seg
1229def warn_pragma_init_seg_unsupported_target : Warning<
1230  "'#pragma init_seg' is only supported when targeting a "
1231  "Microsoft environment">,
1232  InGroup<IgnoredPragmas>;
1233// - #pragma restricted to file scope or start of compound statement
1234def err_pragma_file_or_compound_scope : Error<
1235  "'#pragma %0' can only appear at file scope or at the start of a "
1236  "compound statement">;
1237// - #pragma stdc unknown
1238def ext_stdc_pragma_ignored : ExtWarn<"unknown pragma in STDC namespace">,
1239   InGroup<UnknownPragmas>;
1240// The C standard 7.6.1p2 says "The [FENV_ACCESS] pragma shall occur either
1241// outside external declarations or preceding all explicit declarations and
1242// statements inside a compound statement.
1243def warn_stdc_fenv_round_not_supported :
1244   Warning<"pragma STDC FENV_ROUND is not supported">,
1245   InGroup<UnknownPragmas>;
1246def warn_stdc_unknown_rounding_mode : Warning<
1247  "invalid or unsupported rounding mode in '#pragma STDC FENV_ROUND' - ignored">,
1248  InGroup<IgnoredPragmas>;
1249def warn_pragma_fp_ignored : Warning<
1250  "'#pragma %0' is not supported on this target - ignored">,
1251  InGroup<IgnoredPragmas>;
1252// - #pragma comment
1253def err_pragma_comment_malformed : Error<
1254  "pragma comment requires parenthesized identifier and optional string">;
1255def err_pragma_comment_unknown_kind : Error<"unknown kind of pragma comment">;
1256// PS4 recognizes only #pragma comment(lib)
1257def warn_pragma_comment_ignored : Warning<"'#pragma comment %0' ignored">,
1258  InGroup<IgnoredPragmas>;
1259// - #pragma detect_mismatch
1260def err_pragma_detect_mismatch_malformed : Error<
1261  "pragma detect_mismatch is malformed; it requires two comma-separated "
1262  "string literals">;
1263// - #pragma float_control
1264def err_pragma_float_control_malformed : Error<
1265  "pragma float_control is malformed; use 'float_control({push|pop})' or "
1266  "'float_control({precise|except}, {on|off} [,push])'">;
1267// - #pragma pointers_to_members
1268def err_pragma_pointers_to_members_unknown_kind : Error<
1269  "unexpected %0, expected to see one of %select{|'best_case', 'full_generality', }1"
1270  "'single_inheritance', 'multiple_inheritance', or 'virtual_inheritance'">;
1271// - #pragma clang optimize on/off
1272def err_pragma_optimize_invalid_argument : Error<
1273  "unexpected argument '%0' to '#pragma clang optimize'; "
1274  "expected 'on' or 'off'">;
1275def err_pragma_optimize_extra_argument : Error<
1276  "unexpected extra argument '%0' to '#pragma clang optimize'">;
1277// - #pragma clang attribute
1278def err_pragma_attribute_expected_push_pop_paren : Error<
1279  "expected 'push', 'pop', or '(' after '#pragma clang attribute'">;
1280def err_pragma_attribute_invalid_argument : Error<
1281  "unexpected argument '%0' to '#pragma clang attribute'; "
1282  "expected 'push' or 'pop'">;
1283def err_pragma_attribute_expected_attribute : Error<
1284  "expected an attribute after '('">;
1285def err_pragma_attribute_expected_attribute_name : Error<
1286  "expected identifier that represents an attribute name">;
1287def err_pragma_attribute_extra_tokens_after_attribute : Error<
1288  "extra tokens after attribute in a '#pragma clang attribute push'">;
1289def err_pragma_attribute_unsupported_attribute : Error<
1290  "attribute %0 is not supported by '#pragma clang attribute'">;
1291def err_pragma_attribute_expected_attribute_syntax : Error<
1292  "expected an attribute that is specified using the GNU, C++11 or '__declspec'"
1293  " syntax">;
1294def note_pragma_attribute_use_attribute_kw : Note<"use the GNU '__attribute__' "
1295  "syntax">;
1296def err_pragma_attribute_invalid_subject_set_specifier : Error<
1297  "expected attribute subject set specifier 'apply_to'">;
1298def err_pragma_attribute_expected_subject_identifier : Error<
1299  "expected an identifier that corresponds to an attribute subject rule">;
1300def err_pragma_attribute_unknown_subject_rule : Error<
1301  "unknown attribute subject rule '%0'">;
1302def err_pragma_attribute_expected_subject_sub_identifier : Error<
1303  "expected an identifier that corresponds to an attribute subject matcher "
1304  "sub-rule; '%0' matcher %select{does not support sub-rules|supports the "
1305  "following sub-rules: %2|}1">;
1306def err_pragma_attribute_unknown_subject_sub_rule : Error<
1307  "%select{invalid use of|unknown}2 attribute subject matcher sub-rule '%0'; "
1308  "'%1' matcher %select{does not support sub-rules|supports the following "
1309  "sub-rules: %3}2">;
1310def err_pragma_attribute_duplicate_subject : Error<
1311  "duplicate attribute subject matcher '%0'">;
1312def err_pragma_attribute_expected_period : Error<
1313  "expected '.' after pragma attribute namespace %0">;
1314def err_pragma_attribute_namespace_on_attribute : Error<
1315  "namespace can only apply to 'push' or 'pop' directives">;
1316def note_pragma_attribute_namespace_on_attribute : Note<
1317  "omit the namespace to add attributes to the most-recently"
1318  " pushed attribute group">;
1319def warn_no_support_for_eval_method_source_on_m32 : Warning<
1320  "Setting the floating point evaluation method to `source` on a target"
1321  " without SSE is not supported.">, InGroup<Pragmas>;
1322// - #pragma __debug
1323def warn_pragma_debug_dependent_argument : Warning<
1324  "%select{value|type}0-dependent expression passed as an argument to debug "
1325  "command">, InGroup<IgnoredPragmas>;
1326
1327// OpenCL EXTENSION pragma (OpenCL 1.1 [9.1])
1328def warn_pragma_expected_colon : Warning<
1329  "missing ':' after %0 - ignoring">, InGroup<IgnoredPragmas>;
1330def warn_pragma_expected_predicate : Warning<
1331  "expected %select{'enable', 'disable', 'begin' or 'end'|'disable'}0 - ignoring">, InGroup<IgnoredPragmas>;
1332def warn_pragma_unknown_extension : Warning<
1333  "OpenCL extension %0 unknown or does not require pragma - ignoring">, InGroup<IgnoredPragmas>;
1334def warn_pragma_unsupported_extension : Warning<
1335  "unsupported OpenCL extension %0 - ignoring">, InGroup<IgnoredPragmas>;
1336def warn_pragma_extension_is_core : Warning<
1337  "OpenCL extension %0 is core feature or supported optional core feature - ignoring">,
1338  InGroup<OpenCLCoreFeaturesDiagGroup>, DefaultIgnore;
1339def err_modifier_expected_colon : Error<"missing ':' after %0 modifier">;
1340
1341// OpenCL errors.
1342def err_opencl_taking_function_address_parser : Error<
1343  "taking address of function is not allowed">;
1344def err_opencl_logical_exclusive_or : Error<
1345  "^^ is a reserved operator in OpenCL">;
1346
1347// C++ for OpenCL.
1348def err_openclcxx_virtual_function : Error<
1349  "virtual functions are not supported in C++ for OpenCL">;
1350
1351// OpenACC Support.
1352def warn_pragma_acc_ignored
1353    : Warning<"unexpected '#pragma acc ...' in program">,
1354      InGroup<SourceUsesOpenACC>,
1355      DefaultIgnore;
1356def err_acc_unexpected_directive
1357    : Error<"unexpected OpenACC directive %select{|'#pragma acc %1'}0">;
1358def warn_pragma_acc_unimplemented
1359    : Warning<"OpenACC directives not yet implemented, pragma ignored">,
1360      InGroup<SourceUsesOpenACC>;
1361def err_acc_invalid_directive
1362    : Error<"invalid OpenACC directive %select{%1|'%1 %2'}0">;
1363def err_acc_invalid_clause : Error<"invalid OpenACC clause %0">;
1364def err_acc_missing_directive : Error<"expected OpenACC directive">;
1365def err_acc_invalid_open_paren
1366    : Error<"expected clause-list or newline in OpenACC directive">;
1367def err_acc_invalid_default_clause_kind
1368    : Error<"invalid value for 'default' clause; expected 'present' or 'none'">;
1369def err_acc_invalid_tag_kind
1370    : Error<"invalid tag %0 on '%1' %select{directive|clause}2">;
1371def err_acc_expected_reduction_operator
1372    : Error<"missing reduction operator, expected '+', '*', 'max', 'min', '&', "
1373            "'|', '^', '&&', or '||', follwed by a ':'">;
1374def err_acc_invalid_reduction_operator
1375    : Error<"invalid reduction operator,  expected '+', '*', 'max', 'min', "
1376            "'&', '|', '^', '&&', or '||'">;
1377def err_acc_incorrect_bind_arg : Error<"expected identifier or string literal">;
1378
1379// OpenMP support.
1380def warn_pragma_omp_ignored : Warning<
1381  "unexpected '#pragma omp ...' in program">, InGroup<SourceUsesOpenMP>, DefaultIgnore;
1382def warn_omp_extra_tokens_at_eol : Warning<
1383  "extra tokens at the end of '#pragma omp %0' are ignored">,
1384  InGroup<ExtraTokens>;
1385def err_omp_multiple_step_or_linear_modifier : Error<
1386  "multiple %select{'step size'|'linear modifier'}0 found in linear clause">;
1387def err_omp_deprecate_old_syntax: Error<
1388  "old syntax '%0' on '%1' clause was deprecated, use new syntax '%2'">;
1389def warn_pragma_expected_colon_r_paren : Warning<
1390  "missing ':' or ')' after %0 - ignoring">, InGroup<IgnoredPragmas>;
1391def err_omp_unknown_directive : Error<
1392  "expected an OpenMP directive">;
1393def err_omp_unexpected_directive : Error<
1394  "unexpected OpenMP directive %select{|'#pragma omp %1'}0">;
1395def err_omp_expected_punc : Error<
1396  "expected ',' or ')' in '%0' %select{clause|directive}1">;
1397def warn_clause_expected_string : Warning<
1398  "expected string literal in 'clause %0' - ignoring">, InGroup<IgnoredPragmas>;
1399def err_omp_unexpected_clause : Error<
1400  "unexpected OpenMP clause '%0' in directive '#pragma omp %1'">;
1401def err_omp_unexpected_clause_extension_only : Error<
1402  "OpenMP clause '%0' is only available as extension, use '-fopenmp-extensions'">;
1403def err_omp_immediate_directive : Error<
1404  "'#pragma omp %0' %select{|with '%2' clause }1cannot be an immediate substatement">;
1405def err_omp_expected_identifier_for_critical : Error<
1406  "expected identifier specifying the name of the 'omp critical' directive">;
1407def err_omp_expected_reduction_identifier : Error<
1408  "expected identifier or one of the following operators: '+', '-', '*', '&', '|', '^', '&&', or '||'">;
1409def err_omp_expected_equal_in_iterator : Error<
1410  "expected '=' in iterator specifier">;
1411def err_omp_expected_punc_after_iterator : Error<
1412  "expected ',' or ')' after iterator specifier">;
1413def err_omp_decl_in_declare_simd_variant : Error<
1414  "function declaration is expected after 'declare %select{simd|variant}0' directive">;
1415def err_omp_sink_and_source_iteration_not_allowd: Error<" '%0 %select{sink:|source:}1' must be with '%select{omp_cur_iteration - 1|omp_cur_iteration}1'">;
1416def err_omp_unknown_map_type : Error<
1417  "incorrect map type, expected one of 'to', 'from', 'tofrom', 'alloc', 'release', or 'delete'">;
1418def err_omp_unknown_map_type_modifier : Error<
1419  "incorrect map type modifier, expected one of: 'always', 'close', 'mapper'"
1420  "%select{|, 'present'|, 'present', 'iterator'}0%select{|, 'ompx_hold'}1">;
1421def err_omp_map_type_missing : Error<
1422  "missing map type">;
1423def err_omp_map_type_modifier_missing : Error<
1424  "missing map type modifier">;
1425def err_omp_declare_simd_inbranch_notinbranch : Error<
1426  "unexpected '%0' clause, '%1' is specified already">;
1427def err_omp_expected_clause_argument
1428    : Error<"expected '%0' clause with an argument on '#pragma omp %1' "
1429            "construct">;
1430def err_expected_end_declare_target_or_variant : Error<
1431  "expected '#pragma omp end declare %select{target|variant}0'">;
1432def err_expected_begin_declare_variant
1433    : Error<"'#pragma omp end declare variant' with no matching '#pragma omp "
1434            "begin declare variant'">;
1435def err_expected_begin_assumes
1436    : Error<"'#pragma omp end assumes' with no matching '#pragma omp begin assumes'">;
1437def warn_omp_unknown_assumption_clause_missing_id
1438    : Warning<"valid %0 clauses start with %1; %select{token|tokens}2 will be ignored">,
1439      InGroup<OpenMPClauses>;
1440def warn_omp_unknown_assumption_clause_without_args
1441    : Warning<"%0 clause should not be followed by arguments; tokens will be ignored">,
1442      InGroup<OpenMPClauses>;
1443def note_omp_assumption_clause_continue_here
1444    : Note<"the ignored tokens spans until here">;
1445def err_omp_declare_target_unexpected_clause: Error<
1446  "unexpected '%0' clause, only %select{'device_type'|'to' or 'link'|'to', 'link' or 'device_type'|'device_type', 'indirect'|'to', 'link', 'device_type' or 'indirect'}1 clauses expected">;
1447def err_omp_declare_target_unexpected_clause_52: Error<
1448  "unexpected '%0' clause, only %select{'device_type'|'enter' or 'link'|'enter', 'link' or 'device_type'|'device_type', 'indirect'|'enter', 'link', 'device_type' or 'indirect'}1 clauses expected">;
1449def err_omp_begin_declare_target_unexpected_implicit_to_clause: Error<
1450  "unexpected '(', only 'to', 'link' or 'device_type' clauses expected for 'begin declare target' directive">;
1451def err_omp_declare_target_wrong_clause_after_implicit_to: Error<
1452  "unexpected clause after an implicit 'to' clause">;
1453def err_omp_declare_target_wrong_clause_after_implicit_enter: Error<
1454  "unexpected clause after an implicit 'enter' clause">;
1455def err_omp_declare_target_missing_to_or_link_clause: Error<
1456  "expected at least one %select{'to' or 'link'|'to', 'link' or 'indirect'}0 clause">;
1457def err_omp_declare_target_missing_enter_or_link_clause: Error<
1458  "expected at least one %select{'enter' or 'link'|'enter', 'link' or 'indirect'}0 clause">;
1459def err_omp_declare_target_unexpected_to_clause: Error<
1460  "unexpected 'to' clause, use 'enter' instead">;
1461def err_omp_declare_target_unexpected_enter_clause: Error<
1462  "unexpected 'enter' clause, use 'to' instead">;
1463def err_omp_declare_target_multiple : Error<
1464  "%0 appears multiple times in clauses on the same declare target directive">;
1465def err_omp_declare_target_indirect_device_type: Error<
1466  "only 'device_type(any)' clause is allowed with indirect clause">;
1467def err_omp_expected_clause: Error<
1468  "expected at least one clause on '#pragma omp %0' directive">;
1469def err_omp_mapper_illegal_identifier : Error<
1470  "illegal OpenMP user-defined mapper identifier">;
1471def err_omp_mapper_expected_declarator : Error<
1472  "expected declarator on 'omp declare mapper' directive">;
1473def err_omp_unexpected_append_op : Error<
1474  "unexpected operation specified in 'append_args' clause, expected 'interop'">;
1475def err_omp_unexpected_execution_modifier : Error<
1476  "unexpected 'execution' modifier in non-executable context">;
1477def err_omp_declare_variant_wrong_clause : Error<
1478  "expected %select{'match'|'match', 'adjust_args', or 'append_args'}0 clause "
1479  "on 'omp declare variant' directive">;
1480def err_omp_declare_variant_duplicate_nested_trait : Error<
1481  "nested OpenMP context selector contains duplicated trait '%0'"
1482  " in selector '%1' and set '%2' with different score">;
1483def err_omp_declare_variant_nested_user_condition : Error<
1484  "nested user conditions in OpenMP context selector not supported (yet)">;
1485def warn_omp_declare_variant_string_literal_or_identifier
1486    : Warning<"expected identifier or string literal describing a context "
1487              "%select{set|selector|property}0; "
1488              "%select{set|selector|property}0 skipped">,
1489      InGroup<OpenMPClauses>;
1490def warn_unknown_declare_variant_isa_trait
1491    : Warning<"isa trait '%0' is not known to the current target; verify the "
1492              "spelling or consider restricting the context selector with the "
1493              "'arch' selector further">,
1494      InGroup<SourceUsesOpenMP>;
1495def note_ompx_bare_clause : Note<
1496  "OpenMP extension clause '%0' only allowed with '#pragma omp %1'">;
1497def note_omp_declare_variant_ctx_options
1498    : Note<"context %select{set|selector|property}0 options are: %1">;
1499def warn_omp_declare_variant_expected
1500    : Warning<"expected '%0' after the %1; '%0' assumed">,
1501      InGroup<OpenMPClauses>;
1502def warn_omp_declare_variant_ctx_not_a_property
1503    : Warning<"'%0' is not a valid context property for the context selector "
1504              "'%1' and the context set '%2'; property ignored">,
1505      InGroup<OpenMPClauses>;
1506def note_omp_declare_variant_ctx_is_a
1507    : Note<"'%0' is a context %select{set|selector|property}1 not a context "
1508           "%select{set|selector|property}2">;
1509def note_omp_declare_variant_ctx_try : Note<"try 'match(%0={%1%2})'">;
1510def warn_omp_declare_variant_ctx_not_a_selector
1511    : Warning<"'%0' is not a valid context selector for the context set '%1'; "
1512              "selector ignored">,
1513      InGroup<OpenMPClauses>;
1514def warn_omp_declare_variant_ctx_not_a_set
1515    : Warning<"'%0' is not a valid context set in a `declare variant`; set "
1516              "ignored">,
1517      InGroup<OpenMPClauses>;
1518def warn_omp_declare_variant_ctx_mutiple_use
1519    : Warning<"the context %select{set|selector|property}0 '%1' was used "
1520              "already in the same 'omp declare variant' directive; "
1521              "%select{set|selector|property}0 ignored">,
1522      InGroup<OpenMPClauses>;
1523def note_omp_declare_variant_ctx_used_here
1524    : Note<"the previous context %select{set|selector|property}0 '%1' used "
1525           "here">;
1526def note_omp_declare_variant_ctx_continue_here
1527    : Note<"the ignored %select{set|selector|property}0 spans until here">;
1528def warn_omp_ctx_incompatible_selector_for_set
1529    : Warning<"the context selector '%0' is not valid for the context set "
1530              "'%1'; selector ignored">,
1531      InGroup<OpenMPClauses>;
1532def note_omp_ctx_compatible_set_for_selector
1533    : Note<"the context selector '%0' can be nested in the context set '%1'; "
1534           "try 'match(%1={%0%select{|(property)}2})'">;
1535def warn_omp_ctx_selector_without_properties
1536    : Warning<"the context selector '%0' in context set '%1' requires a "
1537              "context property defined in parentheses; selector ignored">,
1538      InGroup<OpenMPClauses>;
1539def warn_omp_ctx_incompatible_property_for_selector
1540    : Warning<"the context property '%0' is not valid for the context selector "
1541              "'%1' and the context set '%2'; property ignored">,
1542      InGroup<OpenMPClauses>;
1543def note_omp_ctx_compatible_set_and_selector_for_property
1544    : Note<"the context property '%0' can be nested in the context selector "
1545           "'%1' which is nested in the context set '%2'; try "
1546           "'match(%2={%1(%0)})'">;
1547def warn_omp_ctx_incompatible_score_for_property
1548    : Warning<"the context selector '%0' in the context set '%1' cannot have a "
1549              "score ('%2'); score ignored">,
1550      InGroup<OpenMPClauses>;
1551def warn_omp_more_one_device_type_clause
1552    : Warning<"more than one 'device_type' clause is specified">,
1553      InGroup<OpenMPClauses>;
1554def err_omp_variant_ctx_second_match_extension : Error<
1555  "only a single match extension allowed per OpenMP context selector">;
1556def err_omp_invalid_dsa: Error<
1557  "data-sharing attribute '%0' in '%1' clause requires OpenMP version %2 or above">;
1558def err_omp_expected_punc_after_interop_mod : Error<
1559  "expected ',' after interop modifier">;
1560def err_omp_expected_interop_type : Error<
1561  "expected interop type: 'target' and/or 'targetsync'">;
1562def warn_omp_more_one_interop_type
1563  : Warning<"interop type '%0' cannot be specified more than once">,
1564    InGroup<OpenMPClauses>;
1565def err_expected_sequence_or_directive : Error<
1566  "expected an OpenMP 'directive' or 'sequence' attribute argument">;
1567def ext_omp_attributes : ExtWarn<
1568  "specifying OpenMP directives with [[]] is an OpenMP 5.1 extension">,
1569  InGroup<OpenMP51Ext>;
1570def warn_omp51_compat_attributes : Warning<
1571  "specifying OpenMP directives with [[]] is incompatible with OpenMP "
1572  "standards before OpenMP 5.1">,
1573  InGroup<OpenMPPre51Compat>, DefaultIgnore;
1574def err_omp_expected_colon : Error<"missing ':' in %0">;
1575def err_omp_missing_comma : Error< "missing ',' after %0">;
1576def err_omp_expected_context_selector
1577    : Error<"expected valid context selector in %0">;
1578def err_omp_requires_out_inout_depend_type : Error<
1579  "reserved locator 'omp_all_memory' requires 'out' or 'inout' "
1580  "dependency types">;
1581def warn_omp_more_one_omp_all_memory : Warning<
1582  "reserved locator 'omp_all_memory' cannot be specified more than once">,
1583  InGroup<OpenMPClauses>;
1584def warn_omp_depend_in_ordered_deprecated : Warning<"'depend' clause for"
1585  " 'ordered' is deprecated; use 'doacross' instead">, InGroup<Deprecated>;
1586def warn_omp_invalid_attribute_for_ompx_attributes : Warning<"'ompx_attribute' clause only allows "
1587  "'amdgpu_flat_work_group_size', 'amdgpu_waves_per_eu', and 'launch_bounds'; "
1588  "%0 is ignored">, InGroup<OpenMPExtensions>;
1589
1590// Pragma loop support.
1591def err_pragma_loop_missing_argument : Error<
1592  "missing argument; expected %select{an integer value|"
1593  "'enable'%select{|, 'full'}1%select{|, 'assume_safety'}2 or 'disable'}0">;
1594def err_pragma_loop_invalid_option : Error<
1595  "%select{invalid|missing}0 option%select{ %1|}0; expected vectorize, "
1596  "vectorize_width, interleave, interleave_count, unroll, unroll_count, "
1597  "pipeline, pipeline_initiation_interval, vectorize_predicate, or distribute">;
1598def err_pragma_loop_invalid_vectorize_option : Error<
1599  "vectorize_width loop hint malformed; use vectorize_width(X, fixed) or "
1600  "vectorize_width(X, scalable) where X is an integer, or vectorize_width('fixed' or 'scalable')">;
1601def note_pragma_loop_invalid_vectorize_option : Note<
1602  "vectorize_width loop hint malformed; use vectorize_width(X, fixed) or "
1603  "vectorize_width(X, scalable) where X is an integer, or vectorize_width('fixed' or 'scalable')">;
1604
1605def err_pragma_fp_invalid_option : Error<
1606  "%select{invalid|missing}0 option%select{ %1|}0; expected 'contract', 'reassociate', 'reciprocal', or 'exceptions'">;
1607def err_pragma_fp_invalid_argument : Error<
1608  "unexpected argument '%0' to '#pragma clang fp %1'; expected "
1609  "%select{"
1610  "'fast' or 'on' or 'off'|"
1611  "'on' or 'off'|"
1612  "'on' or 'off'|"
1613  "'ignore', 'maytrap' or 'strict'|"
1614  "'source', 'double' or 'extended'}2">;
1615
1616def err_pragma_invalid_keyword : Error<
1617  "invalid argument; expected 'enable'%select{|, 'full'}0%select{|, 'assume_safety'}1 or 'disable'">;
1618def err_pragma_pipeline_invalid_keyword : Error<
1619    "invalid argument; expected 'disable'">;
1620
1621// API notes.
1622def err_type_unparsed : Error<"unparsed tokens following type">;
1623
1624// Pragma unroll support.
1625def warn_pragma_unroll_cuda_value_in_parens : Warning<
1626  "argument to '#pragma unroll' should not be in parentheses in CUDA C/C++">,
1627  InGroup<CudaCompat>;
1628
1629def warn_cuda_attr_lambda_position : Warning<
1630  "nvcc does not allow '__%0__' to appear after the parameter list in lambdas">,
1631  InGroup<CudaCompat>;
1632def warn_pragma_force_cuda_host_device_bad_arg : Warning<
1633  "incorrect use of #pragma clang force_cuda_host_device begin|end">,
1634  InGroup<IgnoredPragmas>;
1635def err_pragma_cannot_end_force_cuda_host_device : Error<
1636  "force_cuda_host_device end pragma without matching "
1637  "force_cuda_host_device begin">;
1638
1639def warn_ext_int_deprecated : Warning<
1640  "'_ExtInt' is deprecated; use '_BitInt' instead">, InGroup<DeprecatedType>;
1641def ext_bit_int : Extension<
1642  "'_BitInt' in %select{C17 and earlier|C++}0 is a Clang extension">,
1643  InGroup<DiagGroup<"bit-int-extension">>;
1644} // end of Parse Issue category.
1645
1646let CategoryName = "Modules Issue" in {
1647def err_unexpected_module_decl : Error<
1648  "module declaration can only appear at the top level">;
1649def err_module_expected_ident : Error<
1650  "expected a module name after '%select{module|import}0'">;
1651def err_attribute_not_module_attr : Error<
1652  "%0 attribute cannot be applied to a module">;
1653def err_keyword_not_module_attr : Error<
1654  "%0 cannot be applied to a module">;
1655def err_attribute_not_import_attr : Error<
1656  "%0 attribute cannot be applied to a module import">;
1657def err_keyword_not_import_attr : Error<
1658  "%0 cannot be applied to a module import">;
1659def err_module_expected_semi : Error<
1660  "expected ';' after module name">;
1661def err_global_module_introducer_not_at_start : Error<
1662  "'module;' introducing a global module fragment can appear only "
1663  "at the start of the translation unit">;
1664def err_module_fragment_exported : Error<
1665  "%select{global|private}0 module fragment cannot be exported">;
1666def err_private_module_fragment_expected_semi : Error<
1667  "expected ';' after private module fragment declaration">;
1668def err_missing_before_module_end : Error<"expected %0 at end of module">;
1669def err_unsupported_module_partition : Error<
1670  "module partitions are only supported for C++20 onwards">;
1671def err_import_not_allowed_here : Error<
1672  "imports must immediately follow the module declaration">;
1673def err_partition_import_outside_module : Error<
1674  "module partition imports must be within a module purview">;
1675def err_import_in_wrong_fragment : Error<
1676  "module%select{| partition}0 imports cannot be in the %select{global|private}1 module fragment">;
1677
1678def err_export_empty : Error<"export declaration cannot be empty">;
1679}
1680
1681let CategoryName = "Generics Issue" in {
1682
1683def err_objc_expected_type_parameter : Error<
1684  "expected type parameter name">;
1685
1686def err_objc_parameterized_implementation : Error<
1687  "@implementation cannot have type parameters">;
1688
1689def err_objc_type_args_after_protocols : Error<
1690  "protocol qualifiers must precede type arguments">;
1691
1692def note_meant_to_use_typename : Note<
1693  "did you mean to use 'typename'?">;
1694}
1695
1696let CategoryName = "Coroutines Issue" in {
1697def err_for_co_await_not_range_for : Error<
1698  "'co_await' modifier can only be applied to range-based for loop">;
1699def warn_deprecated_for_co_await : Warning<
1700  "'for co_await' belongs to CoroutineTS instead of C++20, which is deprecated">,
1701  InGroup<DeprecatedCoroutine>;
1702}
1703
1704let CategoryName = "Concepts Issue" in {
1705def err_concept_definition_not_identifier : Error<
1706  "name defined in concept definition must be an identifier">;
1707def err_concept_legacy_bool_keyword : Error<
1708  "ISO C++ does not permit the 'bool' keyword after 'concept'">;
1709def err_placeholder_expected_auto_or_decltype_auto : Error<
1710  "expected 'auto' or 'decltype(auto)' after concept name">;
1711}
1712
1713def warn_max_tokens : Warning<
1714  "the number of preprocessor source tokens (%0) exceeds this token limit (%1)">,
1715  InGroup<MaxTokens>, DefaultIgnore;
1716
1717def warn_max_tokens_total : Warning<
1718  "the total number of preprocessor source tokens (%0) exceeds the token limit (%1)">,
1719  InGroup<MaxTokens>, DefaultIgnore;
1720
1721def note_max_tokens_total_override : Note<"total token limit set here">;
1722
1723// HLSL Parser Diagnostics
1724
1725def err_expected_semantic_identifier : Error<
1726  "expected HLSL Semantic identifier">;
1727def err_invalid_declaration_in_hlsl_buffer : Error<
1728  "invalid declaration inside %select{tbuffer|cbuffer}0">;
1729def err_unknown_hlsl_semantic : Error<"unknown HLSL semantic %0">;
1730def err_hlsl_separate_attr_arg_and_number : Error<"wrong argument format for hlsl attribute, use %0 instead">;
1731def ext_hlsl_access_specifiers : ExtWarn<
1732  "access specifiers are a clang HLSL extension">,
1733  InGroup<HLSLExtension>;
1734
1735} // end of Parser diagnostics
1736