]>
Commit | Line | Data |
---|---|---|
50d268b3 | 1 | 2009-12-28 Jason Merrill <jason@redhat.com> |
2 | ||
3 | PR c++/42447 | |
4 | * pt.c (iterative_hash_template_arg): Don't rely on TYPE_CANONICAL | |
5 | for ARRAY_TYPE. | |
6 | ||
7 | 2009-12-24 Jason Merrill <jason@redhat.com> | |
8 | ||
9 | PR c++/41305, DR 384 | |
10 | * name-lookup.c (arg_assoc_class): Split out arg_assoc_class_only | |
11 | and arg_assoc_bases. | |
12 | (friend_of_associated_class_p): Remove. | |
13 | (arg_assoc_namespace): Don't call it. | |
14 | (arg_assoc_template_arg): Use arg_assoc_class_only for member | |
15 | template context. | |
16 | (arg_assoc_type): Handle UNION_TYPE and ENUMERAL_TYPE properly. | |
17 | ||
18 | * name-lookup.c (arg_assoc): Handle TEMPLATE_ID_EXPR properly. | |
19 | ||
20 | 2009-12-23 Dodji Seketeli <dodji@redhat.com> | |
21 | ||
22 | PR c++/42260 | |
23 | * cp-tree.h (lookup_conversions): Add new bool parameter to | |
24 | declaration. | |
25 | * search.c (lookup_conversion): Use new bool parameter in | |
26 | definition. | |
27 | * call.c (add_builtin_candidates): Don't lookup template conversion | |
28 | (convert_class_to_reference, build_user_type_conversion_1, | |
29 | build_op_call): Adjust. | |
30 | * cvt.c (build_expr_type_conversion): Likewise | |
31 | ||
32 | 2009-12-22 Jason Merrill <jason@redhat.com> | |
33 | ||
34 | PR c++/42466 | |
35 | * pt.c (reduce_template_parm_level): Check the type before | |
36 | returning cached TEMPLATE_PARM_INDEX. | |
37 | ||
38 | PR c++/42331 | |
39 | * typeck.c (cp_build_modify_expr): Fix thinko. | |
40 | ||
41 | 2009-12-21 Jason Merrill <jason@redhat.com> | |
42 | ||
43 | * mangle.c (write_member_name): Move abi-version=1 code back to... | |
44 | (write_expression): ...here. | |
45 | ||
46 | 2009-12-21 Brian Hackett <bhackett1024@gmail.com> | |
47 | ||
48 | * decl.c (finish_function): Rename pre-genericize event. | |
49 | ||
50 | 2009-12-19 Dodji Seketeli <dodji@redhat.com> | |
51 | ||
52 | PR c++/42225 | |
53 | * pt.c (push_template_decl_real): Set DECL_CONTEXT of template type parms | |
54 | to their containing template decl. | |
55 | * typeck.c (comp_template_parms_position): Split this from | |
56 | structural_comptypes. | |
57 | (incompatible_template_type_parms_p): Renamed | |
58 | incompatible_dependent_typedefs_p into this. Change the function to | |
59 | handle comparison between TEMPLATE_TYPE_PARMs only. | |
60 | (structural_comptypes): Use comp_template_parms_position in | |
61 | TEMPLATE_TEMPLATE_PARM and BOUND_TEMPLATE_TEMPLATE_PARM cases. | |
62 | Use incompatible_template_type_parms_p in TEMPLATE_TYPE_PARM case. | |
63 | * mangle.c (decl_mangling_context): Template type parms don't have | |
64 | a mangling context. | |
65 | * tree.c (cp_set_underlying_type): Set type structural equality | |
66 | only for TEMPLATE_TYPE_PARMs. | |
67 | ||
68 | 2009-12-18 Jason Merrill <jason@redhat.com> | |
69 | ||
70 | PR c++/28300 | |
71 | PR c++/42062 | |
72 | * pt.c (check_specialization_namespace): Complain about | |
73 | specialization at non-namespace scope. | |
74 | ||
75 | PR c++/42415 | |
76 | * call.c (build_new_method_call): Complain about calling the | |
77 | constructor directly. | |
78 | ||
79 | 2009-12-18 Shujing Zhao <pearly.zhao@oracle.com> | |
80 | ||
81 | PR c++/31665 | |
82 | * decl.c (duplicate_decls, grokdeclarator): Put the diagnostics in | |
83 | full sentences for easy translation and wrapped into G_(). | |
84 | * typeck.c (build_x_unary_op): Likewise. | |
85 | ||
86 | 2009-12-17 Shujing Zhao <pearly.zhao@oracle.com> | |
87 | ||
88 | * call.c (build_over_call, build_java_interface_fn_ref): Update | |
89 | cp_build_indirect_ref calls. | |
90 | * typeck2.c (build_m_component_ref): Likewise. | |
91 | ||
92 | 2009-12-17 Shujing Zhao <pearly.zhao@oracle.com> | |
93 | ||
94 | * typeck.c (build_indirect_ref): Update the argument. | |
95 | (build_x_indirect_ref): Likewise. | |
96 | (cp_build_indirect_ref): Update the argument and emit the diagnostics | |
97 | for easy translation. | |
98 | (build_class_member_access_expr, build_array_ref, | |
99 | get_member_function_from_ptrfunc): Update calls. | |
100 | * cp-tree.h (build_x_indirect_ref, cp_build_indirect_ref): Update | |
101 | prototypes. | |
102 | * call.c (build_new_op, convert_like_real, build_x_va_arg, | |
103 | build_over_call): Update calls. | |
104 | * class.c (build_base_path, build_simple_base_path, build_vfn_ref): | |
105 | Likewise. | |
106 | * decl.c (start_preparsed_function): Likewise. | |
107 | * except.c (expand_start_catch_block, build_throw): Likewise. | |
108 | * init.c (emit_mem_initializers, expand_virtual_init, | |
109 | expand_virtual_init, build_new_1, build_vec_init, build_delete, | |
110 | build_vec_delete): Likewise. | |
111 | * parser.c (cp_parser_unary_expression): Likewise. | |
112 | * pt.c (tsubst_copy_and_build): Likewise. | |
113 | * rtti.c (build_headof, get_tinfo_decl_dynamic, get_typeid): Likewise. | |
114 | * semantics.c (finish_non_static_data_member, thisify_lambda_field): | |
115 | Likewise. | |
116 | * tree.c (build_dummy_object, stabilize_expr): Likewise. | |
117 | * typeck2.c (build_x_arrow): Likewise. | |
118 | ||
119 | 2009-12-16 Jason Merrill <jason@redhat.com> | |
120 | ||
121 | PR c++/42387 | |
122 | * decl.c (compute_array_index_type): Mark a VLA as dependent. | |
123 | ||
124 | 2009-12-15 Jason Merrill <jason@redhat.com> | |
125 | ||
126 | PR c++/42358 | |
127 | * pt.c (iterative_hash_template_arg): Completely ignore | |
128 | ARGUMENT_PACK_SELECT. | |
129 | ||
130 | 2009-12-15 Jakub Jelinek <jakub@redhat.com> | |
131 | ||
132 | PR c++/41183 | |
133 | * cp-tree.h (current_class_ptr): Give NULL even when cfun | |
134 | has NULL cfun->language. | |
135 | ||
136 | 2009-12-14 Jason Merrill <jason@redhat.com> | |
137 | ||
138 | PR c++/42364 | |
139 | * pt.c (function_parameter_expanded_from_pack_p): Don't require | |
140 | a pack to have a name. | |
141 | (tsubst_decl): Do typedef magic after applying attributes. | |
142 | ||
143 | 2009-12-15 Paolo Bonzini <bonzini@gnu.org> | |
144 | Shujing Zhao <pearly.zhao@oracle.com> | |
145 | ||
146 | * Makefile.in (cp/pt.o): Depend on intl.h | |
147 | * call.c (print_z_candidates): Make loop more compact, | |
148 | choose head string depending on number of candidates, | |
149 | extract creation of spaces string to intl.c. | |
150 | * pt.c (print_overloaded_functions): Replace with... | |
151 | (print_candidates_1): ... this rewrite. | |
152 | (print_candidates): Rewrite to call print_candidates_1. | |
153 | (most_specialized_class): Make loop more compact, | |
154 | choose head string depending on number of candidates, | |
155 | and size indents depending on translations. | |
156 | ||
157 | 2009-12-11 Jason Merrill <jason@redhat.com> | |
158 | ||
159 | PR c++/42219 | |
160 | * typeck.c (error_type_p): New. | |
161 | (ptr_reasonably_similar): Use it. | |
162 | * cp-tree.h: Declare it. | |
163 | ||
164 | 2009-12-11 Dodji Seketeli <dodji@redhat.com> | |
165 | ||
166 | PR c++/42225 | |
167 | * typeck.c (incompatible_dependent_typedefs_p): New function. | |
168 | (structural_comptypes): Use it. | |
169 | * cp-tree.h (cp_set_underlying_type): Declare ... | |
170 | * tree.c (cp_set_underlying_type): ... new function. | |
171 | * class.c (build_self_reference): Use cp_set_underlying_type | |
172 | instead of set_underlying_type. | |
173 | * decl2.c (grokfield): Likewise. | |
174 | * name-lookup.c (pushdecl_maybe_friend): Likewise. | |
175 | ||
176 | 2009-12-11 Dodji Seketeli <dodji@redhat.com> | |
177 | ||
178 | PR c++/42251 | |
179 | * pt.c (convert_template_argument): Avoid missing folding of SCOPE_REFs. | |
180 | ||
181 | 2009-12-10 Jakub Jelinek <jakub@redhat.com> | |
182 | ||
183 | PR c++/42317 | |
184 | * decl2.c (cp_write_global_declarations): Clear DECL_EXTERNAL | |
185 | also on all other functions in the same comdat group. | |
186 | * optimize.c (maybe_clone_body): Also optimize virtual implicit | |
187 | dtors. For virtual comdat dtors tell cgraph that base and deleting | |
188 | dtor are in the same comdat group. | |
189 | ||
190 | 2009-12-04 Jason Merrill <jason@redhat.com> | |
191 | ||
192 | PR c++/42010 | |
193 | * cp-tree.h (DECL_DISCRIMINATOR_SET_P): New. | |
194 | * mangle.c (discriminator_for_local_entity): Check it. | |
195 | ||
196 | PR c++/42277 | |
197 | * semantics.c (finish_decltype_type): Defer handling of decltype | |
198 | of a non-dependent COMPONENT_REF in a template. | |
199 | ||
200 | 2009-12-04 Dodji Seketeli <dodji@redhat.com> | |
201 | ||
202 | PR c++/42218 | |
203 | * cxx-pretty-print.c (pp_cxx_unqualified_id): Print only innermost | |
204 | template arguments. | |
205 | ||
206 | 2009-12-03 Jason Merrill <jason@redhat.com> | |
207 | ||
208 | PR c++/41611 | |
209 | * decl2.c (get_guard): Don't use the same comdat group as the decl. | |
210 | ||
211 | PR c++/42266 | |
212 | * cvt.c (convert_from_reference): Do nothing if TREE_TYPE is null. | |
213 | ||
214 | 2009-12-03 Dodji Seketeli <dodji@redhat.com> | |
215 | ||
216 | PR c++/42217 | |
217 | * class.c (remove_zero_width_bit_fields): The width of the bit field is | |
218 | in DECL_SIZE, not in DECL_INITIAL. | |
219 | ||
220 | 2009-12-03 Jakub Jelinek <jakub@redhat.com> | |
221 | ||
222 | PR c++/42256 | |
223 | * optimize.c (maybe_clone_body): Call emit_associated_thunks | |
224 | after expand_or_defer_fn_1. | |
225 | ||
226 | 2009-12-02 Taras Glek <taras@mozilla.com> | |
227 | ||
228 | * parser.c (cp_parser_class_specifier): Back out my previous change. | |
229 | * semantics.c (begin_class_definition): Back out my previous change. | |
230 | ||
231 | 2009-12-02 Paolo Bonzini <bonzini@gnu.org> | |
232 | Shujing Zhao <pearly.zhao@oracle.com> | |
233 | ||
234 | PR c++/29917 | |
235 | * call.c (op_error): Accept a boolean to indicate no match/ambiguous | |
236 | match, instead of a string. Callers adjusted. | |
237 | ||
238 | PR c++/34836 | |
239 | * cp-tree.h (readonly_error_kind): New type. | |
240 | (readonly_error): Adjust prototype with new argument. | |
241 | * typeck2.c (readonly_error): Accept readonly_error_kind as argument | |
242 | and add macro ERROR_FOR_ASSIGNMENT to emit diagnostics. | |
243 | * semantics.c (finish_asm_stmt): Adjust readonly_error call. | |
244 | * typeck.c (cp_build_unary_op, cp_build_modify_expr): Likewise. | |
245 | ||
246 | * decl.c (grokparms, grok_op_properties): Put the diagnostics in full | |
247 | sentences for easy translation and wrap the diagnostics into G_() when | |
248 | needed. | |
249 | (create_array_type_for_decl): Likewise. | |
250 | * pt.c (tsubst): Likewise. | |
251 | * typeck2.c (cp_build_unary_op): Wrap diagnostic into _(). | |
252 | * rtti.c (build_dynamic_cast_1): Likewise. | |
253 | * Make-lang.in: Adjust. | |
254 | ||
255 | 2009-12-02 Jakub Jelinek <jakub@redhat.com> | |
256 | ||
257 | * g++spec.c (lang_specific_driver): Remove unused saw_verbose_flag | |
258 | variable. | |
259 | * pt.c (tsubst_pack_expansion): Remove unused first_arg_pack variable. | |
260 | * init.c (build_vec_init): Remove unused size variable. | |
261 | * typeck2.c (check_narrowing): Remove unused was_decl variable. | |
262 | * decl.c (poplevel): Remove unused tmp and real_functionbody | |
263 | variables. | |
264 | (decls_match): Remove unused tree_name variable. | |
265 | (start_decl): Remove unused type variable. | |
266 | * parser.c (cp_parser_type_parameter): Remove unused parameter_list | |
267 | variable. | |
268 | (cp_parser_template_id, cp_parser_explicit_instantiation, | |
269 | cp_parser_declarator): Remove unused token variable. | |
270 | (cp_parser_simple_type_specifier): Remove unused id variable. | |
271 | (cp_parser_parameter_declaration): Remove unused | |
272 | greater_than_is_operator_p variable. | |
273 | (cp_parser_check_declarator_template_parameters): Remove unused | |
274 | member variable. | |
275 | (c_parse_file): Remove unused error_occurred variable. | |
276 | * cp-gimplify.c (cp_gimplify_init_expr): Remove unused slot variable. | |
277 | * typeck.c (cp_build_function_call_vec): Remove unused name variable. | |
278 | * class.c (resolve_address_of_overloaded_function): Remove unused | |
279 | is_reference variable. | |
280 | (build_rtti_vtbl_entries): Remove unused basetype variable. | |
281 | * mangle.c (write_template_param): Remove unused parm_level and | |
282 | parm_type variables. | |
283 | ||
284 | 2009-12-01 Taras Glek <taras@mozilla.com> | |
285 | ||
286 | * parser.c (cp_parser_class_specifier): Set class location to that | |
287 | of IDENTIFIER_NODE instead of '{' when possible. | |
288 | ||
289 | 2009-12-01 Taras Glek <taras@mozilla.com> | |
290 | ||
291 | * semantics.c (begin_class_definition): Do not overide locations with less precise ones. | |
292 | ||
293 | 2009-12-01 Jason Merrill <jason@redhat.com> | |
294 | ||
295 | PR c++/41611 | |
296 | * decl2.c (get_guard): Copy DECL_COMDAT. | |
297 | (comdat_linkage): Set DECL_COMDAT unconditionally. | |
298 | ||
299 | 2009-12-01 Jakub Jelinek <jakub@redhat.com> | |
300 | ||
301 | PR c++/3187 | |
302 | * optimize.c (cdtor_comdat_group): New function. | |
303 | (maybe_clone_body): Also optimize DECL_COMDAT base/complete cdtors | |
304 | and in that case put also the deleting dtor in the same comdat group | |
305 | as base and complete dtor if dtor is virtual. | |
306 | ||
307 | 2009-11-30 Paolo Carlini <paolo.carlini@oracle.com> | |
308 | ||
309 | PR c++/40371 | |
310 | * call.c (add_template_candidate_real): Early return NULL if | |
311 | the arglist length is smaller than skip_without_in_chrg; tidy. | |
312 | ||
313 | 2009-11-30 Dodji Seketeli <dodji@redhat.com> | |
314 | ||
315 | PR c++/42069 | |
316 | * pt.c (convert_template_argument): Strip typedefs from SCOPE_REFs. | |
317 | ||
318 | 2009-11-29 Dodji Seketeli <dodji@redhat.com> | |
319 | ||
320 | PR c++/36408 | |
321 | * semantics.c (empty_expr_stmt_p): Handle void_zero_node and fix | |
322 | bad indentation. | |
323 | * pt.c (tsubst_copy_and_build): Fix typo. | |
324 | ||
325 | 2009-11-29 Jan Hubicka <jh@suse.cz> | |
326 | ||
327 | * optimize.c (maybe_clone_body): Emit thunks associated to alias. | |
328 | * Make-lang.in (method.o): Add dependency on gimple.h. | |
329 | * method.c: Include gimple.h | |
330 | (make_alias_for_thunk): Use same body alias instead of assemble_alias. | |
331 | (use_thunk): Drop codegen; use cgraph_add_thunk; gimplify | |
332 | generic thunks. | |
333 | * semantics.c (expand_or_defer_fn): Emit associated thunks. | |
334 | ||
335 | 2009-11-28 Dodji Seketeli <dodji@redhat.com> | |
336 | ||
337 | PR c++/36408 | |
338 | * cp-tree.h (empty_expr_stmt_p): Declare ... | |
339 | * semantics.c (empty_expr_stmt_p): ... this. | |
340 | * pt.c (tsubst_copy_and_build) <STMT_EXPR>: Use it. | |
341 | ||
342 | 2009-11-27 Paolo Carlini <paolo.carlini@oracle.com> | |
343 | ||
344 | PR c++/38656 | |
345 | * cxx-pretty-print.c (pp_cxx_expression): Handle TEMPLATE_ID_EXPR. | |
346 | ||
347 | 2009-11-27 Paolo Carlini <paolo.carlini@oracle.com> | |
348 | ||
349 | PR c++/35112 | |
350 | * pt.c (print_overloaded_functions): New. | |
351 | (print_candidates): Call the latter. | |
352 | * parser.c (cp_parser_class_name): Do not duplicate the diagnostics | |
353 | after the cp_parser_lookup_name call. | |
354 | ||
355 | 2009-11-26 Jason Merrill <jason@redhat.com> | |
356 | ||
357 | PR c++/42026, DR 239 | |
358 | * parser.c (cp_parser_postfix_expression): A local extern also | |
359 | prevents arg-dependent lookup. | |
360 | ||
361 | 2009-11-26 Gabriel Dos Reis <gdr@cs.tamu.edu> | |
362 | ||
363 | * decl.c (grokdeclarator): Remove period at end of diagnosic message. | |
364 | ||
365 | 2009-11-25 Jason Merrill <jason@redhat.com> | |
366 | ||
367 | PR c++/10690 | |
368 | * rtti.c (get_tinfo_decl_dynamic): Call resolve_nondeduced_context. | |
369 | ||
370 | 2009-11-24 Jason Merrill <jason@redhat.com> | |
371 | ||
372 | PR c++/42137 | |
373 | * parser.c (cp_parser_mem_initializer_id): Pass typename_type to | |
374 | cp_parser_class_name. | |
375 | (cp_parser_unqualified_id): Same, rather than class_type. | |
376 | ||
377 | PR c++/11764 | |
378 | * parser.c (cp_parser_expression_statement): Give helpful error | |
379 | for constructor name used as type. | |
380 | ||
381 | * pt.c (determine_specialization): Give helpful error about missing | |
382 | "template<>". | |
383 | ||
384 | 2009-11-23 Jakub Jelinek <jakub@redhat.com> | |
385 | ||
386 | PR middle-end/42095 | |
387 | * tree.c: Include cgraph.h. | |
388 | (cp_fix_function_decl_p): Don't return true for same_body aliases. | |
389 | * Make-lang.in (cp/tree.o): Depend on $(CGRAPH_H). | |
390 | ||
391 | 2009-11-23 Dodji Seketeli <dodji@redhat.com> | |
392 | ||
393 | PR c++/14777 | |
394 | * cp-tree.def <TEMPLATE_INFO>: Declare new kind of tree | |
395 | node. | |
396 | * cp-tree.h (struct tree_template_info, | |
397 | struct qualified_typedef_usage_s): New. | |
398 | (cp_tree_node_structure_enum): add TS_CP_TEMPLATE_INFO. | |
399 | (union lang_tree_node): Add template_info. | |
400 | (TI_TEMPLATE, TI_ARGS, TI_TYPEDEFS_NEEDING_ACCESS_CHECKING): | |
401 | Adjust. | |
402 | (build_template_info): Declare. | |
403 | (get_types_needing_access_check): Adjust return type. | |
404 | (add_typedef_to_current_template_for_access_check): Declare. | |
405 | * cp-objcp-common.c (cp_tree_size): Handle TEMPLATE_INFO. | |
406 | * semantics.c (add_typedef_to_current_template_for_access_check): | |
407 | Split from ... | |
408 | (check_accessibility_of_qualified_id): ... here. | |
409 | * decl.c (make_typename_type): Use it. | |
410 | * pt.c (build_template_info): Define. | |
411 | (check_explicit_specialization, find_parameter_packs_r, | |
412 | push_template_decl_real, lookup_template_class, | |
413 | for_each_template_parm_r, tsubst_decl, tsubst): Use | |
414 | build_template_info. | |
415 | (get_types_needing_access_check): Adjust return type. | |
416 | (append_type_to_template_for_access_check_1): Record the | |
417 | location of the usage point of the typedef. Adjust to TEMPLATE_INFO. | |
418 | (append_type_to_template_for_access_check): Add new location | |
419 | parameter. Pass it to append_type_to_template_for_access_check_1. | |
420 | Adjust to TEMPLATE_INFO. | |
421 | (perform_typedefs_access_check): Temporarily set input_location to | |
422 | the usage point of the typedef we are checking access for. Adjust | |
423 | to new TEMPLATE_INFO tree node. | |
424 | * tree.c (bind_template_template_parm): Use build_template_info. | |
425 | * call.c (add_template_candidate_real): Likewise. | |
426 | * decl.c (grokfndecl): Likewise. | |
427 | (cp_tree_node_structure): Handle TEMPLATE_INFO. | |
428 | ||
429 | 2009-11-20 Jason Merrill <jason@redhat.com> | |
430 | ||
431 | PR c++/9050, DR 147, DR 318 | |
432 | * parser.c (cp_parser_lookup_name): If the name matches the explicit | |
433 | class scope, we're naming the constructor. | |
434 | (cp_parser_constructor_declarator_p): Just use cp_parser_unqualified_id | |
435 | if we have a nested-name-specifier. | |
436 | (cp_parser_direct_declarator): Handle getting an overload set as a | |
437 | constructor declarator. | |
438 | (cp_parser_unqualified_id): Avoid looking up the constructor when | |
439 | naming the destructor. | |
440 | (cp_parser_diagnose_invalid_type_name): Give good | |
441 | diagnostic for improper use of constructor as template. | |
442 | * typeck.c (finish_class_member_access_expr): Give good diagnostic | |
443 | about calling constructor. | |
444 | ||
445 | * error.c (dump_aggr_type): Don't print A::A for injected-class-name. | |
446 | ||
447 | 2009-11-20 Simon Martin <simartin@users.sourceforge.net> | |
448 | ||
449 | PR c++/38646 | |
450 | * pt.c (process_partial_specialization): Do not turn wrongly located | |
451 | parameter pack arguments into error_mark_node. | |
452 | Split too long lines into two. | |
453 | ||
454 | 2009-11-20 Paolo Carlini <paolo.carlini@oracle.com> | |
455 | ||
456 | PR c++/42060 | |
457 | * except.c (build_throw): Check the tree returned by | |
458 | decay_conversion for error_mark_node. | |
459 | ||
460 | 2009-11-20 Shujing Zhao <pearly.zhao@oracle.com> | |
461 | ||
462 | PR c++/29017 | |
463 | * cp-tree.h (composite_pointer_operation): New type. | |
464 | (composite_pointer_type): Adjust prototype with new argument. | |
465 | * typeck.c (composite_pointer_type): Accept | |
466 | composite_pointer_operation as argument and emit diagnostic to be | |
467 | visible to gettext and checked at compile time. | |
468 | (composite_pointer_type_r): Likewise. | |
469 | (common_pointer_type): Update call to composite_pointer_type. | |
470 | (cp_build_binary_op): Likewise. | |
471 | * call.c (build_conditional_expr): Likewise. | |
472 | ||
473 | 2009-11-19 Jason Merrill <jason@redhat.com> | |
474 | ||
475 | PR c++/42115 | |
476 | * call.c (build_op_delete_call): Don't complain about using | |
477 | op delete (void *, size_t) for placement delete if there's an | |
478 | op delete (void *). | |
479 | ||
480 | DR 176 permissiveness | |
481 | * class.c (build_self_reference): Call set_underlying_type. | |
482 | * decl.c (check_elaborated_type_specifier): Don't complain about | |
483 | injected-class-name. | |
484 | (type_is_deprecated): Use TYPE_MAIN_VARIANT. | |
485 | * pt.c (convert_template_argument): Handle injected-class-name used | |
486 | as template template argument. | |
487 | * typeck2.c (abstract_virtuals_error): Use TYPE_MAIN_VARIANT. | |
488 | ||
489 | PR c++/561 | |
490 | * decl.c (static_fn_type): Split out... | |
491 | (revert_static_member_fn): ...from here. | |
492 | * cp-tree.h: Declare it. | |
493 | * class.c (resolve_address_of_overloaded_function): Use it to compare | |
494 | pointers to member functions. | |
495 | * typeck.c (build_static_cast_1): Call instantiate_type. | |
496 | ||
497 | 2009-11-18 Shujing Zhao <pearly.zhao@oracle.com> | |
498 | ||
499 | PR c++/40892 | |
500 | * error.c (maybe_warn_cpp0x): Accept enum cpp0x_warn_str as argument. | |
501 | (maybe_warn_variadic_templates): Update the maybe_warn_cpp0x calls to | |
502 | match the new declaration. | |
503 | * cp-tree.h (cpp0x_warn_str): New type. | |
504 | (maybe_warn_cpp0x): Adjust prototype with new argument. | |
505 | * call.c (reference_binding): Update the maybe_warn_cpp0x calls. | |
506 | * decl.c (reshape_init_r, check_initializer, grokdeclarator): | |
507 | Likewise. | |
508 | * parser.c (cp_parser_primary_expression) | |
509 | (cp_parser_parenthesized_expression_list, cp_parser_new_initializer) | |
510 | (cp_parser_assignment_expression, cp_parser_condition) | |
511 | (cp_parser_jump_statement, cp_parser_mem_initializer) | |
512 | (cp_parser_simple_type_specifier, cp_parser_elaborated_type_specifier) | |
513 | (cp_parser_enum_specifier, cp_parser_initializer) | |
514 | (cp_parser_pure_specifier, cp_parser_functional_cast): Likewise. | |
515 | ||
516 | 2009-11-18 Jakub Jelinek <jakub@redhat.com> | |
517 | ||
518 | PR c++/3187 | |
519 | * cp-tree.h (expand_or_defer_fn_1): New prototype. | |
520 | * decl2.c (cp_write_global_declarations): Mark as !DECL_EXTERNAL | |
521 | also all same_body aliases. | |
522 | * semantics.c (expand_or_defer_fn): Move most of the function | |
523 | except registering with cgraph to ... | |
524 | (expand_or_defer_fn_1): ... here. New function. | |
525 | * optimize.c: Include cgraph.h. | |
526 | (maybe_clone_body): If in charge parm is not used and both base | |
527 | and complete clones are created and are not comdat, tell cgraph | |
528 | they have the same body. | |
529 | * Make-lang.in (cp/optimize.o): Depend on $(CGRAPH_H). | |
530 | ||
531 | 2009-11-17 Paolo Carlini <paolo.carlini@oracle.com> | |
532 | ||
533 | PR c++/42058 | |
534 | * typeck2.c (digest_init_r): Check init for error_operand_p. | |
535 | * decl.c (reshape_init_class): Check return value of reshape_init_r | |
536 | for error_mark_node. | |
537 | ||
538 | 2009-11-17 Jakub Jelinek <jakub@redhat.com> | |
539 | ||
540 | PR c++/42061 | |
541 | * call.c (reference_binding): Return NULL for initializer list with | |
542 | error operand inside of it. | |
543 | ||
544 | PR c++/42059 | |
545 | * typeck.c (cp_build_modify_expr): For initializer list call | |
546 | check_array_initializer to make sure lhs isn't a VLA. | |
547 | ||
548 | 2009-11-16 Jason Merrill <jason@redhat.com> | |
549 | ||
550 | PR c++/189, c++/9937, c++/13950, DR 176 | |
551 | * search.c (lookup_field_r): Allow lookup to find the | |
552 | injected-class-name from a template base. | |
553 | (template_self_reference_p): Remove. | |
554 | * decl.c (make_typename_type): Diagnose ambiguity. Use | |
555 | maybe_get_template_decl_from_type_decl. | |
556 | * parser.c (cp_parser_template_name): Pass true to is_template | |
557 | rather than use maybe_get_template_decl_from_type_decl. | |
558 | (cp_parser_lookup_name): Use maybe_get_template_decl_from_type_decl. | |
559 | * pt.c (maybe_get_template_decl_from_type_decl): Handle ambiguity. | |
560 | Use DECL_SELF_REFERENCE_P. | |
561 | ||
562 | * parser.c (cp_parser_parse_and_diagnose_invalid_type_name): | |
563 | Avoid duplicate ambiguity error. | |
564 | * error.c (dump_decl): Don't say "typedef" for injected-class-name. | |
565 | * pt.c (convert_template_argument): Tweak logic. | |
566 | ||
567 | 2009-11-16 Paolo Carlini <paolo.carlini@oracle.com> | |
568 | ||
569 | PR c++/42055 | |
570 | * pt.c (determine_specialization): Assign to candidates the return | |
571 | value of the chainon called before print_candidates. | |
572 | ||
573 | 2009-11-16 Paolo Carlini <paolo.carlini@oracle.com> | |
574 | ||
575 | PR c++/32056 | |
576 | * decl.h (enum decl_context): Add TPARM enumerator. | |
577 | * decl.c (grokdeclarator): Per 14.1/2, error out if a storage class | |
578 | is specified in a template parameter declaration. | |
579 | * parser.c (cp_parser_template_parameter): Call grokdeclarator with | |
580 | TPARM as third argument. | |
581 | ||
582 | 2009-11-13 Jason Merrill <jason@redhat.com> | |
583 | ||
584 | PR c++/27425 | |
585 | PR c++/34274 | |
586 | * pt.c (expand_template_argument_pack): Handle null arg gracefully. | |
587 | (convert_template_argument): Use %T for type. | |
588 | ||
589 | PR c++/29363 | |
590 | * decl.c (create_implicit_typedef): Set TYPE_STUB_DECL here. | |
591 | (cxx_init_decl_processing): Not here. | |
592 | * name-lookup.c (pushtag): Or here. | |
593 | * pt.c (lookup_template_class): Or here. | |
594 | ||
595 | PR c++/35075 | |
596 | * pt.c (convert_nontype_argument): Give helpful error about | |
597 | reference variable argument to reference template parameter. | |
598 | ||
599 | PR c++/21008, DR 515 | |
600 | * semantics.c (finish_non_static_data_member): Don't check | |
601 | derivation in a template. | |
602 | ||
603 | PR c++/11987 | |
604 | * parser.c (cp_parser_direct_declarator): Give helpful error about | |
605 | trying to define member of a dependent typedef. | |
606 | * pt.c (resolve_typename_type): Don't resolve a typedef typename. | |
607 | * tree.c (typedef_variant_p): New. | |
608 | * cp-tree.h: Declare it. | |
609 | ||
610 | 2009-11-12 Jason Merrill <jason@redhat.com> | |
611 | ||
612 | PR c++/27078 | |
613 | * parser.c (cp_parser_primary_expression): Don't give a duplicate | |
614 | ambiguity error. | |
615 | ||
616 | PR c++/39560 | |
617 | * decl2.c (build_anon_union_vars): Set DECL_ARTIFICIAL. | |
618 | ||
619 | PR c++/37037 | |
620 | * decl.c (grokdeclarator): Don't generate a void PARM_DECL. | |
621 | ||
622 | PR c++/42013 | |
623 | * call.c (build_conditional_expr): Check specifically for folding | |
624 | to CALL_EXPR rather than TREE_SIDE_EFFECTS. | |
625 | ||
626 | * typeck.c (cv_qualified_p): New fn. | |
627 | (decay_conversion): Use it. | |
628 | * cp-tree.h: Declare it. | |
629 | * tree.c (rvalue): Use it and cv_unqualified. | |
630 | * init.c (build_aggr_init): Likewise. | |
631 | ||
632 | PR c++/42013 | |
633 | * call.c (build_conditional_expr): Don't fold a TREE_SIDE_EFFECTS | |
634 | COND_EXPR in unevaluated context. | |
635 | ||
636 | 2009-11-12 Jan Hubicka <jh@suse.cz> | |
637 | ||
638 | * decl2.c (constrain_visibility): Clear WEAK and COMMON flags. | |
639 | ||
640 | 2009-11-11 Jason Merrill <jason@redhat.com> | |
641 | ||
642 | PR c++/39131 | |
643 | * rtti.c (emit_support_tinfos): Add DFP types. | |
644 | ||
645 | * call.c (build_op_delete_call): Downgrade error about | |
646 | placement/non-placement confusion to permerror. | |
647 | ||
648 | 2009-11-10 Jason Merrill <jason@redhat.com> | |
649 | ||
650 | * call.c (build_op_delete_call): Tweak error. | |
651 | ||
652 | PR c++/34158 | |
653 | PR c++/36406 | |
654 | * call.c (non_placement_deallocation_fn_p): Split out... | |
655 | (build_op_delete_call): ...from here. Use instantiate_type | |
656 | for placement delete. Simplify logic. | |
657 | * pt.c (primary_template_instantiation_p): Non-static. | |
658 | * cp-tree.h: Declare it. | |
659 | ||
660 | 2009-11-09 Jason Merrill <jason@redhat.com> | |
661 | ||
662 | PR c++/41972 | |
663 | * parser.c (cp_parser_template_argument): Accept SCOPE_REF around | |
664 | VAR_DECL. | |
665 | ||
666 | PR c++/41994 | |
667 | * pt.c (tsubst_baselink): tsubst the name. | |
668 | ||
669 | 2009-11-07 Jason Merrill <jason@redhat.com> | |
670 | ||
671 | PR c++/37920 | |
672 | * pt.c (tsubst) [TYPEOF_TYPE]: Set cp_unevaluated_operand. | |
673 | ||
674 | PR c++/18451 | |
675 | PR c++/40738 | |
676 | * cp-tree.h (cp_decl_specifier_seq): Add any_type_specifiers_p. | |
677 | * parser.c (cp_parser_single_declaration): Call | |
678 | cp_parser_parse_and_diagnose_invalid_type_name here, too. | |
679 | (cp_parser_parameter_declaration): And here. | |
680 | (cp_parser_parse_and_diagnose_invalid_type_name): Be | |
681 | less picky about declarator form. Don't skip to | |
682 | the end of the block if we're in a declarator. | |
683 | (cp_parser_decl_specifier_seq): Set any_type_specifiers_p. | |
684 | (cp_parser_simple_declaration): Check it. | |
685 | (cp_parser_member_declaration): Likewise. | |
686 | (cp_parser_diagnose_invalid_type_name): Tweak error message. | |
687 | (cp_parser_expression_statement): Likewise. | |
688 | * decl2.c (grokfield): Mention decltype instead of typeof. | |
689 | ||
690 | 2009-11-06 Jason Merrill <jason@redhat.com> | |
691 | ||
692 | PR c++/15946 | |
693 | * parser.c (cp_parser_check_template_parameters): Don't talk about | |
694 | specialization at function scope. | |
695 | (cp_parser_diagnose_invalid_type_name): Handle dependent scope. | |
696 | (cp_parser_parse_and_diagnose_invalid_type_name): Likewise. | |
697 | (cp_parser_expression_statement): Suggest typename. | |
698 | * error.c (dump_decl) [SCOPE_REF]: Print the type here. | |
699 | (dump_expr) [SCOPE_REF]: Call it. | |
700 | (dump_type) [UNBOUND_CLASS_TEMPLATE]: Check TFF_UNQUALIFIED_NAME. | |
701 | * cxx-pretty-print.c (pp_cxx_unqualified_id): Print class template | |
702 | args. | |
703 | ||
704 | PR c++/9381 | |
705 | * decl2.c (build_memfn_type): Preserve attributes. | |
706 | (cp_reconstruct_complex_type): Likewise. | |
707 | (maybe_retrofit_in_chrg): Likewise. | |
708 | * class.c (adjust_clone_args): Likewise. | |
709 | * call.c (standard_conversion): Use build_memfn_type. | |
710 | * pt.c (tsubst): Likewise. | |
711 | * decl.c (build_ptrmem_type): Likewise | |
712 | (check_function_type): Preserve attributes. | |
713 | * tree.c (cp_build_type_attribute_variant): Propagate exception | |
714 | specs on METHOD_TYPE, too. | |
715 | (strip_typedefs): Preserve exception specs and attributes. | |
716 | ||
717 | 2009-11-06 Andrew Pinski <andrew_pinski@playstation.sony.com> | |
718 | ||
719 | PR c++/41536 | |
720 | * optimize.c (maybe_clone_body): Copy DECL_ATTRIBUTES and | |
721 | DECL_DISREGARD_INLINE_LIMITS also. | |
722 | ||
723 | 2009-11-06 Jakub Jelinek <jakub@redhat.com> | |
724 | ||
725 | PR c++/41967 | |
726 | * parser.c (cp_parser_omp_for_loop): After diagnosing not perfectly | |
727 | nested loop and parsing statements, don't cp_parser_require }, instead | |
728 | exit the loop if next token is CPP_EOF. | |
729 | ||
730 | 2009-11-05 Jason Merrill <jason@redhat.com> | |
731 | ||
732 | PR c++/34180 | |
733 | * method.c (do_build_copy_constructor): Don't drop cv-quals from | |
734 | the field type. | |
735 | ||
736 | PR c++/7046 | |
737 | * class.c (finish_struct): Store maximum_field_alignment in | |
738 | TYPE_PRECISION. | |
739 | * pt.c (instantiate_class_template): Set maximum_field_alignment. | |
740 | ||
741 | PR c++/34870 | |
742 | * name-lookup.c (arg_assoc_class): Call complete_type. | |
743 | * pt.c (instantiate_class_template): Call uses_template_parms | |
744 | instead of dependent_type_p. | |
745 | ||
746 | PR c++/41703 | |
747 | * pt.c (check_undeduced_parms): New subroutine of... | |
748 | (more_specialized_fn): ...here. Undeduced template parms can make | |
749 | a template less specialized than another. | |
750 | ||
751 | 2009-11-04 Jason Merrill <jason@redhat.com> | |
752 | ||
753 | PR c++/39413 | |
754 | * search.c (lookup_base): Don't complete_type (base). | |
755 | ||
756 | PR c++/35067 | |
757 | * method.c (use_thunk): Check DECL_WEAK as well as | |
758 | DECL_ONE_ONLY. | |
759 | ||
760 | PR c++/17365, DR 218 | |
761 | * name-lookup.c (add_function): Ignore non-functions. | |
762 | ||
763 | 2009-11-03 Jason Merrill <jason@redhat.com> | |
764 | ||
765 | PR c++/36959 | |
766 | * decl2.c (cxx_callgraph_analyze_expr): Don't reference a function | |
767 | just because a static variable in it is needed unless -frepo. | |
768 | ||
769 | PR c++/41876 | |
770 | * parser.c (cp_parser_type_specifier_seq): Rename is_condition to | |
771 | is_declaration. | |
772 | (cp_parser_exception_declaration): Pass true. | |
773 | (cp_parser_omp_for_loop): Likewise. | |
774 | ||
775 | PR c++/41927 | |
776 | * typeck.c (build_x_binary_op): Don't do warn_parentheses | |
777 | if we're in a SFINAE context. | |
778 | ||
779 | PR c++/41815 | |
780 | * call.c (build_call_a): Strip cv-quals from rvalue result. | |
781 | ||
782 | PR c++/40944 | |
783 | * call.c (initialize_reference): Add complain parm. | |
784 | * typeck.c (convert_for_initialization): Pass it. | |
785 | * decl.c (grok_reference_init): Likewise. | |
786 | * cp-tree.h: Declare it. | |
787 | ||
788 | PR c++/40687 | |
789 | * pt.c (do_auto_deduction): Diagnose inconsistent deduction. | |
790 | ||
791 | 2009-11-02 Dodji Seketeli <dodji@redhat.com> | |
792 | ||
793 | PR c++/37093 | |
794 | * pt.c (check_valid_ptrmem_cst_expr): New function. | |
795 | (convert_nontype_argument): Use it to output an error for | |
796 | illegal pointer to member expressions used as template arguments. | |
797 | ||
798 | 2009-11-02 Jason Merrill <jason@redhat.com> | |
799 | ||
800 | Restrict DR 757 change to C++0x mode. | |
801 | * decl2.c (mark_used): Check cxx_dialect. | |
802 | * decl.c (grokfndecl): Do check type linkage in C++98 mode. | |
803 | (grokvardecl): Likewise. | |
804 | * pt.c (check_instantiated_arg): Likewise. | |
805 | ||
806 | 2009-11-02 Jakub Jelinek <jakub@redhat.com> | |
807 | ||
808 | PR c++/41774 | |
809 | * name-lookup.c (handle_namespace_attrs): Pass 1 as last argument to | |
810 | push_visibility. | |
811 | * parser.c (cp_parser_namespace_definition): Pass 1 as argument to | |
812 | pop_visibility. | |
813 | * rtti.c (push_abi_namespace): Pass 2 as last argument to | |
814 | push_visibility. | |
815 | (pop_abi_namespace): Pass 2 as argument to pop_visibility. | |
816 | ||
817 | 2009-10-31 Jason Merrill <jason@redhat.com> | |
818 | ||
819 | * tree.c (cv_unqualified): New fn. | |
820 | * cp-tree.h: Declare it. | |
821 | * typeck.c (decay_conversion): Use it instead of TYPE_MAIN_VARIANT. | |
822 | ||
823 | * rtti.c (tinfo_name): Fix lengths for private case. | |
824 | ||
825 | 2009-10-31 Jason Merrill <jason@redhat.com> | |
826 | ||
827 | PR c++/41754 | |
828 | * call.c (compare_ics): Avoid bad union use when | |
829 | comparing two ck_lists. | |
830 | ||
831 | 2009-10-30 Jerry Quinn <jlquinn@optonline.net> | |
832 | ||
833 | * mangle.c (mangle_type_string_for_rtti): Reapply 153734. | |
834 | (needs_fake_anon): Likewise. | |
835 | (write_name): Likewise. | |
836 | (write_nested_name): Likewise. | |
837 | * cp-tree.h (mangle_type_string_for_rtti): Likewise. | |
838 | (get_anonymous_namespace): Likewise. | |
839 | * name-lookup.c (get_anonymous_namespace_name): Likewise. | |
840 | * rtti.c (tinfo_name): Likewise, with +1 in the second | |
841 | build_string call fixed. | |
842 | (tinfo_base_init): Likewise. | |
843 | ||
844 | 2009-10-30 Jason Merrill <jason@redhat.com> | |
845 | ||
846 | Revert: | |
847 | * decl.c (cp_fname_init): Correct build_string argument. | |
848 | ||
849 | 2009-10-30 Jerry Quinn <jlquinn@optonline.net> | |
850 | ||
851 | * mangle.c (mangle_type_string_for_rtti): Revert 153734. | |
852 | (needs_fake_anon): Likewise. | |
853 | (write_name): Likewise. | |
854 | (write_nested_name): Likewise. | |
855 | * cp-tree.h (mangle_type_string_for_rtti): Likewise. | |
856 | (get_anonymous_namespace): Likewise. | |
857 | * name-lookup.c (get_anonymous_namespace_name): Likewise. | |
858 | * rtti.c (tinfo_name): Likewise. | |
859 | (tinfo_base_init): Likewise. | |
860 | ||
861 | 2009-10-30 Dodji Seketeli <dodji@redhat.com> | |
862 | ||
863 | PR c++/41863 | |
864 | * pt.c (iterative_hash_template_arg): articifial parms | |
865 | don't have DECL_PARM_INDEX set. Do not hash it. | |
866 | ||
867 | 2009-10-28 Jerry Quinn <jlquinn@optonline.net> | |
868 | ||
869 | * mangle.c (mangle_type_string_for_rtti): Revert r149964. | |
870 | (needs_fake_anon): Likewise. | |
871 | (write_name): Likewise. | |
872 | (write_nested_name): Likewise. | |
873 | * cp-tree.h (mangle_type_string_for_rtti): Likewise. | |
874 | (get_anonymous_namespace): Likewise. | |
875 | * name-lookup.c (get_anonymous_namespace_name): Likewise. | |
876 | * rtti.c (tinfo_name): Insert '*' in front of private names. | |
877 | (tinfo_base_init): Use it. | |
878 | ||
879 | 2009-10-28 Jason Merrill <jason@redhat.com> | |
880 | ||
881 | Core issue 812, 861 | |
882 | * name-lookup.c (set_decl_namespace): Deal properly with inline | |
883 | namespaces. | |
884 | (qualified_lookup_using_namespace): Overhaul. | |
885 | * pt.c (print_candidates): Handle getting an OVERLOAD. | |
886 | ||
887 | 2009-10-28 Jason Merrill <jason@redhat.com> | |
888 | ||
889 | * decl.c (cp_fname_init): Correct build_string argument. | |
890 | ||
891 | 2009-10-27 Jason Merrill <jason@redhat.com> | |
892 | ||
893 | Allow no-capture lambdas to convert to function pointer. | |
894 | * semantics.c (maybe_add_lambda_conv_op): New. | |
895 | * parser.c (cp_parser_lambda_expression): Call it. | |
896 | (cp_parser_lambda_declarator_opt): Make op() static if | |
897 | no captures. | |
898 | * mangle.c (write_closure_type_name): Adjust. | |
899 | * semantics.c (finish_this_expr): Adjust. | |
900 | * decl.c (grok_op_properties): Allow it. | |
901 | * call.c (build_user_type_conversion_1): Handle static conversion op. | |
902 | (build_op_call): And op(). | |
903 | ||
904 | 2009-10-26 Jakub Jelinek <jakub@redhat.com> | |
905 | ||
906 | PR debug/41828 | |
907 | * cp-lang.c (cxx_dwarf_name): Return NULL instead of | |
908 | <anonymous ...> for anonymous aggregate names. | |
909 | ||
910 | 2009-10-26 Jason Merrill <jason@redhat.com> | |
911 | ||
912 | PR c++/38796, Core issue 906 | |
913 | * cp-tree.h (DECL_DEFAULTED_OUTSIDE_CLASS_P): New. | |
914 | (DECL_DEFAULTED_IN_CLASS_P): New. | |
915 | * class.c (user_provided_p): Non-static. | |
916 | (check_methods): Use it. | |
917 | (check_bases_and_members): Check defaulted fns. | |
918 | (defaultable_fn_p): Move and rename to... | |
919 | * method.c (defaultable_fn_check): ...this. | |
920 | (defaulted_late_check): New. | |
921 | * pt.c (tsubst_decl): Call it. | |
922 | * decl2.c (grokfield): Adjust. | |
923 | * decl.c (cp_finish_decl): Adjust. | |
924 | (grok_special_member_properties): Use user_provided_p. | |
925 | ||
926 | 2009-10-26 Dodji Seketeli <dodji@redhat.com> | |
927 | ||
928 | PR c++/41785 | |
929 | * pt.c (template_args_equal): Handle comparison of | |
930 | an ARGUMENT_PACK_SELECT node with the arguments node it selects into. | |
931 | * cp-tree.def: Fix a typo in the description of TYPE_PACK_EXPANSION. | |
932 | ||
933 | 2009-10-26 Dodji Seketeli <dodji@redhat.com> | |
934 | ||
935 | PR c++/41020 | |
936 | * decl.c (decls_match): Use DECL_IS_BUILTIN instead of | |
937 | DECL_BUILT_IN. | |
938 | ||
939 | 2009-10-23 Dodji Seketeli <dodji@redhat.com> | |
940 | ||
941 | PR c++/40808 | |
942 | * mangle.c (write_template_args): Allow mangling of empty template | |
943 | argument list. Updated function comments. | |
944 | ||
945 | 2009-10-23 Jason Merrill <jason@redhat.com> | |
946 | ||
947 | * semantics.c (lambda_expr_this_capture): Use thisify_lambda_field. | |
948 | ||
949 | * semantics.c (outer_lambda_capture_p): New fn. | |
950 | (thisify_lambda_field): Factor out... | |
951 | (add_default_capture): ...from here. | |
952 | (finish_id_expression): Use them. | |
953 | ||
954 | Core issue 899 | |
955 | * call.c (add_function_candidate): Only permit explicit conversion | |
956 | ops if copy ctor was called with a single argument. | |
957 | ||
958 | * call.c (initialize_reference): Tweak error message. | |
959 | ||
960 | 2009-10-21 Jakub Jelinek <jakub@redhat.com> | |
961 | ||
962 | * mangle.c (finish_mangling_get_identifier): Use | |
963 | obstack_base (mangle_obstack) instead of name_base. | |
964 | ||
965 | 2009-10-19 Jakub Jelinek <jakub@redhat.com> | |
966 | ||
967 | * parser.c (cp_lexer_print_token, cp_parser_is_string_literal, | |
968 | cp_parser_string_literal, cp_parser_primary_expression): Likewise. | |
969 | (cp_lexer_get_preprocessor_token): Use C_LEX_STRING_JOIN instead | |
970 | of C_LEX_RAW_STRINGS. | |
971 | ||
972 | 2009-10-15 Jason Merrill <jason@redhat.com> | |
973 | ||
974 | PR c++/38888 | |
975 | * error.c (dump_template_bindings): Wrap argument packs in {}. | |
976 | ||
977 | PR c++/38798 | |
978 | * parser.c (CP_PARSER_FLAGS_NO_TYPE_DEFINITIONS): New. | |
979 | (cp_parser_type_specifier): Don't try to parse a class-specifier | |
980 | or enum-specifier in that case. | |
981 | (cp_parser_trailing_type_id): New. | |
982 | (cp_parser_late_return_type_opt): Call it. | |
983 | (cp_parser_type_id_1): Add is_trailing_return parm. | |
984 | (cp_parser_type_specifier_seq): Likewise. | |
985 | ||
986 | 2009-10-14 Jason Merrill <jason@redhat.com> | |
987 | ||
988 | PR c++/39866 | |
989 | * call.c (print_z_candidates): Don't print deleted candidates. | |
990 | (print_z_candidate): Note deleted candidates. | |
991 | ||
992 | 2009-10-14 Larry Evans <cppljevans@suddenlink.net> | |
993 | ||
994 | PR c++/40092 | |
995 | * tree.c (cp_tree_equal): Add test for TEMPLATE_PARM_PARAMETER_PACK | |
996 | equality. | |
997 | ||
998 | 2009-10-12 Jason Merrill <jason@redhat.com> | |
999 | ||
1000 | PR c++/37875 | |
1001 | * parser.c (cp_parser_decltype): Set greater_than_is_operator_p. | |
1002 | ||
1003 | PR c++/37766 | |
1004 | * pt.c (type_unification_real): Call convert_template_argument | |
1005 | for function default template arguments. | |
1006 | (check_default_tmpl_args): Suggest -std=c++0x when function default | |
1007 | template args seen in C++98 mode. | |
1008 | ||
1009 | 2009-10-11 Jason Merrill <jason@redhat.com> | |
1010 | ||
1011 | PR c++/37204 | |
1012 | * typeck.c (build_reinterpret_cast_1): Handle rvalue refs | |
1013 | properly. | |
1014 | ||
1015 | 2009-10-11 Richard Guenther <rguenther@suse.de> | |
1016 | ||
1017 | * tree.c (cp_free_lang_data): Drop anonymous aggregate names. | |
1018 | ||
1019 | 2009-10-08 Jason Merrill <jason@redhat.com> | |
1020 | ||
1021 | PR c++/36816 | |
1022 | * pt.c (maybe_adjust_types_for_deduction): Do rvalue ref adjustment | |
1023 | even when DEDUCE_EXACT. | |
1024 | ||
1025 | PR c++/37177 | |
1026 | * pt.c (resolve_nondeduced_context): New. | |
1027 | * cvt.c (convert_to_void): Call it. | |
1028 | * semantics.c (finish_decltype_type): Likewise. | |
1029 | * typeck.c (decay_conversion): Here too. | |
1030 | * pt.c (tsubst_decl): Don't clobber input_location. | |
1031 | Don't register a bad specialization. | |
1032 | ||
1033 | 2009-10-07 Gabriel Dos Reis <gdr@cs.tamu.edu> | |
1034 | ||
1035 | * cp-tree.h: Fix location of documentation for DECL_LANG_FLAG_7. | |
1036 | ||
1037 | 2009-10-07 Jason Merrill <jason@redhat.com> | |
1038 | ||
1039 | PR c++/39863 | |
1040 | * pt.c (tsubst_pack_expansion): Don't do anything now if we | |
1041 | have incomplete packs of different lengths. | |
1042 | ||
1043 | PR c++/41038 | |
1044 | * tree.c (build_qualified_name): Call convert_from_reference. | |
1045 | ||
1046 | 2009-10-06 Jason Merrill <jason@redhat.com> | |
1047 | ||
1048 | Fix lookup of initialized captures in unevaluated context. | |
1049 | * cp-tree.h (DECL_NORMAL_CAPTURE_P): New. | |
1050 | * name-lookup.c (qualify_lookup): Check it. | |
1051 | * parser.c (cp_parser_lambda_introducer): Pass explicit_init_p | |
1052 | to add_capture. | |
1053 | * semantics.c (add_capture): Set DECL_NORMAL_CAPTURE_P | |
1054 | on captures without explicit init. | |
1055 | (add_default_capture): Pass explicit_init_p. | |
1056 | ||
1057 | Fix capture by copy of types with explicit copy constructor. | |
1058 | * cp-tree.h (TARGET_EXPR_DIRECT_INIT_P): New. | |
1059 | (DIRECT_INIT_EXPR_P): New. | |
1060 | * typeck.c (convert_for_initialization): Just return if | |
1061 | DIRECT_INIT_EXPR_P. | |
1062 | * semantics.c (build_lambda_object): Use | |
1063 | TARGET_EXPR_DIRECT_INIT_P for normal captures. | |
1064 | ||
1065 | 2009-10-05 Jason Merrill <jason@redhat.com> | |
1066 | ||
1067 | * parser.c: Mark lambda_scope and lambda_count for PCH. | |
1068 | ||
1069 | 2009-10-03 Jason Merrill <jason@redhat.com> | |
1070 | ||
1071 | PR c++/41553 | |
1072 | * parser.c (cp_parser_lambda_introducer): Avoid infinite loop on | |
1073 | parse error. | |
1074 | ||
1075 | 2009-10-02 Jason Merrill <jason@redhat.com> | |
1076 | ||
1077 | * mangle.c (write_unnamed_type_name): Implement. | |
1078 | (local_class_index): Split out from... | |
1079 | (discriminator_for_local_entity): ...here. | |
1080 | (nested_anon_class_index): New. | |
1081 | * cp-tree.h (TYPE_FUNCTION_SCOPE_P): New. | |
1082 | ||
1083 | 2009-10-02 Janis Johnson <janis187@us.ibm.com> | |
1084 | ||
1085 | * call.c (convert_arg_to_ellipsis): Avoid promoting decimal32 | |
1086 | to double. | |
1087 | ||
1088 | 2009-10-01 Jason Merrill <jason@redhat.com> | |
1089 | ||
1090 | * parser.c (cp_parser_lambda_expression): Compute visibility. | |
1091 | (no_linkage_lambda_type_p): Remove. | |
1092 | * cp-tree.h: Remove declaration. | |
1093 | * tree.c (no_linkage_check): Don't call it. Don't check template | |
1094 | args. Don't check TREE_PUBLIC Types. | |
1095 | ||
1096 | 2009-10-01 Gabriel Dos Reis <gdr@cse.tamu.edu> | |
1097 | Jason Merrill <jason@redhat.com> | |
1098 | ||
1099 | * decl.c (grokdeclarator): Set constexprness before announcing | |
1100 | friendship. | |
1101 | ||
1102 | 2009-10-01 Gabriel Dos Reis <gdr@cs.tamu.edu> | |
1103 | ||
1104 | * decl.c (record_builtin_java_type): Undo unintended change. | |
1105 | (cxx_init_decl_processing): Likewise. | |
1106 | ||
1107 | 2009-10-01 Jason Merrill <jason@redhat.com> | |
1108 | ||
1109 | * pt.c (register_specialization): Push DECL_SOURCE_LOCATION to the | |
1110 | clones. | |
1111 | ||
1112 | * decl.c (grok_special_member_properties): Only adjust | |
1113 | TYPE_HAS_COMPLEX_* if the function is defaulted in the class body. | |
1114 | (cp_finish_decl): Push DECL_DELETED_FN/DECL_DEFAULTED_FN to the | |
1115 | clones. | |
1116 | ||
1117 | 2009-09-30 Gabriel Dos Reis <gdr@cs.tamu.edu> | |
1118 | ||
1119 | * decl.c (check_for_uninitialized_const_var): Check constexpr | |
1120 | variables too. | |
1121 | (grokdeclarator): Handle `constexpr'. | |
1122 | (check_tag_decl): Reject `constexpr'. | |
1123 | (check_function_type): Check constexpr functions. | |
1124 | * cp-tree.h (ds_constexpr): New cp_decl_spec enumerator. | |
1125 | (CLASSTYPE_LITERAL_P): New. | |
1126 | (lang_type_class::is_literal): New. | |
1127 | (lang_type_class::dummy): Adjust width. | |
1128 | (literal_type_p): Declare. | |
1129 | * parser.c (cp_parser_check_decl_spec): Print it. | |
1130 | (cp_parser_decl_specifier_seq): Accept "constexpr". | |
1131 | * semantics.c (validate_constexpr_fundecl): Define. | |
1132 | (literal_type_p): Define. | |
1133 | ||
1134 | 2009-09-30 Jason Merrill <jason@redhat.com> | |
1135 | ||
1136 | * semantics.c (lambda_expr_this_capture): Fix default capture | |
1137 | of explicit capture of 'this'. | |
1138 | ||
1139 | 2009-09-30 Jason Merrill <jason@redhat.com> | |
1140 | ||
1141 | * parser.c (cp_parser_lambda_expression): Don't add __ to __this. | |
1142 | ||
1143 | 2009-09-30 Jason Merrill <jason@redhat.com> | |
1144 | ||
1145 | * cp-tree.h (LANG_DECL_U2_CHECK): Check LANG_DECL_HAS_MIN. | |
1146 | ||
1147 | 2009-09-29 John Freeman <jfreeman08@gmail.com> | |
1148 | Jason Merrill <jason@redhat.com> | |
1149 | ||
1150 | Add support for lambda-expressions as per N2927. | |
1151 | * cp-tree.def (VEC_INIT_EXPR, LAMBDA_EXPR): New. | |
1152 | * cp-tree.h (LAMBDA_TYPE_P, LAMBDA_FUNCTION_P): New. | |
1153 | (LAMBDA_EXPR_DEFAULT_CAPTURE_MODE): New. | |
1154 | (LAMBDA_EXPR_DEFAULT_CAPTURE_LIST): New. | |
1155 | (LAMBDA_EXPR_THIS_CAPTURE, LAMBDA_EXPR_CAPTURES_THIS_P): New. | |
1156 | (LAMBDA_EXPR_MUTABLE_P, LAMBDA_EXPR_DEDUCE_RETURN_TYPE_P): New. | |
1157 | (LAMBDA_EXPR_RETURN_TYPE, LAMBDA_EXPR_LOCATION): New. | |
1158 | (LAMBDA_EXPR_EXTRA_SCOPE, LAMBDA_EXPR_DISCRIMINATOR): New. | |
1159 | (struct tree_lambda_expr): New. | |
1160 | (union lang_tree_node): Add lambda_expression. | |
1161 | (struct lang_type_class): Add lazy_move_ctor flag, lambda_expr field. | |
1162 | (CLASSTYPE_LAZY_MOVE_CTOR, CLASSTYPE_LAMBDA_EXPR): New. | |
1163 | (LAMBDA_TYPE_EXTRA_SCOPE, VEC_INIT_EXPR_SLOT): New. | |
1164 | (VEC_INIT_EXPR_INIT, DECLTYPE_FOR_LAMBDA_CAPTURE): New. | |
1165 | (DECLTYPE_FOR_LAMBDA_RETURN): New. | |
1166 | (enum special_function_kind): Add sfk_move_constructor. | |
1167 | (LAMBDANAME_PREFIX, LAMBDANAME_FORMAT, LAMBDANAME_P): New. | |
1168 | * parser.c (cp_parser_lambda_expression, cp_parser_lambda_introducer) | |
1169 | (cp_parser_lambda_declarator_opt, cp_parser_lambda_body): New. | |
1170 | (start_lambda_scope, record_lambda_scope, finish_lambda_scope): New. | |
1171 | (no_linkage_lambda_type_p): New. | |
1172 | (cp_parser_primary_expression): Recognize lambda expression. | |
1173 | (cp_parser_init_declarator): Note lambda scope. | |
1174 | (cp_parser_function_definition_after_declarator): Likewise. | |
1175 | (cp_parser_late_parsing_default_args): Likewise. | |
1176 | (cp_parser_skip_to_closing_parenthesis): Skip to end of lambda capture | |
1177 | lists, too. | |
1178 | (cp_parser_parameter_declaration): Don't defer lambda default args. | |
1179 | * semantics.c (finish_non_static_data_member, finish_id_expression): | |
1180 | Handle default capture for lambda expressions. | |
1181 | (finish_this_expr): Handle 'this' keyword inside of lambda expressions. | |
1182 | (outer_automatic_var_p): New. | |
1183 | (finish_decltype_type): Handle decltypes within lambda expressions. | |
1184 | (classtype_has_nothrow_assign_or_copy_p): Synthesized move constructor. | |
1185 | (build_lambda_expr, build_lambda_object, begin_lambda_type) | |
1186 | (lambda_return_type, lambda_capture_field_type, apply_lambda_return_type) | |
1187 | (capture_decltype, add_capture, add_default_capture) | |
1188 | (lambda_expr_this_capture): New. | |
1189 | * mangle.c (write_unnamed_type_name): New. Incomplete. | |
1190 | (write_closure_type_name): New. | |
1191 | (write_unqualified_name): Recognize unnamed, closure types. | |
1192 | (write_type): Do not write decltypes from lambda expressions. | |
1193 | (decl_mangling_context): New. | |
1194 | (write_name): Use it. Handle PARM_DECL scope. | |
1195 | (write_prefix): Likewise. Handle VAR_DECL/FIELD_DECL scope. | |
1196 | (write_compact_number): Factor out from... | |
1197 | (write_expression, write_template_param): ...here. | |
1198 | (discriminator_for_local_entity): Recognize lambdas. | |
1199 | (write_local_name): Handle PARM_DECL scope. | |
1200 | * typeck.c (structural_comptypes): Compare decltypes from lambda | |
1201 | expressions. | |
1202 | (check_return_expr): Deduce lambda return type from multiple return | |
1203 | statements. | |
1204 | * class.c (add_implicitly_declared_members): Add lazy move constructor | |
1205 | for lambda types. | |
1206 | (check_bases_and_members): Delete default constructor and assignment | |
1207 | operator for lambda types. | |
1208 | (maybe_note_name_used_in_class): Do not confuse lambda expression with | |
1209 | defining a class. | |
1210 | * decl.c (reshape_init_r): Array copy. | |
1211 | (grokfndecl): Synthesized move constructor. | |
1212 | (cp_tree_node_structure): Lambda expression. | |
1213 | * method.c (use_thunk): Synthesized move constructor. | |
1214 | (do_build_copy_constructor): Likewise. | |
1215 | (locate_copy): Likewise. | |
1216 | (implicitly_declare_fn): Likewise. | |
1217 | * cp-objcp-common.c (cp_tree_size): Handle LAMBDA_EXPR. | |
1218 | * error.c (dump_aggr_type): Recognize lambda type. | |
1219 | (dump_function_decl): Recognize lambda function. | |
1220 | (function_category): Likewise. | |
1221 | (dump_function_name): Hide lambda name. | |
1222 | * tree.c (build_array_copy, move): New. | |
1223 | (special_function_p): Synthesized move constructor. | |
1224 | (no_linkage_check): Handle lambdas. | |
1225 | * search.c (lookup_fnfields_1): Synthesized move constructor. | |
1226 | * cp-gimplify.c (cp_gimplify_init_expr, cp_gimplify_expr): | |
1227 | Handle VEC_INIT_EXPR. | |
1228 | * typeck2.c (digest_init_r): Array copy. | |
1229 | * pt.c (get_template_info): Don't touch typedefs. | |
1230 | (instantiate_decl): Don't resubstitute artificial decls. | |
1231 | (tsubst_decl, tsubst, tsubst_copy_and_build): Handle lambdas. | |
1232 | (lookup_template_class): Don't fall back on name lookup. | |
1233 | * name-lookup.c (make_lambda_name): New. | |
1234 | (pushdecl_class_level): Handle default capture for lambda expressions. | |
1235 | (qualify_lookup): Handle decltypes within lambda expressions. | |
1236 | (pushtag): Handle ts_within_enclosing_non_class in function scope. | |
1237 | ||
1238 | 2009-09-28 Janis Johnson <janis187@us.ibm.com> | |
1239 | ||
1240 | * mangle.c (write_builtin_type): Support decimal float types. | |
1241 | ||
1242 | 2009-09-28 Richard Henderson <rth@redhat.com> | |
1243 | ||
1244 | * cp-objcp-common.h (LANG_HOOKS_EH_USE_CXA_END_CLEANUP): New. | |
1245 | ||
1246 | 2009-09-24 Jakub Jelinek <jakub@redhat.com> | |
1247 | ||
1248 | * method.c (make_thunk, make_alias_for): Don't set | |
1249 | DECL_NO_STATIC_CHAIN. | |
1250 | * decl.c (builtin_function_1, grokfndecl): Likewise. | |
1251 | * lex.c (build_lang_decl): Likewise. | |
1252 | ||
1253 | 2009-09-23 Dodji Seketeli <dodji@redhat.com> | |
1254 | ||
1255 | PR debug/41065 | |
1256 | * decl.c (cp_finish_decl): Record the types used by the global | |
1257 | variable declaration we've just parsed. | |
1258 | ||
1259 | 2009-09-22 Dodji Seketeli <dodji@redhat.com> | |
1260 | ||
1261 | * cp-lang.c (LANG_HOOKS_FUNCTION_PARAMETER_PACK_P, | |
1262 | LANG_HOOKS_FUNCTION_PARM_EXPANDED_FROM_PACK_P, | |
1263 | LANG_HOOKS_GET_GENERIC_FUNCTION_DECL): Initialize these | |
1264 | hooks for the c++ FE. | |
1265 | * cp-tree.h (function_parameter_pack_p, get_function_template_decl, | |
1266 | function_parameter_expanded_from_pack_p): Declare ... | |
1267 | * pt.c (function_parameter_pack_p, get_function_template_decl, | |
1268 | function_parameter_expanded_from_pack_p): ... new hooks. | |
1269 | (get_template_info): Make this more robust. | |
1270 | (template_args_variadic_p, make_ith_pack_parameter_name): Add a new | |
1271 | line between comment and function. | |
1272 | (get_template_argument_pack_elems): Fix comment. | |
1273 | (tsubst_decl): Arguments of function parameter packs are not | |
1274 | parameter packs themselves. | |
1275 | ||
1276 | 2009-09-21 Jason Merrill <jason@redhat.com> | |
1277 | ||
1278 | PR c++/41421 | |
1279 | * tree.c (trivial_type_p): Fix logic. | |
1280 | ||
1281 | 2009-09-21 Jason Merrill <jason@redhat.com> | |
1282 | ||
1283 | * name-lookup.c (push_class_level_binding): Sanity check. | |
1284 | ||
1285 | 2009-09-18 Jason Merrill <jason@redhat.com> | |
1286 | ||
1287 | * decl2.c (determine_visibility): Make anonymous types internal. | |
1288 | (mark_used): Complain about types without linkage used in | |
1289 | decls with internal linkage. | |
1290 | (vague_linkage_fn_p): Split out from... | |
1291 | * decl.c (maybe_commonize_var): ...here. | |
1292 | (grokdeclarator): Adjust linkage when a typedef gives linkage name. | |
1293 | * tree.c (no_linkage_check): Check the enclosing class and template | |
1294 | arguments. | |
1295 | ||
1296 | * cp-tree.h (TYPE_NAMESPACE_SCOPE_P): New. | |
1297 | ||
1298 | * pt.c (get_pattern_parm): New. | |
1299 | (listify): Split out from... | |
1300 | (listify_autos): ...here. | |
1301 | (unify): Deduce std::initializer_list for T. | |
1302 | * call.c (build_over_call): Warn about it. | |
1303 | ||
1304 | 2009-09-17 Andrew Pinski <pinskia@gcc.gnu.org> | |
1305 | ||
1306 | PR c++/39365 | |
1307 | * typeck.c (cp_build_unary_op): Check TREE_CODE for bools instead of | |
1308 | using same_type_p. | |
1309 | (convert_for_assignment): Likewise. | |
1310 | * cvt.c (type_promotes_to): Likewise. | |
1311 | ||
1312 | 2009-09-14 Richard Henderson <rth@redhat.com> | |
1313 | Jakub Jelinek <jakub@redhat.com> | |
1314 | ||
1315 | * cp-tree.h (finish_asm_stmt): Update decl. | |
1316 | * parser.c (cp_parser_asm_definition): Parse asm goto. | |
1317 | (cp_parser_asm_label_list): New. | |
1318 | * pt.c (tsubst_copy_asm_operands): Don't recurse on labels. | |
1319 | (tsubst_expr): Handle asm labels. | |
1320 | * semantics.c (finish_asm_stmt): Add and use labels parameter. | |
1321 | ||
1322 | 2009-09-14 Richard Henderson <rth@redhat.com> | |
1323 | ||
1324 | * except.c (init_exception_processing): Don't call | |
1325 | default_init_unwind_resume_libfunc. | |
1326 | (cp_protect_cleanup_actions): Return the decl to call. | |
1327 | (build_exc_ptr): Use __builtin_eh_pointer. | |
1328 | * optimize.c (clone_body): Set eh_lp_nr, not eh_region. | |
1329 | ||
1330 | 2009-09-13 Richard Guenther <rguenther@suse.de> | |
1331 | Rafael Avila de Espindola <espindola@google.com> | |
1332 | ||
1333 | * except.c (init_exception_processing): Do not set | |
1334 | lang_eh_runtime_type. | |
1335 | (choose_personality_routine): Do not set eh_personality_decl, | |
1336 | set pragma_java_exceptions. | |
1337 | * cp-lang.c (LANG_HOOKS_EH_RUNTIME_TYPE): Define. | |
1338 | (LANG_HOOKS_EH_PERSONALITY): Likewise. | |
1339 | (cp_eh_personality_decl): New. | |
1340 | (cp_eh_personality): Likewise. | |
1341 | * Make-lang.in (cp-lang.o): Add $(EXPR_H) and $(EXCEPT_H) | |
1342 | dependencies. | |
1343 | ||
1344 | 2009-09-13 Wei Guozhi <carrot@google.com> | |
1345 | ||
1346 | PR c++/3187 | |
1347 | * cp/optimize.c (build_delete_destructor_body): New function. | |
1348 | (maybe_clone_body): Call build_delete_destructor_body for | |
1349 | deleting destructor. | |
1350 | ||
1351 | 2009-09-10 Jason Merrill <jason@redhat.com> | |
1352 | ||
1353 | * repo.c (extract_string, get_base_filename, init_repo): constify. | |
1354 | ||
1355 | 2009-09-09 Jason Merrill <jason@redhat.com> | |
1356 | ||
1357 | * error.c (find_typenames_r): Also add decltypes. | |
1358 | ||
1359 | 2009-09-09 Paolo Carlini <paolo.carlini@oracle.com> | |
1360 | ||
1361 | PR c++/28293 | |
1362 | * decl2.c (grokfield): Check for explicit template argument lists. | |
1363 | ||
1364 | 2009-09-09 Jack Howarth <howarth@bromo.med.uc.edu> | |
1365 | ||
1366 | PR bootstrap/41180 | |
1367 | * Make-lang.in: Remove redundant code from linkage for darwin10. | |
1368 | ||
1369 | 2009-09-08 Paolo Carlini <paolo.carlini@oracle.com> | |
1370 | ||
1371 | PR c++/39923 | |
1372 | * decl.c (build_init_list_var_init): Check return value of | |
1373 | perform_implicit_conversion. | |
1374 | ||
1375 | 2009-09-08 Jason Merrill <jason@redhat.com> | |
1376 | ||
1377 | * class.c (currently_open_class): Make sure we're dealing with the | |
1378 | main variant. | |
1379 | ||
1380 | * cp-tree.h (enum overload_flags): Remove OP_FLAG. | |
1381 | * method.c (lazily_declare_fn): Check for dtorness in ABI warning. | |
1382 | ||
1383 | * name-lookup.c (is_class_level): Remove. | |
1384 | (push_binding_level, leave_scope, resume_scope): Adjust. | |
1385 | (pushlevel_class): Adjust. | |
1386 | (poplevel_class): Make sure we're on class_binding_level. | |
1387 | ||
1388 | * decl.c (grokmethod): Rename from start_method. | |
1389 | (finish_method): Remove. | |
1390 | * cp-tree.h: Adjust. | |
1391 | * parser.c (cp_parser_save_member_function_body): Adjust. | |
1392 | ||
1393 | 2009-09-03 Doug Kwan <dougkwan@google.com> | |
1394 | ||
1395 | * tree.c (cp_fix_function_decl_p): New. | |
1396 | (cp_free_lang_data): New. | |
1397 | ||
1398 | 2009-09-03 Diego Novillo <dnovillo@google.com> | |
1399 | ||
1400 | * Make-lang.in (decl2.o): Add dependency on $(POINTER_SET_H). | |
1401 | * decl2.c: Include pointer-set.h. | |
1402 | (collect_candidates_for_java_method_aliases): New. | |
1403 | (cp_write_global_declarations): Call it. | |
1404 | Add local variable CANDIDATES. If set, call | |
1405 | build_java_method_aliases. | |
1406 | (build_java_method_aliases): Add argument CANDIDATES. | |
1407 | Use it to determine if FNDECL should get a hidden alias. | |
1408 | * cp-objcp-common.h (LANG_HOOKS_FREE_LANG_DATA): Define. | |
1409 | * cp-tree.h (cp_free_lang_data): Declare. | |
1410 | ||
1411 | 2009-09-03 Richard Guenther <rguenther@suse.de> | |
1412 | ||
1413 | * method.c (use_thunk): Use cgraph_finalize_function to hand | |
1414 | off thunks to the cgraph. | |
1415 | * semantics.c (emit_associated_thunks): Do not emit thunks | |
1416 | for really extern functions. | |
1417 | ||
1418 | 2009-09-03 Diego Novillo <dnovillo@google.com> | |
1419 | ||
1420 | * cp-lang.c (lang_hooks): Remove const qualifier. | |
1421 | ||
1422 | 2009-09-02 Jason Merrill <jason@redhat.com> | |
1423 | ||
1424 | * semantics.c (describable_type): Don't pretend to be in a template. | |
1425 | ||
1426 | * ptree.c (cxx_print_type) [DECLTYPE_TYPE]: Print the expression. | |
1427 | ||
1428 | 2009-09-01 Alexandre Oliva <aoliva@redhat.com> | |
1429 | ||
1430 | * cp-tree.h (TFF_NO_OMIT_DEFAULT_TEMPLATE_ARGUMENTS): New. | |
1431 | * cp-lang.c (cxx_dwarf_name): Pass it. | |
1432 | * error.c (count_non_default_template_args): Take flags as | |
1433 | argument. Adjust all callers. Skip counting of default | |
1434 | arguments if the new flag is given. | |
1435 | ||
1436 | 2009-09-01 Dodji Seketeli <dodji@redhat.com> | |
1437 | ||
1438 | PR bootstrap/41205 | |
1439 | * pt.c (make_ith_pack_parameter_name): Don't use strnlen that is a | |
1440 | GNU extension. | |
1441 | ||
1442 | 2009-09-01 Richard Guenther <rguenther@suse.de> | |
1443 | ||
1444 | * cp-objcp-common.c (cp_expr_size): Use tree_expr_size. | |
1445 | * cp-objcp-common.h (LANG_HOOKS_EXPR_SIZE): Do not define. | |
1446 | ||
1447 | 2009-09-01 Richard Guenther <rguenther@suse.de> | |
1448 | ||
1449 | * cp-objcp-common.h (LANG_HOOKS_MARK_ADDRESSABLE): Remove. | |
1450 | ||
1451 | 2009-08-31 Dodji Seketeli <dodji@redhat.com> | |
1452 | ||
1453 | PR debug/30161 | |
1454 | * cp-tree.h (get_template_info): Parameter should be const. | |
1455 | (CLASSTYPE_SPECIALIZATION_OF_PRIMARY_TEMPLATE_P): Fix typo. | |
1456 | (get_template_argument_pack_elems, | |
1457 | get_primary_template_innermost_parameters, | |
1458 | get_template_innermost_arguments, template_template_parameter_p): | |
1459 | Declare ... | |
1460 | * pt.c (get_template_argument_pack_elems, | |
1461 | get_template_innermost_parameters, get_template_innermost_arguments, | |
1462 | template_template_parameter_p): | |
1463 | ... New C++ front end implementation of new language hooks. | |
1464 | (primary_template_instantiation_p): New private helper. | |
1465 | (make_ith_pack_parameter_name): Use snprintf and strnlen instead of | |
1466 | printf and strlen. | |
1467 | (get_template_info): Const-ify parameter. | |
1468 | * cp-lang.c (LANG_HOOKS_GET_INNERMOST_GENERIC_PARMS, | |
1469 | LANG_HOOKS_GET_INNERMOST_GENERIC_ARGS, | |
1470 | LANG_HOOKS_GET_ARGUMENT_PACK_ELEMS, | |
1471 | LANG_HOOKS_GENERIC_TYPE_PARAMETER_DECL_P): Initialize these | |
1472 | interfaces for the C++ front-end. | |
1473 | ||
1474 | 2009-08-31 Jason Merrill <jason@redhat.com> | |
1475 | ||
1476 | PR c++/41127 | |
1477 | * parser.c (cp_parser_enum_specifier): Make sure the : is followed by a | |
1478 | type-specifier-seq before we commit. | |
1479 | ||
1480 | 2009-08-28 Richard Guenther <rguenther@suse.de> | |
1481 | ||
1482 | PR lto/41058 | |
1483 | * cp-gimplify.c (cp_genericize_r): Do not leak zero-sized stores | |
1484 | into the generic IL. | |
1485 | ||
1486 | 2009-08-27 Richard Guenther <rguenther@suse.de> | |
1487 | ||
1488 | * class.c (build_vtbl_ref_1): Remove excess vertical space. | |
1489 | * Make-lang.in (CXX_TREE_H): Remove c-common.def dependency | |
1490 | tracked by $(TREE_H). | |
1491 | * semantics.c (expand_or_defer_fn): Zero DECL_SAVED_TREE. | |
1492 | ||
1493 | 2009-08-26 Jason Merrill <jason@redhat.com> | |
1494 | ||
1495 | * call.c (build_builtin_candidate): Don't set LOOKUP_ONLYCONVERTING | |
1496 | if we're contextually converting to bool. | |
1497 | (build_conditional_expr): Likewise. | |
1498 | * typeck.c (condition_conversion): Likewise. | |
1499 | ||
1500 | * call.c (build_conditional_expr): Fix logic errors. | |
1501 | (build_new_op): Remove dead COND_EXPR handling. | |
1502 | ||
1503 | 2009-08-24 Jason Merrill <jason@redhat.com> | |
1504 | ||
1505 | * cp-tree.h (DECL_DEFERRED_FN): Remove. | |
1506 | (struct lang_decl_fn): Remove deferred flag. | |
1507 | * class.c (build_clone): Don't set it. | |
1508 | * decl2.c (note_vague_linkage_fn): Don't check or set it. | |
1509 | (mark_used): Don't check it. | |
1510 | * method.c (make_thunk, make_alias_for): Don't set it. | |
1511 | ||
1512 | * decl2.c (mark_used): Streamline logic. | |
1513 | ||
1514 | PR c++/41109 | |
1515 | PR c++/41110 | |
1516 | PR c++/41134 | |
1517 | * cp-tree.h (DECL_ODR_USED): New macro. | |
1518 | (struct lang_decl_base): Add odr_used flag. | |
1519 | * decl.c (duplicate_decls): Propagate it. Use it for error. | |
1520 | * pt.c (register_specialization): Use it for error. | |
1521 | * decl2.c (mark_used): Use it as gating flag rather than TREE_USED. | |
1522 | (cp_write_global_declarations): Use it for error. | |
1523 | (tree_used_ok): Remove. | |
1524 | * cp-tree.h: Remove tree_used_ok. | |
1525 | * call.c (build_call_a): Don't call it. | |
1526 | * init.c (build_offset_ref): Likewise. | |
1527 | ||
1528 | 2009-08-21 Jakub Jelinek <jakub@redhat.com> | |
1529 | ||
1530 | PR c++/41131 | |
1531 | * tree.c (lvalue_p_1) <case CONST_DECL>: Return clk_none if | |
1532 | not TREE_STATIC. | |
1533 | ||
1534 | 2009-08-19 Jason Merrill <jason@redhat.com> | |
1535 | ||
1536 | PR c++/41119 | |
1537 | PR c++/41120 | |
1538 | * decl2.c (mark_used): Increment function_depth during synthesis. | |
1539 | * parser.c (cp_parser_default_argument): Not here. | |
1540 | ||
1541 | 2009-08-19 Jakub Jelinek <jakub@redhat.com> | |
1542 | ||
1543 | * method.c (use_thunk): Call free_after_compilation after | |
1544 | assemble_end_function. | |
1545 | ||
1546 | 2009-08-17 Richard Guenther <rguenther@suse.de> | |
1547 | ||
1548 | * decl.c (build_ptrmemfunc_type): Keep variant chain intact. | |
1549 | Avoid useless copy. | |
1550 | (finish_enum): Keep variant chain intact. | |
1551 | * tree.c (cp_build_reference_type): Likewise. | |
1552 | ||
1553 | 2009-08-16 Jason Merrill <jason@redhat.com> | |
1554 | ||
1555 | Make TREE_USED match the [basic.def.odr] concept for FUNCTION_DECL | |
1556 | and VAR_DECL, so mark_used only has effect the first time. | |
1557 | * decl2.c (mark_used): Just return if TREE_USED is already set. | |
1558 | Don't set TREE_USED if cp_unevaluated_operand is set. | |
1559 | (tree_used_ok): New fn. | |
1560 | * init.c (build_offset_ref): Check it instead of TREE_USED. | |
1561 | * call.c (build_call_a): Likewise. | |
1562 | * cp-tree.h: Declare it. | |
1563 | (DECL_NO_LINKAGE_CHECKED): No longer needed. | |
1564 | (struct lang_decl_base): Remove no_linkage_checked bitfield. | |
1565 | ||
1566 | * decl2.c (finish_static_data_member_decl): Don't set TREE_USED. | |
1567 | ||
1568 | * decl2.c (mark_used): It's ok to synthesize for default args now. | |
1569 | ||
1570 | 2009-08-10 Jason Merrill <jason@redhat.com> | |
1571 | ||
1572 | Implement DR 757: It's OK for a decl to use a type without linkage | |
1573 | so long as the decl is defined in the current translation unit. | |
1574 | * decl2.c (no_linkage_decls): New vector. | |
1575 | (mark_used): Add decls that use types with no linkage. | |
1576 | (cp_write_global_declarations): Check that they are defined. | |
1577 | (decl_defined_p, no_linkage_error): New fns. | |
1578 | * cp-tree.h (DECL_NO_LINKAGE_CHECKED): New macro. | |
1579 | (struct lang_decl_base): Add flag. | |
1580 | * decl.c (grokfndecl): Don't check type linkage. | |
1581 | (grokvardecl): If the type has no linkage, just make sure | |
1582 | DECL_LANG_SPECIFIC is set. | |
1583 | * pt.c (check_instantiated_arg): Don't check type linkage. | |
1584 | * name-lookup.c (is_local_extern): New fn. | |
1585 | * name-lookup.h: Declare it. | |
1586 | ||
1587 | 2009-08-05 Jason Merrill <jason@redhat.com> | |
1588 | ||
1589 | PR c++/40948 | |
1590 | * init.c (build_vec_init): Evaluate the initializer before | |
1591 | starting the initialization try block. | |
1592 | ||
1593 | 2009-08-05 Manuel López-Ibáñez <manu@gcc.gnu.org> | |
1594 | ||
1595 | PR c++/36069 | |
1596 | * typeck.c (convert_for_assignment): Do not warn for any boolean | |
1597 | variant. Use explicit location. | |
1598 | ||
1599 | 2009-08-04 Dodji Seketeli <dodji@redhat.com> | |
1600 | ||
1601 | PR c++/39987 | |
1602 | * pt.c (tsubst_default_argument): Let access checks of the | |
1603 | default argument happen in the context of the current function. | |
1604 | ||
1605 | 2009-08-04 Manuel López-Ibáñez <manu@gcc.gnu.org> | |
1606 | ||
1607 | PR c++/16696 | |
1608 | * call.c (build_new_op): Only try prefix operator if -fpermissive, | |
1609 | otherwise just error. | |
1610 | ||
1611 | 2009-08-04 Dodji Seketeli <dodji@redhat.com> | |
1612 | ||
1613 | PR debug/39706 | |
1614 | * error.c (lang_decl_name): Print qualified names for decls | |
1615 | in namespace scope. | |
1616 | ||
1617 | 2009-08-03 Jason Merrill <jason@redhat.com> | |
1618 | Jakub Jelinek <jakub@redhat.com> | |
1619 | ||
1620 | PR c++/40948 | |
1621 | * init.c (build_vec_init): Look through a TARGET_EXPR around a | |
1622 | CONSTRUCTOR. | |
1623 | ||
1624 | 2009-07-31 Jason Merrill <jason@redhat.com> | |
1625 | Douglas Gregor <doug.gregor@gmail.com> | |
1626 | ||
1627 | Remove implicit binding of lvalues to rvalue references (N2831) | |
1628 | * call.c (convert_class_to_reference): Binding an lvalue to an | |
1629 | rvalue reference is bad. If the user-defined conversion is bad, | |
1630 | set bad_p before merging conversions. | |
1631 | (maybe_handle_ref_bind): Don't push down bad_p. | |
1632 | (reference_binding): Binding an lvalue to an rvalue reference is bad. | |
1633 | (convert_like_real): Give a helpful error about binding lvalue | |
1634 | to rvalue reference. | |
1635 | (reference_related_p): No longer static. | |
1636 | * typeck.c (build_typed_address): New. | |
1637 | (build_static_cast_1): Add static_cast from lvalue to &&. | |
1638 | * cp-tree.h: Adjust. | |
1639 | ||
1640 | 2009-07-31 Jason Merrill <jason@redhat.com> | |
1641 | ||
1642 | * call.c (reference_binding): Rename lvalue_p to is_lvalue. | |
1643 | Do direct binding of "rvalues" in memory to rvalue references. | |
1644 | * tree.c (lvalue_p_1): Can't be both non-addressable lvalue and | |
1645 | "rvalue" in memory. | |
1646 | * typeck.c (build_static_cast_1): Do direct binding of memory | |
1647 | "rvalues" to rvalue references. | |
1648 | * cvt.c (cp_fold_convert): New. | |
1649 | * cp-tree.h: Declare it. | |
1650 | ||
1651 | 2009-07-31 Jason Merrill <jason@redhat.com> | |
1652 | ||
1653 | * typeck.c (build_address): Do fold away ADDR_EXPR of INDIRECT_REF. | |
1654 | * tree.c (rvalue): Use cp_build_qualified_type, not TYPE_MAIN_VARIANT. | |
1655 | ||
1656 | 2009-07-29 Jason Merrill <jason@redhat.com> | |
1657 | ||
1658 | PR c++/14912 | |
1659 | * cp-tree.h (enum tsubst_flags): Add tf_no_class_instantiations. | |
1660 | * error.c (count_non_default_template_args): Pass it. | |
1661 | * pt.c (tsubst) [TYPENAME_TYPE]: Don't complete type if it's set. | |
1662 | ||
1663 | 2009-07-29 Richard Guenther <rguenther@suse.de> | |
1664 | ||
1665 | PR c++/40834 | |
1666 | * cp-gimplify.c (cp_genericize_r): Properly walk the BIND_EXPR | |
1667 | vars. | |
1668 | ||
1669 | 2009-07-26 Simon Martin <simartin@users.sourceforge.net> | |
1670 | ||
1671 | PR c++/40749 | |
1672 | * decl.c (grokdeclarator): Do not set TREE_NO_WARNING for functions | |
1673 | with a qualified return type. | |
1674 | ||
1675 | 2009-07-24 Jason Merrill <jason@redhat.com> | |
1676 | ||
1677 | Core issue 901 | |
1678 | * call.c (build_op_delete_call): If this is for a new-expression | |
1679 | and the op delete is deleted, do nothing. | |
1680 | ||
1681 | Core issue 702 | |
1682 | * call.c (compare_ics): Give list-initialization of std::init_list | |
1683 | priority over conversion to scalar, too. | |
1684 | ||
1685 | 2009-07-22 Jason Merrill <jason@redhat.com> | |
1686 | ||
1687 | * mangle.c (mangle_type_string_for_rtti): Rename to be clearer. | |
1688 | (needs_fake_anon): New. | |
1689 | (write_name): Check it. | |
1690 | (write_nested_name): Add a fake anonymous namespace scope if true. | |
1691 | * name-lookup.c (get_anonymous_namespace_name): No longer static. | |
1692 | * rtti.c, cp-tree.h: Adjust. | |
1693 | ||
1694 | 2009-07-22 Richard Guenther <rguenther@suse.de> | |
1695 | ||
1696 | PR c++/40799 | |
1697 | * cp-gimplify.c (cp_gimplify_expr): Move handling of using | |
1698 | related exprs to ... | |
1699 | (cp_genericize_r): ... genericization stage. | |
1700 | (cp_genericize): Adjust. | |
1701 | ||
1702 | 2009-07-21 Jason Merrill <jason@redhat.com> | |
1703 | ||
1704 | Core issue 934 | |
1705 | * call.c (reference_binding): Implement binding to { }. | |
1706 | (initialize_reference): Binding temporary to non-const && is fine. | |
1707 | * decl.c (grok_reference_init): Remove error for CONSTRUCTOR. | |
1708 | ||
1709 | * decl.c (reshape_init_r): { T } is not an aggregate initializer | |
1710 | for class T. | |
1711 | ||
1712 | 2009-07-17 Richard Guenther <rguenther@suse.de> | |
1713 | ||
1714 | PR c/40401 | |
1715 | * decl.c (finish_function): Do not emit unused result warnings | |
1716 | from here. | |
1717 | * cp-objcp-common.h (LANG_HOOKS_POST_GIMPLIFY_PASS): Use | |
1718 | c_warn_unused_result_pass. | |
1719 | * semantics.c (expand_or_defer_fn): Adjust assertion about IL status. | |
1720 | * optimize.c (clone_body): Clone in GENERIC. | |
1721 | (maybe_clone_body): Do not clear DECL_SAVED_TREE. | |
1722 | * decl2.c (cp_write_global_declarations): Fix body test. | |
1723 | Do not call cgraph_optimize. | |
1724 | * Make-lang.in (optimize.o): Add tree-iterator.h dependency. | |
1725 | * method.c (use_thunk): Register thunk with | |
1726 | cgraph_finalize_function. | |
1727 | * error.c (function_category): Guard access of DECL_LANG_SPECIFIC. | |
1728 | ||
1729 | 2009-07-17 Richard Guenther <rguenther@suse.de> | |
1730 | ||
1731 | * init.c (build_vec_delete_1): Do not set DECL_REGISTER on the | |
1732 | temporary pointer. | |
1733 | ||
1734 | 2009-07-17 Aldy Hernandez <aldyh@redhat.com> | |
1735 | Manuel López-Ibáñez <manu@gcc.gnu.org> | |
1736 | ||
1737 | PR 40435 | |
1738 | * typeck.c, init.c, class.c, method.c, rtti.c, except.c, error.c, | |
1739 | tree.c, cp-gimplify.c, cxx-pretty-print.c, pt.c, semantics.c, | |
1740 | call.c, cvt.c, mangle.c: Add location argument to | |
1741 | fold_{unary,binary,ternary}, fold_build[123], build_call_expr, | |
1742 | build_size_arg, build_fold_addr_expr, build_call_array, | |
1743 | non_lvalue, size_diffop, fold_build1_initializer, | |
1744 | fold_build2_initializer, fold_build3_initializer, | |
1745 | fold_build_call_array, fold_build_call_array_initializer, | |
1746 | fold_single_bit_test, omit_one_operand, omit_two_operands, | |
1747 | invert_truthvalue, fold_truth_not_expr, build_fold_indirect_ref, | |
1748 | fold_indirect_ref, combine_comparisons, fold_builtin_*, | |
1749 | fold_call_expr, build_range_check, maybe_fold_offset_to_address, | |
1750 | round_up, round_down. | |
1751 | ||
1752 | 2009-07-16 Jason Merrill <jason@redhat.com> | |
1753 | ||
1754 | PR libstdc++/37907 | |
1755 | Split POD into "standard-layout" and "trivial" as per N2230, | |
1756 | Support std::is_standard_layout and std::is_trivial traits. | |
1757 | * cp-tree.h (enum cp_trait_kind): Add CPTK_IS_STD_LAYOUT, | |
1758 | CPTK_IS_TRIVIAL. | |
1759 | (struct lang_type_class): Add non_std_layout. | |
1760 | (CLASSTYPE_NON_STD_LAYOUT): New. | |
1761 | * class.c (check_bases): Set it. | |
1762 | (check_field_decls): Likewise. | |
1763 | (check_bases_and_members): Likewise. | |
1764 | * parser.c (cp_parser_primary_expression): Handle RID_IS_STD_LAYOUT, | |
1765 | RID_IS_TRIVIAL. | |
1766 | (cp_parser_trait_expr): Likewise. | |
1767 | * semantics.c (trait_expr_value): Handle CPTK_IS_STD_LAYOUT, | |
1768 | CPTK_IS_TRIVIAL. | |
1769 | (finish_trait_expr): Likewise. | |
1770 | * tree.c (scalarish_type_p, trivial_type_p, std_layout_type_p): New. | |
1771 | (pod_type_p): Use them. | |
1772 | (type_has_nontrivial_copy_init, type_has_nontrivial_default_init): New. | |
1773 | ||
1774 | Adjust bits of the language that no longer refer to POD types. | |
1775 | * call.c (convert_arg_to_ellipsis): Use type_has_nontrivial_copy_init | |
1776 | and TYPE_HAS_NONTRIVIAL_DESTRUCTOR rather than pod_type_p. | |
1777 | (build_x_va_arg): Likewise. | |
1778 | (call_builtin_trap): Remove. | |
1779 | * decl.c (declare_local_label): Use type_has_nontrivial_default_init | |
1780 | and TYPE_HAS_NONTRIVIAL_DESTRUCTOR rather than pod_type_p. | |
1781 | (cp_finish_decl): Likewise. | |
1782 | (check_previous_goto_1, check_goto): Adjust error. | |
1783 | * typeck.c (build_class_member_access_expr): Check | |
1784 | CLASSTYPE_NON_STD_LAYOUT rather than CLASSTYPE_NON_POD_P. | |
1785 | ||
1786 | 2009-07-14 Taras Glek <tglek@mozilla.com> | |
1787 | Rafael Espindola <espindola@google.com> | |
1788 | ||
1789 | * Make-lang.in: Added CP_PLUGIN_HEADERS and | |
1790 | c.install-target to export cp-tree.h cxx-pretty-print.h | |
1791 | name-lookup.h headers for plugins. | |
1792 | ||
1793 | 2009-07-14 Jason Merrill <jason@redhat.com> | |
1794 | ||
1795 | PR c++/37276 | |
1796 | * decl.c (decls_match): A non-extern-C declaration doesn't match | |
1797 | a builtin extern-C declaration. | |
1798 | ||
1799 | PR c++/40746 | |
1800 | * name-lookup.c (qualified_lookup_using_namespace): Don't stop | |
1801 | looking in used namespaces just because we found something on | |
1802 | another branch. | |
1803 | ||
1804 | PR c++/40740 | |
1805 | * semantics.c (perform_koenig_lookup): Handle empty template args. | |
1806 | ||
1807 | * call.c (build_over_call): Use can_trust_pointer_alignment. | |
1808 | ||
1809 | 2009-07-14 Dodji Seketeli <dodji@redhat.com> | |
1810 | ||
1811 | PR debug/40705 | |
1812 | PR c++/403057 | |
1813 | * decl2.c (grokfield): Don't call set_underlying_type on typedef | |
1814 | decls that are type names. | |
1815 | ||
1816 | 2009-07-13 Andrew Pinski <andrew_pinski@playstation.sony.com> | |
1817 | ||
1818 | PR C++/22154 | |
1819 | * parser.c (cp_parser_elaborated_type_specifier): Accept typename in | |
1820 | front of qualified names. | |
1821 | ||
1822 | 2009-07-12 Jason Merrill <jason@redhat.com> | |
1823 | ||
1824 | PR c++/36628 | |
1825 | * tree.c (rvalue): Use lvalue_or_rvalue_with_address_p. | |
1826 | ||
1827 | PR c++/37206 | |
1828 | * cp-tree.h (enum cp_lvalue_kind_flags): Add clk_rvalueref. | |
1829 | * tree.c (lvalue_p_1): Return it. Remove | |
1830 | treat_class_rvalues_as_lvalues parm. | |
1831 | (real_lvalue_p): Disallow pseudo-lvalues here. | |
1832 | (lvalue_or_rvalue_with_address_p): New fn. | |
1833 | * call.c (initialize_reference): Use it instead of real_lvalue_p. | |
1834 | ||
1835 | PR c++/40689 | |
1836 | * init.c (build_new_1): Handle initializer list as array initializer. | |
1837 | (build_vec_init): Likewise. | |
1838 | * typeck.c (cp_build_modify_expr): Likewise. | |
1839 | * typeck2.c (process_init_constructor_array): Error rather than abort | |
1840 | if too many initializers. | |
1841 | ||
1842 | 2009-07-10 Jakub Jelinek <jakub@redhat.com> | |
1843 | ||
1844 | PR c++/40502 | |
1845 | * error.c (cp_print_error_function): Check for NULL block. | |
1846 | ||
1847 | 2008-07-09 Simon Martin <simartin@users.sourceforge.net> | |
1848 | Jason Merrill <jason@redhat.com> | |
1849 | ||
1850 | * pt.c (perform_typedefs_access_check, get_types_needing_access_check, | |
1851 | append_type_to_template_for_access_check_1): Use CLASS_TYPE_P. | |
1852 | ||
1853 | 2009-07-09 Dodji Seketeli <dodji@redhat.com> | |
1854 | ||
1855 | PR c++/40684 | |
1856 | * pt.c (type_unification_real): Use tsubst_template_arg instead | |
1857 | of tsubst to substitute default template arguments. | |
1858 | ||
1859 | 2009-07-08 Manuel López-Ibáñez <manu@gcc.gnu.org> | |
1860 | ||
1861 | PR c++/31246 | |
1862 | * init.c (build_new_1): Set TREE_NO_WARNING for compiler-generated | |
1863 | code. | |
1864 | * cp-gimplify.c (genericize_eh_spec_block): Likewise. | |
1865 | ||
1866 | ||
1867 | 2009-07-07 Jason Merrill <jason@redhat.com> | |
1868 | ||
1869 | PR c++/35828 | |
1870 | * pt.c (tsubst_decl): Don't abort if we didn't change anything | |
1871 | in a TEMPLATE_DECL's args. | |
1872 | ||
1873 | 2009-07-07 Manuel López-Ibáñez <manu@gcc.gnu.org> | |
1874 | ||
1875 | * semantics.c (finalize_nrv_r): Replace EXPR_LOCUS by | |
1876 | EXPR_LOCATION. | |
1877 | ||
1878 | 2009-07-07 Jason Merrill <jason@redhat.com> | |
1879 | ||
1880 | PR c++/37816 | |
1881 | * decl.c (build_enumerator): Don't add enumerators for a | |
1882 | scoped enum to the enclosing class. | |
1883 | ||
1884 | PR c++/40639 | |
1885 | * decl.c (start_enum): Allow dependent underlying type. | |
1886 | ||
1887 | PR c++/40633 | |
1888 | * decl.c (finish_enum): Finish scope even in a template. | |
1889 | ||
1890 | 2009-07-07 Manuel López-Ibáñez <manu@gcc.gnu.org> | |
1891 | ||
1892 | * init.c: Replace %J by an explicit location. Update all calls. | |
1893 | * decl.c: Likewise. | |
1894 | * typeck2.c: Likewise. | |
1895 | * pt.c: Likewise. | |
1896 | * name-lookup.c: Likewise. | |
1897 | ||
1898 | 2009-07-06 Manuel López-Ibáñez <manu@gcc.gnu.org> | |
1899 | ||
1900 | * decl.c: Replace %H by an explicit location. Update all calls. | |
1901 | * except.c: Likewise. | |
1902 | * semantics.c: Likewise. | |
1903 | * parser.c: Likewise. | |
1904 | ||
1905 | 2009-07-06 Simon Martin <simartin@users.sourceforge.net> | |
1906 | ||
1907 | PR c++/40557 | |
1908 | * pt.c (perform_typedefs_access_check, get_types_needing_access_check, | |
1909 | append_type_to_template_for_access_check_1): Use | |
1910 | RECORD_OR_UNION_CODE_P. | |
1911 | ||
1912 | 2009-07-04 Jason Merrill <jason@redhat.com> | |
1913 | ||
1914 | * pt.c (retrieve_specialization): Don't get confused by a | |
1915 | using-declaration that brings in another instance of this template | |
1916 | from a base class. | |
1917 | ||
1918 | * ptree.c (cxx_print_type): Fix logic. | |
1919 | ||
1920 | * cp-tree.h (LANG_DECL_FN_CHECK): Fix non-checking version. | |
1921 | ||
1922 | PR c++/40619 | |
1923 | * cp-tree.h (struct lang_decl_parm): New. | |
1924 | (struct lang_decl): Add it. | |
1925 | (LANG_DECL_PARM_CHECK): New. | |
1926 | (DECL_PARM_INDEX): New. | |
1927 | * decl2.c (parm_index): Remove. | |
1928 | * lex.c (retrofit_lang_decl): Handle parms. | |
1929 | (cxx_dup_lang_specific_decl): Likewise. | |
1930 | * mangle.c (write_expression): Adjust. | |
1931 | * tree.c (cp_tree_equal): Adjust. | |
1932 | (decl_linkage): Only check DECL_COMDAT for functions and variables. | |
1933 | * parser.c (cp_parser_parameter_declaration_list): Set | |
1934 | DECL_PARM_INDEX. | |
1935 | * pt.c (iterative_hash_template_arg): Hash it. | |
1936 | ||
1937 | 2009-07-03 Jason Merrill <jason@redhat.com> | |
1938 | ||
1939 | * cp-tree.h (struct lang_decl): Overhaul. | |
1940 | (struct lang_decl_flags): Remove. | |
1941 | (struct lang_decl_base): New. | |
1942 | (struct lang_decl_min): New. | |
1943 | (struct lang_decl_fn): New. | |
1944 | (struct lang_decl_ns): New. | |
1945 | (CAN_HAVE_FULL_LANG_DECL_P): Replace with LANG_DECL_HAS_MIN. | |
1946 | (LANG_DECL_MIN_CHECK): New. | |
1947 | (LANG_DECL_FN_CHECK): New. | |
1948 | (LANG_DECL_NS_CHECK): New. | |
1949 | (STRIP_TEMPLATE): New. | |
1950 | (NON_THUNK_FUNCTION_CHECK): Remove. | |
1951 | (DECL_DECLARES_FUNCTION_P): New. | |
1952 | (lots): Adjust. | |
1953 | * lex.c (retrofit_lang_decl, cxx_dup_lang_specific_decl): Adjust. | |
1954 | * decl.c (push_local_name, duplicate_decls): Adjust. | |
1955 | * decl2.c (start_objects): Don't set u2sel. | |
1956 | * semantics.c (finish_omp_threadprivate): Adjust. | |
1957 | * class.c (build_clone): Don't do much on TEMPLATE_DECLs. | |
1958 | (decl_cloned_function_p): Out-of-line implementation of macros. | |
1959 | (clone_function_decl, adjust_clone_args): Use DECL_CLONED_FUNCTION_P. | |
1960 | * mangle.c (write_unqualified_name): Don't check function flags | |
1961 | on non-functions. | |
1962 | * method.c (make_alias_for): Don't set DECL_CLONED_FUNCTION. | |
1963 | * pt.c (build_template_decl): Don't set function flags. | |
1964 | (check_default_tmpl_args): Check that it's a function. | |
1965 | (instantiate_template): Use DECL_ABSTRACT_ORIGIN to find the | |
1966 | cloned template. | |
1967 | ||
1968 | * pt.c (tsubst_decl) [FUNCTION_DECL]: Don't tsubst | |
1969 | DECL_CLONED_FUNCTION. | |
1970 | ||
1971 | * cp-tree.h (struct lang_type_class): Move sorted_fields here. | |
1972 | * class.c (finish_struct_1): Adjust. | |
1973 | * ptree.c (cxx_print_decl, cxx_print_type): Adjust. | |
1974 | * search.c (lookup_field_1): Adjust. | |
1975 | ||
1976 | * cp-tree.h (CLASSTYPE_INLINE_FRIENDS): Remove. | |
1977 | * decl.c (finish_method): Don't add to it. | |
1978 | * class.c (fixup_pending_inline): Remove. | |
1979 | (fixup_inline_methods): Remove. | |
1980 | (finish_struct_1): Don't call it. | |
1981 | ||
1982 | * error.c (dump_function_name): Handle null name. | |
1983 | ||
1984 | 2009-07-02 Mark Mitchell <mark@codesourcery.com> | |
1985 | ||
1986 | * typeck.c (cp_build_binary_op): Move warnings about use of NULL | |
1987 | in arithmetic earlier and allow comparisions of NULL with | |
1988 | pointers-to-members. | |
1989 | ||
1990 | 2009-07-02 Jason Merrill <jason@redhat.com> | |
1991 | ||
1992 | Use hash tables for template specialization lookup. | |
1993 | * pt.c (struct spec_entry): New type. | |
1994 | (decl_specializations, type_specializations): New hash tables. | |
1995 | (register_specialization, retrieve_specialization): Use them. | |
1996 | (reregister_specialization, lookup_template_class): Use them. | |
1997 | (eq_specializations, hash_tmpl_and_args, hash_specialization): New. | |
1998 | (iterative_hash_template_arg): New. | |
1999 | (init_template_processing): New | |
2000 | (process_partial_specialization): Don't look to see if we already | |
2001 | have this partial specialization. | |
2002 | (maybe_process_partial_specialization): Handle reassigning | |
2003 | full specializations when we get an explicit specialization | |
2004 | of the partial instantiation. | |
2005 | (tsubst_friend_function): Adjust specialization reassignment code. | |
2006 | (instantiate_template): Only do one lookup. | |
2007 | (instantiate_decl): Don't do any lookup. | |
2008 | * cp-tree.h: Declare init_template_processing. | |
2009 | * decl.c (duplicate_decls): Pass args to reregister_specialization. | |
2010 | ||
2011 | 2009-07-01 Jason Merrill <jason@redhat.com> | |
2012 | ||
2013 | * cp-tree.h (DECL_CLASS_TEMPLATE_P): Use DECL_IMPLICIT_TYPEDEF_P. | |
2014 | ||
2015 | * pt.c (register_specialization): Use duplicate_decls to merge | |
2016 | the argument with a previous specialization. | |
2017 | (check_explicit_specialization): Call register_specialization to | |
2018 | merge the TEMPLATE_DECL with a previous version. | |
2019 | (determine_specialization): Return the args even if fn is a template. | |
2020 | ||
2021 | 2009-07-01 Ian Lance Taylor <iant@google.com> | |
2022 | ||
2023 | * g++spec.c (lang_specific_driver): Bump num_args by 1. | |
2024 | ||
2025 | 2009-06-30 Jason Merrill <jason@redhat.com> | |
2026 | ||
2027 | PR c++/40595 | |
2028 | * pt.c (tsubst_pack_expansion): Handle unexpanded packs in an | |
2029 | EXPR_PACK_EXPANSION. | |
2030 | ||
2031 | 2009-06-29 Jason Merrill <jason@redhat.com> | |
2032 | ||
2033 | PR c++/40274 | |
2034 | * error.c (dump_template_parms): Pass all args to | |
2035 | count_non_default_template_args. | |
2036 | (count_non_default_template_args): Pull out the inner ones. | |
2037 | ||
2038 | 2009-06-26 H.J. Lu <hongjiu.lu@intel.com> | |
2039 | ||
2040 | * decl.c (duplicate_decls): Re-indent. | |
2041 | ||
2042 | 2009-06-25 Ian Lance Taylor <iant@google.com> | |
2043 | ||
2044 | * call.c (avoid_sign_compare_warnings): New static function. | |
2045 | (build_new_op): Call it. | |
2046 | * typeck.c (cp_build_binary_op): Don't call warn_sign_compare if | |
2047 | TREE_NO_WARNING is set on either operand. | |
2048 | ||
2049 | 2009-06-25 Ian Lance Taylor <iant@google.com> | |
2050 | ||
2051 | * g++spec.c (SKIPOPT): define. | |
2052 | (lang_specific_driver): Handle -static-libstdc++. Only add | |
2053 | LIBSTDCXX_STATIC if we add LIBSTDCXX. | |
2054 | ||
2055 | 2009-06-25 Ian Lance Taylor <iant@google.com> | |
2056 | ||
2057 | * cvt.c (convert_to_void): Only warn about COND_EXPR if neither | |
2058 | the second nor third operand has side effects. | |
2059 | ||
2060 | 2009-06-25 Ian Lance Taylor <iant@google.com> | |
2061 | ||
2062 | * parser.c (cp_parser_binary_expression): Increment | |
2063 | c_inhibit_evaluation_warnings while parsing the right hand side of | |
2064 | "true || x" or "false && x". | |
2065 | * typeck.c (cp_build_binary_op): Only call warn_for_sign_compare | |
2066 | if c_inhibit_evaluation_warnings is zero. | |
2067 | ||
2068 | 2009-06-24 Jason Merrill <jason@redhat.com> | |
2069 | ||
2070 | * error.c (dump_decl): Do say "typedef" for the injected class name. | |
2071 | ||
2072 | * pt.c (lookup_template_class): Use currently_open_class, | |
2073 | compare template args later. | |
2074 | ||
2075 | PR c++/40342 | |
2076 | * decl.c (decls_match): Check DECL_TI_TEMPLATE too. | |
2077 | * class.c (resolve_address_of_overloaded_function): Fix typo. | |
2078 | ||
2079 | 2009-06-18 Aldy Hernandez <aldyh@redhat.com> | |
2080 | ||
2081 | * class.c (get_vtable_decl): Replace finish_decl with cp_finish_decl. | |
2082 | * decl.c (finish_decl): Remove. | |
2083 | (declare_global_var): Replace finish_decl with cp_finish_decl. | |
2084 | (start_method): Same. | |
2085 | * rtti.c (emit_tinfo_decl): Same. | |
2086 | * pt.c (tsubst_expr): Same. | |
2087 | (instantiate_decl): Same. | |
2088 | * decl2.c (grokbitfield): Same. | |
2089 | * name-lookup.c (pushdecl_top_level_1): Same. | |
2090 | * cp-tree.h: Remove finish_decl. | |
2091 | ||
2092 | 2009-06-16 David Edelsohn <edelsohn@gnu.org> | |
2093 | ||
2094 | * g++-spec.c (LIBSTDCXX_STATIC): Default to NULL. | |
2095 | (lang_specific_driver): Always allocate extra argument. | |
2096 | Add LIBSTDCXX_STATIC to arglist if defined and linking | |
2097 | statically. | |
2098 | ||
2099 | 2009-06-16 Ian Lance Taylor <iant@google.com> | |
2100 | ||
2101 | * Make-lang.in (cp/class.o): Depend upon gt-cp-class.h. | |
2102 | (cp/semantics.o): Depend upon gt-cp-semantics.h. | |
2103 | ||
2104 | 2009-06-16 Ian Lance Taylor <iant@google.com> | |
2105 | ||
2106 | * parser.c (cp_unevaluated_operand): Define global variable. | |
2107 | (cp_parser_question_colon_clause): Increment | |
2108 | c_inhibit_evaluation_warnings when evaluating an expression which | |
2109 | will never be executed. | |
2110 | (cp_parser_decltype): Increment cp_unevaluated_operand and | |
2111 | c_inhibit_evaluation_warnings, not skip_evaluation. | |
2112 | (cp_parser_sizeof_operand): Likewise. | |
2113 | (cp_parser_enclosed_template_argument_list): Save | |
2114 | cp_unevaluated_operand and c_inhibit_evaluation_warnings, not | |
2115 | skip_evaluation. | |
2116 | * cp-tree.h (struct saved_scope): Remove skip_evaluation field. | |
2117 | Add unevaluated_operand and inhibit_evaluation_warnings fields. | |
2118 | (cp_unevaluated_operand): Declare. | |
2119 | * name-lookup.c (push_to_top_level): Save cp_unevaluated_operand | |
2120 | and c_inhibit_evaluation_warnings rather than skip_evaluation. | |
2121 | (pop_from_top_level): Restore cp_unevaluated_operand and | |
2122 | c_inhibit_evaluation_warnings rather than skip_evaluation. | |
2123 | * class.c (build_base_path): Check cp_unevaluated_operand rather | |
2124 | than skip_evaluation. | |
2125 | * typeck.c (build_class_member_access_expr): Likewise. | |
2126 | (cp_build_binary_op): Don't warn about bad shift counts if | |
2127 | c_inhibit_evaluation_warnings is non-zero. | |
2128 | * pt.c (coerce_template_parms): Save state of | |
2129 | cp_unevaluated_operand and c_inhibit_evaluation_warnings, not | |
2130 | skip_evaluation. | |
2131 | (tsubst_aggr_type): Likewise. | |
2132 | (tsubst_pack_expansion): Check cp_unevaluated_operand rather than | |
2133 | skip_evaluation. | |
2134 | (tsubst_copy): Likewise. | |
2135 | (tsubst): Set cp_unevaluated_operand and | |
2136 | c_inhibit_evaluation_warnings, not skip_evaluation. | |
2137 | (tsubst_copy_and_build): Likewise. | |
2138 | * call.c (convert_arg_to_ellipsis): Check cp_unevaluated_operand | |
2139 | rather than skip_evaluation. | |
2140 | * decl2.c (mark_used): Likewise. | |
2141 | * semantics.c (finish_non_static_data_member): Likewise. | |
2142 | * cvt.c (cp_convert_and_check): Check | |
2143 | c_inhibit_evaluation_warnings rather than skip_evaluation. | |
2144 | * mangle.c (write_type): Set cp_unevaluated_operand rather than | |
2145 | skip_evaluation. | |
2146 | ||
2147 | 2009-06-15 Ian Lance Taylor <iant@google.com> | |
2148 | ||
2149 | * parser.c (cp_parser_direct_declarator): Add braces around | |
2150 | variables declared before label. | |
2151 | ||
2152 | 2009-06-15 Rafael Avila de Espindola <espindola@google.com> | |
2153 | ||
2154 | * cp-objcp-common.h (LANG_HOOKS_COMDAT_GROUP): Remove. | |
2155 | * cp-tree.h (cxx_comdat_group): Change signature. | |
2156 | * decl.c (duplicate_decls): Use DECL_COMDAT_GROUP. | |
2157 | (cxx_comdat_group): Change signature. | |
2158 | * decl2.c (comdat_linkage, maybe_make_one_only): Update call to | |
2159 | make_decl_one_only. | |
2160 | (constrain_visibility, get_guard): Use DECL_COMDAT_GROUP. | |
2161 | * method.c (use_thunk): Update call to make_decl_one_only. | |
2162 | * optimize.c (maybe_clone_body): Use DECL_COMDAT_GROUP | |
2163 | ||
2164 | 2009-06-12 Aldy Hernandez <aldyh@redhat.com> | |
2165 | ||
2166 | * typeck.c (cp_build_binary_op): Pass location to overflow_warning. | |
2167 | (build_modify_expr): New arg. | |
2168 | * semantics.c (finish_unary_op_expr): Pass location to | |
2169 | overflow_warning. | |
2170 | (handle_omp_for_class_iterator): Pass location to build_modify_expr. | |
2171 | * typeck.c (cxx_sizeof_or_alignof_type): Pass location to | |
2172 | c_sizeof_or_alignof_type. | |
2173 | (build_array_ref): New argument. | |
2174 | (build_compound_expr): Same. | |
2175 | (build_const_cast): Same. | |
2176 | (build_ptrmemfunc): Pass location to build_c_cast. | |
2177 | * init.c (avoid_placement_new_aliasing): Pass location to | |
2178 | build_stmt. | |
2179 | (build_vec_delete_1): Pass location to cp_build_modify_expr, | |
2180 | build_compound_expr. | |
2181 | * class.c (build_vtbl_ref_1): Pass location to build_array_ref. | |
2182 | * decl.c (poplevel): Pass location to c_build_bind_expr. | |
2183 | (finish_case_label): Pass location to build_case_label. | |
2184 | (finish_constructor_body): Same. | |
2185 | (finish_destructor_body): Pass location to build_stmt. | |
2186 | (cxx_maybe_build_cleanup): Same, but to build_compound_expr. | |
2187 | * call.c (build_new_op): Pass location to build_array_ref. | |
2188 | (build_x_va_arg): Pass location to build_va_arg. | |
2189 | * except.c (expand_end_catch_block): Pass location to | |
2190 | build_stmt. | |
2191 | * cp-tree.h (build_array_ref): New argument. | |
2192 | (build_compound_expr): Same. | |
2193 | (build_c_cast): Same. | |
2194 | * cp-gimplify.c (gimplify_if_stmt): Pass location on down. | |
2195 | (gimplify_switch_stmt): Same. | |
2196 | * typeck2.c (split_nonconstant_init_1): Same. | |
2197 | * pt.c (tsubst_copy): Same. | |
2198 | * semantics.c (add_decl_expr): Same. | |
2199 | (do_poplevel): Same. | |
2200 | (push_cleanup): Same. | |
2201 | (finish_goto_stmt): Same. | |
2202 | (finish_expr_stmt): Same. | |
2203 | (begin_if_stmt): Same. | |
2204 | (begin_while_stmt): Same. | |
2205 | (begin_do_stmt): Same. | |
2206 | (finish_return_stmt): Same. | |
2207 | (begin_for_stmt): Same. | |
2208 | (finish_break_stmt): Same. | |
2209 | (finish_continue_stmt): Same. | |
2210 | (begin_switch_stmt): Same. | |
2211 | (begin_try_block): Same. | |
2212 | (begin_handler): Same. | |
2213 | (finish_asm_stmt): Same. | |
2214 | (finish_label_stmt): Same. | |
2215 | (finish_stmt_expr_expr): Same. | |
2216 | (finalize_nrv_r): Same. | |
2217 | (finish_omp_atomic): Same. | |
2218 | * name-lookup.c (do_using_directive): Same. | |
2219 | * decl2.c (grok_array_decl): Same. | |
2220 | * parser.c (cp_parser_cast_expression): Same. | |
2221 | (cp_parser_selection_statement): Same. | |
2222 | (cp_parser_implicitly_scoped_statement): Same. | |
2223 | (cp_parser_objc_selector_expression): Same. | |
2224 | (cp_parser_objc_synchronized_statement): Same. | |
2225 | (cp_parser_objc_throw_statement): Same. | |
2226 | (cp_parser_omp_critical): Same. | |
2227 | (cp_parser_omp_master): Same. | |
2228 | * typeck.c (build_function_call): Add location argument. | |
2229 | * init.c: Add location argument to all build_decl calls. | |
2230 | * class.c: Same. | |
2231 | * method.c: Same. | |
2232 | * rtti.c: Same. | |
2233 | * tree.c: Same. | |
2234 | * pt.c: Same. | |
2235 | * semantics.c: Same. | |
2236 | * lex.c: Same. | |
2237 | * decl2.c: Same. | |
2238 | * cp-gimplify.c: Same. | |
2239 | * decl.c: Same. | |
2240 | (cp_make_fname_decl): Add location argument. Pass location ot | |
2241 | build_decl. | |
2242 | (finish_case_label): Same. | |
2243 | * cp-tree.h (finish_case_label): Add location argument. | |
2244 | * parser.c (cp_parser_label_for_labeled_statement): Pass location to | |
2245 | finish_case_label. | |
2246 | ||
2247 | 2009-06-09 Jason Merrill <jason@redhat.com> | |
2248 | ||
2249 | PR c++/40381 | |
2250 | * decl2.c (mark_used): Return after complaining about deleted fn. | |
2251 | ||
2252 | 2009-06-08 Jason Merrill <jason@redhat.com> | |
2253 | ||
2254 | * parser.c (cp_parser_type_id_1): 'auto' type is ok with a | |
2255 | late-specified return type. | |
2256 | ||
2257 | 2009-06-08 Jakub Jelinek <jakub@redhat.com> | |
2258 | ||
2259 | PR c++/40373 | |
2260 | * call.c (check_dtor_name): Return false even if | |
2261 | get_type_value (name) is error_mark_node. | |
2262 | ||
2263 | PR c++/40370 | |
2264 | PR c++/40372 | |
2265 | * parser.c (cp_parser_direct_declarator): Don't set TREE_SIDE_EFFECTS | |
2266 | on error_mark_node. Check for VLAs outside of function context | |
2267 | before check whether to wrap bounds into a NOP_EXPR with | |
2268 | TREE_SIDE_EFFECTS. | |
2269 | ||
2270 | 2009-06-08 Alexandre Oliva <aoliva@redhat.com> | |
2271 | ||
2272 | * repo.c (get_base_filename): Use aux_base_name rather than | |
2273 | alternate temporary file during second compare debug compilation. | |
2274 | (finish_repo): Skip during -fcompare-debug-second. | |
2275 | ||
2276 | 2009-06-06 Ian Lance Taylor <iant@google.com> | |
2277 | ||
2278 | * parser.c (cp_parser_label_for_labeled_statement): Support | |
2279 | attribute on labels if immediately followed by semicolon. | |
2280 | * semantics.c (finish_label_stmt): Return new label. | |
2281 | * pt.c (tsubst_expr): Handle attributes for LABEL_EXPR. | |
2282 | ||
2283 | 2009-06-03 Ian Lance Taylor <iant@google.com> | |
2284 | ||
2285 | * Make-lang.in (cc1plus-checksum.o): Depend upon $(CONFIG_H) and | |
2286 | $(SYSTEM_H). | |
2287 | ||
2288 | 2009-06-02 Mark Mitchell <mark@codesourcery.com> | |
2289 | ||
2290 | * decl.c (maybe_deduce_size_from_array_init): Use relayout_decl. | |
2291 | ||
2292 | 2009-06-02 Jason Merrill <jason@redhat.com> | |
2293 | ||
2294 | PR c++/40308 | |
2295 | PR c++/40311 | |
2296 | * typeck.c (cp_build_modify_expr): Always pass init-lists to the | |
2297 | conversion code. | |
2298 | * call.c (implicit_conversion): Allow init-list conversion to scalar | |
2299 | during direct-initialization, too. Mark the conversion bad if it | |
2300 | has too many levels of braces. | |
2301 | (convert_like_real): And give a helpful error. | |
2302 | ||
2303 | PR c++/40306 | |
2304 | PR c++/40307 | |
2305 | * decl.c (cp_finish_decl): Handle auto deduction from (). | |
2306 | * typeck.c (build_x_indirect_ref): Handle dereferencing an operand | |
2307 | with dependent type that is known to be a pointer. | |
2308 | ||
2309 | 2009-06-02 Simon Martin <simartin@users.sourceforge.net> | |
2310 | ||
2311 | PR c++/38089 | |
2312 | * pt.c (register_specialization): Properly setup DECL_CONTEXT for | |
2313 | specializations in an invalid namespace. | |
2314 | ||
2315 | 2009-06-01 Aldy Hernandez <aldyh@redhat.com> | |
2316 | ||
2317 | * error.c (print_instantiation_partial_context): Print column | |
2318 | numbers. | |
2319 | ||
2320 | 2009-05-29 Ian Lance Taylor <iant@google.com> | |
2321 | ||
2322 | * error.c (cp_printer): Don't use va_arg with enum type. | |
2323 | ||
2324 | 2009-05-28 Dodji Seketeli <dodji@redhat.com> | |
2325 | ||
2326 | PR c++/39754 | |
2327 | * cp-tree.h (canonical_type_variant): Remove this function declaration. | |
2328 | (strip_typedefs): New function declaration. | |
2329 | * tree.c (strip_typedefs): New function definition. | |
2330 | (canonical_type_variant): Remove function definition. | |
2331 | * cvt.c (convert_from_reference): No need to use | |
2332 | canonical_type_variant. | |
2333 | * typeck.c (cp_build_indirect_ref): Likewise. | |
2334 | * error.c (dump_template_bindings): Use strip_typedefs instead of | |
2335 | canonical_type_variant. | |
2336 | * pt.c (convert_template_argument, unify): Likewise. | |
2337 | * mangle.c (canonicalize_for_substitution): Don't use | |
2338 | canonical_type_variant. | |
2339 | ||
2340 | 2009-05-27 Jason Merrill <jason@redhat.com> | |
2341 | ||
2342 | * call.c (implicit_conversion): Handle conversion from | |
2343 | initializer-list to scalar. | |
2344 | (convert_like_real): Likewise. Avoid crashing on list | |
2345 | initialization with bad conversions. | |
2346 | (can_convert): Use LOOKUP_EXPLICIT. | |
2347 | (can_convert_arg_bad): Add flags parm. | |
2348 | * cp-tree.h: Adjust. | |
2349 | * typeck.c (convert_for_assignment): Pass flags. | |
2350 | ||
2351 | 2009-05-27 Ian Lance Taylor <iant@google.com> | |
2352 | ||
2353 | * Make-lang.in (g++$(exeext)): Change $(COMPILER) to $(LINKER). | |
2354 | (cc1plus-dummy$(exeext), cc1plus$(exeext)): Likewise. | |
2355 | ||
2356 | 2009-05-26 Ian Lance Taylor <iant@google.com> | |
2357 | ||
2358 | * Make-lang.in (g++spec.o): Use $(COMPILER). | |
2359 | (g++$(exeext), cc1plus-dummy$(exeext)): Likewise. | |
2360 | (cc1plus$(exeext)): Likewise. | |
2361 | ||
2362 | 2009-05-26 Dodji Seketeli <dodji@redhat.com> | |
2363 | ||
2364 | PR c++/40007 | |
2365 | * cp-tree.h (MEMBER_TYPES_NEEDING_ACCESS_CHECK): Remove this accessor. | |
2366 | (TI_TYPEDEFS_NEEDING_ACCESS_CHECKING): New accessor. | |
2367 | (get_types_needing_access_check): Declare new entry point. | |
2368 | * pt.c (append_type_to_template_for_access_check_1, | |
2369 | get_types_needing_access_check): New functions. | |
2370 | (perform_typedefs_access_check): Accept FUNCTION_DECLs and | |
2371 | RECORD_TYPEs rather than TEMPLATE_DECLs. Use the new | |
2372 | get_types_needing_access_check, no more | |
2373 | MEMBER_TYPES_NEEDING_ACCESS_CHECK. | |
2374 | (instantiate_class_template): Set input_location to the source | |
2375 | location of the most specialized template definition. | |
2376 | Perform access check using the RECORD_TYPE of the template, not its | |
2377 | associated most generic TEMPLATE_DECL. | |
2378 | (append_type_to_template_for_access_check): Augment function | |
2379 | comments. Use the new get_types_needing_access_check, not | |
2380 | MEMBER_TYPE_NEEDING_ACCESS_CHECK. Use the new | |
2381 | append_type_to_template_for_access_check_1 subroutine. | |
2382 | ||
2383 | 2009-05-22 Jason Merrill <jason@redhat.com> | |
2384 | ||
2385 | PR c++/38064 | |
2386 | * typeck.c (cp_build_binary_op): Allow ENUMERAL_TYPE in | |
2387 | arithmetic comparisons. | |
2388 | (cp_common_type): Handle scoped enums. | |
2389 | ||
2390 | * call.c (promoted_arithmetic_type_p): Don't use INTEGRAL_TYPE_P. | |
2391 | (add_builtin_candidate, add_builtin_candidates): Likewise. | |
2392 | (convert_like_real): Likewise. | |
2393 | * class.c (check_bitfield_decl): Likewise. | |
2394 | * decl.c (check_static_variable_definition): Likewise. | |
2395 | (compute_array_index_type): Likewise. | |
2396 | * decl2.c (grokbitfield): Likewise. | |
2397 | * init.c (build_new_1): Likewise. | |
2398 | * pt.c (convert_nontype_argument): Likewise. | |
2399 | (current_instantiation): Likewise. | |
2400 | * tree.c (pod_type_p): Likewise. | |
2401 | * typeck.c (build_static_cast_1): Likewise. | |
2402 | (build_reinterpret_cast_1): Likewise. | |
2403 | ||
2404 | 2009-05-22 Richard Guenther <rguenther@suse.de> | |
2405 | ||
2406 | PR middle-end/38964 | |
2407 | * init.c (avoid_placement_new_aliasing): Remove. | |
2408 | (build_new_1): Do not call it. | |
2409 | ||
2410 | 2009-05-22 Mark Mitchell <mark@codesourcery.com> | |
2411 | ||
2412 | * decl2.c (decl_needed_p): Consider dllexport'd functions needed. | |
2413 | * semantics.c (expand_or_defer_fn): Similarly. | |
2414 | ||
2415 | 2009-05-20 Ian Lance Taylor <iant@google.com> | |
2416 | ||
2417 | * parser.c (cp_parser_postfix_expression): Change args to a vec. | |
2418 | Release it when done. | |
2419 | (tree_vector): Define typedef. Define VEC functions. | |
2420 | (cp_parser_parenthesized_expression_list): Change return type to | |
2421 | vec. Change all callers. | |
2422 | (cp_parser_new_expression): Change placement and initializer to | |
2423 | vecs. Release them when done. | |
2424 | (cp_parser_new_placement): Change return type to vec. Change all | |
2425 | callers. | |
2426 | (cp_parser_new_initializer): Likewise. | |
2427 | * typeck.c (build_function_call_vec): Just call | |
2428 | cp_build_function_call_vec. | |
2429 | (cp_build_function_call): Just build a vec and call | |
2430 | cp_build_function_call_vec. | |
2431 | (cp_build_function_call_vec): New function based on old | |
2432 | cp_build_function_call. | |
2433 | (convert_arguments): Remove nargs and argarray parameters. Change | |
2434 | values to a vec. Change caller. | |
2435 | (build_x_compound_expr_from_vec): New function. | |
2436 | (cp_build_modify_expr): Build vec to pass to | |
2437 | build_special_member_call. | |
2438 | * call.c (struct z_candidate): Add first_arg field. Change args | |
2439 | field to vec. | |
2440 | (convert_class_to_reference): Handle first argument separately. | |
2441 | (add_candidate): Add first_arg parameter. Change args parameter | |
2442 | to vec. Change all callers. | |
2443 | (add_function_candidate, add_conv_candidate): Likewise. | |
2444 | (add_template_candidate_real, add_template_candidate): Likewise. | |
2445 | (add_template_conv_candidate): Likewise. | |
2446 | (build_user_type_conversion_1): Handle first argument separately. | |
2447 | (resolve_args): Change return type and parameter type to vecs. | |
2448 | Change all callers. | |
2449 | (perform_overload_resolution): Change args parameter to vec. | |
2450 | Change all callers. | |
2451 | (build_new_function_call, build_operator_new_call): Likewise. | |
2452 | (add_candidates): Likewise. | |
2453 | (build_op_call): New globally visible function, built from and | |
2454 | replacing static function build_object_call. | |
2455 | (build_new_op): Don't handle CALL_EXPR. Build vec, not tree_list, | |
2456 | of arguments. | |
2457 | (build_op_delete_call): Build vec to pass to | |
2458 | cp_build_function_call_vec. | |
2459 | (build_temp): Build vec to pass to build_special_member_call. | |
2460 | (convert_like_real): Likewise. | |
2461 | (perform_direct_initialization_if_possible): Likewise. | |
2462 | (build_over_call): Handle first_arg field. Use build_call_array | |
2463 | rather than build_call_list. | |
2464 | (build_special_member_call): Change args parameter to vec. Change | |
2465 | all callers. | |
2466 | (build_new_method_call): Likewise. | |
2467 | * init.c (expand_default_init): Change parms to vec. | |
2468 | (build_raw_new_expr): Change placement and init to vecs. Change | |
2469 | all callers. | |
2470 | (build_new_1, build_new): Likewise. | |
2471 | * class.c (resolve_address_of_overloaded_function): Build array to | |
2472 | pass to fn_type_unification. | |
2473 | * pt.c (tsubst_copy_and_build): For NEW_EXPR build vecs to pass to | |
2474 | build_new. For CALL_EXPR create a vec rather than a tree_list; | |
2475 | expand a pack if necessary. | |
2476 | (fn_type_unification): Change args parameter to const tree *. Add | |
2477 | nargs parameter. Change all callers. | |
2478 | (type_unification_real): Likewise. | |
2479 | (unify): Build array to pass to type_unification_real. | |
2480 | (get_bindings): Build array to pass to fn_type_unification. | |
2481 | (any_type_dependent_arguments_p): Change args parameter to a vec. | |
2482 | Change all callers. | |
2483 | (make_args_non_dependent): Renamed from build_non_dependent_args. | |
2484 | Change return type to void. Change parameter type to vec. Change | |
2485 | all callers. | |
2486 | (do_auto_deduction): Pass an array to type_unification_real. | |
2487 | * semantics.c (perform_koenig_lookup): Change args to vec. Change | |
2488 | all callers. | |
2489 | (finish_call_expr): Change args to vec. Change all callers. Call | |
2490 | build_op_call instead of passing CALL_EXPR to build_new_op. | |
2491 | (cxx_omp_create_clause_info): Allocate vec to pass to | |
2492 | build_special_member_call. | |
2493 | * decl2.c (build_offset_ref_call_from_tree): Change args parameter | |
2494 | to vec. Change all callers. | |
2495 | * name-lookup.c (lookup_function_nonclass): Likewise. | |
2496 | (struct arg_lookup): Change args to vec. | |
2497 | (arg_assoc_namespace): Handle args as a vec. | |
2498 | (arg_assoc_args_vec): New static function. | |
2499 | (lookup_arg_dependent): Change args parameter to vec. Change all | |
2500 | callers. | |
2501 | * method.c (do_build_assign_ref): Allocate vec to pass to | |
2502 | build_special_member_call. | |
2503 | * except.c (build_throw): Likewise. | |
2504 | * typeck2.c (build_functional_cast): Likewise. | |
2505 | * cvt.c (ocp_convert): Likewise. | |
2506 | * tree.c (build_min_non_dep_call_vec): Change last parameter to | |
2507 | vec. Change all callers. | |
2508 | * cp-tree.h: Update declarations. | |
2509 | * name-lookup.h: Update declarations. | |
2510 | ||
2511 | 2009-05-20 Sandra Loosemore <sandra@codesourcery.com> | |
2512 | ||
2513 | * typeck.c (default_conversion): Check targetm.promoted_type. | |
2514 | * decl.c (grokdeclarator): Check targetm.invalid_return_type. | |
2515 | (grokparms): Check targetm.invalid_parameter_type. | |
2516 | * cvt.c (ocp_convert): Check targetm.convert_to_type. | |
2517 | (build_expr_type_conversion): Check targetm.promoted_type. | |
2518 | ||
2519 | 2009-05-19 Andrew Pinski <andrew_pinski@playstation.sony.com> | |
2520 | ||
2521 | * typeck.c (build_binary_op): Allow % on integal vectors. | |
2522 | ||
2523 | 2009-05-18 Jason Merrill <jason@redhat.com> | |
2524 | ||
2525 | Implement explicit conversions ops as specified in N2437. | |
2526 | * decl.c (grokdeclarator): Handle explicit conversion ops. | |
2527 | (check_initializer): Pass flags to store_init_value. | |
2528 | * decl2.c (maybe_emit_vtables): Likewise. | |
2529 | * init.c (expand_aggr_init_1): Likewise. | |
2530 | * call.c (convert_class_to_reference): Take flags parm, | |
2531 | check DECL_NONCONVERTING_P. | |
2532 | (build_user_type_conversion_1): Check DECL_NONCONVERTING_P. | |
2533 | (add_builtin_candidates): Simplify getting type of conversion. | |
2534 | (build_object_call): Likewise. Check DECL_NONCONVERTING_P. | |
2535 | (implicit_conversion): Pass through LOOKUP_ONLYCONVERTING. | |
2536 | (reference_binding): Take flags parm. Direct-initialize copy parm. | |
2537 | (add_function_candidate): Direct-initialize the copy parm. | |
2538 | (add_conv_candidate): Use LOOKUP_IMPLICIT, not LOOKUP_NORMAL. | |
2539 | (build_builtin_candidate): Add LOOKUP_ONLYCONVERTING. | |
2540 | (conditional_conversion): Likewise. | |
2541 | (convert_like_real): Only complain about DECL_NONCONVERTING_P | |
2542 | constructors. | |
2543 | (perform_implicit_conversion_flags): Add flags parm to | |
2544 | perform_implicit_conversion. Improve diagnostics. | |
2545 | * cp-tree.h (LOOKUP_IMPLICIT): New macro. | |
2546 | (LOOKUP_COPY_PARM): New bit macro. | |
2547 | * cvt.c (build_expr_type_conversion): Check DECL_NONCONVERTING_P. | |
2548 | * typeck.c (convert_for_assignment): Take flags parm, pass it to | |
2549 | perform_implicit_conversion_flags. | |
2550 | (cp_build_modify_expr): Pass flags to convert_for_assignment. | |
2551 | (convert_for_initialization): Likewise. | |
2552 | * typeck2.c (store_init_value): Take flags parm, pass to | |
2553 | digest_init_flags. | |
2554 | (digest_init_flags): Add flags parm to digest_init. | |
2555 | (digest_init_r): Take flags parm, pass to convert_for_initialization. | |
2556 | (process_init_constructor_array): Pass it. | |
2557 | (process_init_constructor_record): Likewise. | |
2558 | (process_init_constructor_union): Likewise. | |
2559 | ||
2560 | 2009-05-16 Jason Merrill <jason@redhat.com> | |
2561 | ||
2562 | PR c++/40139 | |
2563 | * pt.c (tsubst_qualified_id): Retain the type if we aren't dealing | |
2564 | with a dependent type. Actually look up the destructor. | |
2565 | * semantics.c (finish_id_expression): Fix logic. | |
2566 | (finish_qualified_id_expr): Don't try to use 'this' if we aren't in | |
2567 | a function. | |
2568 | * typeck.c (build_x_unary_op): Diagnose taking the address of a | |
2569 | constructor or destructor. | |
2570 | * tree.c (get_first_fn): Handle OFFSET_REF. | |
2571 | ||
2572 | 2009-05-17 Joseph Myers <joseph@codesourcery.com> | |
2573 | ||
2574 | * tree.c (cxx_printable_name_internal): Allow consecutive | |
2575 | translated and untranslated cached copies of the name of the | |
2576 | current function. | |
2577 | ||
2578 | 2009-05-15 Ian Lance Taylor <iant@google.com> | |
2579 | ||
2580 | * cp-tree.h (enum cp_lvalue_kind_flags): Rename from | |
2581 | cp_lvalue_kind. Change all uses. | |
2582 | (enum base_access_flags): Rename from enum base_access. Change | |
2583 | all uses. | |
2584 | * parser.c (enum cp_parser_flags): Remove enum tag. | |
2585 | ||
2586 | 2009-05-15 Manuel López-Ibáñez <manu@gcc.gnu.org> | |
2587 | ||
2588 | PR 16302 | |
2589 | * call.c (build_new_op): Update calls to warn_logical_operator. | |
2590 | ||
2591 | 2009-05-14 Ian Lance Taylor <iant@google.com> | |
2592 | ||
2593 | * class.c (layout_class_type): Change itk to unsigned int. | |
2594 | * decl.c (finish_enum): Change itk to unsigned int. | |
2595 | * parser.c (cp_parser_check_decl_spec): Change ds to int. Remove | |
2596 | casts. | |
2597 | ||
2598 | 2009-05-13 David Mandelin <dmandelin@mozilla.com>: | |
2599 | ||
2600 | * decl.c (duplicate_decls): Preserve parameter attributes. | |
2601 | ||
2602 | 2009-05-10 Jan Hubicka <jh@suse.cz> | |
2603 | ||
2604 | * decl2.c (cxx_callgraph_analyze_expr): Use | |
2605 | cgraph_mark_address_taken. | |
2606 | ||
2607 | 2009-05-10 Joseph Myers <joseph@codesourcery.com> | |
2608 | ||
2609 | * call.c (name_as_c_string): Call type_as_string_translate. | |
2610 | Translate identifiers to locale character set. | |
2611 | * cp-tree.h (lang_decl_name): Update prototype. | |
2612 | (type_as_string_translate, decl_as_string_translate, | |
2613 | cxx_printable_name_translate): Declare. | |
2614 | * cxx-pretty-print.c (M_): Define. | |
2615 | (pp_cxx_unqualified_id, pp_cxx_canonical_template_parameter): Mark | |
2616 | English fragments for conditional translation with M_. | |
2617 | * decl.c (grokdeclarator): Translate identifiers to locale | |
2618 | character set for diagnostics. | |
2619 | * error.c (M_): Define. | |
2620 | (dump_template_bindings, dump_type, dump_aggr_type, | |
2621 | dump_type_prefix, dump_global_iord, dump_simple_decl, dump_decl, | |
2622 | dump_function_decl, dump_template_parms, dump_expr, | |
2623 | dump_binary_op, op_to_string, assop_to_string): Mark English | |
2624 | fragments for conditional translation with M_. | |
2625 | (type_as_string): Disable translation of identifiers. | |
2626 | (type_as_string_translate): New. | |
2627 | (expr_as_string): Disable translation of identifiers. | |
2628 | (decl_as_string): Disable translation of identifiers. | |
2629 | (decl_as_string_translate): New. | |
2630 | (lang_decl_name): Add parameter translate. | |
2631 | (args_to_string): Call type_as_string_translate. | |
2632 | (cp_print_error_function): Call cxx_printable_name_translate. | |
2633 | (print_instantiation_full_context, | |
2634 | print_instantiation_partial_context): Call | |
2635 | decl_as_string_translate. | |
2636 | * parser.c (cp_lexer_get_preprocessor_token): Use %qE for | |
2637 | identifier in diagnostic. | |
2638 | * tree.c (cxx_printable_name): Change to | |
2639 | cxx_printable_name_internal. Add parameter translate. | |
2640 | (cxx_printable_name, cxx_printable_name_translate): New wrappers | |
2641 | round cxx_printable_name_internal. | |
2642 | ||
2643 | 2009-05-08 H.J. Lu <hongjiu.lu@intel.com> | |
2644 | ||
2645 | PR c/36892 | |
2646 | * call.c (build_call_a): Updated warn_deprecated_use call. | |
2647 | (build_over_call): Likewise. | |
2648 | * decl.c (grokdeclarator): Likewise. | |
2649 | (grokparms): Likewise. | |
2650 | * semantics.c (finish_id_expression): Likewise. | |
2651 | * typeck.c (build_class_member_access_expr): Likewise. | |
2652 | (finish_class_member_access_expr): Likewise. | |
2653 | ||
2654 | 2009-05-06 Dodji Seketeli <dodji@redhat.com> | |
2655 | ||
2656 | PR c++/17395 | |
2657 | * pt.c (tsubst_copy) <case PARM_DECL>: We don't want to tsubst the | |
2658 | whole list of PARM_DECLs, just the current one. | |
2659 | ||
2660 | 2009-05-05 Shujing Zhao <pearly.zhao@oracle.com> | |
2661 | ||
2662 | * cp-tree.h: | |
2663 | (opname_tab, assignop_tab, update_member_visibility, yyerror, yyhook, | |
2664 | mangle_compound_literal): Remove unused declarations. | |
2665 | (build_vfield_ref, cxx_print_statistics, clone_function_decl, | |
2666 | adjust_clone_args, maybe_push_cleanup_level, pushtag, make_anon_name, | |
2667 | pushdecl_top_level_maybe_friend, pushdecl_top_level_and_finish, | |
2668 | check_for_out_of_scope_variable, print_other_binding_stack, | |
2669 | maybe_push_decl, cxx_mark_addressable, force_target_expr, | |
2670 | build_target_expr_with_type, finish_case_label, | |
2671 | cxx_maybe_build_cleanup, begin_eh_spec_block, finish_eh_spec_block, | |
2672 | check_template_keyword, cxx_omp_predetermined_sharing, | |
2673 | cxx_omp_clause_default_ctor, cxx_omp_clause_copy_ctor, | |
2674 | cxx_omp_clause_assign_op, cxx_omp_clause_dtor, cxx_omp_finish_clause, | |
2675 | cxx_omp_privatize_by_reference): Rearrange the declarations line to | |
2676 | match the comment that indicates the .c file which the functions are | |
2677 | defined. | |
2678 | (cxx_print_xnode, cxx_print_decl, cxx_print_type, | |
2679 | cxx_print_identifier, cxx_print_error_function, pushdecl): Add comment. | |
2680 | ||
2681 | 2009-05-05 Nathan Sidwell <nathan@codesourcery.com> | |
2682 | ||
2683 | * typeck.c (cp_build_compound_expr): Require RHS to have a known | |
2684 | type. | |
2685 | * class.c (resolve_address_of_overloaded_function): Use | |
2686 | OVL_CURRENT for error message. | |
2687 | (instantiate_type): Forbid COMPOUND_EXPRs and remove code dealing | |
2688 | with them. Do not copy the node. | |
2689 | ||
2690 | 2009-05-05 Jakub Jelinek <jakub@redhat.com> | |
2691 | ||
2692 | PR c++/40013 | |
2693 | * pt.c (tsubst): If magic NOP_EXPR with side-effects has no type, | |
2694 | set it from its operand's type after tsubst_expr. | |
2695 | ||
2696 | 2009-05-04 Manuel Lopez-Ibanez <manu@gcc.gnu.org> | |
2697 | ||
2698 | PR c++/28152 | |
2699 | * parser.c (cp_lexer_get_preprocessor_token): Do not store the | |
2700 | canonical spelling for keywords. | |
2701 | (cp_parser_attribute_list): Use the canonical spelling for | |
2702 | keywords in attributes. | |
2703 | ||
2704 | 2009-05-01 Joseph Myers <joseph@codesourcery.com> | |
2705 | ||
2706 | * cxx-pretty-print.c (is_destructor_name, pp_cxx_unqualified_id, | |
2707 | pp_cxx_template_keyword_if_needed, pp_cxx_postfix_expression, | |
2708 | pp_cxx_new_expression, pp_cxx_delete_expression, | |
2709 | pp_cxx_unary_expression, pp_cxx_assignment_operator, | |
2710 | pp_cxx_assignment_expression, pp_cxx_expression, | |
2711 | pp_cxx_function_specifier, pp_cxx_decl_specifier_seq, | |
2712 | pp_cxx_simple_type_specifier, pp_cxx_type_specifier_seq, | |
2713 | pp_cxx_exception_specification, pp_cxx_direct_declarator, | |
2714 | pp_cxx_ctor_initializer, pp_cxx_type_id, pp_cxx_statement, | |
2715 | pp_cxx_namespace_alias_definition, pp_cxx_template_parameter, | |
2716 | pp_cxx_canonical_template_parameter, pp_cxx_template_declaration, | |
2717 | pp_cxx_declaration, pp_cxx_typeid_expression, | |
2718 | pp_cxx_va_arg_expression, pp_cxx_offsetof_expression, | |
2719 | pp_cxx_trait_expression): Mostly use pp_string and | |
2720 | pp_cxx_ws_string in place of pp_identifier and pp_cxx_identifier | |
2721 | for non-identifiers. Mark English strings for translation. | |
2722 | * cxx-pretty-print.h (pp_cxx_ws_string): Define. | |
2723 | * error.c (dump_template_parameter, dump_template_bindings, | |
2724 | dump_type, dump_aggr_type, dump_type_prefix, dump_simple_decl, | |
2725 | dump_decl, dump_template_decl, dump_function_decl, | |
2726 | dump_parameters, dump_exception_spec, dump_template_parms, | |
2727 | dump_expr, dump_binary_op, dump_unary_op, op_to_string, | |
2728 | assop_to_string, args_to_string, cp_print_error_function, | |
2729 | print_instantiation_full_context, | |
2730 | print_instantiation_partial_context): Mostly use pp_string and | |
2731 | pp_cxx_ws_string in place of pp_identifier and pp_cxx_identifier | |
2732 | for non-identifiers. Mark English strings for translation. | |
2733 | (dump_global_iord): Mark strings for translation; use longer | |
2734 | strings instead of substituting single words. | |
2735 | (function_category): Return a format string marked for | |
2736 | translation, not a single word or phrase to substitute in a longer | |
2737 | phrase. | |
2738 | ||
2739 | 2009-04-28 Ben Elliston <bje@au.ibm.com> | |
2740 | ||
2741 | PR c++/35652 | |
2742 | Revert: | |
2743 | ||
2744 | 2009-03-27 Manuel Lopez-Ibanez <manu@gcc.gnu.org> | |
2745 | ||
2746 | * typeck.c (cp_pointer_sum): Adjust call to pointer_int_sum. | |
2747 | ||
2748 | 2009-04-27 Ian Lance Taylor <iant@google.com> | |
2749 | ||
2750 | * semantics.c (finish_omp_clauses): Change type of c_kind to enum | |
2751 | omp_clause_code. | |
2752 | ||
2753 | 2009-04-27 Jakub Jelinek <jakub@redhat.com> | |
2754 | ||
2755 | PR c++/39875 | |
2756 | * cvt.c (convert_to_void) <case INDIRECT_REF>: Only warn about | |
2757 | -Wunused-value if implicit. | |
2758 | ||
2759 | 2009-04-24 Ian Lance Taylor <iant@google.com> | |
2760 | ||
2761 | * call.c (build_temp): Change 0 to enum constant. | |
2762 | * cp-tree.h (cp_lvalue_kind): Typedef to int rather than enum | |
2763 | type. | |
2764 | * cp-gimplify.c (cp_gimplify_expr): Add cast to enum type. | |
2765 | * decl2.c (constrain_visibility): Likewise. | |
2766 | * parser.c (cp_lexer_get_preprocessor_token): Likewise. | |
2767 | (cp_parser_flags): Typedef to int rather than enum type. | |
2768 | (cp_parser_expression_stack_entry): Change prec field to enum | |
2769 | cp_parser_prec. | |
2770 | ||
2771 | * typeck.c (build_modify_expr): Add lhs_origtype parameter. | |
2772 | Change all callers. | |
2773 | ||
2774 | 2009-04-22 Dodji Seketeli <dodji@redhat.com> | |
2775 | ||
2776 | PR c++/39639 | |
2777 | * parser.c (cp_parser_template_argument_list): Display an error | |
2778 | when an ellipsis is not preceded by a parameter pack. Also, warn | |
2779 | about variadic templates usage without -std=c++0x. | |
2780 | ||
2781 | 2009-04-21 Taras Glek <tglek@mozilla.com> | |
2782 | ||
2783 | * cp-tree.h: Update GTY annotations to new syntax. | |
2784 | * decl.c: Likewise. | |
2785 | * mangle.c: Likewise. | |
2786 | * name-lookup.c: Likewise. | |
2787 | * name-lookup.h: Likewise. | |
2788 | * parser.c: Likewise. | |
2789 | * pt.c: Likewise. | |
2790 | * rtti.c: Likewise. | |
2791 | * semantics.c: Likewise. | |
2792 | * typeck2.c: Likewise. | |
2793 | ||
2794 | 2009-04-22 Manuel Lopez-Ibanez <manu@gcc.gnu.org> | |
2795 | ||
2796 | PR c++/14875 | |
2797 | * parser.c (cp_parser_error): Pass token->flags to c_parse_error. | |
2798 | ||
2799 | 2009-04-21 Manuel Lopez-Ibanez <manu@gcc.gnu.org> | |
2800 | ||
2801 | PR c++/35711 | |
2802 | * typeck.c (check_for_casting_away_constness): We diagnose casting | |
2803 | away any qualifiers not just constness. | |
2804 | (casts_away_constness): Mention that it handles more than just | |
2805 | constness. | |
2806 | ||
2807 | 2009-04-21 Joseph Myers <joseph@codesourcery.com> | |
2808 | ||
2809 | * ChangeLog, ChangeLog-1993, ChangeLog-1994, ChangeLog-1995, | |
2810 | ChangeLog-1996, ChangeLog-1997, ChangeLog-1998, ChangeLog-1999, | |
2811 | ChangeLog-2000, ChangeLog-2001, ChangeLog-2002, ChangeLog-2003, | |
2812 | ChangeLog-2004, ChangeLog-2005, ChangeLog-2006, ChangeLog-2007, | |
2813 | ChangeLog-2008, ChangeLog.ptr, ChangeLog.tree-ssa, NEWS, | |
2814 | cfns.gperf: Add copyright and license notices. | |
2815 | * cfns.h: Regenerate. | |
2816 | * ChangeLog, ChangeLog-2004: Correct dates. | |
2817 | ||
2818 | 2009-04-21 Manuel López-Ibáñez <manu@gcc.gnu.org> | |
2819 | ||
2820 | PR 16202 | |
2821 | * tree.c (lvalue_p_1): Use const_tree. | |
2822 | Use CONST_CAST_TREE to avoid warning. | |
2823 | (lvalue_p): Returns bool, receives const_tree. | |
2824 | ||
2825 | 2009-04-21 Manuel Lopez-Ibanez <manu@gcc.gnu.org> | |
2826 | ||
2827 | PR c++/13358 | |
2828 | * parser.c (cp_parser_check_decl_spec): Drop redundant flags. | |
2829 | * error.c (pedwarn_cxx98): New. | |
2830 | * cp-tree.h (pedwarn_cxx98): Declare. | |
2831 | ||
2832 | 2009-04-20 Le-Chun Wu <lcwu@google.com> | |
2833 | ||
2834 | PR c++/39803 | |
2835 | * init.c (build_vec_init): Set TREE_NO_WARNING on the | |
2836 | compiler-generated INDIRECT_REF expression. | |
2837 | ||
2838 | 2009-04-20 Ian Lance Taylor <iant@google.com> | |
2839 | ||
2840 | * typeck.c (build_function_call_vec): New function. | |
2841 | (cp_build_function_call): Only pass first parameter to | |
2842 | objc_rewrite_function_call. | |
2843 | (build_modify_expr): Add rhs_origtype parameter. Change all | |
2844 | callers. | |
2845 | * decl.c (finish_decl): Add origtype parameter. Change all | |
2846 | callers. | |
2847 | * semantics.c (finish_call_expr): Pass VEC to | |
2848 | resolve_overloaded_builtin. | |
2849 | ||
2850 | 2009-04-20 Ian Lance Taylor <iant@google.com> | |
2851 | ||
2852 | * cp-tree.h (base_access): Change typedef to int. | |
2853 | * parser.c (cp_parser_omp_flush): Change 0 to OMP_CLAUSE_ERROR. | |
2854 | (cp_parser_omp_threadprivate): Likewise. | |
2855 | * pt.c (unify_pack_expansion): Add casts to enum type. | |
2856 | ||
2857 | 2009-04-19 Manuel López-Ibáñez <manu@gcc.gnu.org> | |
2858 | ||
2859 | PR c/32061 | |
2860 | PR c++/36954 | |
2861 | * call.c (build_new_op): Save the original codes of operands | |
2862 | before folding. | |
2863 | ||
2864 | 2009-04-18 Kazu Hirata <kazu@codesourcery.com> | |
2865 | ||
2866 | * cp-tree.h: Remove the prototype for insert_block. | |
2867 | * decl.c (insert_block): Remove. | |
2868 | ||
2869 | 2009-04-16 Ian Lance Taylor <iant@google.com> | |
2870 | ||
2871 | * cp-tree.h (enum tsubst_flags): Rename from enum tsubst_flags_t. | |
2872 | (tsubst_flags_t): Change typedef from enum type to int. | |
2873 | ||
2874 | 2009-04-16 Paolo Bonzini <bonzini@gnu.org> | |
2875 | ||
2876 | * decl.c (check_initializer): Use TYPE_VECTOR_OPAQUE | |
2877 | instead of targetm.vector_opaque_p. | |
2878 | ||
2879 | 2009-04-15 Le-Chun Wu <lcwu@google.com> | |
2880 | ||
2881 | PR c++/39551 | |
2882 | * call.c (build_over_call): Set TREE_NO_WARNING on the | |
2883 | compiler-generated INDIRECT_REF expression. | |
2884 | * cvt.c (convert_to_void): Emit warning when stripping off | |
2885 | INDIRECT_REF. | |
2886 | ||
2887 | 2009-04-14 Diego Novillo <dnovillo@google.com> | |
2888 | ||
2889 | * parser.c (cp_parser_type_specifier_seq): Move call to | |
2890 | invoke_plugin_callbacks ... | |
2891 | (cp_parser_type_specifier_seq): ... here. | |
2892 | ||
2893 | 2009-04-14 Le-Chun Wu <lcwu@google.com> | |
2894 | ||
2895 | * Make-lang.in: Modify dependencies of files including plugin.h. | |
2896 | * decl.c (finish_function): Call invoke_plugin_callbacks. | |
2897 | * parser.c (cp_parser_type_specifier): Call invoke_plugin_callbacks. | |
2898 | ||
2899 | 2009-04-14 Jason Merrill <jason@redhat.com> | |
2900 | ||
2901 | PR c++/39763 | |
2902 | * name-lookup.c (pushdecl_maybe_friend): Avoid all warnings | |
2903 | about shadowing by tentative parms. | |
2904 | ||
2905 | 2009-04-13 Jason Merrill <jason@redhat.com> | |
2906 | ||
2907 | PR c++/39480 | |
2908 | * call.c (build_over_call): Don't call memcpy if the target is | |
2909 | the same as the source. | |
2910 | ||
2911 | 2009-04-13 Jason Merrill <jason@redhat.com> | |
2912 | ||
2913 | PR c++/39750 | |
2914 | * pt.c (uses_template_parms): Handle CONSTRUCTOR. | |
2915 | ||
2916 | 2009-04-12 Jason Merrill <jason@redhat.com> | |
2917 | ||
2918 | PR c++/39742 | |
2919 | * call.c (joust): Don't crash on variadic fn. | |
2920 | ||
2921 | 2009-04-10 Jason Merrill <jason@redhat.com> | |
2922 | ||
2923 | PR c++/28301 | |
2924 | * parser.c (cp_parser_skip_to_end_of_block_or_statement): Return | |
2925 | if we see a close brace without an open brace. | |
2926 | ||
2927 | 2009-04-10 H.J. Lu <hongjiu.lu@intel.com> | |
2928 | ||
2929 | * parser.c (cp_parser_class_specifier): Remove the unused | |
2930 | has_trailing_semicolon. | |
2931 | ||
2932 | 2009-04-10 Manuel López-Ibáñez <manu@gcc.gnu.org> | |
2933 | ||
2934 | PR c++/20118 | |
2935 | * parser.c (cp_parser_check_template_parameters): Take a | |
2936 | cp_declarator parameter. | |
2937 | (cp_parser_elaborated_type_specifier): Update to | |
2938 | cp_parser_check_template_parameters. | |
2939 | (cp_parser_class_head): Likewise. | |
2940 | (cp_parser_check_declarator_template_parameters): Likewise. | |
2941 | (cp_parser_check_template_parameters): Handle first the non-error | |
2942 | conditions. Give more accurate diagnostics if a declarator is | |
2943 | given. | |
2944 | ||
2945 | 2009-04-08 Jason Merrill <jason@redhat.com> | |
2946 | ||
2947 | PR c++/25185 | |
2948 | * error.c (dump_aggr_type): Chase template typedefs if | |
2949 | -fno-pretty-templates. | |
2950 | ||
2951 | 2009-04-08 Dodji Seketeli <dodji@redhat.com> | |
2952 | ||
2953 | PR c++/39637 | |
2954 | * parser.c (cp_parser_enumerator_definition): Make sure the | |
2955 | initializer of the enumerator doesn't contain any bare parameter pack. | |
2956 | ||
2957 | 2009-04-07 Jason Merrill <jason@redhat.com> | |
2958 | ||
2959 | PR c++/34691 | |
2960 | * name-lookup.c (merge_functions): Keep multiple extern "C" functions. | |
2961 | * call.c (joust): Complain about mismatched default arguments | |
2962 | in extern "C" functions. | |
2963 | * class.c (resolve_address_of_overloaded_function): Handle multiple | |
2964 | extern "C" functions. | |
2965 | * pt.c (resolve_overloaded_unification): Likewise. | |
2966 | ||
2967 | 2009-04-07 Jason Merrill <jason@redhat.com> | |
2968 | ||
2969 | PR c++/25185 | |
2970 | * error.c (dump_function_decl): Don't pretty-print templates | |
2971 | if -fno-pretty-templates. | |
2972 | (count_non_default_template_args): Print all args if | |
2973 | -fno-pretty-templates. | |
2974 | ||
2975 | 2009-04-06 Jason Merrill <jason@redhat.com> | |
2976 | ||
2977 | PR c++/35146 | |
2978 | * pt.c (fn_type_unification): For DEDUCE_EXACT check that | |
2979 | the deduced template arguments give us the parameter types | |
2980 | we're looking for. | |
2981 | ||
2982 | 2009-04-05 Giovanni Bajo <giovannibajo@libero.it> | |
2983 | Jason Merrill <jason@redhat.com> | |
2984 | ||
2985 | PR c++/14912 | |
2986 | * error.c (count_non_default_template_args): New fn. | |
2987 | (dump_template_parms): Call it. | |
2988 | (dump_template_argument_list): Call it. Add parms parm. | |
2989 | (dump_template_argument): Adjust call to dump_template_argument_list. | |
2990 | (dump_type, dump_decl): Likewise. | |
2991 | (dump_template_bindings): Refactor logic. | |
2992 | ||
2993 | 2009-04-03 Jason Merrill <jason@redhat.com> | |
2994 | ||
2995 | PR c++/25185 | |
2996 | * error.c (dump_template_bindings): Look through typedefs in | |
2997 | typename results. | |
2998 | (dump_type) [TYPENAME_TYPE]: Print the typedef name if any. | |
2999 | (find_typenames_r): Also collect typedefs. | |
3000 | * pt.c (unify): Strip typedefs. | |
3001 | ||
3002 | PR c++/39608 | |
3003 | * semantics.c (finish_id_expression): Don't assume a dependent | |
3004 | member of the current instantiation isn't a valid integral | |
3005 | constant expression. Check dependent_scope_p. | |
3006 | * pt.c (dependent_scope_p): Check TYPE_P. | |
3007 | (tsubst_copy): If args is null, just return. | |
3008 | ||
3009 | 2009-04-02 Jason Merrill <jason@redhat.com> | |
3010 | ||
3011 | PR c++/25185 | |
3012 | * error.c (find_typenames, find_typenames_r): New fns. | |
3013 | (dump_function_decl): Call find_typenames. | |
3014 | (dump_template_bindings): Print typenames as well. | |
3015 | * pt.c (tsubst): Non-static. | |
3016 | * cp-tree.h: Declare it. | |
3017 | ||
3018 | 2009-04-02 Dodji Seketeli <dodji@redhat.com> | |
3019 | ||
3020 | PR c++/26693 | |
3021 | * decl2.c (grokfield): when a typedef appears in a | |
3022 | class, create the typedef variant type node for it. | |
3023 | (save_template_attributes): Creating typedef variant type node | |
3024 | here is now useless. | |
3025 | * decl.c (grokdeclarator): If the typedef'ed struct/class was | |
3026 | anonymous, set the proper type name to all its type variants. | |
3027 | (xref_basetypes) : Fixup the variant types after setting | |
3028 | TYPE_BINFO on REF. | |
3029 | * name-lookup.c (pushdecl_maybe_friend): Reuse the | |
3030 | set_underlying_type function to install typedef variant types. | |
3031 | * cp-tree.h (MEMBER_TYPES_NEEDING_ACCESS_CHECK): New template accessor | |
3032 | macro. | |
3033 | (append_type_to_template_for_access_check): New entry points. | |
3034 | * semantics.c (check_accessibility_of_qualified_id): | |
3035 | When a typedef that is a member of a class appears in a template, | |
3036 | add it to the template. It will be ... | |
3037 | * class.c (finish_struct_bits): Split type variant fixup into ... | |
3038 | (fixup_type_variants): A new entry point. | |
3039 | * pt.c (instantiate_class_template, instantiate_template ): ... access | |
3040 | checked at template instantiation time. | |
3041 | (resolve_type_name_type): The type name should be the name of the | |
3042 | main type variant. | |
3043 | (retrieve_specialization): Specializations of template typedefs aren't | |
3044 | to looked up in DECL_TEMPLATE_INSTANTIATIONS (tmpl). | |
3045 | (append_type_to_template_for_access_check): New entry point. | |
3046 | (tsubst_decl): For typedefs, build the variant type from the correct | |
3047 | original type. | |
3048 | (get_class_bindings): Fix function comment. | |
3049 | (perform_typedefs_access_check): New entry point. | |
3050 | ||
3051 | 2009-03-31 Jason Merrill <jason@redhat.com> | |
3052 | ||
3053 | PR c++/34691 | |
3054 | * name-lookup.c (pushdecl_maybe_friend): Diagnose mismatched | |
3055 | extern "C" declarations. | |
3056 | ||
3057 | C++ DR 613 | |
3058 | * semantics.c (finish_non_static_data_member): Allow such references | |
3059 | without an associated object in sizeof/decltype/alignof. | |
3060 | ||
3061 | * ptree.c (cxx_print_decl): Pretty-print full name of | |
3062 | function/template. | |
3063 | (cxx_print_type): Pretty-print full name of class. | |
3064 | ||
3065 | * decl.c (grokdeclarator): Reject pointer to qualified function | |
3066 | type. | |
3067 | ||
3068 | PR c++/37806, core issue 547 | |
3069 | * typeck.c (cp_apply_type_quals_to_decl): Don't apply any quals | |
3070 | to a typedef. | |
3071 | * tree.c (cp_build_qualified_type_real): Don't apply restrict to a | |
3072 | function type. | |
3073 | * decl.h (enum decl_context): Add TEMPLATE_TYPE_ARG. | |
3074 | * decl.c (groktypename): Add is_template_arg parameter. | |
3075 | (grokdeclarator): Allow function cv-quals on a template type arg. | |
3076 | * parser.c (cp_parser_new_type_id, cp_parser_type_id): Add | |
3077 | is_template_arg argument in calls to groktypename. | |
3078 | * cp-tree.h: Adjust prototype. | |
3079 | * error.c (dump_type_prefix, dump_type_suffix): Fix plain | |
3080 | FUNCTION_TYPE printing. | |
3081 | ||
3082 | * mangle.c (write_expression): Mangle dependent name as | |
3083 | source-name. | |
3084 | ||
3085 | PR c++/38030, 38850, 39070 | |
3086 | * pt.c (type_dependent_expression_p_push): New fn. | |
3087 | (tsubst_copy_and_build) [CALL_EXPR]: Only do arg-dep lookup when the | |
3088 | substitution makes the call non-dependent. Preserve koenig_p. | |
3089 | * parser.c (cp_parser_postfix_expression): Only do arg-dep lookup | |
3090 | for non-dependent calls. | |
3091 | * semantics.c (finish_call_expr): Revert earlier changes. | |
3092 | * cp-tree.h: Revert change to finish_call_expr prototype. | |
3093 | ||
3094 | 2009-03-29 Joseph Myers <joseph@codesourcery.com> | |
3095 | ||
3096 | PR preprocessor/34695 | |
3097 | * cp-tree.h (cp_cpp_error): Remove. | |
3098 | * error.c (cp_cpp_error): Remove. | |
3099 | * parser.c (cp_lexer_new_main): Set done_lexing instead of | |
3100 | client_diagnostic and error callback. | |
3101 | ||
3102 | 2009-03-28 Paolo Bonzini <bonzini@gnu.org> | |
3103 | ||
3104 | * cp/cp-objcp-common.h (LANG_HOOKS_STATICP): Remove. | |
3105 | * cp/cp-objcp-common.c (cxx_staticp): Remove. | |
3106 | * cp/cp-tree.h (cxx_staticp): Remove. | |
3107 | ||
3108 | 2009-03-28 Jakub Jelinek <jakub@redhat.com> | |
3109 | ||
3110 | PR c++/39554 | |
3111 | * parser.c (cp_parser_postfix_expression): Don't call | |
3112 | warning_if_disallowed_function_p. | |
3113 | ||
3114 | 2009-03-27 Jan Hubicka <jh@suse.cz> | |
3115 | ||
3116 | * except.c (choose_personality_routine): Set terminate_node to abort | |
3117 | for java exceptions. | |
3118 | ||
3119 | 2009-03-27 Dodji Seketeli <dodji@redhat.com> | |
3120 | Jakub Jelinek <jakub@redhat.com> | |
3121 | ||
3122 | PR debug/37959 | |
3123 | * cp-objcp-common.h (LANG_HOOKS_FUNCTION_DECL_EXPLICIT_P): Define. | |
3124 | (cp_function_decl_explicit_p): New prototype. | |
3125 | * cp-objcp-common.c (cp_function_decl_explicit_p): New function. | |
3126 | ||
3127 | 2009-03-27 Andrew Pinski <andrew_pinski@playstation.sony.com> | |
3128 | ||
3129 | PR c++/38638 | |
3130 | * parser.c (cp_parser_elaborated_type_specifier): If we have a | |
3131 | typename tag and don't have either a TYPE_DECL or a | |
3132 | TEMPLATE_ID_EXPR, set the type to NULL. | |
3133 | ||
3134 | 2009-03-27 Simon Martin <simartin@users.sourceforge.net> | |
3135 | ||
3136 | PR c++/37647 | |
3137 | * decl.c (grokdeclarator): Reject [con|de]stuctors in a non-class | |
3138 | scope. | |
3139 | ||
3140 | 2009-03-27 Simon Martin <simartin@users.sourceforge.net> | |
3141 | ||
3142 | PR c++/29727 | |
3143 | * decl.c (check_array_designated_initializer): Handle error_mark_node. | |
3144 | ||
3145 | 2009-03-27 Manuel Lopez-Ibanez <manu@gcc.gnu.org> | |
3146 | ||
3147 | PR c++/35652 | |
3148 | * typeck.c (cp_pointer_sum): Adjust call to pointer_int_sum. | |
3149 | ||
3150 | 2009-03-26 Andrew Haley <aph@redhat.com> | |
3151 | ||
3152 | PR C++/39380 | |
3153 | * decl2.c (possibly_inlined_p): If java exceptions are in use | |
3154 | don't inline a decl unless it is explicitly marked inline. | |
3155 | * lex.c: (pragma_java_exceptions): New variable. | |
3156 | (handle_pragma_java_exceptions): Set pragma_java_exceptions. | |
3157 | * cp-tree.h (pragma_java_exceptions): Declare new variable. | |
3158 | ||
3159 | 2009-03-24 Jason Merrill <jason@redhat.com> | |
3160 | ||
3161 | PR c++/28274 | |
3162 | * name-lookup.c (pushdecl_maybe_friend): Check default args later. | |
3163 | ||
3164 | 2009-03-23 Jakub Jelinek <jakub@redhat.com> | |
3165 | ||
3166 | PR c/39495 | |
3167 | * semantics.c (handle_omp_for_class_iterator): Swap cond operands and | |
3168 | code if iter is the second operand. | |
3169 | * parser.c (cp_parser_binary_expression): Add no_toplevel_fold_p | |
3170 | argument. If it is set, don't build the toplevel expression with | |
3171 | build_x_binary_op, but build2. | |
3172 | (cp_parser_assignment_expression, cp_parser_omp_for_incr): Adjust | |
3173 | callers. | |
3174 | (cp_parser_omp_for_cond): Don't assume the first operand of the | |
3175 | comparison must be decl. | |
3176 | ||
3177 | 2009-03-23 Jason Merrill <jason@redhat.com> | |
3178 | ||
3179 | PR c++/37729 | |
3180 | * pt.c (make_fnparm_pack): Split out from... | |
3181 | (instantiate_decl): ...here. | |
3182 | (tsubst_pack_expansion): Handle being called in a late-specified | |
3183 | return type. | |
3184 | ||
3185 | PR c++/39526 | |
3186 | * name-lookup.c (pushdecl_maybe_friend): Don't warn about shadowing | |
3187 | a parm with a parm. | |
3188 | ||
3189 | 2009-03-20 Jason Merrill <jason@redhat.com> | |
3190 | ||
3191 | PR c++/28879 | |
3192 | * parser.c (cp_parser_direct_declarator): In a template, wrap | |
3193 | non-constant expression in NOP_EXPR with TREE_SIDE_EFFECTS set. | |
3194 | * pt.c (tsubst): Preserve it in a partial instantiation. | |
3195 | (dependent_type_p_r): Don't check value_dependent_expression_p. | |
3196 | * decl.c (compute_array_index_type): Don't check | |
3197 | value_dependent_expression_p if TREE_SIDE_EFFECTS. | |
3198 | ||
3199 | C++ core issue 703 | |
3200 | * typeck2.c (check_narrowing): Don't complain about loss of | |
3201 | precision when converting a floating-point constant. | |
3202 | ||
3203 | 2009-03-19 Jakub Jelinek <jakub@redhat.com> | |
3204 | ||
3205 | PR c/39495 | |
3206 | * parser.c (cp_parser_omp_for_cond): Don't check lhs if decl is NULL. | |
3207 | (cp_parser_omp_for_loop): Always use cp_parser_omp_for_cond. | |
3208 | ||
3209 | 2009-03-18 Jakub Jelinek <jakub@redhat.com> | |
3210 | ||
3211 | * parser.c (struct cp_token): Reorder fields for 64-bit hosts. | |
3212 | (eof_token): Adjust. | |
3213 | ||
3214 | 2009-03-18 H.J. Lu <hongjiu.lu@intel.com> | |
3215 | ||
3216 | PR c++/39425 | |
3217 | * parser.c (cp_parser_explicit_specialization): Don't skip the | |
3218 | rest of the specialization when begin_specialization returns | |
3219 | false. | |
3220 | ||
3221 | 2009-03-17 Jason Merrill <jason@redhat.com> | |
3222 | ||
3223 | * decl.c (grokfndecl): Set DECL_CONTEXT on parms. | |
3224 | (duplicate_decls): Adjust DECL_CONTEXT of newdecl's parms. | |
3225 | * pt.c (check_explicit_specialization): Likewise. | |
3226 | (tsubst_copy) [PARM_DECL]: Return a dummy parm if we don't have a | |
3227 | local specialization. | |
3228 | * tree.c (cp_tree_equal) [PARM_DECL]: Check type and index, not name. | |
3229 | * decl2.c (parm_index): New fn. | |
3230 | * semantics.c (finish_decltype_type): Don't use describable_type. | |
3231 | * mangle.c (write_expression): Likewise. Mangle ALIGNOF_EXPR. | |
3232 | Give a sorry for unsupported codes rather than crash. Mangle | |
3233 | conversions with other than 1 operand. New mangling for PARM_DECL. | |
3234 | * operators.def (ALIGNOF_EXPR): Mangle as "az". | |
3235 | ||
3236 | 2009-03-17 Jing Yu <jingyu@google.com> | |
3237 | ||
3238 | PR middle-end/39378 | |
3239 | * method.c (use_thunk): Change is_thunk from crtl to cfun. | |
3240 | ||
3241 | 2009-03-17 Paolo Carlini <paolo.carlini@oracle.com> | |
3242 | ||
3243 | PR c++/39475 | |
3244 | * semantics.c (check_trait_type): New. | |
3245 | (finish_trait_expr): Use it. | |
3246 | ||
3247 | 2009-03-17 Jakub Jelinek <jakub@redhat.com> | |
3248 | ||
3249 | * name-lookup.c (cp_emit_debug_info_for_using): Emit USING_STMTs | |
3250 | instead of calling imported_module_or_decl debug hook if | |
3251 | building_stmt_tree (). | |
3252 | * cp-gimplify.c (cp_gimplify_expr): Don't assert the first operand | |
3253 | is a NAMESPACE_DECL. | |
3254 | ||
3255 | PR debug/37890 | |
3256 | * name-lookup.c (do_namespace_alias): Don't call global_decl debug | |
3257 | hook at function scope. | |
3258 | ||
3259 | PR debug/39471 | |
3260 | * cp-gimplify.c (cp_gimplify_expr): Don't set DECL_NAME | |
3261 | on IMPORTED_DECL. | |
3262 | ||
3263 | 2009-03-09 Jakub Jelinek <jakub@redhat.com> | |
3264 | ||
3265 | PR c++/39371 | |
3266 | * semantics.c (finish_switch_cond): Don't call get_unwidened. | |
3267 | * decl.c (finish_case_label): Pass SWITCH_STMT_TYPE as 3rd argument | |
3268 | instead of TREE_TYPE (cond). | |
3269 | ||
3270 | 2009-03-08 H.J. Lu <hongjiu.lu@intel.com> | |
3271 | ||
3272 | PR c++/39060 | |
3273 | * parser.c (cp_parser_late_parsing_default_args): Continue | |
3274 | the loop when cp_parser_assignment_expression returns | |
3275 | error_mark_node. | |
3276 | ||
3277 | 2009-03-07 Jason Merrill <jason@redhat.com> | |
3278 | ||
3279 | PR c++/39367 | |
3280 | * init.c (build_new_1): Don't use a VLA type. | |
3281 | (build_vec_init): Handle getting a pointer for BASE. | |
3282 | ||
3283 | 2009-03-06 H.J. Lu <hongjiu.lu@intel.com> | |
3284 | ||
3285 | PR c++/37520 | |
3286 | * cp-tree.h: Check NO_DOT_IN_LABEL before NO_DOLLAR_IN_LABEL | |
3287 | when mangling symbols. | |
3288 | ||
3289 | 2009-03-06 Paolo Carlini <paolo.carlini@oracle.com> | |
3290 | ||
3291 | PR c++/33492 | |
3292 | * error.c (dump_expr): Don't try to print THROW_EXPRs in full. | |
3293 | ||
3294 | 2009-03-06 Alexandre Oliva <aoliva@redhat.com> | |
3295 | ||
3296 | * decl.c (record_builtin_java_type): Use canonicalized integer | |
3297 | types. | |
3298 | ||
3299 | 2009-03-04 Jason Merrill <jason@redhat.com> | |
3300 | ||
3301 | PR c++/38908 | |
3302 | * class.c (is_really_empty_class): New fn. | |
3303 | * cp-tree.h: Declare it. | |
3304 | * cp-objcp-common.c (cp_expr_size): Use it. | |
3305 | ||
3306 | PR c++/13549 | |
3307 | * semantics.c (perform_koenig_lookup): Handle TEMPLATE_ID_EXPR. | |
3308 | * parser.c (cp_parser_postfix_expression): Call it for | |
3309 | TEMPLATE_ID_EXPR. | |
3310 | * tree.c (is_overloaded_fn): Look through TEMPLATE_ID_EXPR. | |
3311 | (get_first_fn): Likewise. | |
3312 | ||
3313 | PR c++/9634 | |
3314 | PR c++/29469 | |
3315 | PR c++/29607 | |
3316 | Implement DR 224. | |
3317 | * decl.c (make_typename_type): Do look inside currently open classes. | |
3318 | * parser.c (cp_parser_lookup_name): Likewise. | |
3319 | (cp_parser_template_name): Likewise. | |
3320 | * pt.c (dependent_scope_p): New function. | |
3321 | * cp-tree.h: Declare it. | |
3322 | * class.c (currently_open_class): Return fast if T isn't a class. | |
3323 | ||
3324 | 2009-02-26 H.J. Lu <hongjiu.lu@intel.com> | |
3325 | ||
3326 | PR c++/37789 | |
3327 | * parser.c (cp_parser_mem_initializer): Return error_mark_node | |
3328 | if cp_parser_mem_initializer_id returns error_mark_node. | |
3329 | ||
3330 | 2009-02-24 Richard Guenther <rguenther@suse.de> | |
3331 | ||
3332 | PR c++/39242 | |
3333 | * pt.c (instantiate_decl): Do not instantiate extern, non-inline | |
3334 | declared functions. | |
3335 | ||
3336 | 2009-02-23 H.J. Lu <hongjiu.lu@intel.com> | |
3337 | ||
3338 | PR c++/36411 | |
3339 | * pt.c (coerce_template_template_parms): Return 0 if parameter | |
3340 | is error_mark_node. | |
3341 | ||
3342 | 2009-02-23 Jason Merrill <jason@redhat.com> | |
3343 | ||
3344 | * pt.c (unify): Call maybe_adjust_types_for_deduction when | |
3345 | deducing from an initializer list. | |
3346 | ||
3347 | 2009-02-20 Jason Merrill <jason@redhat.com> | |
3348 | ||
3349 | PR c++/39225 | |
3350 | * decl.c (grokdeclarator): Handle ~identifier. | |
3351 | ||
3352 | 2009-02-19 Jakub Jelinek <jakub@redhat.com> | |
3353 | ||
3354 | PR target/39175 | |
3355 | * decl2.c (determine_visibility): If visibility changed and | |
3356 | DECL_RTL has been already set, call make_decl_rtl to update symbol | |
3357 | flags. | |
3358 | ||
3359 | 2009-02-19 H.J. Lu <hongjiu.lu@intel.com> | |
3360 | ||
3361 | PR c++/39188 | |
3362 | * cp-tree.h (maybe_commonize_var): New. | |
3363 | ||
3364 | * decl.c (maybe_commonize_var): Make it extern. | |
3365 | ||
3366 | * decl2.c (finish_anon_union): Call maybe_commonize_var. | |
3367 | ||
3368 | 2009-02-18 H.J. Lu <hongjiu.lu@intel.com> | |
3369 | ||
3370 | PR c++/39219 | |
3371 | * parser.c (cp_parser_enum_specifier): Apply all attributes. | |
3372 | ||
3373 | 2009-02-18 Jason Merrill <jason@redhat.com> | |
3374 | ||
3375 | * cfns.h: Tweak pathname for cfns.gperf. | |
3376 | ||
3377 | 2009-02-13 Jason Merrill <jason@redhat.com> | |
3378 | ||
3379 | PR c++/39070 | |
3380 | * semantics.c (finish_call_expr): Change koenig_p parm to int. | |
3381 | If -1, don't set KOENIG_LOOKUP_P but do keep hidden candidates. | |
3382 | * cp-tree.h: Adjust prototype. | |
3383 | * pt.c (tsubst_copy_and_build) [CALL_EXPR]: Pass -1. | |
3384 | ||
3385 | 2009-02-12 Jason Merrill <jason@redhat.com> | |
3386 | ||
3387 | PR c++/38950 | |
3388 | * pt.c (unify)[TEMPLATE_PARM_INDEX]: Convert to the tsubsted type. | |
3389 | ||
3390 | 2009-02-11 Jason Merrill <jason@redhat.com> | |
3391 | ||
3392 | PR c++/39153 | |
3393 | * decl2.c (cp_write_global_declarations): | |
3394 | Check DECL_DEFAULTED_FN, not DECL_ARTIFICIAL. | |
3395 | ||
3396 | PR c++/30111 | |
3397 | * init.c (build_value_init_noctor): Split out from... | |
3398 | (build_value_init): ...here. | |
3399 | (expand_aggr_init_1): Handle value-initialization. | |
3400 | * cp-tree.h: Add declaration. | |
3401 | * class.c (type_has_user_provided_constructor): | |
3402 | Handle non-class arguments. | |
3403 | ||
3404 | 2009-02-10 Jason Merrill <jason@redhat.com> | |
3405 | ||
3406 | PR c++/38649 | |
3407 | * class.c (defaultable_fn_p): Handle ... properly. | |
3408 | ||
3409 | PR c++/36744 | |
3410 | * tree.c (lvalue_p_1): Condition rvalue ref handling on | |
3411 | treat_class_rvalues_as_lvalues, too. | |
3412 | ||
3413 | 2009-02-10 Paolo Carlini <paolo.carlini@oracle.com> | |
3414 | ||
3415 | PR c++/34397 | |
3416 | * typeck.c (build_x_array_ref): New. | |
3417 | * cp-tree.h: Declare it. | |
3418 | * pt.c (tsubst_copy_and_build): Use it for case ARRAY_REF. | |
3419 | ||
3420 | 2009-02-09 Jason Merrill <jason@redhat.com> | |
3421 | ||
3422 | PR c++/39109 | |
3423 | * semantics.c (simplify_aggr_init_expr): Do zero-initialization here. | |
3424 | * init.c (build_value_init): Not here. Don't build a TARGET_EXPR. | |
3425 | * tree.c (get_target_expr): Handle AGGR_INIT_EXPR. | |
3426 | * cp-gimplify.c (cp_gimplify_init_expr): Remove special handling | |
3427 | for build_value_init TARGET_EXPR. | |
3428 | * cp-tree.h (AGGR_INIT_ZERO_FIRST): New macro. | |
3429 | ||
3430 | 2009-02-06 Paolo Carlini <paolo.carlini@oracle.com> | |
3431 | ||
3432 | PR c++/35147 | |
3433 | PR c++/37737 | |
3434 | * cp-tree.h (TMPL_ARGS_HAVE_MULTIPLE_LEVELS): Check TREE_VEC_LENGTH. | |
3435 | ||
3436 | 2009-02-04 Jakub Jelinek <jakub@redhat.com> | |
3437 | ||
3438 | PR c++/39095 | |
3439 | * operators.def: Use COMPONENT_REF code for ->/pt operator again, | |
3440 | remove ./dt operator. | |
3441 | * mangle.c (write_expression): Handle COMPONENT_REF after handling | |
3442 | ADDR_EXPR, for COMPONENT_REF without ARROW_EXPR inside of it | |
3443 | write_string ("dt") instead of using operators.def. | |
3444 | ||
3445 | 2009-02-03 Jason Merrill <jason@redhat.com> | |
3446 | ||
3447 | * typeck.c (cp_build_unary_op): Only complain about taking address | |
3448 | of main if pedantic. | |
3449 | ||
3450 | 2009-02-03 Jakub Jelinek <jakub@redhat.com> | |
3451 | ||
3452 | PR inline-asm/39059 | |
3453 | * parser.c (cp_parser_primary_expression): Reject FIXED_CSTs. | |
3454 | ||
3455 | PR c++/39056 | |
3456 | * typeck2.c (digest_init_r): Don't call process_init_constructor | |
3457 | for COMPLEX_TYPE. | |
3458 | ||
3459 | 2009-02-03 Paolo Bonzini <bonzini@gnu.org> | |
3460 | ||
3461 | PR c++/36897 | |
3462 | * pt.c (convert_nontype_argument_function): Expect expr to be an | |
3463 | ADDR_EXPR. | |
3464 | ||
3465 | PR c++/37314 | |
3466 | * typeck.c (merge_types): Call resolve_typename_type if only | |
3467 | one type is a typename. | |
3468 | ||
3469 | 2009-02-02 Jason Merrill <jason@redhat.com> | |
3470 | ||
3471 | PR c++/39054 | |
3472 | * parser.c (cp_parser_unqualified_id): Don't wrap error_mark_node | |
3473 | in BIT_NOT_EXPR. | |
3474 | ||
3475 | 2009-02-01 Paolo Carlini <paolo.carlini@oracle.com> | |
3476 | ||
3477 | PR c++/39053 | |
3478 | * parser.c (cp_parser_pure_specifier): If there are no tokens left | |
3479 | do not call cp_lexer_consume_token. | |
3480 | ||
3481 | 2009-01-30 Jakub Jelinek <jakub@redhat.com> | |
3482 | ||
3483 | PR c++/39028 | |
3484 | * parser.c (cp_parser_already_scoped_statement): Handle __label__ | |
3485 | declarations. | |
3486 | ||
3487 | 2009-01-30 Paolo Carlini <paolo.carlini@oracle.com> | |
3488 | ||
3489 | PR c++/33465 | |
3490 | * error.c (dump_expr): Handle FIX_TRUNC_EXPR and FLOAT_EXPR. | |
3491 | ||
3492 | 2009-01-30 Paolo Carlini <paolo.carlini@oracle.com> | |
3493 | ||
3494 | PR c++/38655 | |
3495 | * error.c (dump_type_prefix, dump_type_suffix): Handle FIXED_POINT_TYPE. | |
3496 | ||
3497 | 2009-01-29 Paolo Carlini <paolo.carlini@oracle.com> | |
3498 | ||
3499 | * typeck.c (invalid_nonstatic_memfn_p): Use | |
3500 | DECL_NONSTATIC_MEMBER_FUNCTION_P. | |
3501 | ||
3502 | 2009-01-27 Paolo Carlini <paolo.carlini@oracle.com> | |
3503 | ||
3504 | PR c++/37554 | |
3505 | * call.c (build_over_call): If convert_for_arg_passing returns | |
3506 | error_mark_node unconditionally return it. | |
3507 | ||
3508 | 2009-01-22 Adam Nemet <anemet@caviumnetworks.com> | |
3509 | ||
3510 | * class.c (check_field_decls): Also inherit packed for bitfields | |
3511 | regardless of their type. | |
3512 | ||
3513 | 2009-01-22 Dodji Seketeli <dodji@redhat.com> | |
3514 | ||
3515 | PR c++/38930 | |
3516 | * decl2.c (grokfield): Reverting changes of PR c++/26693 | |
3517 | (save_template_attributes): Likewise. | |
3518 | * decl.c (grokdeclarator): Likewise. | |
3519 | * name-lookup.c (pushdecl_maybe_friend): Likewise. | |
3520 | * cp-tree.h (MEMBER_TYPES_NEEDING_ACCESS_CHECK): Likewise. | |
3521 | (append_type_to_template_for_access_check): Likewise. | |
3522 | * semantics.c (check_accessibility_of_qualified_id): Likewise. | |
3523 | * pt.c (instantiate_class_template, instantiate_template ): Likewise. | |
3524 | (tsubst): Likewise. | |
3525 | (resolve_type_name_type): Likewise. | |
3526 | (append_type_to_template_for_access_check): Likewise. | |
3527 | ||
3528 | 2009-01-21 Dodji Seketeli <dodji@redhat.com> | |
3529 | ||
3530 | PR c++/26693 | |
3531 | * decl2.c (grokfield): when a typedef appears in a | |
3532 | class, create the typedef variant type node for it. | |
3533 | (save_template_attributes): Creating typedef variant type node | |
3534 | here is now useless. | |
3535 | * decl.c (grokdeclarator): If the typedef'ed struct/class was | |
3536 | anonymous, set the proper type name to all its type variants. | |
3537 | * name-lookup.c (pushdecl_maybe_friend): Reuse the | |
3538 | set_underlying_type function to install typedef variant types. | |
3539 | * cp-tree.h (MEMBER_TYPES_NEEDING_ACCESS_CHECK): New template accessor | |
3540 | macro. | |
3541 | (append_type_to_template_for_access_check): New entry points. | |
3542 | * semantics.c (check_accessibility_of_qualified_id): | |
3543 | When a typedef that is a member of a class appears in a template, | |
3544 | add it to the template. It will be ... | |
3545 | * pt.c (instantiate_class_template, instantiate_template ): ... access | |
3546 | checked at template instantiation time. | |
3547 | (tsubst): Handle the case of being called with NULL args. | |
3548 | (resolve_type_name_type): The type name should be the name of the | |
3549 | main type variant. | |
3550 | (append_type_to_template_for_access_check): New entry point. | |
3551 | ||
3552 | 2009-01-19 Jason Merrill <jason@redhat.com> | |
3553 | ||
3554 | PR c++/23287 | |
3555 | * parser.c (cp_parser_unqualified_id): In a template, | |
3556 | accept ~identifier. | |
3557 | * typeck.c (lookup_destructor): Handle IDENTIFIER_NODE. | |
3558 | ||
3559 | 2009-01-16 Jason Merrill <jason@redhat.com> | |
3560 | ||
3561 | PR c++/38877 | |
3562 | * tree.c (lvalue_p_1): Allow non-fields in COMPONENT_REF. | |
3563 | * init.c (build_new): Don't call describable_type unless we | |
3564 | have an auto. | |
3565 | ||
3566 | PR c++/29470 | |
3567 | * pt.c (tsubst_decl) [USING_DECL]: Propagate access flags. | |
3568 | ||
3569 | PR c++/38579 | |
3570 | * search.c (protected_accessible_p): N doesn't vary. | |
3571 | ||
3572 | 2009-01-15 Jason Merrill <jason@redhat.com> | |
3573 | ||
3574 | PR c++/38850 | |
3575 | * pt.c (tsubst_copy_and_build): Tell finish_call_expr to | |
3576 | accept hidden friends. | |
3577 | ||
3578 | 2009-01-15 Andrew Pinski <andrew_pinski@playstation.sony.com> | |
3579 | ||
3580 | PR C++/29388 | |
3581 | * decl.c (grokdeclarator): Check for a non namespace/class context. | |
3582 | ||
3583 | 2009-01-15 Jason Merrill <jason@redhat.com> | |
3584 | ||
3585 | PR c++/36334 | |
3586 | PR c++/37646 | |
3587 | * tree.c (lvalue_p_1): Handle BASELINK. A COMPONENT_REF to | |
3588 | a function isn't necessarily an lvalue. Take tree, not const_tree. | |
3589 | (lvalue_p, real_lvalue_p): Take tree, not const_tree. | |
3590 | * typeck.c (lvalue_or_else): Likewise. | |
3591 | * cp-tree.h: Adjust prototypes. | |
3592 | ||
3593 | 2009-01-15 Steve Ellcey <sje@cup.hp.com> | |
3594 | ||
3595 | PR c++/38357 | |
3596 | * pt.c (tsubst): Check for NULL args. | |
3597 | ||
3598 | 2009-01-15 Dodji Seketeli <dodji@redhat.com> | |
3599 | ||
3600 | PR c++/38636 | |
3601 | * name-lookup.c (pushtag): Don't create members to types that are not | |
3602 | being created. | |
3603 | ||
3604 | 2009-01-14 Nick Clifton <nickc@redhat.com> | |
3605 | ||
3606 | PR c++/37862 | |
3607 | * parser.c: Pass cp_id_kind computed in | |
3608 | cp_parser_postfix_dot_deref_expression to | |
3609 | cp_parser_primary_expression. | |
3610 | ||
3611 | 2009-01-13 Jakub Jelinek <jakub@redhat.com> | |
3612 | ||
3613 | PR c++/38795 | |
3614 | * tree.c (cp_walk_subtrees): Handle REINTERPRET_CAST_EXPR, | |
3615 | STATIC_CAST_EXPR, CONST_CAST_EXPR and DYNAMIC_CAST_EXPR the same | |
3616 | as CAST_EXPR. | |
3617 | ||
3618 | 2009-01-12 Jason Merrill <jason@redhat.com> | |
3619 | Steve Ellcey <sje@cup.hp.com> | |
3620 | ||
3621 | PR c++/35109 | |
3622 | * name-lookup.c (lookup_name_real): Keep looking past a hidden | |
3623 | binding. | |
3624 | ||
3625 | 2009-01-12 Dodji Seketeli <dodji@redhat.com> | |
3626 | ||
3627 | PR c++/36019 | |
3628 | * pt.c (parameter_of_template_p): New function. | |
3629 | * cp-tree.h: Declare it. | |
3630 | * name-lookup.c (binding_to_template_parms_of_scope_p): New | |
3631 | function. | |
3632 | (outer_binding): Take template parameters in account when looking for | |
3633 | a name binding. | |
3634 | ||
3635 | 2009-01-12 Jason Merrill <jason@redhat.com> | |
3636 | ||
3637 | PR c++/31488 | |
3638 | * tree.c (pod_type_p): Return 1 for structs created by the back end. | |
3639 | ||
3640 | 2009-01-12 Jakub Jelinek <jakub@redhat.com> | |
3641 | ||
3642 | PR c/32041 | |
3643 | * parser.c (cp_parser_builtin_offsetof): Allow `->' in | |
3644 | offsetof member-designator, handle it as `[0].'. | |
3645 | ||
3646 | PR c++/38794 | |
3647 | * decl.c (start_function): If grokdeclarator hasn't returned | |
3648 | FUNCTION_DECL nor error_mark_node, issue diagnostics. | |
3649 | ||
3650 | 2009-01-11 Jakub Jelinek <jakub@redhat.com> | |
3651 | ||
3652 | PR c++/36254 | |
3653 | * cp-gimplify.c (genericize_if_stmt): Renamed from ... | |
3654 | (gimplify_if_stmt): ... this. | |
3655 | (cp_gimplify_expr): Don't handle IF_STMT here. | |
3656 | (cp_genericize_r): Call genericize_if_stmt for IF_STMT. | |
3657 | ||
3658 | 2009-01-10 Andrew Pinski <pinskia@gmail.com> | |
3659 | ||
3660 | PR c++/38648 | |
3661 | * typeck.c (cp_build_modify_expr): Check for NULL current_function_decl. | |
3662 | ||
3663 | PR c++/36695 | |
3664 | * typeck2.c (build_functional_cast): Check for reference type and NULL | |
3665 | PARMS. | |
3666 | ||
3667 | 2009-01-09 Steve Ellcey <sje@cup.hp.com> | |
3668 | ||
3669 | * typeck.c (cp_build_unary_op): Check for ERROR_MARK. | |
3670 | ||
3671 | 2009-01-09 Jakub Jelinek <jakub@redhat.com> | |
3672 | ||
3673 | PR c++/35335 | |
3674 | * error.c (dump_expr): Handle EXPR_STMT like BIND_EXPR. | |
3675 | ||
3676 | 2009-01-09 John F. Carr <jfc@mit.edu> | |
3677 | ||
3678 | PR c++/37877 | |
3679 | * parser.c (cp_parser_class_specifier): Clear | |
3680 | parser->in_unbraced_linkage_specification_p while parsing class | |
3681 | specifiers. | |
3682 | ||
3683 | 2009-01-07 Jakub Jelinek <jakub@redhat.com> | |
3684 | ||
3685 | PR c++/38725 | |
3686 | * semantics.c (finish_goto_stmt): Convert destination to | |
3687 | void *. | |
3688 | ||
3689 | 2009-01-06 Jason Merrill <jason@redhat.com> | |
3690 | ||
3691 | PR c++/35297 | |
3692 | PR c++/35477 | |
3693 | PR c++/35784 | |
3694 | PR c++/36846 | |
3695 | PR c++/38276 | |
3696 | * pt.c (check_default_tmpl_args): Don't complain about | |
3697 | out-of-order parameter packs in the enclosing class | |
3698 | or parameter packs after default args. | |
3699 | (coerce_template_parms): If we have more than one | |
3700 | parameter pack, don't flatten argument packs. | |
3701 | (template_args_equal): Handle argument packs. | |
3702 | (comp_template_args): Don't flatten argument packs. | |
3703 | (check_instantiated_arg): Split out from... | |
3704 | (check_instantiated_args): Here. Handle arg packs. | |
3705 | (convert_template_argument): Just check that nontype argument | |
3706 | packs have the right type. | |
3707 | ||
3708 | 2009-01-05 Dodji Seketeli <dodji@redhat.com> | |
3709 | ||
3710 | PR c++/38472 | |
3711 | * typeck.c (type_after_usual_arithmetic_conversions): Fix a typo. | |
3712 | ||
3713 | 2009-01-05 Jason Merrill <jason@redhat.com> | |
3714 | ||
3715 | PR c++/38698 | |
3716 | * typeck2.c (process_init_constructor_union): Handle union with | |
3717 | no fields. | |
3718 | ||
3719 | * mangle.c (write_expression): Remove mangling for zero-operand | |
3720 | casts. | |
3721 | ||
3722 | PR c++/38701 | |
3723 | * decl.c (cp_finish_decl): Clear DECL_INITIAL for invalid | |
3724 | defaulting. | |
3725 | ||
3726 | PR c++/38702 | |
3727 | * class.c (defaultable_fn_p): Only operator== can be a copy | |
3728 | assignment operator. | |
3729 | ||
3730 | 2009-01-02 Jason Merrill <jason@redhat.com> | |
3731 | ||
3732 | PR c++/38698 | |
3733 | * typeck2.c (process_init_constructor_union): Handle excess | |
3734 | initializers. | |
3735 | (process_init_constructor_record): Likewise. | |
3736 | ||
3737 | PR c++/38684 | |
3738 | * typeck2.c (digest_init_r): Don't use process_init_constructor | |
3739 | for non-aggregate classes. | |
3740 | ||
3741 | \f | |
3742 | Copyright (C) 2009 Free Software Foundation, Inc. | |
3743 | ||
3744 | Copying and distribution of this file, with or without modification, | |
3745 | are permitted in any medium without royalty provided the copyright | |
3746 | notice and this notice are preserved. |