| blob | ebf9b3d95ee7b96da94d6384e76915d130640464 |
1 2007-09-18 Jason Merrill <jason@redhat.com>
3 PR c++/17743
4 * pt.c (apply_late_template_attributes): Set processing_template_decl.
5 (tsubst_decl) [TYPE_DECL]: Preserve naming typedef, pass
6 ATTR_FLAG_TYPE_IN_PLACE.
7 (tsubst): Do unqualified lookup to find typedefs from current class.
8 [ARRAY_TYPE]: Propagate alignment info.
9 * decl2.c (is_late_template_attribute): Only defer handling of
10 attribute aligned if the expression is dependent.
11 (save_template_attributes): If we're deferring any attributes,
12 make this a naming typedef.
14 2007-09-18 Paolo Carlini <pcarlini@suse.de>
16 PR c++/33462 (again)
17 * cxx-pretty-print.c (pp_cxx_va_arg_expression): Print
18 va_arg instead of __builtin_va_arg.
20 2007-09-18 Paolo Carlini <pcarlini@suse.de>
22 PR c++/33462
23 * cxx-pretty-print.c (pp_cxx_va_arg_expression): Add.
24 (pp_cxx_primary_expression): Use it.
25 * cxx-pretty-print.h (pp_cxx_va_arg_expression): Declare.
26 * error.c (dump_expr): Use it.
28 2007-09-18 Paolo Carlini <pcarlini@suse.de>
30 PR c++/33463
31 * cxx-pretty-print.c (pp_cxx_postfix_expression): Split
32 out case TYPEID_EXPR to...
33 (pp_cxx_typeid_expression): ... here; use pp_cxx_left_paren
34 and pp_cxx_right_paren.
35 * cxx-pretty-print.h (pp_cxx_typeid_expression): Declare.
36 * error.c (dump_expr): Use it.
38 2007-09-18 Paolo Carlini <pcarlini@suse.de>
40 PR c++/33464
41 * cxx-pretty-print.c (pp_cxx_trait_expression): Add.
42 (pp_cxx_primary_expression): Use it.
43 * cxx-pretty-print.h (pp_cxx_trait_expression): Declare.
44 * error.c (dump_expr): Use it.
46 2007-09-16 Paolo Carlini <pcarlini@suse.de>
48 PR c++/33124
49 * init.c (build_new): Remove warning for zero-element
50 allocations.
52 2007-09-16 Nathan Sidwell <nathan@codesourcery.com>
54 PR c++/32756
55 * call.c (maybe_handle_implicit_object): Set this_p, clear
56 rvaluedness_matches_p.
57 (compare_ics): Do not compare rvaluedness matching when one of the
58 operands is an implicit object.
60 2007-09-14 Jason Merrill <jason@redhat.com>
62 PR c++/17743, c++/19163
63 * decl2.c (is_late_template_attribute): New fn.
64 (splice_template_attributes, save_template_attributes): New fns.
65 (cplus_decl_attributes): Call save_template_attributes.
66 * pt.c (apply_late_template_attributes): New fn.
67 (instantiate_class_template, tsubst_decl): Use it.
68 * cp-tree.h: Declare is_late_template_attribute.
70 2007-09-13 Tom Tromey <tromey@redhat.com>
72 * parser.c (cp_lexer_new_main): Don't use
73 c_lex_return_raw_strings.
74 (cp_lexer_get_preprocessor_token): Update. Add special case when
75 lexer is NULL.
77 2007-09-11 Jan Hubicka <jh@suse.cz>
79 * method.c (use_thunk): Use tree_rest_of_compilation
80 * cp-objecp-common.h (LANG_HOOKS_CALLGRAPH_EXPAND_FUNCTION): Kill.
81 (LANG_HOOKS_CALLGRAPH_EMIT_ASSOCIATED_THUNKS): Define.
82 * cp-tree.h (expand_body): Kill.
83 (emit_associated_thunks): Declare.
84 * semantics.c (emit_associated_thunks): Export.
85 (expand_body): Kill.
87 2007-09-09 David Daney <ddaney@avtrex.com>
89 PR c++/33324
90 * init.c (build_new_1): Use POINTER_PLUS_EXPR instead of MINUS_EXPR
91 to calculate cookie_ptr.
93 2007-09-08 Jason Merrill <jason@redhat.com>
95 PR c++/33342
96 * pt.c (most_specialized_class): Set processing_template_decl
97 while tsubsting partial spec args.
99 2007-09-06 Jason Merrill <jason@redhat.com>
101 * decl2.c (get_guard): Copy visibility from the guarded variable.
103 2007-09-06 Jan Hubicka <jh@suse.cz>
105 * semantics.c (expand_body): Do not mark arguments of clones used.
107 2007-09-06 Paolo Carlini <pcarlini@suse.de>
109 PR c++/32674
110 * decl.c (cp_finish_decl): When processing_template_decl,
111 deal correctly with init as TREE_LIST.
113 2007-09-06 Tom Tromey <tromey@redhat.com>
115 * decl.c (finish_function): Put return's location on line zero of
116 file.
118 2007-09-05 Jason Merrill <jason@redhat.com>
120 PR c++/15745
121 * except.c (prepare_eh_type): Use type_decays_to.
123 PR c++/15097
124 * init.c (build_delete): Use build_headof to get the address of the
125 complete object if we aren't using the deleting destructor.
126 * rtti.c (build_headof): No longer static.
127 * cp-tree.h: Declare it.
129 2007-09-06 Jakub Jelinek <jakub@redhat.com>
131 * decl.c (duplicate_decls): Set TREE_NOTHROW on __builtin_XX
132 decl if a prototype for XX is provided with throw().
134 PR c++/33289
135 * decl.c (builtin_function_1): Set DECL_ANTICIPATED also
136 on __*_chk non-__builtin_* decls.
138 2007-09-05 Paolo Carlini <pcarlini@suse.de>
140 PR c++/30302
141 * semantics.c (finish_id_expression): Use context_for_name_lookup
142 insted of DECL_CONTEXT, to see through anonymous structs and unions.
143 * class.c (finish_struct_anon): Deal correctly with anonymous
144 structs (vs unions, as GNU extension) in error messages.
146 2007-09-05 Jan Hubicka <jh@suse.cz>
148 * cp/sematics.c (expand_body): Remove unnecesary import_export_decl
149 call, DECL_EXTERNAL checks and current_function_decl saving.
151 2007-09-05 Paolo Carlini <pcarlini@suse.de>
153 PR c++/29731 (again)
154 * parser.c (cp_parser_primary_expression): Return error_mark_node
155 when a statement-expression is found in a template-argument list.
157 2007-09-04 Jason Merrill <jason@redhat.com>
159 * except.c (initialize_handler_parm): Use
160 fold_build_cleanup_point_expr.
162 PR c++/31419
163 * call.c (reference_binding): Don't look for user-defined conversions
164 to the same type.
166 PR c++/31411
167 * except.c (initialize_handler_parm): Put a CLEANUP_POINT_EXPR inside
168 the MUST_NOT_THROW_EXPR.
170 2007-09-04 Richard Sandiford <richard@codesourcery.com>
172 * decl.c (cp_finish_decl): Call determine_visibility before
173 make_rtl_for_nonlocal_decl.
175 2007-09-04 Jason Merrill <jason@redhat.com>
177 PR c++/14032
178 * pt.c (most_specialized_class): Substitute outer template
179 arguments into the arguments of a member template partial
180 specialization.
181 (strip_innermost_template_args): New fn.
183 2007-09-03 Daniel Jacobowitz <dan@codesourcery.com>
185 * Make-lang.in (g++spec.o): Remove SHLIB_MULTILIB.
187 2007-09-03 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
189 * call.c (name_as_c_string): Supply a TYPE for CONST_CAST.
190 * decl.c (cp_make_fname_decl): Likewise,
191 * parser.c (cp_parser_string_literal): Likewise,
192 * tree.c (pod_type_p, zero_init_p): Use CONST_CAST_TREE.
193 * typeck.c (cp_type_quals, cp_type_readonly, cp_has_mutable_p):
194 Likewise,
196 2007-09-02 Paolo Carlini <pcarlini@suse.de>
198 PR c++/33208
199 * typeck.c (build_unary_op): Fix error message for
200 Boolean expression as operand to operator--.
202 2007-09-01 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
204 * tree.c (pod_type_p, zero_init_p): Use strip_array_types.
205 * typeck.c (cp_type_quals, cp_type_readonly, cp_has_mutable_p):
206 Likewise.
208 2007-08-31 Douglas Gregor <doug.gregor@gmail.com>
210 PR c++/32597
211 * init.c (build_default_init): Make extern.
212 * cp-tree.h (build_default_init): Declare here.
213 * pt.c (tsubst_expr): When the instantiation of the initializer of
214 a variable results in an empty list, default-initialize the
215 variable.
216 (tsubst_copy_and_build): When the instantiation of the initializer
217 in a new expression results in an empty initializer list,
218 default-initialize it.
220 2007-08-31 Douglas Gregor <doug.gregor@gmail.com>
222 * mangle.c (write_type): Change mangling of rvalue reference from
223 `RR' to `O'.
225 2007-08-31 Jakub Jelinek <jakub@redhat.com>
227 * decl.c (duplicate_decls): Remove duplicated line.
229 2007-08-31 Paolo Carlini <pcarlini@suse.de>
231 PR c++/33210
232 * cxx-pretty-print.c (pp_cxx_unqualified_id): Deal with
233 BOUND_TEMPLATE_TEMPLATE_PARM.
235 2007-08-31 Paolo Carlini <pcarlini@suse.de>
237 PR c++/32113
238 * search.c (lookup_member): Check the name argument for
239 error_mark_node.
241 2007-08-31 Paolo Carlini <pcarlini@suse.de>
243 PR c++/33212
244 * parser.c (cp_parser_trait_expr): Check rerurn value of
245 cp_parser_type_id.
247 2007-08-30 Ollie Wild <aaw@google.com>
249 * cvt.c (cp_convert_to_pointer): Remove force parameter. Call
250 convert_ptrmem for pointer to member conversions.
251 (convert_to_pointer_force): Update cp_convert_to_pointer call.
252 (ocp_convert): Update cp_convert_to_pointer call.
253 * typeck.c (convert_ptrmem): Add conditional for null pointers to
254 members.
255 (build_static_cast_1): Check can_convert for conversions in either
256 direction.
257 (get_delta_difference_1): New function.
258 (get_delta_difference): Refactor to call get_delta_difference_1.
260 2007-08-30 Jakub Jelinek <jakub@redhat.com>
262 * decl.c (start_preparsed_function): Set
263 DECL_DISREGARD_INLINE_LIMITS for GNU_INLINE_P functions.
265 2007-08-28 Paolo Carlini <pcarlini@suse.de>
267 PR c++/33209
268 * error.c (dump_expr): Deal with TEMPLATE_TYPE_PARM and
269 BOUND_TEMPLATE_TEMPLATE_PARM.
271 2007-08-28 Jakub Jelinek <jakub@redhat.com>
273 PR c++/32596
274 PR c++/32400
275 * pt.c (check_explicit_specialization): Set DECL_INTERFACE_KNOWN
276 and DECL_NOT_REALLY_EXTERN if tmpl_func is not public.
278 2007-08-27 Jason Merrill <jason@redhat.com>
280 PR c++/29000
281 * pt.c (build_non_dependent_expr, type_dependent_expression_p):
282 Look inside STMT_EXPR.
283 * semantics.c (stmt_expr_value_expr): New fn.
284 * cp-tree.h: Declare it.
286 PR c++/28558
287 * decl.c (groktypename): Ignore attributes applied to class type.
289 2007-08-28 Richard Guenther <rguenther@suse.de>
291 * decl.c (duplicate_decls): Merge DECL_DISREGARD_INLINE_LIMITS.
293 2007-08-28 Gabriel Dos Reis <gdr@integrable-solutions.net>
295 * error.c (dump_expr): Handle COMPLEX_CST.
296 * cxx-pretty-print.c (pp_cxx_primary_expression): Likewise.
297 (pp_cxx_expression): Likewise.
299 2007-08-27 Alexandre Oliva <aoliva@redhat.com>
301 * decl.c (GNU_INLINE_P): New.
302 (duplicate_decls): Handle gnu_inline. Merge attributes and
303 some flags in overriding definitions.
304 (redeclaration_error_message): Handle gnu_inline.
305 (start_preparsed_function): Likewise.
307 2007-08-25 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
309 * call.c (sufficient_parms_p): Constify.
310 * class.c (same_signature_p): Likewise.
311 * cp-gimplify.c (is_invisiref_parm,
312 cxx_omp_privatize_by_reference): Likewise.
313 * cp-objcp-common.c (has_c_linkage): Likewise.
314 * cp-tree.h (NON_THUNK_FUNCTION_CHECK, THUNK_FUNCTION_CHECK,
315 sufficient_parms_p, same_signature_p, copy_fn_p, move_fn_p,
316 grok_ctor_properties, nothrow_libfn_p, skip_artificial_parms_for,
317 num_artificial_parms_for, comp_template_parms,
318 template_parameter_pack_p, any_dependent_template_arguments_p,
319 any_type_dependent_arguments_p, any_value_dependent_elements_p,
320 repo_export_class_p, cxx_omp_privatize_by_reference, pod_type_p,
321 zero_init_p, member_p, cp_lvalue_kind,
322 builtin_valid_in_constant_expr_p, decl_anon_ns_mem_p,
323 varargs_function_p, is_dummy_object, special_function_kind,
324 string_conv_p, type_unknown_p, comp_except_specs, compparms,
325 comp_cv_qualification, is_bitfield_expr_with_lowered_type,
326 unlowered_expr_type, ptr_reasonably_similar, cp_type_readonly,
327 cp_has_mutable_p, at_least_as_qualified_p,
328 invalid_nonstatic_memfn_p, lvalue_or_else, lvalue_p): Likewise.
329 * decl.c (copy_fn_p, move_fn_p, grok_ctor_properties): Likewise.
330 * except.c (nothrow_libfn_p): Likewise.
331 * method.c (skip_artificial_parms_for, num_artificial_parms_for):
332 Likewise.
333 * pt.c (comp_template_parms, template_parameter_pack_p,
334 any_type_dependent_arguments_p, any_value_dependent_elements_p,
335 any_dependent_template_arguments_p): Likewise.
336 * repo.c (repo_export_class_p): Likewise.
337 * semantics.c (anon_aggr_type_p): Likewise.
338 * tree.c (lvalue_p_1, real_lvalue_p, lvalue_p,
339 builtin_valid_in_constant_expr_p, decl_anon_ns_mem_p,
340 varargs_function_p, member_p, is_dummy_object, pod_type_p,
341 zero_init_p, special_function_p): Likewise.
342 * typeck.c (comp_array_types, type_unknown_p, comp_except_specs,
343 comp_array_types, at_least_as_qualified_p, comp_cv_qualification,
344 compparms, invalid_nonstatic_memfn_p,
345 is_bitfield_expr_with_lowered_type, unlowered_expr_type,
346 string_conv_p, ptr_reasonably_similar, cp_type_readonly,
347 cp_has_mutable_p, lvalue_or_else): Likewise.
349 2007-08-25 Paolo Bonzini <bonzini@gnu.org>
351 * decl.c (cp_tree_node_structure): Kill TINST_LEVEL case.
352 * cp-objcp-common.c (cp_tree_size): Ditto.
353 * tree.c (cp_walk_subtrees): Ditto
354 * cp-tree.def (TINST_LEVEL): Go away.
355 * cp-tree.h (struct tinst_level_s): Rename to struct tinst_level,
356 move together with other non-tree structs.
357 (enum cp_tree_node_structure_enum): Nuke TS_CP_TINST_LEVEL.
358 (union lang_tree_node): Eliminate tinst_level field.
359 (TINST_DECL, TINST_LOCATION, TINST_IN_SYSTEM_HEADER_P): Annihilate.
360 (current_instantiation, outermost_tinst_level): Return
361 a "struct tinst_level *".
363 * error.c (print_instantiation_partial_context): Change second
364 parameter to a "struct tinst_level *". Replace accessor macros
365 with field access.
366 (print_instantiation_full_context): Likewise.
367 * lex.c (in_main_input_context): Likewise.
369 * pt.c (struct pending_templates): New.
370 (pending_templates, last_pending_template): Use it as a type.
371 (current_tinst_level): Change typo to "struct tinst_level *"
372 (reopen_tinst_level): Accept "struct tinst_level *", return decl.
373 (add_pending_template): Construct a "struct pending_template".
374 Replace TINST_LEVEL accessor macros with field access.
375 (push_tinst_level): Likewise, using GGC_NEW instead of make_node.
376 (pop_tinst_level): Likewise.
377 (instantiate_pending_templates): Likewise. Factor common code used
378 when an instantiation has been done.
379 (outermost_tinst_level): Replace tree_last with loop.
380 (current_instantiation): Return a "struct tinst_level *".
382 2007-08-24 Ollie Wild <aaw@google.com>
384 * name-lookup.c (add_decl_to_level): Remove addition to vtables chain.
385 * name-lookup.h (cp_binding_level): Remove vtables member.
387 2007-08-24 Richard Guenther <rguenther@suse.de>
389 * tree.c (cp_cannot_inline_tree_fn): Remove.
390 * cp-tree.h (cp_cannot_inline_tree_fn): Likewise.
391 * cp-objcp-common.h (LANG_HOOKS_TREE_INLINING_CANNOT_INLINE_TREE_FN):
392 Remove define.
394 2007-08-24 Jakub Jelinek <jakub@redhat.com>
396 PR c++/32567
397 * typeck.c (build_unary_op) <case PREINCREMENT_EXPR>: Return
398 error_mark_node right away if build_expr_type_conversion
399 returned it.
401 PR c++/32898
402 * name-lookup.c (set_decl_namespace): lookup_qualified_name failure
403 is error_mark_node rather than NULL_TREE.
404 * pt.c (check_explicit_specialization): Likewise.
406 PR c++/31941
407 * error.c (resolve_virtual_fun_from_obj_type_ref): Handle
408 TARGET_VTABLE_USES_DESCRIPTORS targets properly.
410 2007-08-22 Jason Merrill <jason@redhat.com>
412 PR c++/29365
413 * pt.c (outermost_tinst_level): New function.
414 * lex.c (in_main_input_context): New function.
415 * cp-tree.h: Declare it.
416 * decl2.c (constrain_class_visibility): Use it to avoid warning
417 about uses of the anonymous namespace in the main input file.
419 2007-08-21 Jakub Jelinek <jakub@redhat.com>
421 * init.c (build_new_1): Use get_target_expr instead of save_expr.
423 2007-08-20 Pawel Sikora <pluto@pld-linux.org>
425 PR c++/7302
426 * class.c (finish_struct_1): Warn when a class has virtual
427 functions and accessible non-virtual destructor.
429 2007-08-20 Richard Guenther <rguenther@suse.de>
431 PR c++/22369
432 PR c++/22451
433 * call.c (build_new_method_call): Convert initializer to
434 the basetype.
435 * init.c (build_aggr_init): Do not fiddle with types.
436 (build_vec_delete_1): Use correct type for POINTER_PLUS_EXPR.
437 * except.c (build_throw): Do not drop qualifiers for the
438 pointer type.
439 * typeck.c (get_member_function_from_ptrfunc): Do not
440 fiddle with types, instead convert.
441 (build_ptrmemfunc1): Convert to the target type for
442 initialization.
443 (gfc_trans_allocate): Convert result to target type.
444 * cp-objcp-common.c (cxx_get_alias_set): Pointers to
445 pointer-to-member structures shall have alias set zero as well.
447 2007-08-20 Richard Guenther <rguenther@suse.de>
449 * cp-objcp-common.h (LANG_HOOKS_TREE_INLINING_AUTO_VAR_IN_FN_P):
450 Remove.
451 * cp-tree.h (cp_auto_var_in_fn_p): Remove.
452 (nonstatic_local_decl_p): Likewise.
453 * tree.c (cp_auto_var_in_fn_p): Remove.
454 * decl.c (nonstatic_local_decl_p): Remove.
456 2007-08-20 Richard Guenther <rguenther@suse.de>
458 * cp-objcp-common.h (LANG_HOOKS_TREE_INLINING_WALK_SUBTREES):
459 Remove define.
460 * tree.h (cp_walk_tree): New define to walk_tree_1 with
461 cp_walk_subtrees lh parameter.
462 (cp_walk_tree_without_duplicates): New define to
463 walk_tree_without_duplicates_1 with cp_walk_subtrees lh parameter.
464 * tree.c (count_trees): Call
465 cp_walk_tree_without_duplicates.
466 (verify_stmt_tree): Call cp_walk_tree.
467 (break_out_target_exprs): Likewise.
468 (WALK_SUBTREE): Likewise.
469 * cp-gimplify.c (cp_genericize): Likewise.
470 * cp-pt.c (find_parameter_packs_r): Likewise.
471 (uses_parameter_packs): Likewise.
472 (make_pack_expansion): Likewise.
473 (check_for_bare_parameter_packs): Likewise.
474 (for_each_template_parm): Likewise.
475 * decl.c (check_default_argument): Call
476 cp_walk_tree_without_duplicates.
477 * except.c (build_throw): Likewise.
478 * decl2.c (type_visibility): Likewise.
479 * semantics.c (expand_or_defer_fn): Likewise.
480 (finalize_nrv): Call cp_walk_tree.
482 2007-08-20 Jakub Jelinek <jakub@redhat.com>
484 PR c++/33025
485 * init.c (build_new_1): Rename placement_var variable to placement_expr.
486 Initialize it with save_expr rather than get_temp_regvar.
488 2007-08-17 Andrew Pinski <andrew_pinski@playstation.sony.com>
490 PR c++/28989
491 * tree.c (lvalue_p_1 <case SAVE_EXPR>): SAVE_EXPRs are never
492 lvalues.
494 2007-08-17 Ollie Wild <aaw@google.com>
496 PR c++/31749
497 * name-lookup.c (do_nonmember_using_decl): Shift implicit type
498 declarations into appropriate slots for comparison. Fix type
499 comparison.
501 2007-08-17 Paolo Carlini <pcarlini@suse.de>
503 PR c++/32112
504 * error.c (dump_decl): Deal with UNBOUND_CLASS_TEMPLATE.
505 * cxx-pretty-print.c (pp_cxx_unqualified_id): Likewise.
507 2007-08-17 Paolo Carlini <pcarlini@suse.de>
509 PR c++/32870
510 * parser.c (cp_parser_class_head): Improve error message.
512 2007-08-16 Seongbae Park <seongbae.park@gmail.com>
514 * pt.c (instantiate_decl): Set input_location
515 for the function end.
517 2007-08-16 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
519 * cp-objcp-common.c (cxx_warn_unused_global_decl, cp_expr_size):
520 Constify.
521 * cp-tree.h (local_variable_p, nonstatic_local_decl_p,
522 class_tmpl_impl_spec_p, cp_auto_var_in_fn_p, cp_type_quals,
523 cxx_incomplete_type_diagnostic, cxx_incomplete_type_error,
524 cxx_warn_unused_global_decl, cp_expr_size): Likewise.
525 * decl.c (local_variable_p, nonstatic_local_decl_p): Likewise.
526 * tree.c (class_tmpl_impl_spec_p, cp_auto_var_in_fn_p): Likewise.
527 * typeck.c (cp_type_quals): Likewise.
528 * typeck2.c (cxx_incomplete_type_diagnostic,
529 cxx_incomplete_type_error): Likewise.
531 2007-08-16 Paolo Carlini <pcarlini@suse.de>
533 PR c++/31132
534 * pt.c (tsubst_friend_function): When check_classfn
535 returns error_mark_node likewise return it.
537 2007-08-15 Jakub Jelinek <jakub@redhat.com>
539 PR c++/32992
540 * typeck.c (check_return_expr): Don't NRV optimize vars in
541 anonymous unions.
542 * decl.c (finish_function): Comment fix.
544 2007-08-15 Paolo Carlini <pcarlini@suse.de>
546 PR c++/33035
547 * pt.c (push_template_decl_real): Depending on TYPE_P
548 use either TYPE_CONTEXT or DECL_CONTEXT.
550 2007-08-14 Mark Mitchell <mark@codesourcery.com>
552 * semantics.c (finish_omp_clauses): Strip a NOP_EXPR if
553 constructors and destructors return this.
555 2007-08-14 Paolo Carlini <pcarlini@suse.de>
557 PR c++/27211
558 * decl2.c (check_classfn): Return error_mark_node in case of error;
559 in that case, do not call add_method.
560 * decl.c (start_decl): Deal with check_classfn returning
561 error_mark_node.
562 (grokfndecl): Likewise.
563 * pt.c (tsubst_friend_function): Likewise.
565 2007-08-14 Andrew Pinski <pinskia@gmail.com>
567 PR c++/30428
568 * typeck.c (build_binary_op): Disallow vector float types with
569 BIT_IOR_EXPR, BIT_AND_EXPR, and BIT_XOR_EXPR.
571 2007-08-11 Ian Lance Taylor <iant@google.com>
573 * cp-objcp-common.c (cxx_get_alias_set): Change return type to
574 alias_set_type.
575 * cp/cp-tree.h (cxx_get_alias_set): Update declaration.
577 2007-08-10 Ollie Wild <aaw@google.com>
579 * name-lookup.c (do_nonmember_using_decl): Print an error for ambiguous
580 type lookups.
581 (ambiguous_decl): Construct tree of ambiguous types. Remove extaneous
582 function parameter.
583 (unqualified_namespace_lookup): Fix ambiguous_decl call.
584 (lookup_using_namespace): Fix ambiguous_decl call.
585 (qualified_lookup_using_namespace): Fix ambiguous_decl call.
587 2007-08-10 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
589 * call.c (name_as_c_string): Use CONST_CAST.
590 * decl.c (build_decl): Likewise.
591 * parser.c (cp_parser_string_literal): Likewise.
593 2007-08-10 Paolo Carlini <pcarlini@suse.de>
595 PR c++/17763
596 * error.c (dump_expr): Consistently use the *_cxx_*
597 variants of the pretty-print functions.
599 2007-08-10 Paolo Carlini <pcarlini@suse.de>
601 PR c++/22256
602 * decl.c (check_special_function_return_type): Just error
603 on return type specified for conversion operator.
605 2007-08-09 Daniel Berlin <dberlin@dberlin.org>
607 * typeck2.c (readonly_error): Handle general expressions.
608 * error.c (dump_expr): Handle POINTER_PLUS_EXPR
610 2007-08-06 Dan Hipschman <dsh@google.com>
612 * method.c (use_thunk): Use DECL_NAME instead of DECL_RTL to
613 access function name.
615 2007-08-04 Alfred Minarik <a.minarik@aon.at>
617 PR pch/13676
618 * lang-specs.h: Add .hp, .hxx, .hpp, .h, .HPP, .tcc as c++ header.
619 * g++spec.c (lang_specific_driver): Check them.
621 2007-08-06 Paolo Carlini <pcarlini@suse.de>
623 PR c++/19532
624 * pt.c (inline_needs_template_parms): Fix comment; change return type
625 to bool.
627 2007-08-05 Volker Reichelt <v.reichelt@netcologne.de>
629 Revert:
630 2007-03-26 Dirk Mueller <dmueller@suse.de>
632 * parser.c (cp_parser_member_declaration): Pedwarn
633 about stray semicolons after member declarations.
635 2007-08-02 Lee Millward <lee.millward@gmail.com>
637 PR c++/30849
638 PR c++/30850
639 PR c++/30851
640 * parser.c (cp_parser_asm_definition): Detect and discard asm
641 statements with invalid inputs or outputs.
642 (cp_parser_asm_operand_list): Return error mark node if any
643 of the operands are invalid. Adjust documentation.
645 2007-08-02 Nick Clifton <nickc@redhat.com>
647 * typeck.c: Change copyright header to refer to version 3 of the
648 GNU General Public License and to point readers at the COPYING3
649 file and the FSF's license web page.
650 * optimize.c, lang-specs.h, init.c, class.c, repo.c, decl.c,
651 config-lang.in, cp-tree.def, call.c, decl.h, ptree.c,
652 Make-lang.in, method.c, rtti.c, cp-objcp-common.c, g++spec.c,
653 cp-objcp-common.h, except.c, error.c, operators.def, cvt.c,
654 tree.c, mangle.c, cp-tree.h, dump.c, search.c, friend.c, expr.c,
655 cp-gimplify.c, cxx-pretty-print.c, cp-lang.c, typeck2.c, pt.c,
656 cxx-pretty-print.h, semantics.c, name-lookup.c, lex.c, decl2.c,
657 name-lookup.h, parser.c: Likewise.
659 2007-08-01 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
661 PR middle-end/32668
662 * call.c (magic_varargs_p): Honor the "type generic" attribute.
664 2007-07-30 Paolo Carlini <pcarlini@suse.de>
666 PR c++/32108
667 * semantics.c (finish_label_stmt): Reject the __label__
668 extension outside function scopes.
670 2007-07-29 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
672 * parser.c (eof_token): Un-constify.
673 (cp_lexer_new_main, cp_lexer_new_from_tokens, VEC_alloc,
674 cp_lexer_consume_token, cp_lexer_purge_token): Remove spurious
675 casts.
677 2007-07-28 Kazu Hirata <kazu@codesourcery.com>
679 * pt.c, tree.c, typeck2.c: Fix comment typos.
681 2007-07-28 Simon Martin <simartin@users.sourceforge.net>
682 Mark Mitchell <mark@codesourcery.com>
684 PR c++/30917
685 * name-lookup.c (lookup_name_real): Non namespace-scope bindings can be
686 hidden due to friend declarations in local classes.
688 2007-07-27 Douglas Gregor <doug.gregor@gmail.com>
690 * typeck.c (structural_comptypes): Compare DECLTYPE_TYPE nodes.
691 * cp-tree.def (DECLTYPE_TYPE): New.
692 * error.c (dump_type): Dump DECLTYPE_TYPE nodes.
693 (dump_type_prefix): Ditto.
694 (dump_type_suffix): Ditto.
695 * tree.c (DECLTYPE_TYPE): Walk DECLTYPE_TYPE nodes.
696 * mangle.c (write_type): Handle DECLTYPE_TYPE.
697 * cp-tree.h (IS_AGGR_TYPE): DECLTYPE_TYPE nodes can be aggregate
698 types.
699 (DECLTYPE_TYPE_EXPR): New.
700 (DECLTYPE_TYPE_ID_EXPR_OR_MEMBER_ACCESS_P): New.
701 (finish_declared_type): Declare.
702 * cxx-pretty-print.c (pp_cxx_type_specifier_seq): Print
703 DECLTYPE_TYPE nodes.
704 (pp_cxx_type_id): Ditto.
705 * pt.c (for_each_template_parm_r): Walk DECLTYPE_TYPE children.
706 (tsubst): Substitute into a DECLTYPE_TYPE node.
707 (tsubst_copy): Ditto.
708 (unify): Cannot deduce anything from TYPEOF_TYPE or DECLTYPE_TYPE
709 nodes.
710 (dependent_type_p_r): DECLTYPE_TYPE types are always dependent.
711 * semantics.c (finish_typeof): TYPEOF_TYPE types need to use
712 structural equality (because we can't hash the expressions).
713 (finish_declared_type): New.
714 * lex.c (reswords): Add "decltype" keyword.
715 * parser.c cp_lexer_next_token_is_decl_specifier_keyword
716 (cp_parser_postfix_expression): Add member_access_only_p to
717 restrict postfix expression to member access expressions.
718 (cp_parser_unary_expression): Update call to
719 cp_parser_postfix_expression to reflect new parameter.
720 (cp_parser_declared_type): New.
721 (cp_parser_simple_type_specifier): Parse decltype types.
723 2007-07-27 Mark Mitchell <mark@codesourcery.com>
725 PR c++/32346
726 * call.c (convert_for_arg_passing): Only widen bitfields to their
727 declared types if necessary.
729 2007-07-25 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
731 * parser.c (cp_parser_string_literal, cp_parser_sizeof_operand):
732 Constify.
734 2007-07-25 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
736 * decl.c (typename_hash, typename_compare): Constify.
737 * mangle.c (hash_type, compare_type): Likewise.
738 * pt.c (eq_local_specializations, hash_local_specialization):
739 Likewise.
740 * tree.c (cplus_array_hash, cplus_array_compare, list_hash_eq,
741 list_hash): Likewise.
742 * typeck2.c (pat_compare): Likewise.
744 2007-07-24 Nathan Sidwell <nathan@codesourcery.com>
746 * method.c (implicitly_declare_fn): Increase alignment if member
747 function pointer format requires it.
749 2007-07-24 Paolo Carlini <pcarlini@suse.de>
751 PR c++/29001
752 * typeck.c (check_return_expr): Do not pass a null argument
753 to null_ptr_cst_p.
755 2007-07-24 Paolo Carlini <pcarlini@suse.de>
757 PR c++/32561
758 * decl.c (redeclaration_error_message): Call DECL_ANON_UNION_VAR_P
759 only on VAR_DECL.
761 2007-07-22 Nathan Sidwell <nathan@codesourcery.com>
763 PR c++/32839
764 * typeck.c (convert_arguments): Only use default args if we have
765 a function decl.
767 PR c++/30818
768 * typeck.c (structural_comptypes): No need to check
769 resolve_typename_type return value here.
770 * cp-tree.h (TYPENAME_IS_RESOLVING_P): New.
771 * pt.c (resolve_typename_type): Follow typename typedefs. Return
772 original type rather than error_mark_node in case of failure.
773 * parser.c (cp_parser_nested_name_specifier_opt): Adjust
774 resolve_typename_type result check.
775 (cp_parser_direct_declarator, cp_parser_head,
776 cp_parser_constructor_declarator_p): Likewise.
778 2007-07-12 Kazu Hirata <kazu@codesourcery.com>
780 * pt.c (template_parms_variadic_p): Remove.
781 * cp-tree.h: Remove the prototype for template_parms_variadic_p.
783 2007-07-12 Jakub Jelinek <jakub@redhat.com>
785 PR c++/30854
786 * error.c (dump_expr) <case AGGR_INIT_EXPR>: Pass true as last
787 argument to dump_aggr_init_expr_args instead of false.
789 2007-07-11 Douglas Gregor <doug.gregor@gmail.com>
791 * typeck.c (comptypes): When USE_CANONICAL_TYPES, use the
792 canonical types; otherwise, fall back to structural type
793 comparisons. If ENABLE_CHECKING and USE_CANONICAL_TYPES, give an
794 internal compiler error if the canonical types are wrong.
796 2007-07-11 Paolo Carlini <pcarlini@suse.de>
798 PR c++/32560
799 * parser.c (cp_parser_make_indirect_declarator): When the
800 the code argument is ERROR_MARK return cp_error_declarator.
802 2007-07-09 Geoffrey Keating <geoffk@apple.com>
804 PR 32617
805 * decl.c (cxx_init_decl_processing): Don't set
806 force_align_functions_log.
807 (grokfndecl): Honour ptrmemfunc_vbit_in_pfn.
808 * typeck.c (cxx_alignof_expr): When alignof is used on a plain
809 FUNCTION_DECL, return its alignment.
811 2007-07-09 Richard Guenther <rguenther@suse.de>
813 * decl.c (start_preparsed_function): Do not promote return type.
815 2007-07-08 Paolo Carlini <pcarlini@suse.de>
817 PR c++/30535
818 * pt.c (unify): Never pass error_mark_node to template_decl_level.
820 2007-07-07 Mark Mitchell <mark@codesourcery.com>
822 PR c++/32232
823 * pt.c (resolve_overloaded_unification): Robustify. Return a
824 bool, not an int.
825 (type_unification_real): Adjust accordingly.
827 2007-07-06 Richard Guenther <rguenther@suse.de>
829 * init.c (build_new_1): Use the correct pointer type.
830 * typeck2.c (build_m_component_ref): Likewise.
832 2007-07-05 Mark Mitchell <mark@codesourcery.com>
834 PR c++/32245
835 * init.c (build_zero_init): Always build an initializer for
836 non-static storage.
837 * typeck2.c (build_functional_cast): Use build_zero_init.
839 PR c++/32251
840 * init.c (build_new_1): Always pass the allocation function to
841 build_op_delete_call.
842 * call.c (build_op_delete_call): Handle operator delete with a
843 variable-argument list. Do not issue an error when no matching
844 deallocation function is available for a new operator.
846 PR c++/31992
847 * cp-tree.h (any_value_dependent_elements_p): Declare it.
848 * decl.c (value_dependent_init_p): New function.
849 (cp_finish_decl): Use it.
850 * pt.c (value_dependent_expression_p): Use
851 any_value_dependent_elements_p.
852 * parser.c (cp_parser_primary_expression): Add comment about
853 treating dependent qualified names as integral
854 constant-expressions.
856 2007-07-04 Douglas Gregor <doug.gregor@gmail.com>
858 * decl.c (build_ptrmemfunc_type): Always use structural equality
859 tests when comparing pointer-to-member-function types, because the
860 handling of TYPE_GET_PTRMEMFUNC_TYPE currently defeats canonical
861 types.
863 2007-07-03 Mark Mitchell <mark@codesourcery.com>
865 * init.c (build_new): Tweak comment.
867 2007-06-29 Dave Brolley <brolley@redhat.com>
869 PR c++/31743
870 * parser.c (cp_parser_new_type_id): Don't reduce a named array
871 type to its base type and number of elements here.
872 * init.c (build_new): Call complete_type_or_else to ensure that the
873 type is complete and to issue a diagnostic if it is not.
874 (build_new_1): Don't call complete_type_or_else here.
876 2007-07-03 Richard Guenther <rguenther@suse.de>
878 PR c++/32609
879 * class.c (fixed_type_or_null): Re-lookup the hashtable slot
880 after recursing.
882 2007-07-02 Simon Baldwin <simonb@google.com>
884 * parser.c (cp_parser_elaborated_type_specifier): Added a warning
885 for inner-style nested forward declarations that don't declare
886 anything useful.
888 2007-07-02 Jakub Jelinek <jakub@redhat.com>
890 PR c++/31748
891 * semantics.c (finish_omp_clauses): Use %qD instead of %qE for
892 DECL_P in not a variable and appears more than once error messages.
894 2007-07-01 Ollie Wild <aaw@google.com>
896 * name-lookup.c (ambiguous_decl): Fix case when new->value is hidden.
897 (select_decl): Remove function.
898 (unqualified_namespace_lookup): Populate binding by calling
899 ambiguous_decl. Remove select_decl call.
900 (lookup_qualified_name): Remove select_decl call.
901 * decl.c (lookup_and_check_tag): Check for ambiguous references.
902 * parser.c (cp_parser_elaborated_type_specifier): Skip redundant error
903 generation when name lookup is ambiguous.
905 2007-06-29 Douglas Gregor <doug.gregor@gmail.com>
907 PR c++/31724
908 * init.c (build_new_1): Use structural equality on the copy of the
909 array type.
911 2007-06-28 Geoffrey Keating <geoffk@apple.com>
913 * decl2.c (determine_visibility): Implement
914 flag_visibility_ms_compat effect on type info.
915 * decl.c (cxx_init_decl_processing): Implement
916 global effect of flag_visibility_ms_compat.
918 2007-06-28 Geoffrey Keating <geoffk@apple.com>
920 * decl2.c (start_objects): Mark constructor-running function
921 as artificial.
923 2007-06-26 Simon Martin <simartin@users.sourceforge.net>
925 PR c++/32111
926 * decl.c (grokdeclarator): Reset friendp for member functions declared
927 friend of their own class.
929 2007-06-23 Mark Mitchell <mark@codesourcery.com>
931 * decl2.c (determine_visibility): Don't look for dllexport here.
932 (determine_visibility_from_class): Tidy.
934 2007-06-18 Simon Baldwin <simonb@google.com>
936 PR c++/31923
937 * parser.c (cp_parser_single_declaration): Added check for storage
938 class other than sc_none in parsed declaration, and a flag to indicate
939 if the call is part of an explicit template specialization parse.
940 * (cp_parser_explicit_specialization): Specialization check flag added
941 to call to cp_parser_single_declaration(), set true.
942 * (cp_parser_template_declaration_after_export): Specialization check
943 flag added to call to cp_parser_single_declaration(), set false.
944 * pt.c (check_explicit_specialization): Added code to copy visiblity
945 and linkage from the templated function to the explicit specialization.
947 2007-06-15 Andrew Pinski <andrew_pinski@playstation.sony.com>
949 * typeck.c (build_binary_op): For templates build the
950 expression in pieces to avoid the assert in build2_stat.
951 (get_member_function_from_ptrfunc):
952 Change over to using POINTER_PLUS_EXPR and convert
953 the second operand to sizetype.
954 * typeck2.c (build_m_component_ref): Likewise.
955 * init.c (expand_virtual_init): Create a POINTER_PLUS_EXPR
956 instead of PLUS_EXPR for pointers.
957 (build_new_1): Likewise.
958 (build_vec_delete_1): Likewise.
959 (build_vec_delete): Likewise.
960 * class.c (build_base_path): Likewise.
961 (build_base_path): Likewise.
962 (convert_to_base_statically): Likewise.
963 (fixed_type_or_null): Handle POINTER_PLUS_EXPR.
964 (get_vtbl_decl_for_binfo): Handle POINTER_PLUS_EXPR
965 instead of PLUS_EXPR.
966 (dfs_accumulate_vtbl_inits): Create a POINTER_PLUS_EXPR
967 instead of PLUS_EXPR for pointers.
968 * call.c (build_special_member_call): Likewise.
969 * rtti.c (build_headof): Likewise.
970 Use sizetype instead of ptrdiff_type_node.
971 (tinfo_base_init): Create a POINTER_PLUS_EXPR
972 instead of PLUS_EXPR for pointers.
973 * except.c (expand_start_catch_block): Do a
974 NEGATIVE and then a POINTER_PLUS_EXPR instead
975 of a MINUS_EXPR.
976 * cp-gimplify.c (cxx_omp_clause_apply_fn): Convert
977 PLUS_EXPR on pointer types over to use
978 POINTER_PLUS_EXPR and remove the conversion
979 to the pointer types.
980 * method.c (thunk_adjust): Use POINTER_PLUS_EXPR for
981 adding to a pointer type. Use size_int instead of
982 ssize_int. Convert the index to sizetype before
983 adding it to the pointer.
985 2007-06-15 Mark Mitchell <mark@codesourcery.com>
987 * cp-tree.h (DECL_VAR_MARKED_P): Remove.
988 (DECL_ANON_UNION_VAR_P): New macro.
989 * class.c (fixed_type_or_null): Tidy. Use a hash table, rather
990 than DECL_VAR_MARKED_P, to keep track of which variables we have
991 seen.
992 * decl.c (redeclaration_error_message): Complain about redeclaring
993 anonymous union members at namespace scope.
994 * decl2.c (build_anon_union_vars): Set DECL_ANON_UNION_VAR_P.
996 2007-06-14 Geoff Keating <geoffk@apple.com>
998 * decl2.c (determine_visibility): Ensure that functions with
999 hidden types as parameters are hidden.
1001 PR 31093
1002 * decl2.c (determine_visibility): Remove duplicate code for
1003 handling type info.
1005 2007-06-12 Ian Lance Taylor <iant@google.com>
1007 PR libstdc++/29286
1008 * init.c (avoid_placement_new_aliasing): New static function.
1009 (build_new_1): Call it.
1011 2007-06-11 Rafael Avila de Espindola <espindola@google.com>
1013 * cp-objcp-common.h (LANG_HOOKS_SIGNED_TYPE): Remove.
1014 (LANG_HOOKS_SIGNED_OR_UNSIGNED_TYPE): Remove.
1016 2007-06-08 Jakub Jelinek <jakub@redhat.com>
1018 PR c++/32177
1019 * semantics.c (finish_omp_for): Call fold_build_cleanup_point_expr
1020 on init, the non-decl cond operand and increment value.
1022 2007-06-07 Simon Martin <simartin@users.sourceforge.net>
1024 PR c++/30759
1025 * decl.c (check_initializer): Report an error when a brace enclosed
1026 initializer is used for a non-aggregate type in C++98.
1027 (redeclaration_error_message): Rewrote flag_cpp0x in terms of
1028 cxx_dialect.
1029 (grokdeclarator): Likewise.
1030 (move_fn_p): Likewise.
1031 * typeck.c (check_return_expr): Likewise.
1032 * call.c (reference_binding): Likewise.
1033 * error.c (cp_cpp_error): Likewise.
1034 * pt.c (check_default_tmpl_args): Likewise.
1035 (tsubst): Likewise.
1036 * lex.c (init_reswords): Likewise.
1037 * parser.c (p_parser_primary_expression): Likewise.
1038 (TOKEN_PRECEDENCE): Likewise.
1039 (cp_parser_init_declarator): Likewise.
1040 (cp_parser_ptr_operator): Likewise.
1041 (cp_parser_parameter_declaration): Likewise.
1042 (cp_parser_enclosed_template_argument_list): Likewise.
1043 (cp_parser_skip_to_end_of_template_parameter_list): Likewise.
1044 (cp_parser_next_token_ends_template_argument_p): Likewise.
1046 2007-06-04 Simon Baldwin <simonb@google.com>
1048 * decl.c (grokdeclarator): Readability change. Moved case labels
1049 into direct switch statement scope.
1051 2007-06-04 Paolo Carlini <pcarlini@suse.de>
1053 * call.c (convert_like_real): Remove pointless code.
1055 2007-05-31 Mark Mitchell <mark@codesourcery.com>
1057 * decl.c (get_atexit_fn_ptr_type): New function.
1058 (get_atexit_node): Use it.
1059 (start_cleanup_fn): Likewise.
1060 (register_dtor_fn): Use the object's destructor, instead of a
1061 separate cleanup function, where possible.
1062 * cp-tree.h (CPTI_ATEXIT_FN_PTR_TYPE): New enumerator.
1063 (atexit_fn_ptr_type_node): New macro.
1064 * decl2.c (build_cleanup): Use build_address.
1066 2007-05-31 Daniel Berlin <dberlin@dberlin.org>
1068 * typeck.c (build_binary_op): Include types in error.
1070 2007-05-31 Jakub Jelinek <jakub@redhat.com>
1072 PR c++/31806
1073 * decl.c (cp_finish_decl): Also clear was_readonly if a static var
1074 needs runtime initialization.
1076 2007-05-31 Paolo Carlini <pcarlini@suse.de>
1078 PR c++/32158
1079 * semantics.c (finish_trait_expr): Complete the types.
1081 2007-05-30 Russell Yanofsky <russ@yanofsky.org>
1082 Douglas Gregor <doug.gregor@gmail.com>
1083 Pedro Lamarao <pedro.lamarao@mndfck.org>
1084 Howard Hinnant <howard.hinnant@gmail.com>
1086 PR c++/7412
1087 PR c++/29939
1088 * typeck.c (comptypes): Don't consider rvalue and lvalue
1089 reference types to be equivalent.
1090 (check_return_expr): Move from certain lvalues when returning
1091 them.
1092 * decl.c (grokdeclarator): Implement reference collapsing.
1093 (copy_fn_p): Don't consider constructors taking rvalue references
1094 to be copy constructors.
1095 (move_fn_p): New.
1096 * call.c (conversion): New "rvaluedness_matches_p" member.
1097 (convert_class_to_reference): Require reference type as first
1098 parameter instead of base type.
1099 (reference_binding): Add logic to handle rvalue references.
1100 (implicit_conversion): Update inaccurate comment.
1101 (convert_like_real): Disable creation of temporaries that are
1102 impossible to initialize for types with move constructors.
1103 (build_over_call): Elide move constructors when possible.
1104 (maybe_handle_implicit_object): Set "rvaluedness_matches_p".
1105 (maybe_handle_ref_bind): Return conversion instead of type node.
1106 (compare_ics): Add logic to use "rvaluedness_matches_p" values to
1107 determine preferred conversion sequences.
1108 * cp-tree.h (TYPE_REF_IS_RVALUE): New.
1109 (LOOKUP_PREFER_RVALUE): New.
1110 (DECL_MOVE_CONSTRUCTOR_P): New.
1111 (struct cp_declarator): Add "reference" member for reference
1112 types, with new "rvalue_ref" flag.
1113 (cp_build_reference_type): Declare.
1114 (move_fn_p): Declare.
1115 * error.c (dump_type_prefix): Format rvalue reference types
1116 correctly in error messages.
1117 * except.c (build_throw): Move from certain lvalues when
1118 throwing.
1119 * mangle.c (write_type): Mangle rvalue references differently
1120 than regular references.
1121 * parser.c (make_reference_declarator): Add boolean parameter for
1122 rvalue references.
1123 (cp_parser_make_indirect_declarator): New.
1124 (cp_parser_new_declarator_opt): Call
1125 cp_parser_make_indirect_declarator.
1126 (cp_parser_conversion_declarator_opt): Ditto.
1127 (cp_parser_declarator): Ditto.
1128 (cp_parser_ptr_operator): Parse "&&" tokens into rvalue reference
1129 declarators.
1130 * pt.c (tsubst): Implement reference collapsing.
1131 (maybe_adjust_types_for_deduction): Implement special template
1132 parameter deduction rule for rvalue references.
1133 (type_unification_real): Update calls to
1134 maybe_adjust_types_for_deduction.
1135 (try_one_overload): Ditto.
1136 (unify_pack_expansion): Ditto.
1137 * tree.c (lvalue_p_1): Handle rvalue reference types.
1138 (cp_build_reference_type): New.
1140 2007-05-30 Jakub Jelinek <jakub@redhat.com>
1142 PR c++/31809
1143 * decl.c (cp_finish_decl): Clear TREE_READONLY flag on TREE_STATIC
1144 variables that need runtime initialization.
1146 2007-05-28 Andrew Pinski <Andrew_pinski@playstation.sony.com>
1148 PR c++/31339
1149 * typeck.c (build_unary_op <case PREINCREMENT_EXPR,
1150 case POSTINCREMENT_EXPR, case PREDECREMENT_EXPR,
1151 case POSTDECREMENT_EXPR>): Return the error_mark_node
1152 if either the real or imaginary parts would an
1153 error_mark_node.
1155 2007-05-25 Simon Martin <simartin@users.sourceforge.net>
1156 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
1158 PR c++/31745
1159 * parser.c (cp_parser_skip_to_closing_brace): Return true if the next
1160 token is a closing brace, false if there are no tokens left.
1161 (cp_parser_namespace_alias_definition): Only consume the next token if
1162 it is a closing brace.
1164 * parser.c (cp_parser_class_specifier): Likewise.
1166 2007-05-25 H.J. Lu <hongjiu.lu@intel.com>
1168 * semantics.c (finish_member_declaration): Fix a typo in the
1169 last checkin.
1171 2007-05-25 Douglas Gregor <doug.gregor@gmail.com>
1173 PR c++/31431
1174 PR c++/31432
1175 PR c++/31434
1176 PR c++/31435
1177 PR c++/31437
1178 PR c++/31438
1179 PR c++/31442
1180 PR c++/31443
1181 PR c++/31444
1182 PR c++/31445
1183 * error.c (dump_type): Dump TYPE_ARGUMENT_PACK nodes.
1184 * cp-tree.h (check_for_bare_parameter_packs): Returns bool.
1185 * pt.c (check_for_bare_parameter_packs): Return bool indicated
1186 whether everything was okay. Fix indentation.
1187 (push_template_decl_real): Check for bare parameter packs in
1188 function parameters; where errors occur, mark the parameter types
1189 with ERROR_MARK_NODEs to avert ICEs.
1190 (coerce_template_parameter_pack): New.
1191 (coerce_template_parms): Moved parameter pack coercion into
1192 coerce_template_parameter_pack, and permit it anywhere in the
1193 template parameter list (not just at the end). Parameter and
1194 argument indices can vary (somewhat) separately now, so add
1195 PARM_IDX and ARG_IDX.
1196 (fn_type_unification): Don't set an argument pack as incomplete if
1197 no argument pack was deduced.
1198 (type_unification_real): If a type parameter is a parameter pack
1199 and has not otherwise been deduced, it will be deduced to an empty
1200 parameter pack.
1201 (more_specialized_fn): Use the actual lengths of the argument
1202 lists when comparing against expansions.
1203 * semantics.c (finish_member_declaration): If a field's type has
1204 bare parameter packs, error and set its type to ERROR_MARK_NODE.
1206 2007-05-24 Danny Smith <dannysmith@users.sourceforge.net>
1208 PR target/27067
1209 * mangle.c (mangle_decl): Call targetm.mangle_decl_assembler_name.
1211 2007-05-22 Ollie Wild <aaw@google.com>
1213 * name-lookup.c (ambiguous_decl): Adds check for hidden types.
1214 (unqualified_namespace_lookup): Adds check for hidden types.
1216 2007-05-22 Ollie Wild <aaw@google.com>
1218 * decl.c (duplicate_decls): Verify namespace names are unique.
1220 2007-05-21 Mark Mitchell <mark@codesourcery.com>
1222 * decl.c (cxx_maybe_build_cleanup): Handle
1223 __attribute__((cleanup)).
1225 2007-05-19 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
1227 * cvt.c (cp_convert_and_check): Don't check warnings if the
1228 conversion failed.
1230 2007-05-18 Geoffrey Keating <geoffk@apple.com>
1232 * mangle.c (write_real_cst): Use 'unsigned long' for %lx.
1234 2007-05-14 Paolo Carlini <pcarlini@suse.de>
1236 PR c++/29928
1237 * rtti.c (get_tinfo_decl_dynamic, get_typeid): Try to complete the
1238 type only if is a class type (5.2.8/4).
1240 2007-05-14 Rafael Avila de Espindola <espindola@google.com>
1242 * cp-objcp-common.h (LANG_HOOKS_UNSIGNED_TYPE): Remove.
1243 * decl.c (grokdeclarator): Use unsigned_type_for instead of
1244 c_common_unsigned_type.
1246 2007-05-11 Silvius Rus <rus@google.com>
1248 * cp/typeck.c (build_indirect_ref): Add call to
1249 strict_aliasing_warning.
1250 (build_reinterpret_cast_1): Condition call to
1251 strict_aliasing_warning.
1253 2007-05-11 Jan Hubicka <jh@suse.cz>
1255 * semantics.c (expand_or_defer_fn): Do not call c_record_cdtor_fn.
1256 * decl2.c (start_objects): ctors and dtors are no longer public.
1257 (cp_write_global_declarations): Do not call c_build_cdtor_fns.
1259 2007-05-07 Andrew Pinski <andrew_pinski@playstation.sony.com>
1261 * typeck.c (build_unary_op): Remove code that used to
1262 handle non lvalue increments/decrements.
1264 2007-05-07 Mike Stump <mrs@apple.com>
1266 * parser.c (check_empty_body): Add.
1267 (cp_parser_iteration_statement): Add call to check_empty_body.
1269 2007-05-05 Geoffrey Keating <geoffk@apple.com>
1271 PR 31775
1272 * mangle.c (write_mangled_name): Mangle static variable names.
1273 (write_unqualified_name): Use local-source-name for
1274 namespace-scope static variables.
1276 2007-05-04 Dirk Mueller <dmueller@suse.de>
1278 * cp-tree.h (DECL_MAIN_P): only if -ffreestanding is
1279 not in effect.
1281 2007-05-02 Seongbae Park <seongbae.park@gmail.com>
1283 PR c++/31663
1284 * decl2.c (constrain_class_visibility):
1285 Use strip_pointer_or_array_types instead of strip_array_types.
1287 2007-04-28 Andrew Pinski <andrew_pinski@playstation.sony.com>
1289 PR C++/30221
1290 * decl.c (reshape_init_r): Don't reshape the first element if it
1291 is a pointer to member function.
1293 2007-04-27 Simon Baldwin <simonb@google.com>
1295 * decl.c (grokparms): Changed message format from %qD to %qE.
1297 2007-04-27 Douglas Gregor <doug.gregor@gmail.com>
1299 * error.c (maybe_warn_variadic_templates): Variadic templates are
1300 now in C++0x, so only warn about them in C++98 mode.
1302 2007-04-26 Andrew Pinski <andrew_pinski@playstation.sony.com>
1304 PR C++/30016
1305 * typeck.c (build_reinterpret_cast_1): Only allow conversion to
1306 integeral types from vectors types.
1308 2007-04-26 Jakub Jelinek <jakub@redhat.com>
1310 PR c++/31598
1311 * semantics.c (finish_omp_clauses): Don't create CP_OMP_CLAUSE_INFO
1312 for type dependent OMP_CLAUSE_DECLs.
1314 2007-04-24 Mark Mitchell <mark@codesourcery.com>
1316 PR c++/31338
1317 * cp-tree.h (ARITHMETIC_TYPE): Include COMPLEX_TYPE.
1318 * typeck.c (type_after_usual_arithmetic_conversions): Adjust, as
1319 COMPLEX_TYPE is now an ARITHMETIC_TYPE.
1320 * init.c (build_zero_init): Adjust, as
1321 COMPLEX_TYPE is now a SCALAR_TYPE.
1322 * typeck2.c (digest_init): Allow brace-enclosed initializers for
1323 COMPLEX_TYPE, even though that is now a SCALAR_TYPE.
1325 2007-04-25 Paolo Carlini <pcarlini@suse.de>
1327 * semantics.c (classtype_has_nothrow_copy_or_assign_p): Adjust
1328 per N2255; rename as classtype_has_nothrow_assign_or_copy_p.
1329 (trait_expr_value): Adjust.
1331 2007-04-23 Simon Baldwin <simonb@google.com>
1333 * decl.c (grokparms): Added new error for duplicate function
1334 parameters names in function prototypes, to match gcc behavior.
1336 2007-04-23 Jan Hubicka <jh@suse.cz>
1338 * cp/decl2.c (finish_objects): Do not call target constructor/destructor
1339 bits dirrectly.
1341 2007-04-21 Andrew Pinski <andrew_pinski@playstation.sony.com>
1343 * cp-tree.h (lang_tree_node): Use GENERIC_NEXT
1344 instead of checking GIMPLE_STMT_P in chain_next.
1346 2007-04-17 Mark Mitchell <mark@codesourcery.com>
1348 PR c++/31513
1349 * call.c (convert_for_arg_passing): Convert bitfields to their
1350 declared types.
1352 2007-04-17 Simon Martin <simartin@users.sourceforge.net>
1354 PR c++/31517
1355 * pt.c (value_dependent_expression_p): Handle MODOP_EXPRs.
1357 2007-04-16 Seongbae Park <seongbae.park@gmail.com>
1359 PR c++/29365
1360 * cp/decl2.c (constrain_class_visibility):
1361 Do not warn about the use of anonymous namespace in the main input file.
1363 2007-04-15 Mark Mitchell <mark@codesourcery.com>
1365 * cp-tree.h (current_template_parms): Fix typo in comment.
1367 2007-04-15 Kazu Hirata <kazu@codesourcery.com>
1369 * cp-tree.h, error.c: Fix comment typos.
1371 2007-04-13 Jason Merrill <jason@redhat.com>
1373 PR c++/31074
1374 * call.c (reference_binding): Add c_cast_p parm. If true,
1375 add quals to TO as needed to make it reference-compatible.
1377 2007-04-11 Jan Hubicka <jh@suse.cz>
1379 * cp/class.c (convert_to_base_statically): Fold produced tree; verify
1380 that we are not processing template_decl.
1382 2007-04-09 Mark Mitchell <mark@codesourcery.com>
1384 PR c++/31449
1385 * class.c (build_base_path): Ensure that the converted pointer has
1386 the same cv-qualification as the input.
1388 2007-04-09 Paolo Carlini <pcarlini@suse.de>
1390 * tree.c (cp_tree_equal): Deal with TRAIT_EXPR.
1392 2007-04-08 Steven Bosscher <steven@gcc.gnu.org>
1394 * cp-objcp-common.h (LANG_HOOKS_TREE_INLINING_ADD_PENDING_FN_DECLS):
1395 Do not set it.
1396 (LANG_HOOKS_TREE_INLINING_ANON_AGGR_TYPE_P): Do not set it.
1397 * tree.c (cp_add_pending_fn_decls): Remove.
1398 * cp-tree.h (cp_add_pending_fn_decls): Remove prototype.
1400 2007-04-07 Daniel Berlin <dberlin@dberlin.org>
1402 Revert change removing staticp.
1404 2007-04-06 Daniel Berlin <dberlin@dberlin.org>
1406 * cp-objcp-common.c (cxx_staticp): Remove.
1407 * cp-objcp-common.h (LANG_HOOKS_STATICP): Remove.
1408 * cp-tree.h (cxx_staticp):
1410 2007-04-04 Danny Smith <dannysmith.users.sourceforge.net>
1412 * class.c (check_for_override): Don't remove dllmport attribute
1413 of virtual methods.
1415 2007-04-03 Jakub Jelinek <jakub@redhat.com>
1417 PR c++/30847
1418 * typeck.c (build_modify_expr): For COND_EXPR on LHS, if RHS has void
1419 type issue error and return early.
1421 2007-03-30 Jason Merrill <jason@redhat.com>
1423 PR c++/31187
1424 * typeck.c (cp_type_readonly): New fn.
1425 * cp-tree.h: Declare it.
1426 * decl.c (start_decl): Set implicit DECL_THIS_STATIC here.
1427 (cp_finish_decl): Not here.
1429 2007-03-31 Richard Guenther <rguenther@suse.de>
1431 * optimize.c (maybe_clone_body): Replace splay-tree usage by
1432 pointer-map.
1434 2007-03-31 Douglas Gregor <doug.gregor@gmail.com>
1436 PR c++/31138
1437 PR c++/31140
1438 PR c++/31141
1439 * parser.c (declarator_can_be_parameter_pack): New.
1440 (cp_parser_template_parameter): Only parse the `...' if the
1441 declarator can be a parameter pack.
1442 (cp_parser_parameter_declaration): Ditto. Also, handle when TYPE
1443 is NULL.
1444 * pt.c (find_parameter_packs_r): Look into the bounds on integer
1445 types (they could be used as array bounds).
1446 (check_for_bare_parameter_packs): Deal with TEMPLATE_PARM_INDEX.
1447 (tsubst_pack_expansion): Handle failure to expand parameter
1448 packs.
1450 2007-03-30 Paolo Carlini <pcarlini@suse.de>
1452 PR c++/26099
1453 * cp-tree.h (enum cp_trait_kind, struct tree_trait_expr,
1454 TRAIT_EXPR_TYPE1, TRAIT_EXPR_TYPE2, TRAIT_EXPR_KIND): Add.
1455 (enum cp_tree_node_structure_enum, union lang_tree_node): Update.
1456 (CLASS_TYPE_NON_UNION_P): Add.
1457 (struct lang_type_class): Add has_complex_dflt.
1458 (TYPE_HAS_COMPLEX_DFLT, TYPE_HAS_TRIVIAL_DFLT): Add.
1459 (locate_copy, locate_ctor, locate_dtor, finish_trait_expr): Declare.
1460 * cp-tree.def: Add TRAIT_EXPR.
1461 * cp-objcp-common.c (cp_tree_size): Add TRAIT_EXPR case.
1462 * lex.c (struct resword): Add __has_nothrow_assign,
1463 __has_nothrow_constructor, __has_nothrow_copy, __has_trivial_assign,
1464 __has_trivial_constructor, __has_trivial_copy,
1465 __has_trivial_destructor, __has_virtual_destructor, __is_abstract,
1466 __is_base_of, __is_class, __is_convertible_to, __is_empty, __is_enum,
1467 __is_pod, __is_polymorphic, __is_union.
1468 * parser.c (cp_parser_primary_expression): Deal with the new RIDs.
1469 (cp_parser_trait_expr): New.
1470 * semantics.c (finish_trait_expr, trait_expr_value
1471 classtype_has_nothrow_copy_or_assign_p): New.
1472 * method.c (locate_copy, locate_ctor, locate_dtor): Do not define
1473 as static.
1474 * decl.c (cp_tree_node_structure): Add TRAIT_EXPR.
1475 * class.c (check_bases, check_field_decl, check_bases_and_members):
1476 Deal with TYPE_HAS_COMPLEX_DFLT (t) too.
1477 * pt.c (uses_template_parms, tsubst_copy_and_build,
1478 value_dependent_expression_p, type_dependent_expression_p): Deal with
1479 TRAIT_EXPR.
1480 * tree.c (cp_walk_subtrees): Deal with TRAIT_EXPR.
1482 2007-03-29 Richard Guenther <rguenther@suse.de>
1484 * tree.c (cp_walk_subtrees): Do not set input_location.
1486 2007-03-28 Simon Martin <simartin@users.sourceforge.net>
1488 PR c++/29077
1489 * decl.c (grokfndecl): Properly setup decl if it is a constructor or a
1490 destructor.
1492 2007-03-28 Douglas Gregor <doug.gregor@gmail.com>
1494 * parser.c (struct cp_parser): Update comment for
1495 greater_than_is_operator_p.
1496 (cp_parser_primary_expression): In C++0x mode, a cast operator can
1497 be terminated with a `>>' token when !GREATER_THAN_IS_OPERATOR_P.
1498 (TOKEN_PRECEDENCE): In C++0x mode, `>>' is treated like `>' when
1499 !GREATER_THAN_IS_OPERATOR_P.
1500 (cp_parser_binary_expression): When -Wc++0x-compat, warn about
1501 `>>' operators that will become two `>' tokens in C++0x.
1502 (cp_parser_parameter_declaration): Treat `>>' like `>' in C++0x
1503 mode, allowing it to terminate default arguments.
1504 (cp_parser_enclosed_template_argument_list): In C++0x mode, treat
1505 `>>' like two consecutive `>' tokens.
1506 (cp_parser_skip_to_end_of_template_parameter_list): Ditto.
1507 (cp_parser_next_token_ends_template_argument_p): In C++0x, `>>'
1508 ends a template argument.
1510 2007-03-28 Douglas Gregor <doug.gregor@gmail.com>
1512 * decl.c (redeclaration_error_message): Complain when redeclaring
1513 a friend function with default template arguments (C++0x mode only).
1514 * cp-tree.h (check_default_tmpl_args): Declare.
1515 * pt.c (check_default_tmpl_args): In C++0x mode, permit default
1516 template arguments in function templates. Add support for checking
1517 the default template arguments of friend templates.
1518 (push_template_decl_real): Fix call to check_default_tmpl_args.
1519 (type_unification_real): If a template parameter has not been
1520 deduced but provides a default template argument, substitute into
1521 that default template argument.
1522 * parser.c (cp_parser_init_declarator): When declaring (but not
1523 defining!) a function template in C++0x mode, check for default
1524 template arguments.
1526 2007-03-28 Douglas Gregor <doug.gregor@gmail.com>
1528 PR c++/29993
1529 * decl.c (grokdeclarator): Deal with cv-qualified function type
1530 typedefs in the same way for member and non-member functions.
1532 2007-03-26 Dirk Mueller <dmueller@suse.de>
1534 * parser.c (cp_parser_member_declaration): Pedwarn
1535 about stray semicolons after member declarations.
1537 2007-03-26 Paolo Carlini <pcarlini@suse.de>
1539 PR c++/30500
1540 * pt.c (instantiate_decl): Set in_system_header.
1542 2007-03-22 Mark Mitchell <mark@codesourcery.com>
1544 * cp-tree.h (current_tempalte_parms): Improve documentation.
1545 * pt.c (current_template_args): Likewise.
1547 PR c++/30863
1548 * parser.c (cp_parser_parse_and_diagnose_invalid_type_name): Do
1549 not consume tokens when failing.
1551 2007-03-22 Jim Wilson <wilson@specifix.com>
1552 Mark Mitchell <mark@codesourcery.com>
1554 PR c++/31273
1555 * call.c (standard_conversion): Use type_decays_to. Keep FCODE
1556 consistent with FROM.
1558 2007-03-22 Gabriel Dos Reis <gdr@integrable-solutions.net>
1560 * error.c (dump_expr): Handle dependent names that designate types.
1561 * cxx-pretty-print.c (pp_cxx_unqualified_id): Handle TYPENAME_TYPE.
1563 2007-03-17 Kazu Hirata <kazu@codesourcery.com>
1565 * cp-tree.def, parser.c, pt.c: Fix comment typos.
1567 2007-03-16 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
1569 * cvt.c (cp_convert_and_check) : Define.
1570 * cp-tree.h (cp_convert_and_check): Declare.
1571 * call.c (convert_conversion_warnings): Rename to
1572 conversion_null_warnings. The warning for floating-point to
1573 integer is handled by convert_and_check in convert_like_real.
1574 (convert_like_real): convert_conversion_warnings was renamed as
1575 conversion_null_warnings.
1576 * typeck.c (build_binary_op): Use cp_convert_and_check to warn for
1577 overflow and changes of value during conversion.
1579 2007-03-15 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
1581 PR c++/30891
1582 * parser.c (cp_parser_statement): If 'namespace' is found, this
1583 only can be a namespace alias definition, so parse it now.
1584 (cp_parser_namespace_alias_definition): if we find an open brace
1585 instead of '=', then this is actually a misplaced namespace
1586 definition.
1588 2007-03-15 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
1590 PR c++/24924
1591 * decl.c (cxx_init_decl_processing): Move command-line options
1592 processing to c-opts.c.
1594 2007-03-15 Douglas Gregor <doug.gregor@gmail.com>
1596 * ptree.c (cxx_print_type): Use formatting markup for integers
1597 when printing template parameter index/level/orig level.
1598 (cxx_print_xnode): Ditto.
1599 * cp-tree.h (TEMPLATE_PARM_PARAMETER_PACK): Use TREE_LANG_FLAG_0.
1600 (struct template_parm_index_s): Remove the PARAMETER_PACK member.
1601 Make INDEX, LEVEL, and ORIG_LEVEL integers instead of
1602 HOST_WIDE_INTs.
1603 (struct saved_scope): Make X_PROCESSING_TEMPLATE_DECL an int,
1604 rather than a HOST_WIDE_INT.
1605 Turn X_PROCESSING_EXPLICIT_INSTANTIATION, SKIP_EVALUATION, and
1606 NEED_POP_FUNCTION_CONTEXT into bool bitfields; reorder fields for
1607 better bit-packing.
1608 (struct language_function): Make RETURNS_VALUE, RETURNS_NULL,
1609 RETURNS_ABNORMALLY, IN_FUNCTION_TRY_HANDLER, and
1610 IN_BASE_INITIALIZER bool bitfields.
1611 (struct cp_declarator): Make KIND a 4-bit field. Make
1612 PARAMETER_PACK_P a bool bitfield just after KIND.
1613 * pt.c (uses_parameter_packs): Destroy the pointer set.
1614 (make_pack_expansion): Ditto.
1615 (check_for_bare_parameter_packs): Ditto.
1616 * name-lookup.c (push_to_top_level): Make need_pop a bool value.
1618 2007-03-14 Andrew Pinski <andrew_pinski@playstation.sony.com>
1620 PR c++/31165
1621 * call.c (convert_default_arg): Instead of copying the node,
1622 unshare it.
1624 2007-03-15 Dirk Mueller <dmueller@suse.de>
1626 PR c++/30860
1627 * call.c (convert_conversion_warnings): New..
1628 (convert_like_real): .. factored out from here.
1629 (convert_conversion_warnings): Add warning about
1630 false being converted to NULL in argument passing.
1632 2007-03-14 Dirk Mueller <dmueller@suse.de>
1634 * cp/semantics.c (c_finish_if_stmt): Call empty_if_body_warning.
1635 (finish_do_body): Warn about empty body in do/while statement.
1637 2007-03-14 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
1639 * class.c (warn_hidden): Add OPT_Woverloaded_virtual to warning.
1641 2007-03-14 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
1643 PR c/21438
1644 * typeck.c (build_binary_op): Call warn_for_div_zero instead of
1645 warning.
1647 2007-03-13 Alexandre Oliva <aoliva@redhat.com>
1649 * cp/repo.c (init_repo): Initialize random_seed saved options.
1650 (finish_repo): Adjust.
1652 2007-03-13 Mark Mitchell <mark@codesourcery.com>
1654 PR bootstrap/30899
1655 * Make-lang.in (doc/g++.1): Use $< to specify the location from
1656 which to copy.
1658 2007-03-12 Seongbae Park <seongbae.park@gmail.com>
1660 * decl.c (compute_array_index_type): New warning flag warn_vla.
1662 2007-03-12 Mark Mitchell <mark@codesourcery.com>
1664 PR c++/30108
1665 * call.c (convert_default_arg): Copy non-constant arguments.
1667 2007-03-11 Mark Mitchell <mark@codesourcery.com>
1669 PR c++/31038
1670 * parser.c (cp_parser_postfix_expression): Disallow compound
1671 literals in constant expressions.
1673 PR c++/30328
1674 * semantics.c (finish_typeof): Use unlowered_expr_type.
1676 2007-03-10 Mark Mitchell <mark@codesourcery.com>
1678 PR c++/30274
1679 * cp-tree.h (unlowered_expr_type): New function.
1680 * typeck.c (is_bitfield_expr_with_lowered_type): Handle
1681 COMPOUND_EXPR, MODIFY_EXPR, and SAVE_EXPR.
1682 (unlowered_expr_type): New function.
1683 (build_unary_op): Disallow predecrements of bool bitfields.
1684 * call.c (build_conditional_expr): Use unlowered_expr_type.
1685 * pt.c (type_unification_real): Likewise.
1687 2007-03-09 Douglas Gregor <doug.gregor@gmail.com>
1689 PR c++/20599
1690 * typeck.c (check_return_expr): Check for bare parameter packs.
1691 (comptypes): Compare template parameter packs and
1692 type pack expansions.
1693 * decl.c (grokdeclarator): Deal with the declaration of function
1694 parameter packs.
1695 (grokparms): Verify that the (optional) function parameter pack is
1696 at the end of the parameter list.
1697 (xref_basetypes): Handle pack expansions in the base class.
1698 (cp_tree_node_structure): Handle ARGUMENT_PACK_SELECT.
1699 * cp-tree.def (TYPE_ARGUMENT_PACK): New.
1700 (NONTYPE_ARGUMENT_PACK): New.
1701 (TYPE_PACK_EXPANSION): New.
1702 (EXPR_PACK_EXPANSION): New.
1703 (ARGUMENT_PACK_SELECT): New.
1704 * cp-objcp-common.c (cp_tree_size): Compute size of
1705 (NON)TYPE_ARGUMENT_PACK, (TYPE|EXPR)_PACK_EXPANSION, and
1706 ARGUMENT_PACK_SELECT.
1707 * error.c (dump_template_argument): Print template argument packs.
1708 (dump_template_argument_list): Ditto.
1709 (dump_template_parameter): Dump `...' for template type parameter
1710 packs.
1711 (dump_type): Dump TYPE_PACK_EXPANSION nodes.
1712 (dump_parameters): Print function parameter packs.
1713 (dump_template_parms): Print template argument packs.
1714 (dump_expr): Dump EXPR_PACK_EXPANSION nodes.
1715 (maybe_warn_variadic_templates): New.
1716 * operators.def: Add ellipsis operator for EXPR_PACK_EXPANSION.
1717 * tree.c (cp_walk_subtrees): Walk BASELINK, TYPE_ARGUMENT_PACK,
1718 NONTYPE_ARGUMENT_PACK, TYPE_PACK_EXPANSION, EXPR_PACK_EXPANSION,
1719 CAST_EXPR.
1720 * mangle.c (write_type): Mangle TYPE_PACK_EXPANSION.
1721 (write_template_arg): Write argument packs as separate arguments.
1722 * cp-tree.h (struct template_parm_index_s): Add flag that
1723 indicates that the template parameter is actually a parameter
1724 pack.
1725 (struct tree_argument_pack_select): New.
1726 (enum cp_tree_node_structure_enum): Add TS_CP_ARGUMENT_PACK_SELECT.
1727 (union lang_tree_node): Add argument_pack_select.
1728 (FUNCTION_PARAMETER_PACK_P): New.
1729 (PACK_EXPANSION_P): New.
1730 (PACK_EXPANSION_PATTERN): New.
1731 (SET_PACK_EXPANSION_PATTERN): New.
1732 (PACK_EXPANSION_PARAMETER_PACKS): New.
1733 (ARGUMENT_PACK_P): New.
1734 (ARGUMENT_PACK_ARGS): New.
1735 (SET_ARGUMENT_PACK_ARGS): New.
1736 (ARGUMENT_PACK_INCOMPLETE_P): New.
1737 (ARGUMENT_PACK_EXPLICIT_ARGS): New.
1738 (TEMPLATE_PARM_PARAMETER_PACK): New.
1739 (TEMPLATE_TYPE_PARAMETER_PACK): New.
1740 (ARGUMENT_PACK_SELECT_FROM_PACK): New.
1741 (ARGUMENT_PACK_SELECT_INDEX): New.
1742 (ARGUMENT_PACK_SELECT_ARG): New.
1743 (struct cp_declarator): Add parameter_pack_p flag.
1744 (maybe_warn_variadic_templates): Declare.
1745 (process_template_parm): Add bool parameter IS_PARAMETER_PACK, to
1746 indicate a template parameter pack.
1747 (uses_parameter_packs): Declare.
1748 (template_parameter_pack_p): Declare.
1749 (template_parms_variadic_p): Declare.
1750 (make_pack_expansion): Declare.
1751 (check_for_bare_parameter_packs): Declare.
1752 * cxx-pretty-print.c (pp_cxx_unary_expression): Print
1753 sizeof... expressions.
1754 (pp_cxx_expression): Print pack expansions and non-type argument
1755 packs.
1756 (pp_cxx_exception_specification): Print pack expansions.
1757 (pp_cxx_direct_declarator): Print ellipsis for parameter packs.
1758 (pp_cxx_ctor_initializer): Print pack expansions.
1759 (pp_cxx_type_id): Print pack expansions.
1760 (pp_cxx_template_argument_list): Print argument packs.
1761 (pp_cxx_template_parameter): Print ellipsis for template parameter
1762 packs.
1763 * pt.c (comp_template_parms): Compare template parameter packs.
1764 (template_parameter_pack_p): New.
1765 (template_parms_variadic_p): New.
1766 (template_args_variadic_p): New.
1767 (make_ith_pack_parameter_name): New.
1768 (struct find_parameter_pack_data): New.
1769 (find_parameter_packs_r): New.
1770 (uses_parameter_packs): New.
1771 (make_pack_expansion): New.
1772 (check_for_bare_parameter_packs): New.
1773 (expand_template_argument_pack): New.
1774 (reduce_template_parm_level): Propagate parameter pack flag.
1775 (process_template_parm): Add is_parameter_pack parameter to state
1776 when the parameter is actually a parameter pack. Create template
1777 parameter packs when is_parameter_pack is true.
1778 (current_template_args): The argument for a template parameter
1779 pack is an argument pack containing a single pack expansion.
1780 (process_partial_specialization): When checking that non-type
1781 argument expressions do not involve template parameters, loop over
1782 the arguments in argument packs separately.
1783 (push_template_decl_real): Check that the type of the declaration
1784 does not have any bare parameter packs. Check that primary
1785 templates have no more than one parameter pack, and that it comes
1786 at the end of the template parameter list.
1787 (convert_template_argument): Handle coercions for pack expansion
1788 expressions by coercing the pattern then rebuilding the expansion.
1789 (coerce_template_parms): When coercing the arguments for a
1790 variadic template, pack "extra" arguments into an argument pack.
1791 (coerce_template_template_parms): Cannot coerce between parameter
1792 packs and non-pack parameters.
1793 (template_args_equal): Compare PACK_EXPANSION_P expressions.
1794 (comp_template_args): Expand all template arguments packs before
1795 comparing template argument lists.
1796 (mangle_class_name_for_template): Make argument packs as separate
1797 template arguments.
1798 (for_each_template_parm_r): No need to handle BASELINK.
1799 (instantiate_class_template): Handle pack expansions in the base
1800 class list.
1801 (tsubst_pack_expansion): New.
1802 (tsubst_template_args): Handle substitutions of argument packs and
1803 pack expansion into template argument lists.
1804 (tsubst_decl): Expand function parameter packs into separate
1805 function parameters.
1806 (tsubst_arg_types): Expand a type pack expansion into separate
1807 argument types.
1808 (tsubst_exception_specification): Handle pack expansions in
1809 exception specifiers.
1810 (tsubst): See through ARGUMENT_PACK_SELECT arguments when
1811 replacing a template parameter with its argument. If we encounter
1812 a substitution for an argument pack, just return the parameter
1813 itself.
1814 (tsubst_copy): sizeof(X...) returns the number of elements in
1815 parameter pack X. See through ARGUMENT_PACK_SELECT when the
1816 PARM_DECL is a parameter pack.
1817 (tsubst_expr): Expression pack expansions and argument packs
1818 cannot show up here; they will all be handled through function
1819 calls, sizeof, and template argument lists.
1820 (tsubst_copy_and_build): sizeof(X...) returns the number of
1821 elements in parameter pack X. Handle pack expansions in TREE_LIST
1822 and CONSTRUCTOR nodes.
1823 (fn_type_unification): Handle "incomplete" explicit template
1824 argument lists that specify some of the arguments for a template
1825 parameter pack.
1826 (type_unification_real): Unify arguments against pack expansions.
1827 (template_parm_level_and_index): New, helper function.
1828 (unify_pack_expansion): New.
1829 (unify): Unify argument packs on an argument-by-argument basis,
1830 handling variadic argument packs as well.
1831 (more_specialized_fn): Handle unification of function parameter
1832 packs. All things being equal, prefer non-variadic function
1833 templates to variadic function templates.
1834 (more_specialized_class): Prefer the variadic class template
1835 partial specialization that binds fewer arguments to a parameter
1836 pack.
1837 (regenerate_decl_from_template): Expand function parameter packs
1838 into separate parameters.
1839 (instantiate_decl): Ditto.
1840 (tsubst_initializer_list): Handle pack expansions for base-class
1841 initializers.
1842 (dependent_type_p_r): Determine dependent types in argument packs
1843 and pack expansions.
1844 (value_dependent_expression_p): Determine value-dependence of
1845 non-type argument packs.
1846 (dependent_template_arg_p): Handle argument packs.
1847 * semantics.c (finish_cond): Check for bare parameter packs.
1848 (finish_expr_stmt): Ditto.
1849 (finish_for_expr): Ditto.
1850 (finish_switch_cond): Ditto.
1851 (finish_mem_initializers): Ditto.
1852 * name-lookup.c (arg_assoc_type): Handle pack expansions and
1853 argument packs.
1854 * decl2.c (cp_build_parm_decl): Mark function parameter packs.
1855 * parser.c (make_declarator): Declarator is not an expansion.
1856 (make_pointer_declarator): Transfer parameter pack flag to outer
1857 declarator.
1858 (make_reference_declarator): Ditto.
1859 (make_ptrmem_declarator): Ditto.
1860 (make_call_declarator): Ditto.
1861 (make_array_declarator): Ditto.
1862 (cp_parser_postfix_expression): Allow pack expansion expressions
1863 in the argument list for a call expression.
1864 (cp_parser_parenthesized_expression_list): Add new parameter
1865 ALLOW_EXPANSION_P. When true, parse the ellipsis to mean "expand
1866 into separate arguments."
1867 (cp_parser_new_placement): Allow pack expansion expressions.
1868 (cp_parser_new_initializer): Ditto.
1869 (cp_parser_mem_initializer_list): Allow ellipsis to create a
1870 base-class initializer expansion.
1871 (cp_parser_mem_initializer): Ditto.
1872 (cp_parser_template_parameter_list): Keep track of whether the
1873 template parameter is a template parameter pack.
1874 (cp_parser_template_parameter): Parse the ellipsis to indicate a
1875 template parameter pack.
1876 (cp_parser_type_parameter): Ditto.
1877 (cp_parser_template_argument_list): Parse the ellipsis to indicate
1878 a pack expansion.
1879 (cp_parser_direct_declarator): Parse the ellipsis to indicate that
1880 this declarator is a parameter pack.
1881 (cp_parser_parameter_declaration): The ellipsis does not end the
1882 parameter declaration, because it might be a parameter pack. Parse
1883 the ellipsis to indicate a parameter pack.
1884 (cp_parser_initializer): Allow pack expansions.
1885 (cp_parser_initializer_list): Allow ellipsis to create an
1886 initializer expansion.
1887 (cp_parser_base_clause): Allow ellipsis to create a base specifier
1888 expansion.
1889 (cp_parser_type_id_list): Allow ellipsis to create an exception
1890 specifier expansion.
1891 (cp_parser_attribute_list): Don't allow pack expansions.
1892 (cp_parser_functional_cast): Allow pack expansions.
1893 (cp_parser_sizeof_operand): Allow ellipsis following "sizeof" to
1894 compute the length of a parameter pack.
1895 (cp_parser_next_token_ends_template_argument_p): An ellipsis can
1896 end a template argument.
1897 * tree.c (cp_walk_subtrees): Walk BASELINK, TYPE_ARGUMENT_PACK,
1898 NONTYPE_ARGUMENT_PACK, TYPE_PACK_EXPANSION, EXPR_PACK_EXPANSION,
1899 CAST_EXPR.
1901 2007-03-09 Dirk Mueller <dmueller@suse.de>
1903 * cp/call.c (build_new_op): Call warn_logical_operator.
1905 2007-03-08 Volker Reichelt <reichelt@netcologne.de>
1907 PR c++/30852
1908 * semantics.c (finish_offsetof): Handle COMPOUND_EXPR.
1910 PR c++/30534
1911 * pt.c (any_template_arguments_need_structural_equality_p):
1912 Robustify.
1914 2007-03-08 Alexandre Oliva <aoliva@redhat.com>
1916 * decl.c (grokdeclarator): Disable warnings for anonymous
1917 bitfields.
1919 2007-03-05 Volker Reichelt <reichelt@netcologne.de>
1921 * typeck2.c (readonly_error): Always emit a hard error.
1922 Remove last argument.
1923 * cp-tree.h (readonly_error): Adjust prototype.
1924 * semantics.c (finish_asm_stmt): Adjust call to readonly_error.
1925 * typeck.c (build_unary_op): Likewise.
1926 (build_modify_expr): Likewise.
1928 2007-03-04 Simon Martin <simartin@users.sourceforge.net>
1930 PR c++/30895
1931 * tree.c (cp_tree_equal): Properly handle COMPLEX_CST trees.
1933 2007-03-03 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
1935 PR c++/15787
1936 * parser.c (struct cp_parser): New IN_IF_STMT.
1937 (cp_parser_statement_seq_opt): Handle an unexpected 'else',
1938 returning if parsing the body of an 'if' statement or issuing an
1939 error and continuing.
1940 (cp_parser_selection_statement): Set IN_IF_STMT bit when parsing
1941 body of 'if'.
1942 (cp_parser_jump_statement): Mask new IN_IF_STMT bit.
1944 2007-03-02 Simon Martin <simartin@users.sourceforge.net>
1946 PR c++/28253
1947 * class.c (update_vtable_entry_for_fn): Properly handle invalid overriders
1948 for thunks.
1950 2007-03-02 Geoffrey Keating <geoffk@apple.com>
1952 * g++spec.c (lang_specific_driver): Add -lstdc++ when compiling
1953 Objective-C++. Don't exit early if -shared-libgcc needs to be
1954 added.
1956 2007-03-02 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
1958 * typeck.c (common_base_type): Delete unused function.
1960 2007-03-01 Brooks Moses <brooks.moses@codesourcery.com>
1962 * Make-lang.in: Add dummy lang.install-pdf target.
1964 2007-03-01 Simon Baldwin <simonb@google.com>
1966 PR c++/23689
1967 * decl.c (check_tag_decl): Added new warning for typedef ignored
1968 when it precedes an otherwise valid non-typedef declaration.
1970 2007-02-28 Sandra Loosemore <sandra@codesourcery.com>
1972 * typeck.c (build_function_call): Store converted arguments
1973 in a stack-allocated array instead of building a list.
1974 (convert_arguments): Store arguments in the array passed in as an
1975 argument, and return the actual number of arguments.
1976 * call.c (build_call): Delete, and replace with...
1977 (build_call_n, build_call_a): New.
1978 (build_op_delete_call): Rewrite to avoid constructing argument lists.
1979 (build_over_call): Store converted arguments in a stack-allocated
1980 array instead of building a list.
1981 (build_cxx_call): Pass arguments in an array instead of as a list.
1982 (build_java_interface_fn_ref): Rewrite to avoid constructing
1983 argument lists.
1984 * tree.h: Update declarations to reflect above changes.
1985 * method.c (use_thunk): Use a stack-allocated array to hold
1986 the arguments instead of a list.
1987 * rtti.c (throw_bad_cast): Update call to cxx_call.
1988 (throw_bad_typeid): Likewise.
1989 (build_dynamic_cast_1): Likewise.
1990 * init.c (build_builtin_delete_call): Use build_call_n.
1991 * decl.c (expand_static_init): Likewise.
1992 * except.c (cp_protect_cleanup_actions): Likewise.
1993 * cp-gimplify.c (genericize_eh_spec_block): Likewise.
1994 (gimplify_must_not_throw_expr): Likewise.
1995 (cxx_omp_apply_fn): Use build_call_a.
1997 2007-02-26 Mark Mitchell <mark@codesourcery.com>
1999 * semantics.c (expand_or_defer_fn): Call c_record_cdtor_fn.
2000 * decl2.c (cp_write_gloabl_declarations): Call c_build_cdtor_fns.
2002 2007-02-25 Mark Mitchell <mark@codesourcery.com>
2004 * cp-tree.h (static_ctors): Remove.
2005 * cp-tree.h (static_dtors): Likewise.
2006 * cp-objcp-common.c (decl_shadowed_for_var_lookup): Adjust for
2007 refactoring of tree_map hierarchy.
2008 (decl_shadowed_for_var_insert): Likewise.
2009 * semantics.c (expand_body): Use c_expand_body.
2010 (expand_or_defer_fn): Don't update static_ctors or static_dtors.
2011 * decl2.c (static_ctors): Remove.
2012 (static_dtors): Likewise.
2013 (generate_ctor_or_dtor_function): Pass NULL_TREE to
2014 objc_generate_static_init_call. Do not call static_[cd]tors.
2015 (generate_ctor_and_dtor_functions_for_priority): Do not check for
2016 static_[cd]tors.
2017 (cp_write_global_declarations): Likewise.
2019 2007-02-23 Richard Guenther <rguenther@suse.de>
2021 * class.c (note_name_declared_in_class): Make declaration
2022 changes meaning a pedwarn.
2024 2007-02-22 Michael Matz <matz@suse.de>
2026 PR c++/29433
2027 * cp-tree.h (TFF_UNQUALIFIED_NAME): New formatting flag.
2028 * error.c (dump_aggr_type, dump_simple_decl, dump_decl,
2029 dump_function_decl): Guard emitting outer scopes by new flag.
2030 * cp-lang.c (cxx_dwarf_name): New function.
2031 (LANG_HOOKS_DWARF_NAME): Define to cxx_dwarf_name.
2032 * pt.c (classtype_mangled_name, mangle_class_name_for_template):
2033 Remove functions.
2034 (push_template_decl_real, lookup_template_class): Remove calls
2035 to above functions.
2037 2007-02-19 Mark Mitchell <mark@codesourcery.com>
2039 * call.c (build_new_method_call): Ensure that explicit calls of
2040 destructors have type "void".
2042 2007-02-19 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
2044 * typeck.c (build_binary_op): Replace -Wstring-literal-comparison
2045 and -Walways-true with -Waddress.
2046 * cvt.c (convert_to_void): Replace unconditional warning with
2047 -Waddress.
2049 2007-02-18 Kazu Hirata <kazu@codesourcery.com>
2051 * decl.c, tree.c: Fix comment typos.
2053 2007-02-15 Andrew Pinski <andrew_pinski@playstation.sony.com>
2055 PR C++/30158
2056 * semantics.c (finish_stmt_expr_expr): Set TREE_TYPE of the
2057 statement expression if we had an error mark node.
2059 2007-02-15 Sandra Loosemore <sandra@codesourcery.com>
2060 Brooks Moses <brooks.moses@codesourcery.com>
2061 Lee Millward <lee.millward@codesourcery.com>
2063 * cp-tree.def (AGGR_INIT_EXPR): Adjust documentation.
2064 Change class to tcc_vl_exp.
2066 * call.c (build_call): Use build_call_list instead
2067 of build3.
2068 (build_over_call): Likewise.
2069 (build_new_method_call): Use build_min_non_dep_call_list
2070 instead of build_min_non_dep.
2072 * error.c (dump_call_expr_args): New function.
2073 (dump_aggr_init_expr_args): New function.
2074 (dump_expr) <AGGR_INIT_EXPR, CALL_EXPR, INDIRECT_REF>: Use them.
2075 Update to use new CALL_EXPR and AGGR_INIT_EXPR accessor macros.
2077 * cvt.c (convert_to_void): Use build_call_array instead
2078 of build3; use new AGGR_INIT_EXPR accessor macros.
2080 * mangle.c (write_expression): Use TREE_OPERAND_LENGTH
2081 instead of TREE_CODE_LENGTH.
2083 * dump.c (cp_dump_tree) <AGGR_INIT_EXPR>: Update to use new
2084 AGGR_INIT_EXPR accessor macros.
2086 * cp-gimplify.c (cp_gimplify_init_expr): Use
2087 AGGR_INIT_EXPR_SLOT to set the slot operand.
2089 * cp-tree.h (AGGR_INIT_EXPR_FN): New macro.
2090 (AGGR_INIT_EXPR_SLOT): New macro.
2091 (AGGR_INIT_EXPR_ARG): New macro.
2092 (aggr_init_expr_nargs): New macro.
2093 (AGGR_INIT_EXPR_ARGP): New macro.
2094 (aggr_init_expr_arg_iterator): New.
2095 (init_aggr_init_expr_arg_iterator): New.
2096 (next_aggr_init_expr_arg): New.
2097 (first_aggr_init_expr_arg): New.
2098 (more_aggr_init_expr_args_p): New.
2099 (FOR_EACH_AGGR_INIT_EXPR_ARG): New.
2100 (stabilize_aggr_init): New declaration.
2101 (build_min_non_dep_call_list): Likewise.
2103 * tree.c (process_aggr_init_operands): New function.
2104 (build_aggr_init_array) New function.
2105 (build_cplus_new): Update to use new CALL_EXPR and
2106 AGGR_INIT_EXPR accessor macros. Replace use of build3 with
2107 build_aggr_init_array.
2108 (build_min_non_dep_call_list) New function.
2109 (build_min_nt): Assert input code parameter is not a variable
2110 length expression class.
2111 (build_min, build_min_non_dep): Likewise.
2112 (cp_tree_equal) <CALL_EXPR>: Iterate through the arguments
2113 to check for equality instead of recursing. Handle tcc_vl_exp
2114 tree code classes.
2115 (stabilize_call): Update to only handle CALL_EXPRs, not
2116 AGGR_INIT_EXPRs; use new CALL_EXPR accessor macros.
2117 (stabilize_aggr_init): New function.
2118 (stabilize_init): Use it.
2120 * cxx-pretty-print.c (pp_cxx_postfix_expression)
2121 <AGGR_INIT_EXPR, CALL_EXPR>: Update to use new CALL_EXPR and
2122 AGGR_INIT_EXPR accessor macros and argument iterators.
2124 * pt.c (tsubst_copy) <CALL_EXPR>: Replace build_nt with
2125 build_vl_exp. Iterate through the operands, recursively
2126 processing each one.
2127 (tsubst_copy_and_build) <CALL_EXPR>: Update to use new
2128 CALL_EXPR accessor macros.
2129 (value_dependent_expression_p) <default>: Handle tcc_vl_exp
2130 tree code classes. Use TREE_OPERAND_LENGTH instead of
2131 TREE_CODE_LENGTH.
2133 * semantics.c (finish_call_expr): Use build_nt_call_list
2134 instead of build_nt.
2135 (simplify_aggr_init_expr): Update to use new AGGR_INIT_EXPR
2136 accessor macros. Use build_call_array to construct the
2137 CALL_EXPR node instead of build3
2139 * decl2.c (build_offset_ref_call_from_tree): Use
2140 build_nt_call_list and build_min_non_dep_call_list instead
2141 of build_min_nt and build_min_non_dep.
2143 * parser.c (cp_parser_postfix_expression) <CPP_OPEN_PAREN>:
2144 Use build_nt_call_list instead of build_min_nt.
2146 2007-02-15 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
2148 PR c++/28943
2149 * call.c (build_conditional_expr): Improve error message.
2151 2007-02-13 Dirk Mueller <dmueller@suse.de>
2153 * friend.c (do_friend): Annotate warning about friend
2154 declarations in templates with OPT_Wnon_template_friend.
2155 Convert informal message from warning() to inform().
2157 2007-02-12 Simon Martin <simartin@users.sourceforge.net>
2158 Mark Mitchell <mark@codesourcery.com>
2160 PR c++/14622
2161 * pt.c (do_decl_instantiation): Detect type mismatches in explicit
2162 instantiations for variables.
2164 2007-02-12 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
2166 PR middle-end/7651
2167 * cp-gimplify.c (gimplify_expr_stmt): Don't check extra_warnings.
2168 Check warn_unused_value just once.
2170 2007-02-11 Mark Mitchell <mark@codesourcery.com>
2172 PR c++/26988
2173 * pt.c (determine_specialization): Use skip_artificial_parms_for.
2174 (fn_type_unificiation): Likewise.
2175 (get_bindings): Likewise.
2177 o2007-02-06 Mark Mitchell <mark@codesourcery.com>
2179 PR target/29487
2180 * decl.c (finish_function): Use DECL_REPLACEABLE.
2181 * tree.c (cp_cannot_inline_tree_fn): Likewise.
2183 2007-02-10 Gabriel Dos Reis <gdr@integrable-solutions.net>
2185 * parser.c (cp_parser_primary_expression): Reformat overly long lines.
2187 2007-02-10 Richard Henderson <rth@redhat.com>, Jakub Jelinek <jakub@redhat.com>
2189 * decl.c (grokvardecl): Don't error if !have_tls.
2190 (grokdeclarator): Likewise.
2191 * parser.c (cp_parser_omp_threadprivate): Likewise.
2193 2007-02-07 Jakub Jelinek <jakub@redhat.com>
2195 PR c++/30703
2196 * cp-gimplify.c (cp_genericize_r): Don't dereference invisiref
2197 parameters and result decls in omp clauses.
2198 (cxx_omp_privatize_by_reference): Pass also invisiref PARM_DECLs
2199 by reference.
2201 2007-02-05 Dirk Mueller <dmueller@suse.de>
2203 PR bootstrap/30510
2204 * parser.c (cp_parser_class_specifier): Always initialize bases.
2206 2007-02-05 Paolo Bonzini <bonzini@gnu.org>
2208 * cp-tree.h (OMP_ATOMIC_CODE): Delete.
2209 (OMP_ATOMIC_DEPENDENT_P): Rewrite.
2210 * pt.c (tsubst_expr): Adjust for new format of dependent OMP_ATOMIC
2211 expressions.
2212 * semantics.c (finish_omp_atomic): Store a whole expression node
2213 in operand 1, and integer_zero_node in operand 0, for dependent
2214 OMP_ATOMIC. Rewrite to make flow easier to understand.
2216 2007-02-03 Gabriel Dos Reis <gdr@integrable-solutions.net>
2218 * decl.c (grokdeclarator): Use OPT_Wreturn_type instead of 0.
2220 2007-02-04 Kazu Hirata <kazu@codesourcery.com>
2222 * class.c, cp-tree.h, decl.c, decl2.c, g++spec.c, init.c,
2223 parser.c, pt.c, tree.c, typeck.c: Follow spelling conventions.
2225 2007-02-03 Douglas Gregor <doug.gregor@gmail.com>
2227 * parser.c (cp_lexer_get_preprocessor_token): Attach the C++0x
2228 keyword warning to -Wc++0x-compat.
2230 2007-02-03 Gabriel Dos Reis <gdr@integrable-solutions.net>
2232 * decl.c (grokdeclarator): Update documentation.
2234 2007-02-02 Jakub Jelinek <jakub@redhat.com>
2236 PR c++/30536
2237 * decl.c (grokdeclarator): If __thread is used together with
2238 a storage class other than extern and static, clear thread_p
2239 after issuing diagnostics and fall through to checking the
2240 storage class.
2242 2007-01-30 Roger Sayle <roger@eyesopen.com>
2244 * error.c (dump_type_suffix): Avoid use of cp_build_binary_op when
2245 calculating the size of an array (to avoid recursive errors).
2247 2007-01-30 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
2249 PR c++/24745
2250 * typeck.c (build_binary_op): Fix logic for warning. Move warning
2251 to -Wpointer-arith.
2252 * call.c (convert_like_real): Don't warn when converting to
2253 boolean type.
2255 2007-01-29 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
2257 * decl.c (pop_label): Replace warning with call to
2258 warn_for_unused_label.
2260 2007-01-28 Andrew Pinski <pinskia@gmail.com>
2262 PR C++/28988
2263 * semantics.c (finish_pseudo_destructor_expr): Check the
2264 destrutor name by calling check_dtor_name.
2266 2007-01-24 Douglas Gregor <dgregor@osl.iu.edu>
2268 * lex.c (D_CPP0X): Rename.
2269 (D_CXX0X): To this.
2270 (reswords): D_CPP0X -> D_CXX0X.
2271 (init_reswords): Ditto.
2272 * parser.c (cp_lexer_get_preprocessor_token): Warn about the use
2273 of C++0x keywords as identifiers.
2275 2007-01-23 Simon Martin <simartin@users.sourceforge.net>
2277 PR c++/27492
2278 * decl.c (duplicate_decls): Don't reset DECL_INVALID_OVERRIDER_P for
2279 function decls.
2281 2007-01-23 Ian Lance Taylor <iant@google.com>
2283 * typeck.c (convert_for_assignment): Only warn about a = b = c
2284 when converting to bool.
2286 2007-01-23 Roger Sayle <roger@eyesopen.com>
2288 * call.c (null_ptr_cst_p): Replace use of TREE_CONSTANT_OVERFLOW with
2289 TREE_OVERFLOW.
2290 * typeck.c (ignore_overflows): Remove the remaining uses of
2291 TREE_CONSTANT_OVERFLOW.
2293 2007-01-20 Jan Hubicka <jh@suse.cz>
2295 * decl2.c (start_objects, start_static_storage_duration_function):
2296 Do not make the functions uninlinable.
2298 2007-01-17 Ian Lance Taylor <iant@google.com>
2300 * class.c (add_method): Call VEC_reserve_exact rather than passing
2301 a negative size to VEC_reserve.
2303 2007-01-11 Simon Martin <simartin@users.sourceforge.net>
2305 PR c++/29573
2306 * tree.c (cp_tree_equal): Properly handle MODOP_EXPR trees.
2308 2007-01-10 Mark Mitchell <mark@codesourcery.com>
2310 PR c++/28999
2311 * decl.c (make_typename_type): If the qualified name is not a
2312 type, issue an error.
2313 * parser.c (cp_parser_elaborated_type_specifier): Fix comment
2314 formatting.
2316 2007-01-08 Geoffrey Keating <geoffk@apple.com>
2318 * rtti.c: Include target.h.
2319 (emit_support_tinfos): If ! targetm.cxx.library_rtti_comdat (),
2320 don't emit typeinfo for fundamental types as weak.
2321 * Make-lang.in (cp/rtti.o): Update and correct dependencies.
2323 2007-01-08 Richard Guenther <rguenther@suse.de>
2325 * cvt.c (cp_convert_to_pointer): Use build_int_cst_type.
2327 2007-01-08 Mark Shinwell <shinwell@codesourcery.com>
2329 * call.c (standard_conversion): Pass flag to
2330 vector_types_convertible_p to disallow emission of note.
2331 * typeck.c (convert_for_assignment): Pass flag to
2332 vector_types_convertible_p to allow emission of note.
2333 (ptr_reasonably_similar): Pass flag to vector_types_convertible_p
2334 to disallow emission of note.
2336 2007-01-07 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
2338 PR c++/28986
2339 * typeck.c (build_binary_op): Call overflow_warning if
2340 TREE_OVERFLOW_P is true for the result and not for any of the
2341 operands.
2343 2007-01-06 Lee Millward <lee.millward@codesourcery.com>
2345 PR c++/19439
2346 * class.c (add_method): Don't wait until template
2347 instantiation time to complain about duplicate methods.
2349 2007-01-05 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
2351 PR c/19978
2352 * semantics.c (finish_unary_op_expr): Warn only if result
2353 overflowed and operands did not.
2355 2007-01-05 Ian Lance Taylor <iant@google.com>
2357 * typeck.c (build_binary_op): Warn about comparing a non-weak
2358 address to NULL.
2360 2007-01-05 Douglas Gregor <doug.gregor@gmail.com>
2362 * pt.c (tsubst): Propagate the need for structural equality checks
2363 when reducing the level of template parameters.
2365 2007-01-03 Kazu Hirata <kazu@codesourcery.com>
2367 * pt.c: Fix a comment typo.
2369 2007-01-02 Ian Lance Taylor <iant@google.com>
2371 * semantics.c (maybe_convert_cond): Optionally warn when using an
2372 assignment as a condition.
2373 * typeck.c (convert_for_assignment): Optionally warn about
2374 assigning the result of an assignment to a bool.
2376 2007-01-02 Douglas Gregor <doug.gregor@gmail.com>
2378 * pt.c (canonical_template_parms): Correct typo in comment.
2380 2007-01-02 Douglas Gregor <doug.gregor@gmail.com>
2382 * typeck.c (structural_comptypes): Renamed from "comptypes".
2383 (comptypes): Use canonical type information to perform fast type
2384 comparison. When VERIFY_CANONICAL_TYPES, verify that the
2385 canonical type comparison returns the same results as we would see
2386 from the current, structural check. Support COMPARE_STRUCTURAL
2387 when we need structural checks.
2388 * decl.c (typename_compare): Fix comment.
2389 (build_typename_type): TYPENAME_TYPE nodes require structural
2390 equality checks, because they resolve different based on the
2391 current class type.
2392 (make_unbound_class_template): UNBOUND_CLASS_TEMPLATE nodes
2393 require structural equality checks (for now).
2394 (build_ptrmemfunc_type): Build the canonical pointer to member
2395 function type.
2396 (compute_array_index_type): Whenever we build a new index type
2397 to represent the size of an array in a template, we need to mark
2398 this index type as requiring structural equality. This goes for
2399 arrays with value-dependent sizes with the current ABI, or all
2400 arrays with ABI-1.
2401 * tree.c (cplus_array_hash): New.
2402 (struct cplus_array_info): New.
2403 (cplus_array_compare): New.
2404 (cplus_array_htab): New.
2405 (build_cplus_array_type_1): Use a hash table to cache the array
2406 types we build. Build the canonical array type for each array
2407 type.
2408 (cp_build_qualified_type_real): When building a cv-qualified array
2409 type, use the hash table of array types and build canonical array
2410 types as necessary.
2411 (bind_template_template_parm): BOUND_TEMPLATE_TEMPLATE_PARM nodes
2412 use structural equality (for now).
2413 * cp-tree.h (COMPARE_STRUCTURAL): New.
2414 * pt.c (canonical_template_parms): New.
2415 (canonical_type_parameter): New.
2416 (process_template_parm): Find the canonical type parameter.
2417 (lookup_template_class): When we have named the primary template
2418 type, set the canonical type for our template class to the primary
2419 template type. If any of the template arguments need structural
2420 equality checks, the template class needs structural equality
2421 checks.
2422 (tsubst): When reducing the level of a template template
2423 parameter, we require structural equality tests for the resulting
2424 parameter because its template parameters have not had their types
2425 canonicalized. When reducing a template type parameter, find the
2426 canonical reduced type parameter.
2427 (any_template_arguments_need_structural_equality_p): New.