Home | History | Annotate | Download | only in Basic
      1 //==--- DiagnosticCommonKinds.td - common 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 // Common Helpers
     12 //===----------------------------------------------------------------------===//
     13 
     14 let Component = "Common" in {
     15 
     16 // Basic.
     17 
     18 def fatal_too_many_errors
     19   : Error<"too many errors emitted, stopping now">, DefaultFatal; 
     20 
     21 def note_declared_at : Note<"declared here">;
     22 def note_previous_definition : Note<"previous definition is here">;
     23 def note_previous_declaration : Note<"previous declaration is here">;
     24 def note_previous_implicit_declaration : Note<
     25   "previous implicit declaration is here">;
     26 def note_previous_use : Note<"previous use is here">;
     27 def note_duplicate_case_prev : Note<"previous case defined here">;
     28 def note_forward_declaration : Note<"forward declaration of %0">;
     29 def note_type_being_defined : Note<
     30   "definition of %0 is not complete until the closing '}'">;
     31 /// note_matching - this is used as a continuation of a previous diagnostic,
     32 /// e.g. to specify the '(' when we expected a ')'.
     33 def note_matching : Note<"to match this %0">;
     34 
     35 def note_using : Note<"using">;
     36 def note_possibility : Note<"one possibility">;
     37 def note_also_found : Note<"also found">;
     38 
     39 // Parse && Lex
     40 
     41 let CategoryName = "Lexical or Preprocessor Issue" in {
     42 
     43 def err_expected_colon_after_setter_name : Error<
     44   "method name referenced in property setter attribute "
     45   "must end with ':'">;
     46 def err_expected_string_literal : Error<"expected string literal "
     47   "%select{in %1|for diagnostic message in static_assert|"
     48           "for optional message in 'availability' attribute|"
     49           "for %select{language|source container}1 name in "
     50           "'external_source_symbol' attribute}0">;
     51 def err_invalid_string_udl : Error<
     52   "string literal with user-defined suffix cannot be used here">;
     53 def err_invalid_character_udl : Error<
     54   "character literal with user-defined suffix cannot be used here">;
     55 def err_invalid_numeric_udl : Error<
     56   "numeric literal with user-defined suffix cannot be used here">;
     57 
     58 }
     59 
     60 // Parse && Sema
     61 
     62 let CategoryName = "Parse Issue" in {
     63 
     64 def err_expected : Error<"expected %0">;
     65 def err_expected_either : Error<"expected %0 or %1">;
     66 def err_expected_after : Error<"expected %1 after %0">;
     67 
     68 def err_param_redefinition : Error<"redefinition of parameter %0">;
     69 def warn_method_param_redefinition : Warning<"redefinition of method parameter %0">;
     70 def warn_method_param_declaration : Warning<"redeclaration of method parameter %0">,
     71   InGroup<DuplicateArgDecl>, DefaultIgnore;
     72 def err_invalid_storage_class_in_func_decl : Error<
     73   "invalid storage class specifier in function declarator">;
     74 def err_expected_namespace_name : Error<"expected namespace name">;
     75 def ext_variadic_templates : ExtWarn<
     76   "variadic templates are a C++11 extension">, InGroup<CXX11>;
     77 def warn_cxx98_compat_variadic_templates :
     78   Warning<"variadic templates are incompatible with C++98">,
     79   InGroup<CXX98Compat>, DefaultIgnore;
     80 def err_default_special_members : Error<
     81   "only special member functions may be defaulted">;
     82 def err_deleted_non_function : Error<
     83   "only functions can have deleted definitions">;
     84 def err_module_not_found : Error<"module '%0' not found">, DefaultFatal;
     85 def err_module_not_built : Error<"could not build module '%0'">, DefaultFatal;
     86 def err_module_build_disabled: Error<
     87   "module '%0' is needed but has not been provided, and implicit use of module "
     88   "files is disabled">, DefaultFatal;
     89 def err_module_unavailable : Error<
     90   "module '%0' %select{is incompatible with|requires}1 feature '%2'">;
     91 def err_module_header_missing : Error<
     92   "%select{|umbrella }0header '%1' not found">;
     93 def remark_module_lock_failure : Remark<
     94   "could not acquire lock file for module '%0': %1">, InGroup<ModuleBuild>;
     95 def remark_module_lock_timeout : Remark<
     96   "timed out waiting to acquire lock file for module '%0'">, InGroup<ModuleBuild>;
     97 def err_module_cycle : Error<"cyclic dependency in module '%0': %1">, 
     98   DefaultFatal;
     99 def err_module_prebuilt : Error<
    100   "error in loading module '%0' from prebuilt module path">, DefaultFatal;
    101 def note_pragma_entered_here : Note<"#pragma entered here">;  
    102 def note_decl_hiding_tag_type : Note<
    103   "%1 %0 is hidden by a non-type declaration of %0 here">;
    104 def err_attribute_not_type_attr : Error<
    105   "%0 attribute cannot be applied to types">;
    106 def err_enum_template : Error<"enumeration cannot be a template">;
    107 
    108 }
    109 
    110 let CategoryName = "Nullability Issue" in {
    111 
    112 def warn_nullability_duplicate : Warning<
    113   "duplicate nullability specifier %0">,
    114   InGroup<Nullability>;
    115   
    116 def warn_conflicting_nullability_attr_overriding_ret_types : Warning<
    117   "conflicting nullability specifier on return types, %0 "
    118   "conflicts with existing specifier %1">,
    119   InGroup<Nullability>;
    120 
    121 def warn_conflicting_nullability_attr_overriding_param_types : Warning<
    122   "conflicting nullability specifier on parameter types, %0 "
    123   "conflicts with existing specifier %1">,
    124   InGroup<Nullability>;
    125 
    126 def err_nullability_conflicting : Error<
    127   "nullability specifier %0 conflicts with existing specifier %1">;
    128 
    129 }
    130 
    131 // Sema && Lex
    132 def ext_c99_longlong : Extension<
    133   "'long long' is an extension when C99 mode is not enabled">,
    134   InGroup<LongLong>;
    135 def ext_cxx11_longlong : Extension<
    136   "'long long' is a C++11 extension">,
    137   InGroup<CXX11LongLong>;
    138 def warn_cxx98_compat_longlong : Warning<
    139   "'long long' is incompatible with C++98">,
    140   InGroup<CXX98CompatPedantic>, DefaultIgnore;
    141 def err_integer_literal_too_large : Error<
    142   "integer literal is too large to be represented in any %select{signed |}0"
    143   "integer type">;
    144 def ext_integer_literal_too_large_for_signed : ExtWarn<
    145   "integer literal is too large to be represented in a signed integer type, "
    146   "interpreting as unsigned">,
    147   InGroup<ImplicitlyUnsignedLiteral>;
    148 def warn_old_implicitly_unsigned_long : Warning<
    149   "integer literal is too large to be represented in type 'long', "
    150   "interpreting as 'unsigned long' per C89; this literal will "
    151   "%select{have type 'long long'|be ill-formed}0 in C99 onwards">,
    152   InGroup<C99Compat>;
    153 def warn_old_implicitly_unsigned_long_cxx : Warning<
    154   "integer literal is too large to be represented in type 'long', "
    155   "interpreting as 'unsigned long' per C++98; this literal will "
    156   "%select{have type 'long long'|be ill-formed}0 in C++11 onwards">,
    157   InGroup<CXX11Compat>;
    158 def ext_old_implicitly_unsigned_long_cxx : ExtWarn<
    159   "integer literal is too large to be represented in type 'long' and is "
    160   "subject to undefined behavior under C++98, interpreting as 'unsigned long'; "
    161   "this literal will %select{have type 'long long'|be ill-formed}0 "
    162   "in C++11 onwards">,
    163   InGroup<CXX11Compat>;
    164 def ext_clang_enable_if : Extension<"'enable_if' is a clang extension">,
    165                           InGroup<GccCompat>;
    166 def ext_clang_diagnose_if : Extension<"'diagnose_if' is a clang extension">,
    167                             InGroup<GccCompat>;
    168 
    169 // SEH
    170 def err_seh_expected_handler : Error<
    171   "expected '__except' or '__finally' block">;
    172 def err_seh___except_block : Error<
    173   "%0 only allowed in __except block or filter expression">;
    174 def err_seh___except_filter : Error<
    175   "%0 only allowed in __except filter expression">;
    176 def err_seh___finally_block : Error<
    177   "%0 only allowed in __finally block">;
    178 
    179 // Sema && AST
    180 def note_invalid_subexpr_in_const_expr : Note<
    181   "subexpression not valid in a constant expression">;
    182 
    183 // Targets
    184 
    185 def err_target_unknown_triple : Error<
    186   "unknown target triple '%0', please use -triple or -arch">;
    187 def err_target_unknown_cpu : Error<"unknown target CPU '%0'">;
    188 def err_target_unknown_abi : Error<"unknown target ABI '%0'">;
    189 def err_target_unsupported_abi : Error<"ABI '%0' is not supported on CPU '%1'">;
    190 def err_target_unsupported_abi_for_triple : Error<
    191   "ABI '%0' is not supported for '%1'">;
    192 def err_target_unknown_fpmath : Error<"unknown FP unit '%0'">;
    193 def err_target_unsupported_fpmath : Error<
    194     "the '%0' unit is not supported with this instruction set">;
    195 def err_target_unsupported_unaligned : Error<
    196   "the %0 sub-architecture does not support unaligned accesses">;
    197 def err_target_unsupported_execute_only : Error<
    198   "execute only is not supported for the %0 sub-architecture">;
    199 def err_opt_not_valid_with_opt : Error<
    200   "option '%0' cannot be specified with '%1'">;
    201 
    202 // Source manager
    203 def err_cannot_open_file : Error<"cannot open file '%0': %1">, DefaultFatal;
    204 def err_file_modified : Error<
    205   "file '%0' modified since it was first processed">, DefaultFatal;
    206 def err_unsupported_bom : Error<"%0 byte order mark detected in '%1', but "
    207   "encoding is not supported">, DefaultFatal;
    208 def err_unable_to_rename_temp : Error<
    209   "unable to rename temporary '%0' to output file '%1': '%2'">;
    210 def err_unable_to_make_temp : Error<
    211   "unable to make temporary file: %0">;
    212   
    213 // Modules
    214 def err_module_format_unhandled : Error<
    215   "no handler registered for module format '%0'">, DefaultFatal;
    216 
    217 // TransformActions
    218 // TODO: Use a custom category name to distinguish rewriter errors.
    219 def err_mt_message : Error<"[rewriter] %0">, SuppressInSystemHeader;
    220 def warn_mt_message : Warning<"[rewriter] %0">;
    221 def note_mt_message : Note<"[rewriter] %0">;
    222 
    223 // ARCMigrate
    224 def warn_arcmt_nsalloc_realloc : Warning<"[rewriter] call returns pointer to GC managed memory; it will become unmanaged in ARC">;
    225 def err_arcmt_nsinvocation_ownership : Error<"NSInvocation's %0 is not safe to be used with an object with ownership other than __unsafe_unretained">;
    226 
    227 // OpenMP
    228 def err_omp_more_one_clause : Error<
    229   "directive '#pragma omp %0' cannot contain more than one '%1' clause%select{| with '%3' name modifier| with 'source' dependence}2">;
    230 }
    231