1 //==--- DiagnosticASTKinds.td - libast diagnostics ------------------------===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 let Component = "AST" in {
12 // Constant expression diagnostics. These (and their users) belong in Sema.
13 def note_expr_divide_by_zero : Note<"division by zero">;
14 def note_constexpr_invalid_cast : Note<
15 "%select{reinterpret_cast|dynamic_cast|cast that performs the conversions of"
16 " a reinterpret_cast|cast from %1}0 is not allowed in a constant expression">;
17 def note_constexpr_invalid_downcast : Note<
18 "cannot cast object of dynamic type %0 to type %1">;
19 def note_constexpr_overflow : Note<
20 "value %0 is outside the range of representable values of type %1">;
21 def note_constexpr_negative_shift : Note<"negative shift count %0">;
22 def note_constexpr_large_shift : Note<
23 "shift count %0 >= width of type %1 (%2 bit%s2)">;
24 def note_constexpr_lshift_of_negative : Note<"left shift of negative value %0">;
25 def note_constexpr_lshift_discards : Note<"signed left shift discards bits">;
26 def note_constexpr_invalid_function : Note<
27 "%select{non-constexpr|undefined}0 %select{function|constructor}1 %2 cannot "
28 "be used in a constant expression">;
29 def note_constexpr_invalid_inhctor : Note<
30 "constructor inherited from base class %0 cannot be used in a "
31 "constant expression; derived class cannot be implicitly initialized">;
32 def note_constexpr_no_return : Note<
33 "control reached end of constexpr function">;
34 def note_constexpr_virtual_call : Note<
35 "cannot evaluate virtual function call in a constant expression">;
36 def note_constexpr_virtual_base : Note<
37 "cannot construct object of type %0 with virtual base class "
38 "in a constant expression">;
39 def note_constexpr_nonliteral : Note<
40 "non-literal type %0 cannot be used in a constant expression">;
41 def note_constexpr_non_global : Note<
42 "%select{pointer|reference}0 to %select{|subobject of }1"
43 "%select{temporary|%3}2 is not a constant expression">;
44 def note_constexpr_uninitialized : Note<
45 "%select{|sub}0object of type %1 is not initialized">;
46 def note_constexpr_array_index : Note<"cannot refer to element %0 of "
47 "%select{array of %2 element%plural{1:|:s}2|non-array object}1 "
48 "in a constant expression">;
49 def note_constexpr_float_arithmetic : Note<
50 "floating point arithmetic produces %select{an infinity|a NaN}0">;
51 def note_constexpr_pointer_subtraction_not_same_array : Note<
52 "subtracted pointers are not elements of the same array">;
53 def note_constexpr_pointer_subtraction_zero_size : Note<
54 "subtraction of pointers to type %0 of zero size">;
55 def note_constexpr_pointer_comparison_base_classes : Note<
56 "comparison of addresses of subobjects of different base classes "
57 "has unspecified value">;
58 def note_constexpr_pointer_comparison_base_field : Note<
59 "comparison of address of base class subobject %0 of class %1 to field %2 "
60 "has unspecified value">;
61 def note_constexpr_pointer_comparison_differing_access : Note<
62 "comparison of address of fields %0 and %2 of %4 with differing access "
63 "specifiers (%1 vs %3) has unspecified value">;
64 def note_constexpr_compare_virtual_mem_ptr : Note<
65 "comparison of pointer to virtual member function %0 has unspecified value">;
66 def note_constexpr_past_end : Note<
67 "dereferenced pointer past the end of %select{|subobject of }0"
68 "%select{temporary|%2}1 is not a constant expression">;
69 def note_constexpr_past_end_subobject : Note<
70 "cannot %select{access base class of|access derived class of|access field of|"
71 "access array element of|ERROR|call member function on|"
72 "access real component of|access imaginary component of}0 "
73 "pointer past the end of object">;
74 def note_constexpr_null_subobject : Note<
75 "cannot %select{access base class of|access derived class of|access field of|"
76 "access array element of|perform pointer arithmetic on|"
77 "call member function on|access real component of|"
78 "access imaginary component of}0 null pointer">;
79 def note_constexpr_var_init_non_constant : Note<
80 "initializer of %0 is not a constant expression">;
81 def note_constexpr_typeid_polymorphic : Note<
82 "typeid applied to expression of polymorphic type %0 is "
83 "not allowed in a constant expression">;
84 def note_constexpr_void_comparison : Note<
85 "comparison between unequal pointers to void has unspecified result">;
86 def note_constexpr_temporary_here : Note<"temporary created here">;
87 def note_constexpr_conditional_never_const : Note<
88 "both arms of conditional operator are unable to produce a "
89 "constant expression">;
90 def note_constexpr_depth_limit_exceeded : Note<
91 "constexpr evaluation exceeded maximum depth of %0 calls">;
92 def note_constexpr_call_limit_exceeded : Note<
93 "constexpr evaluation hit maximum call limit">;
94 def note_constexpr_step_limit_exceeded : Note<
95 "constexpr evaluation hit maximum step limit; possible infinite loop?">;
96 def note_constexpr_this : Note<
97 "%select{|implicit }0use of 'this' pointer is only allowed within the "
98 "evaluation of a call to a 'constexpr' member function">;
99 def note_constexpr_lifetime_ended : Note<
100 "%select{read of|assignment to|increment of|decrement of}0 "
101 "%select{temporary|variable}1 whose lifetime has ended">;
102 def note_constexpr_access_uninit : Note<
103 "%select{read of|assignment to|increment of|decrement of}0 "
104 "object outside its lifetime is not allowed in a constant expression">;
105 def note_constexpr_use_uninit_reference : Note<
106 "use of reference outside its lifetime "
107 "is not allowed in a constant expression">;
108 def note_constexpr_modify_const_type : Note<
109 "modification of object of const-qualified type %0 is not allowed "
110 "in a constant expression">;
111 def note_constexpr_access_volatile_type : Note<
112 "%select{read of|assignment to|increment of|decrement of}0 "
113 "volatile-qualified type %1 is not allowed in a constant expression">;
114 def note_constexpr_access_volatile_obj : Note<
115 "%select{read of|assignment to|increment of|decrement of}0 volatile "
116 "%select{temporary|object %2|member %2}1 is not allowed in "
117 "a constant expression">;
118 def note_constexpr_ltor_mutable : Note<
119 "read of mutable member %0 is not allowed in a constant expression">;
120 def note_constexpr_ltor_non_const_int : Note<
121 "read of non-const variable %0 is not allowed in a constant expression">;
122 def note_constexpr_ltor_non_constexpr : Note<
123 "read of non-constexpr variable %0 is not allowed in a constant expression">;
124 def note_constexpr_access_null : Note<
125 "%select{read of|assignment to|increment of|decrement of}0 "
126 "dereferenced null pointer is not allowed in a constant expression">;
127 def note_constexpr_access_past_end : Note<
128 "%select{read of|assignment to|increment of|decrement of}0 "
129 "dereferenced one-past-the-end pointer is not allowed in a constant expression">;
130 def note_constexpr_access_unsized_array : Note<
131 "%select{read of|assignment to|increment of|decrement of}0 "
132 "pointer to element of array without known bound "
133 "is not allowed in a constant expression">;
134 def note_constexpr_access_inactive_union_member : Note<
135 "%select{read of|assignment to|increment of|decrement of}0 "
136 "member %1 of union with %select{active member %3|no active member}2 "
137 "is not allowed in a constant expression">;
138 def note_constexpr_access_static_temporary : Note<
139 "%select{read of|assignment to|increment of|decrement of}0 temporary "
140 "is not allowed in a constant expression outside the expression that "
141 "created the temporary">;
142 def note_constexpr_modify_global : Note<
143 "a constant expression cannot modify an object that is visible outside "
145 def note_constexpr_stmt_expr_unsupported : Note<
146 "this use of statement expressions is not supported in a "
147 "constant expression">;
148 def note_constexpr_calls_suppressed : Note<
149 "(skipping %0 call%s0 in backtrace; use -fconstexpr-backtrace-limit=0 to "
151 def note_constexpr_call_here : Note<"in call to '%0'">;
152 def note_constexpr_inherited_ctor_call_here : Note<
153 "in implicit initialization for inherited constructor of %0">;
154 def note_constexpr_baa_insufficient_alignment : Note<
155 "%select{alignment of|offset of the aligned pointer from}0 the base pointee "
156 "object (%1 %plural{1:byte|:bytes}1) is %select{less than|not a multiple of}0 the "
157 "asserted %2 %plural{1:byte|:bytes}2">;
158 def note_constexpr_baa_value_insufficient_alignment : Note<
159 "value of the aligned pointer (%0) is not a multiple of the asserted %1 "
160 "%plural{1:byte|:bytes}1">;
161 def note_constexpr_unsupported_unsized_array : Note<
162 "array-to-pointer decay of array member without known bound is not supported">;
163 def note_constexpr_unsized_array_indexed : Note<
164 "indexing of array without known bound is not allowed "
165 "in a constant expression">;
167 def warn_integer_constant_overflow : Warning<
168 "overflow in expression; result is %0 with type %1">,
169 InGroup<DiagGroup<"integer-overflow">>;
171 // This is a temporary diagnostic, and shall be removed once our
172 // implementation is complete, and like the preceding constexpr notes belongs
174 def note_unimplemented_constexpr_lambda_feature_ast : Note<
175 "unimplemented constexpr lambda feature: %0 (coming soon!)">;
177 // inline asm related.
178 let CategoryName = "Inline Assembly Issue" in {
179 def err_asm_invalid_escape : Error<
180 "invalid %% escape in inline assembly string">;
181 def err_asm_unknown_symbolic_operand_name : Error<
182 "unknown symbolic operand name in inline assembly string">;
184 def err_asm_unterminated_symbolic_operand_name : Error<
185 "unterminated symbolic operand name in inline assembly string">;
186 def err_asm_empty_symbolic_operand_name : Error<
187 "empty symbolic operand name in inline assembly string">;
188 def err_asm_invalid_operand_number : Error<
189 "invalid operand number in inline asm string">;
193 let CategoryName = "VTable ABI Issue" in {
194 def err_vftable_ambiguous_component : Error<
195 "ambiguous vftable component for %0 introduced via covariant thunks; "
196 "this is an inherent limitation of the ABI">;
197 def note_covariant_thunk : Note<
198 "covariant thunk required by %0">;
202 def err_odr_variable_type_inconsistent : Error<
203 "external variable %0 declared with incompatible types in different "
204 "translation units (%1 vs. %2)">;
205 def err_odr_variable_multiple_def : Error<
206 "external variable %0 defined in multiple translation units">;
207 def note_odr_value_here : Note<"declared here with type %0">;
208 def note_odr_defined_here : Note<"also defined here">;
209 def err_odr_function_type_inconsistent : Error<
210 "external function %0 declared with incompatible types in different "
211 "translation units (%1 vs. %2)">;
212 def warn_odr_tag_type_inconsistent
213 : Warning<"type %0 has incompatible definitions in different translation "
215 InGroup<DiagGroup<"odr">>;
216 def err_odr_tag_type_inconsistent
217 : Error<"type %0 has incompatible definitions in different translation "
219 def note_odr_tag_kind_here: Note<
220 "%0 is a %select{struct|interface|union|class|enum}1 here">;
221 def note_odr_field : Note<"field %0 has type %1 here">;
222 def note_odr_field_name : Note<"field has name %0 here">;
223 def note_odr_missing_field : Note<"no corresponding field here">;
224 def note_odr_bit_field : Note<"bit-field %0 with type %1 and length %2 here">;
225 def note_odr_not_bit_field : Note<"field %0 is not a bit-field">;
226 def note_odr_base : Note<"class has base type %0">;
227 def note_odr_virtual_base : Note<
228 "%select{non-virtual|virtual}0 derivation here">;
229 def note_odr_missing_base : Note<"no corresponding base class here">;
230 def note_odr_number_of_bases : Note<
231 "class has %0 base %plural{1:class|:classes}0">;
232 def note_odr_enumerator : Note<"enumerator %0 with value %1 here">;
233 def note_odr_missing_enumerator : Note<"no corresponding enumerator here">;
235 def err_odr_field_type_inconsistent : Error<
236 "field %0 declared with incompatible types in different "
237 "translation units (%1 vs. %2)">;
239 // Importing Objective-C ASTs
240 def err_odr_ivar_type_inconsistent : Error<
241 "instance variable %0 declared with incompatible types in different "
242 "translation units (%1 vs. %2)">;
243 def err_odr_objc_superclass_inconsistent : Error<
244 "class %0 has incompatible superclasses">;
245 def note_odr_objc_superclass : Note<"inherits from superclass %0 here">;
246 def note_odr_objc_missing_superclass : Note<"no corresponding superclass here">;
247 def err_odr_objc_method_result_type_inconsistent : Error<
248 "%select{class|instance}0 method %1 has incompatible result types in "
249 "different translation units (%2 vs. %3)">;
250 def err_odr_objc_method_num_params_inconsistent : Error<
251 "%select{class|instance}0 method %1 has a different number of parameters in "
252 "different translation units (%2 vs. %3)">;
253 def err_odr_objc_method_param_type_inconsistent : Error<
254 "%select{class|instance}0 method %1 has a parameter with a different types "
255 "in different translation units (%2 vs. %3)">;
256 def err_odr_objc_method_variadic_inconsistent : Error<
257 "%select{class|instance}0 method %1 is variadic in one translation unit "
258 "and not variadic in another">;
259 def note_odr_objc_method_here : Note<
260 "%select{class|instance}0 method %1 also declared here">;
261 def err_odr_objc_property_type_inconsistent : Error<
262 "property %0 declared with incompatible types in different "
263 "translation units (%1 vs. %2)">;
264 def err_odr_objc_property_impl_kind_inconsistent : Error<
265 "property %0 is implemented with %select{@synthesize|@dynamic}1 in one "
266 "translation but %select{@dynamic|@synthesize}1 in another translation unit">;
267 def note_odr_objc_property_impl_kind : Note<
268 "property %0 is implemented with %select{@synthesize|@dynamic}1 here">;
269 def err_odr_objc_synthesize_ivar_inconsistent : Error<
270 "property %0 is synthesized to different ivars in different translation "
271 "units (%1 vs. %2)">;
272 def note_odr_objc_synthesize_ivar_here : Note<
273 "property is synthesized to ivar %0 here">;
275 // Importing C++ ASTs
276 def err_odr_different_num_template_parameters : Error<
277 "template parameter lists have a different number of parameters (%0 vs %1)">;
278 def note_odr_template_parameter_list : Note<
279 "template parameter list also declared here">;
280 def err_odr_different_template_parameter_kind : Error<
281 "template parameter has different kinds in different translation units">;
282 def note_odr_template_parameter_here : Note<
283 "template parameter declared here">;
284 def err_odr_parameter_pack_non_pack : Error<
285 "parameter kind mismatch; parameter is %select{not a|a}0 parameter pack">;
286 def note_odr_parameter_pack_non_pack : Note<
287 "%select{parameter|parameter pack}0 declared here">;
288 def err_odr_non_type_parameter_type_inconsistent : Error<
289 "non-type template parameter declared with incompatible types in different "
290 "translation units (%0 vs. %1)">;
291 def err_unsupported_ast_node: Error<"cannot import unsupported AST node %0">;