include/clang/Basic/DiagnosticParseKinds.td

   1 //==--- DiagnosticParseKinds.td - libparse diagnostics --------------------===//
   2 //
   3 //                     The LLVM Compiler Infrastructure
   4 //
   5 // This file is distributed under the University of Illinois Open Source
   6 // License. See LICENSE.TXT for details.
   7 //
   8 //===----------------------------------------------------------------------===//
   9
  10 //===----------------------------------------------------------------------===//
  11 // Parser Diagnostics
  12 //===----------------------------------------------------------------------===//
  13
  14 let Component = "Parse" in {
  15
  16 def w_asm_qualifier_ignored : Warning<"ignored %0 qualifier on asm">,
  17                               CatInlineAsm;
  18 def warn_file_asm_volatile : Warning<
  19   "meaningless 'volatile' on asm outside function">, CatInlineAsm;
  20
  21 let CategoryName = "Parse Issue" in {
  22
  23 def ext_empty_source_file : Extension<"ISO C forbids an empty source file">;
  24 def ext_top_level_semi : Extension<
  25   "extra ';' outside of a function">;
  26 def ext_extra_struct_semi : Extension<
  27   "extra ';' inside a %0">;
  28 def ext_extra_ivar_semi : Extension<
  29   "extra ';' inside instance variable list">;
  30
  31 def ext_duplicate_declspec : Extension<"duplicate '%0' declaration specifier">;
  32 def ext_plain_complex : ExtWarn<
  33   "plain '_Complex' requires a type specifier; assuming '_Complex double'">;
  34 def ext_integer_complex : Extension<
  35   "complex integer types are an extension">;
  36 def ext_thread_before : Extension<"'__thread' before 'static'">;
  37
  38 def ext_empty_struct_union : Extension<"empty %select{struct|union}0 "
  39   "(accepted as an extension) has size 0 in C, size 1 in C++">,
  40   InGroup<CXXCompat>;
  41 def error_empty_enum : Error<"use of empty enum">;
  42 def err_invalid_sign_spec : Error<"'%0' cannot be signed or unsigned">;
  43 def err_invalid_short_spec : Error<"'short %0' is invalid">;
  44 def err_invalid_long_spec : Error<"'long %0' is invalid">;
  45 def err_invalid_longlong_spec : Error<"'long long %0' is invalid">;
  46 def err_invalid_complex_spec : Error<"'_Complex %0' is invalid">;
  47 def err_friend_storage_spec : Error<"'%0' is invalid in friend declarations">;
  48
  49 def ext_ident_list_in_param : Extension<
  50   "type-less parameter names in function declaration">;
  51 def ext_c99_variable_decl_in_for_loop : Extension<
  52   "variable declaration in for loop is a C99-specific feature">;
  53 def ext_c99_compound_literal : Extension<
  54   "compound literals are a C99-specific feature">;
  55 def ext_enumerator_list_comma : Extension<
  56   "commas at the end of enumerator lists are a %select{C99|C++0x}0-specific "
  57   "feature">;
  58 def err_enumerator_list_missing_comma : Error<
  59   "missing ',' between enumerators">;
  60
  61 def ext_gnu_indirect_goto : Extension<
  62   "use of GNU indirect-goto extension">, InGroup<GNU>;
  63 def ext_gnu_address_of_label : Extension<
  64   "use of GNU address-of-label extension">, InGroup<GNU>;
  65 def ext_gnu_local_label : Extension<
  66   "use of GNU locally declared label extension">, InGroup<GNU>;
  67 def ext_gnu_statement_expr : Extension<
  68   "use of GNU statement expression extension">, InGroup<GNU>;
  69 def ext_gnu_conditional_expr : Extension<
  70   "use of GNU ?: expression extension, eliding middle term">, InGroup<GNU>;
  71 def ext_gnu_empty_initializer : Extension<
  72   "use of GNU empty initializer extension">, InGroup<GNU>;
  73 def ext_gnu_array_range : Extension<"use of GNU array range extension">,
  74   InGroup<GNUDesignator>;
  75 def ext_gnu_missing_equal_designator : ExtWarn<
  76   "use of GNU 'missing =' extension in designator">,
  77   InGroup<GNUDesignator>;
  78 def err_expected_equal_designator : Error<"expected '=' or another designator">;
  79 def ext_gnu_old_style_field_designator : ExtWarn<
  80   "use of GNU old-style field designator extension">,
  81   InGroup<GNUDesignator>;
  82 def ext_gnu_case_range : Extension<"use of GNU case range extension">,
  83   InGroup<GNU>;
  84
  85 // Generic errors.
  86 def err_parse_error : Error<"parse error">;
  87 def err_expected_expression : Error<"expected expression">;
  88 def err_expected_type : Error<"expected a type">;
  89 def err_expected_external_declaration : Error<"expected external declaration">;
  90 def err_expected_ident : Error<"expected identifier">;
  91 def err_expected_ident_lparen : Error<"expected identifier or '('">;
  92 def err_expected_ident_lbrace : Error<"expected identifier or '{'">;
  93 def err_expected_lbrace : Error<"expected '{'">;
  94 def err_expected_lparen : Error<"expected '('">;
  95 def err_expected_rparen : Error<"expected ')'">;
  96 def err_expected_lsquare : Error<"expected '['">;
  97 def err_expected_rsquare : Error<"expected ']'">;
  98 def err_expected_rbrace : Error<"expected '}'">;
  99 def err_expected_greater : Error<"expected '>'">;
 100 def err_expected_ggg : Error<"expected '>>>'">;
 101 def err_expected_semi_declaration : Error<
 102   "expected ';' at end of declaration">;
 103 def err_expected_semi_decl_list : Error<
 104   "expected ';' at end of declaration list">;
 105 def ext_expected_semi_decl_list : Extension<
 106   "expected ';' at end of declaration list">;
 107 def err_expected_member_name_or_semi : Error<
 108   "expected member name or ';' after declaration specifiers">;
 109 def err_function_declared_typedef : Error<
 110   "function definition declared 'typedef'">;
 111 def err_iboutletcollection_builtintype : Error<
 112   "type argument of iboutletcollection attribute cannot be a builtin type">;
 113 def err_expected_fn_body : Error<
 114   "expected function body after function declarator">;
 115 def err_expected_method_body : Error<"expected method body">;
 116 def err_invalid_token_after_toplevel_declarator : Error<
 117   "expected ';' after top level declarator">;
 118 def err_invalid_equalequal_after_declarator : Error<
 119   "invalid '==' at end of declaration; did you mean '='?">;
 120 def err_expected_statement : Error<"expected statement">;
 121 def err_expected_lparen_after : Error<"expected '(' after '%0'">;
 122 def err_expected_lparen_after_id : Error<"expected '(' after %0">;
 123 def err_expected_less_after : Error<"expected '<' after '%0'">;
 124 def err_expected_comma : Error<"expected ','">;
 125 def err_expected_lbrace_in_compound_literal : Error<
 126   "expected '{' in compound literal">;
 127 def err_expected_while : Error<"expected 'while' in do/while loop">;
 128
 129 def err_expected_semi_after : Error<"expected ';' after %0">;
 130 def err_expected_semi_after_stmt : Error<"expected ';' after %0 statement">;
 131 def err_expected_semi_after_expr : Error<"expected ';' after expression">;
 132 def err_extraneous_token_before_semi : Error<"extraneous '%0' before ';'">;
 133
 134 def err_expected_semi_after_method_proto : Error<
 135   "expected ';' after method prototype">;
 136 def err_expected_semi_after_namespace_name : Error<
 137   "expected ';' after namespace name">;
 138 def err_unexpected_namespace_attributes_alias : Error<
 139   "attributes can not be specified on namespace alias">;
 140 def err_inline_namespace_alias : Error<"namespace alias cannot be inline">;
 141 def err_namespace_nonnamespace_scope : Error<
 142   "namespaces can only be defined in global or namespace scope">;
 143 def err_expected_semi_after_attribute_list : Error<
 144   "expected ';' after attribute list">;
 145 def err_expected_semi_after_static_assert : Error<
 146   "expected ';' after static_assert">;
 147 def err_expected_semi_for : Error<"expected ';' in 'for' statement specifier">;
 148 def err_expected_colon_after : Error<"expected ':' after %0">;
 149 def err_label_end_of_compound_statement : Error<
 150   "label at end of compound statement: expected statement">;
 151 def err_expected_string_literal : Error<"expected string literal">;
 152 def err_expected_asm_operand : Error<
 153   "expected string literal or '[' for asm operand">, CatInlineAsm;
 154 def err_expected_selector_for_method : Error<
 155   "expected selector for Objective-C method">;
 156 def err_expected_property_name : Error<"expected property name">;
 157
 158 def err_unexpected_at : Error<"unexpected '@' in program">;
 159
 160 def err_invalid_reference_qualifier_application : Error<
 161   "'%0' qualifier may not be applied to a reference">;
 162 def err_illegal_decl_reference_to_reference : Error<
 163   "%0 declared as a reference to a reference">;
 164 def ext_rvalue_reference : ExtWarn<
 165   "rvalue references are a C++0x extension">, InGroup<CXX0x>;
 166 def ext_ref_qualifier : ExtWarn<
 167   "reference qualifiers on functions are a C++0x extension">, InGroup<CXX0x>;
 168 def ext_inline_namespace : ExtWarn<
 169   "inline namespaces are a C++0x feature">, InGroup<CXX0x>;
 170 def err_argument_required_after_attribute : Error<
 171   "argument required after attribute">;
 172 def err_missing_param : Error<"expected parameter declarator">;
 173 def err_missing_comma_before_ellipsis : Error<
 174   "C requires a comma prior to the ellipsis in a variadic function type">;
 175 def err_unexpected_typedef_ident : Error<
 176   "unexpected type name %0: expected identifier">;
 177 def err_expected_class_name : Error<"expected class name">;
 178 def err_unspecified_vla_size_with_static : Error<
 179   "'static' may not be used with an unspecified variable length array size">;
 180
 181 // Declarations.
 182 def err_typename_requires_specqual : Error<
 183   "type name requires a specifier or qualifier">;
 184 def err_typename_invalid_storageclass : Error<
 185   "type name does not allow storage class to be specified">;
 186 def err_typename_invalid_functionspec : Error<
 187   "type name does not allow function specifier to be specified">;
 188 def err_invalid_decl_spec_combination : Error<
 189   "cannot combine with previous '%0' declaration specifier">;
 190 def err_invalid_vector_decl_spec_combination : Error<
 191   "cannot combine with previous '%0' declaration specifier. "
 192   "'__vector' must be first">;
 193 def err_invalid_pixel_decl_spec_combination : Error<
 194   "'__pixel' must be preceded by '__vector'.  "
 195   "'%0' declaration specifier not allowed here">;
 196 def err_invalid_vector_decl_spec : Error<
 197   "cannot use '%0' with '__vector'">;
 198 def err_invalid_vector_bool_decl_spec : Error<
 199   "cannot use '%0' with '__vector bool'">;
 200 def warn_vector_long_decl_spec_combination : Warning<
 201   "Use of 'long' with '__vector' is deprecated">, InGroup<Deprecated>;
 202 def err_friend_invalid_in_context : Error<
 203   "'friend' used outside of class">;
 204 def err_unknown_typename : Error<
 205   "unknown type name %0">;
 206 def err_use_of_tag_name_without_tag : Error<
 207   "must use '%1' tag to refer to type %0%select{| in this scope}2">;
 208 def err_templated_using_directive : Error<
 209   "cannot template a using directive">;
 210 def err_templated_using_declaration : Error<
 211   "cannot template a using declaration">;
 212 def err_expected_ident_in_using : Error<
 213   "expected an identifier in using directive">;
 214 def err_unexected_colon_in_nested_name_spec : Error<
 215   "unexpected ':' in nested name specifier">;
 216 def err_bool_redeclaration : Error<
 217   "redeclaration of C++ built-in type 'bool'">;
 218
 219 /// Objective-C parser diagnostics
 220 def err_expected_minus_or_plus : Error<
 221   "method type specifier must start with '-' or '+'">;
 222 def err_objc_no_attributes_on_category : Error<
 223   "attributes may not be specified on a category">;
 224 def err_objc_missing_end : Error<"missing @end">;
 225 def warn_objc_protocol_qualifier_missing_id : Warning<
 226   "protocol qualifiers without 'id' is archaic">;
 227 def err_objc_unknown_at : Error<"expected an Objective-C directive after '@'">;
 228 def err_illegal_super_cast : Error<
 229   "cannot cast 'super' (it isn't an expression)">;
 230
 231 def err_objc_illegal_visibility_spec : Error<
 232   "illegal visibility specification">;
 233 def err_objc_illegal_interface_qual : Error<"illegal interface qualifier">;
 234 def err_objc_expected_equal_for_getter : Error<
 235   "expected '=' for Objective-C getter">;
 236 def err_objc_expected_equal_for_setter : Error<
 237   "expected '=' for Objective-C setter">;
 238 def err_objc_expected_selector_for_getter_setter : Error<
 239   "expected selector for Objective-C %select{setter|getter}0">;
 240 def err_objc_property_requires_field_name : Error<
 241   "property requires fields to be named">;
 242 def err_objc_property_bitfield : Error<"property name cannot be a bitfield">;
 243 def err_objc_expected_property_attr : Error<"unknown property attribute %0">;
 244 def err_objc_properties_require_objc2 : Error<
 245   "properties are an Objective-C 2 feature">;
 246 def err_objc_unexpected_attr : Error<
 247   "prefix attribute must be followed by an interface or protocol">;
 248 def err_objc_directive_only_in_protocol : Error<
 249   "directive may only be specified in protocols only">;
 250 def err_missing_catch_finally : Error<
 251   "@try statement without a @catch and @finally clause">;
 252 def err_objc_concat_string : Error<"unexpected token after Objective-C string">;
 253 def err_missing_sel_definition : Error<"cannot find definition of 'SEL'">;
 254 def err_missing_id_definition : Error<"cannot find definition of 'id'">;
 255 def err_missing_proto_definition : Error<
 256   "cannot find definition of 'Protocol'">;
 257 def err_missing_class_definition : Error<"cannot find definition of 'Class'">;
 258 def warn_expected_implementation : Warning<
 259   "@end must appear in an @implementation context">;
 260 def error_property_ivar_decl : Error<
 261   "property synthesize requires specification of an ivar">;
 262 def err_synthesized_property_name : Error<
 263   "expected a property name in @synthesize">;
 264 def warn_semicolon_before_method_body : Warning<
 265   "semicolon before method body is ignored">,
 266   InGroup<DiagGroup<"semicolon-before-method-body">>, DefaultIgnore;
 267
 268 def err_expected_field_designator : Error<
 269   "expected a field designator, such as '.field = 4'">;
 270
 271 def err_declaration_does_not_declare_param : Error<
 272   "declaration does not declare a parameter">;
 273 def err_no_matching_param : Error<"parameter named %0 is missing">;
 274
 275 /// C++ parser diagnostics
 276 def err_expected_unqualified_id : Error<
 277   "expected %select{identifier|unqualified-id}0">;
 278 def err_func_def_no_params : Error<
 279   "function definition does not declare parameters">;
 280 def err_expected_lparen_after_type : Error<
 281   "expected '(' for function-style cast or type construction">;
 282 def err_expected_equal_after_declarator : Error<
 283   "expected '=' after declarator">;
 284 def warn_parens_disambiguated_as_function_decl : Warning<
 285   "parentheses were disambiguated as a function declarator">;
 286 def err_expected_member_or_base_name : Error<
 287   "expected class member or base class name">;
 288 def err_expected_lbrace_after_base_specifiers : Error<
 289   "expected '{' after base class list">;
 290 def ext_ellipsis_exception_spec : Extension<
 291   "exception specification of '...' is a Microsoft extension">;
 292 def err_expected_catch : Error<"expected catch">;
 293 def err_expected_lbrace_or_comma : Error<"expected '{' or ','">;
 294 def err_using_namespace_in_class : Error<
 295   "'using namespace' is not allowed in classes">;
 296 def err_destructor_tilde_identifier : Error<
 297   "expected a class name after '~' to name a destructor">;
 298 def err_destructor_template_id : Error<
 299   "destructor name %0 does not refer to a template">;
 300 def err_default_arg_unparsed : Error<
 301   "unexpected end of default argument expression">;
 302
 303 // C++ derived classes
 304 def err_dup_virtual : Error<"duplicate 'virtual' in base specifier">;
 305
 306 // C++ operator overloading
 307 def err_operator_string_not_empty : Error<
 308   "string literal after 'operator' must be '\"\"'">;
 309
 310 // Classes.
 311 def err_anon_type_definition : Error<
 312   "declaration of anonymous %0 must be a definition">;
 313
 314 def err_cxx0x_attribute_forbids_arguments : Error<
 315   "C++0x attribute '%0' cannot have an argument list">;
 316 def err_cxx0x_attribute_requires_arguments : Error<
 317   "C++0x attribute '%0' must have an argument list">;
 318 def err_attributes_not_allowed : Error<"an attribute list cannot appear here">;
 319
 320 /// C++ Templates
 321 def err_expected_template : Error<"expected template">;
 322 def err_unknown_template_name : Error<
 323   "unknown template name %0">;
 324 def err_expected_comma_greater : Error<
 325   "expected ',' or '>' in template-parameter-list">;
 326 def err_expected_type_id_after : Error<"expected type-id after '%0'">;
 327 def err_expected_class_before : Error<"expected 'class' before '%0'">;
 328 def err_template_spec_syntax_non_template : Error<
 329   "identifier followed by '<' indicates a class template specialization but "
 330   "%0 %select{does not refer to a template|refers to a function "
 331   "template|<unused>|refers to a template template parameter}1">;
 332 def err_id_after_template_in_nested_name_spec : Error<
 333   "expected template name after 'template' keyword in nested name specifier">;
 334 def err_id_after_template_in_typename_spec : Error<
 335   "expected template name after 'template' keyword in typename specifier">;
 336 def err_less_after_template_name_in_nested_name_spec : Error<
 337   "expected '<' after 'template %0' in nested name specifier">;
 338 def err_two_right_angle_brackets_need_space : Error<
 339   "a space is required between consecutive right angle brackets (use '> >')">;
 340 def warn_cxx0x_right_shift_in_template_arg : Warning<
 341   "use of right-shift operator ('>>') in template argument will require "
 342   "parentheses in C++0x">;
 343 def err_multiple_template_declarators : Error<
 344     "%select{|a template declaration|an explicit template specialization|"
 345     "an explicit template instantiation}0 can "
 346     "only %select{|declare|declare|instantiate}0 a single entity">;
 347 def err_explicit_instantiation_with_definition : Error<
 348     "explicit template instantiation cannot have a definition; if this "
 349     "definition is meant to be an explicit specialization, add '<>' after the "
 350     "'template' keyword">;
 351 def err_enum_template : Error<"enumeration cannot be a template">;
 352
 353 def err_missing_dependent_template_keyword : Error<
 354   "use 'template' keyword to treat '%0' as a dependent template name">;
 355
 356 def warn_static_inline_explicit_inst_ignored : Warning<
 357   "ignoring '%select{static|inline}0' keyword on explicit template "
 358   "instantiation">;
 359
 360 // Constructor template diagnostics.
 361 def err_out_of_line_constructor_template_id : Error<
 362   "out-of-line constructor for %0 cannot have template arguments">;
 363 def err_out_of_line_template_id_names_constructor : Error<
 364   "qualified reference to %0 is a constructor name rather than a "
 365   "template name wherever a constructor can be declared">;
 366 def err_out_of_line_type_names_constructor : Error<
 367   "qualified reference to %0 is a constructor name rather than a "
 368   "type wherever a constructor can be declared">;
 369
 370 def err_expected_qualified_after_typename : Error<
 371   "expected a qualified name after 'typename'">;
 372 def err_expected_semi_after_tagdecl : Error<
 373   "expected ';' after %0">;
 374
 375 def err_typename_refers_to_non_type_template : Error<
 376   "typename specifier refers to a non-template">;
 377 def err_expected_type_name_after_typename : Error<
 378   "expected an identifier or template-id after '::'">;
 379 def err_explicit_spec_non_template : Error<
 380   "explicit %select{specialization|instantiation}0 of non-template "
 381   "%select{class|struct|union}1 %2">;
 382
 383 def err_default_template_template_parameter_not_template : Error<
 384   "default template argument for a template template parameter must be a class "
 385   "template">;
 386
 387 def err_ctor_init_missing_comma : Error<
 388   "missing ',' between base or member initializers">;
 389
 390 // C++ declarations
 391 def err_friend_decl_defines_class : Error<
 392   "cannot define a type in a friend declaration">;
 393
 394 def warn_deleted_function_accepted_as_extension: ExtWarn<
 395   "deleted function definition accepted as a C++0x extension">, InGroup<CXX0x>;
 396
 397 // C++0x override control
 398 def ext_override_control_keyword : Extension<
 399   "'%0' keyword accepted as a C++0x extension">, InGroup<CXX0x>;
 400 def ext_override_inline: Extension<
 401   "'%0' keyword only allowed in declarations, allowed as an extension">;
 402
 403 def err_duplicate_virt_specifier : Error<
 404   "class member already marked '%0'">;
 405 def err_duplicate_class_virt_specifier : Error<
 406   "class already marked '%0'">;
 407
 408 def err_scoped_enum_missing_identifier : Error<
 409   "scoped enumeration requires a name">;
 410
 411 def err_expected_parameter_pack : Error<
 412   "expected the name of a parameter pack">;
 413 def err_paren_sizeof_parameter_pack : Error<
 414   "missing parentheses around the size of parameter pack %0">;
 415 def err_sizeof_parameter_pack : Error<
 416   "expected parenthesized parameter pack name in 'sizeof...' expression">;
 417
 418 // Language specific pragmas
 419 // - Generic warnings
 420 def warn_pragma_expected_lparen : Warning<
 421   "missing '(' after '#pragma %0' - ignoring">;
 422 def warn_pragma_expected_rparen : Warning<
 423   "missing ')' after '#pragma %0' - ignoring">;
 424 def warn_pragma_expected_identifier : Warning<
 425   "expected identifier in '#pragma %0' - ignored">;
 426 def warn_pragma_extra_tokens_at_eol : Warning<
 427   "extra tokens at end of '#pragma %0' - ignored">;
 428 // - #pragma options
 429 def warn_pragma_options_expected_align : Warning<
 430   "expected 'align' following '#pragma options' - ignored">;
 431 def warn_pragma_align_expected_equal : Warning<
 432   "expected '=' following '#pragma %select{align|options align}0' - ignored">;
 433 def warn_pragma_align_invalid_option : Warning<
 434   "invalid alignment option in '#pragma %select{align|options align}0' - ignored">;
 435 // - #pragma pack
 436 def warn_pragma_pack_invalid_action : Warning<
 437   "unknown action for '#pragma pack' - ignored">;
 438 def warn_pragma_pack_invalid_constant : Warning<
 439   "invalid constant for '#pragma pack', expected %0 - ignored">;
 440 def warn_pragma_pack_malformed : Warning<
 441   "expected integer or identifier in '#pragma pack' - ignored">;
 442 // - #pragma unused
 443 def warn_pragma_unused_expected_var : Warning<
 444   "expected '#pragma unused' argument to be a variable name">;
 445 def warn_pragma_unused_expected_punc : Warning<
 446   "expected ')' or ',' in '#pragma unused'">;
 447
 448 // OpenCL Section 6.8.g
 449 def err_not_opencl_storage_class_specifier : Error<
 450   "OpenCL does not support the '%0' storage class specifier">;
 451
 452 // OpenCL EXTENSION pragma (OpenCL 1.1 [9.1])
 453 def warn_pragma_expected_colon : Warning<
 454   "missing ':' after %0 - ignoring">;
 455 def warn_pragma_expected_enable_disable : Warning<
 456   "expected 'enable' or 'disable' - ignoring">;
 457 def warn_pragma_unknown_extension : Warning<
 458   "unknown OpenCL extension %0 - ignoring">;
 459
 460 } // end of Parse Issue category.
 461 } // end of Parser diagnostics