OSDN Git Service

2009-08-04 Dodji Seketeli <dodji@redhat.com>
[pf3gnuchains/gcc-fork.git] / gcc / cp / ChangeLog
1 2009-08-04  Dodji Seketeli  <dodji@redhat.com>
2
3         PR debug/39706
4         * error.c (lang_decl_name): Print qualified names for decls
5         in  namespace scope.
6
7 2009-08-03  Jason Merrill  <jason@redhat.com>
8             Jakub Jelinek  <jakub@redhat.com>
9
10         PR c++/40948
11         * init.c (build_vec_init): Look through a TARGET_EXPR around a
12         CONSTRUCTOR.
13
14 2009-07-31  Jason Merrill  <jason@redhat.com>
15             Douglas Gregor  <doug.gregor@gmail.com>
16
17         Remove implicit binding of lvalues to rvalue references (N2831)
18         * call.c (convert_class_to_reference): Binding an lvalue to an
19         rvalue reference is bad.  If the user-defined conversion is bad,
20         set bad_p before merging conversions.
21         (maybe_handle_ref_bind): Don't push down bad_p.
22         (reference_binding): Binding an lvalue to an rvalue reference is bad.
23         (convert_like_real): Give a helpful error about binding lvalue
24         to rvalue reference.
25         (reference_related_p): No longer static.
26         * typeck.c (build_typed_address): New.
27         (build_static_cast_1): Add static_cast from lvalue to &&.
28         * cp-tree.h: Adjust.
29
30 2009-07-31  Jason Merrill  <jason@redhat.com>
31
32         * call.c (reference_binding): Rename lvalue_p to is_lvalue.
33         Do direct binding of "rvalues" in memory to rvalue references.
34         * tree.c (lvalue_p_1): Can't be both non-addressable lvalue and
35         "rvalue" in memory.
36         * typeck.c (build_static_cast_1): Do direct binding of memory
37         "rvalues" to rvalue references.
38         * cvt.c (cp_fold_convert): New.
39         * cp-tree.h: Declare it.
40
41 2009-07-31  Jason Merrill  <jason@redhat.com>
42
43         * typeck.c (build_address): Do fold away ADDR_EXPR of INDIRECT_REF.
44         * tree.c (rvalue): Use cp_build_qualified_type, not TYPE_MAIN_VARIANT.
45
46 2009-07-29  Jason Merrill  <jason@redhat.com>
47
48         PR c++/14912
49         * cp-tree.h (enum tsubst_flags): Add tf_no_class_instantiations.
50         * error.c (count_non_default_template_args): Pass it.
51         * pt.c (tsubst) [TYPENAME_TYPE]: Don't complete type if it's set.
52
53 2009-07-29  Richard Guenther  <rguenther@suse.de>
54
55         PR c++/40834
56         * cp-gimplify.c (cp_genericize_r): Properly walk the BIND_EXPR
57         vars.
58
59 2009-07-26  Simon Martin  <simartin@users.sourceforge.net>
60
61         PR c++/40749
62         * decl.c (grokdeclarator): Do not set TREE_NO_WARNING for functions
63         with a qualified return type.
64
65 2009-07-24  Jason Merrill  <jason@redhat.com>
66
67         Core issue 901
68         * call.c (build_op_delete_call): If this is for a new-expression
69         and the op delete is deleted, do nothing.
70
71         Core issue 702
72         * call.c (compare_ics): Give list-initialization of std::init_list
73         priority over conversion to scalar, too.
74
75 2009-07-22  Jason Merrill  <jason@redhat.com>
76
77         * mangle.c (mangle_type_string_for_rtti): Rename to be clearer.
78         (needs_fake_anon): New.
79         (write_name): Check it.
80         (write_nested_name): Add a fake anonymous namespace scope if true.
81         * name-lookup.c (get_anonymous_namespace_name): No longer static.
82         * rtti.c, cp-tree.h: Adjust.
83
84 2009-07-22  Richard Guenther  <rguenther@suse.de>
85
86         PR c++/40799
87         * cp-gimplify.c (cp_gimplify_expr): Move handling of using
88         related exprs to ...
89         (cp_genericize_r): ... genericization stage.
90         (cp_genericize): Adjust.
91
92 2009-07-21  Jason Merrill  <jason@redhat.com>
93
94         Core issue 934
95         * call.c (reference_binding): Implement binding to { }.
96         (initialize_reference): Binding temporary to non-const && is fine.
97         * decl.c (grok_reference_init): Remove error for CONSTRUCTOR.
98
99         * decl.c (reshape_init_r): { T } is not an aggregate initializer
100         for class T.
101
102 2009-07-17  Richard Guenther  <rguenther@suse.de>
103
104         PR c/40401
105         * decl.c (finish_function): Do not emit unused result warnings
106         from here.
107         * cp-objcp-common.h (LANG_HOOKS_POST_GIMPLIFY_PASS): Use
108         c_warn_unused_result_pass.
109         * semantics.c (expand_or_defer_fn): Adjust assertion about IL status.
110         * optimize.c (clone_body): Clone in GENERIC.
111         (maybe_clone_body): Do not clear DECL_SAVED_TREE.
112         * decl2.c (cp_write_global_declarations): Fix body test.
113         Do not call cgraph_optimize.
114         * Make-lang.in (optimize.o): Add tree-iterator.h dependency.
115         * method.c (use_thunk): Register thunk with
116         cgraph_finalize_function.
117         * error.c (function_category): Guard access of DECL_LANG_SPECIFIC.
118
119 2009-07-17  Richard Guenther  <rguenther@suse.de>
120
121         * init.c (build_vec_delete_1): Do not set DECL_REGISTER on the
122         temporary pointer.
123
124 2009-07-17  Aldy Hernandez  <aldyh@redhat.com>
125             Manuel López-Ibáñez  <manu@gcc.gnu.org>
126
127         PR 40435 
128         * typeck.c, init.c, class.c, method.c, rtti.c, except.c, error.c,
129         tree.c, cp-gimplify.c, cxx-pretty-print.c, pt.c, semantics.c,
130         call.c, cvt.c, mangle.c: Add location argument to
131         fold_{unary,binary,ternary}, fold_build[123], build_call_expr,
132         build_size_arg, build_fold_addr_expr, build_call_array,
133         non_lvalue, size_diffop, fold_build1_initializer,
134         fold_build2_initializer, fold_build3_initializer,
135         fold_build_call_array, fold_build_call_array_initializer,
136         fold_single_bit_test, omit_one_operand, omit_two_operands,
137         invert_truthvalue, fold_truth_not_expr, build_fold_indirect_ref,
138         fold_indirect_ref, combine_comparisons, fold_builtin_*,
139         fold_call_expr, build_range_check, maybe_fold_offset_to_address,
140         round_up, round_down.
141
142 2009-07-16  Jason Merrill  <jason@redhat.com>
143
144         PR libstdc++/37907
145         Split POD into "standard-layout" and "trivial" as per N2230,
146         Support std::is_standard_layout and std::is_trivial traits.
147         * cp-tree.h (enum cp_trait_kind): Add CPTK_IS_STD_LAYOUT,
148         CPTK_IS_TRIVIAL.
149         (struct lang_type_class): Add non_std_layout.
150         (CLASSTYPE_NON_STD_LAYOUT): New.
151         * class.c (check_bases): Set it.
152         (check_field_decls): Likewise.
153         (check_bases_and_members): Likewise.
154         * parser.c (cp_parser_primary_expression): Handle RID_IS_STD_LAYOUT,
155         RID_IS_TRIVIAL.
156         (cp_parser_trait_expr): Likewise.
157         * semantics.c (trait_expr_value): Handle CPTK_IS_STD_LAYOUT,
158         CPTK_IS_TRIVIAL.
159         (finish_trait_expr): Likewise.
160         * tree.c (scalarish_type_p, trivial_type_p, std_layout_type_p): New.
161         (pod_type_p): Use them.
162         (type_has_nontrivial_copy_init, type_has_nontrivial_default_init): New.
163
164         Adjust bits of the language that no longer refer to POD types.
165         * call.c (convert_arg_to_ellipsis): Use type_has_nontrivial_copy_init
166         and TYPE_HAS_NONTRIVIAL_DESTRUCTOR rather than pod_type_p.
167         (build_x_va_arg): Likewise.
168         (call_builtin_trap): Remove.
169         * decl.c (declare_local_label): Use type_has_nontrivial_default_init
170         and TYPE_HAS_NONTRIVIAL_DESTRUCTOR rather than pod_type_p.
171         (cp_finish_decl): Likewise.
172         (check_previous_goto_1, check_goto): Adjust error.
173         * typeck.c (build_class_member_access_expr): Check
174         CLASSTYPE_NON_STD_LAYOUT rather than CLASSTYPE_NON_POD_P.
175
176 2009-07-14  Taras Glek  <tglek@mozilla.com>
177             Rafael Espindola  <espindola@google.com>
178
179         * Make-lang.in: Added CP_PLUGIN_HEADERS and
180         c.install-target to export cp-tree.h cxx-pretty-print.h
181         name-lookup.h headers for plugins.
182
183 2009-07-14  Jason Merrill  <jason@redhat.com>
184
185         PR c++/37276
186         * decl.c (decls_match): A non-extern-C declaration doesn't match
187         a builtin extern-C declaration.
188
189         PR c++/40746
190         * name-lookup.c (qualified_lookup_using_namespace): Don't stop
191         looking in used namespaces just because we found something on
192         another branch.
193
194         PR c++/40740
195         * semantics.c (perform_koenig_lookup): Handle empty template args.
196
197         * call.c (build_over_call): Use can_trust_pointer_alignment.
198
199 2009-07-14  Dodji Seketeli  <dodji@redhat.com>
200
201         PR debug/40705
202         PR c++/403057
203         * decl2.c (grokfield): Don't call set_underlying_type on typedef
204         decls that are type names.
205
206 2009-07-13  Andrew Pinski  <andrew_pinski@playstation.sony.com>
207
208         PR C++/22154
209         * parser.c (cp_parser_elaborated_type_specifier): Accept typename in
210         front of qualified names.
211
212 2009-07-12  Jason Merrill  <jason@redhat.com>
213
214         PR c++/36628
215         * tree.c (rvalue): Use lvalue_or_rvalue_with_address_p.
216
217         PR c++/37206
218         * cp-tree.h (enum cp_lvalue_kind_flags): Add clk_rvalueref.
219         * tree.c (lvalue_p_1): Return it.  Remove
220         treat_class_rvalues_as_lvalues parm.
221         (real_lvalue_p): Disallow pseudo-lvalues here.
222         (lvalue_or_rvalue_with_address_p): New fn.
223         * call.c (initialize_reference): Use it instead of real_lvalue_p.
224
225         PR c++/40689
226         * init.c (build_new_1): Handle initializer list as array initializer.
227         (build_vec_init): Likewise.
228         * typeck.c (cp_build_modify_expr): Likewise.
229         * typeck2.c (process_init_constructor_array): Error rather than abort
230         if too many initializers.
231
232 2009-07-10  Jakub Jelinek  <jakub@redhat.com>
233
234         PR c++/40502
235         * error.c (cp_print_error_function): Check for NULL block.
236
237 2008-07-09  Simon Martin  <simartin@users.sourceforge.net>
238             Jason Merrill  <jason@redhat.com>
239
240         * pt.c (perform_typedefs_access_check, get_types_needing_access_check,
241         append_type_to_template_for_access_check_1): Use CLASS_TYPE_P.
242
243 2009-07-09  Dodji Seketeli  <dodji@redhat.com>
244
245         PR c++/40684
246         * pt.c (type_unification_real): Use tsubst_template_arg instead
247         of tsubst to substitute default template arguments.
248
249 2009-07-08  Manuel López-Ibáñez  <manu@gcc.gnu.org>
250
251         PR c++/31246
252         * init.c (build_new_1): Set TREE_NO_WARNING for compiler-generated
253         code.
254         * cp-gimplify.c (genericize_eh_spec_block): Likewise.
255         
256
257 2009-07-07  Jason Merrill  <jason@redhat.com>
258
259         PR c++/35828
260         * pt.c (tsubst_decl): Don't abort if we didn't change anything
261         in a TEMPLATE_DECL's args.
262
263 2009-07-07  Manuel López-Ibáñez  <manu@gcc.gnu.org>
264
265         * semantics.c (finalize_nrv_r): Replace EXPR_LOCUS by
266         EXPR_LOCATION.
267         
268 2009-07-07  Jason Merrill  <jason@redhat.com>
269
270         PR c++/37816
271         * decl.c (build_enumerator): Don't add enumerators for a
272         scoped enum to the enclosing class.
273
274         PR c++/40639
275         * decl.c (start_enum): Allow dependent underlying type.
276
277         PR c++/40633
278         * decl.c (finish_enum): Finish scope even in a template.
279
280 2009-07-07  Manuel López-Ibáñez  <manu@gcc.gnu.org>
281
282         * init.c: Replace %J by an explicit location. Update all calls.
283         * decl.c: Likewise.
284         * typeck2.c: Likewise.
285         * pt.c: Likewise.
286         * name-lookup.c: Likewise.
287         
288 2009-07-06  Manuel López-Ibáñez  <manu@gcc.gnu.org>
289
290         * decl.c: Replace %H by an explicit location. Update all calls.
291         * except.c: Likewise.
292         * semantics.c: Likewise.
293         * parser.c: Likewise.
294
295 2009-07-06  Simon Martin  <simartin@users.sourceforge.net>
296
297         PR c++/40557
298         * pt.c (perform_typedefs_access_check, get_types_needing_access_check,
299         append_type_to_template_for_access_check_1): Use
300         RECORD_OR_UNION_CODE_P.
301
302 2009-07-04  Jason Merrill  <jason@redhat.com>
303
304         * pt.c (retrieve_specialization): Don't get confused by a
305         using-declaration that brings in another instance of this template
306         from a base class.
307
308         * ptree.c (cxx_print_type): Fix logic.
309
310         * cp-tree.h (LANG_DECL_FN_CHECK): Fix non-checking version.
311
312         PR c++/40619
313         * cp-tree.h (struct lang_decl_parm): New.
314         (struct lang_decl): Add it.
315         (LANG_DECL_PARM_CHECK): New.
316         (DECL_PARM_INDEX): New.
317         * decl2.c (parm_index): Remove.
318         * lex.c (retrofit_lang_decl): Handle parms.
319         (cxx_dup_lang_specific_decl): Likewise.
320         * mangle.c (write_expression): Adjust.
321         * tree.c (cp_tree_equal): Adjust.
322         (decl_linkage): Only check DECL_COMDAT for functions and variables.
323         * parser.c (cp_parser_parameter_declaration_list): Set
324         DECL_PARM_INDEX.
325         * pt.c (iterative_hash_template_arg): Hash it.
326
327 2009-07-03  Jason Merrill  <jason@redhat.com>
328
329         * cp-tree.h (struct lang_decl): Overhaul.
330         (struct lang_decl_flags): Remove.
331         (struct lang_decl_base): New.
332         (struct lang_decl_min): New.
333         (struct lang_decl_fn): New.
334         (struct lang_decl_ns): New.
335         (CAN_HAVE_FULL_LANG_DECL_P): Replace with LANG_DECL_HAS_MIN.
336         (LANG_DECL_MIN_CHECK): New.
337         (LANG_DECL_FN_CHECK): New.
338         (LANG_DECL_NS_CHECK): New.
339         (STRIP_TEMPLATE): New.
340         (NON_THUNK_FUNCTION_CHECK): Remove.
341         (DECL_DECLARES_FUNCTION_P): New.
342         (lots): Adjust.
343         * lex.c (retrofit_lang_decl, cxx_dup_lang_specific_decl): Adjust.
344         * decl.c (push_local_name, duplicate_decls): Adjust.
345         * decl2.c (start_objects): Don't set u2sel.
346         * semantics.c (finish_omp_threadprivate): Adjust.
347         * class.c (build_clone): Don't do much on TEMPLATE_DECLs.
348         (decl_cloned_function_p): Out-of-line implementation of macros.
349         (clone_function_decl, adjust_clone_args): Use DECL_CLONED_FUNCTION_P.
350         * mangle.c (write_unqualified_name): Don't check function flags
351         on non-functions.
352         * method.c (make_alias_for): Don't set DECL_CLONED_FUNCTION.
353         * pt.c (build_template_decl): Don't set function flags.
354         (check_default_tmpl_args): Check that it's a function.
355         (instantiate_template): Use DECL_ABSTRACT_ORIGIN to find the
356         cloned template.
357
358         * pt.c (tsubst_decl) [FUNCTION_DECL]: Don't tsubst
359         DECL_CLONED_FUNCTION.
360
361         * cp-tree.h (struct lang_type_class): Move sorted_fields here.
362         * class.c (finish_struct_1): Adjust.
363         * ptree.c (cxx_print_decl, cxx_print_type): Adjust.
364         * search.c (lookup_field_1): Adjust.
365
366         * cp-tree.h (CLASSTYPE_INLINE_FRIENDS): Remove.
367         * decl.c (finish_method): Don't add to it.
368         * class.c (fixup_pending_inline): Remove.
369         (fixup_inline_methods): Remove.
370         (finish_struct_1): Don't call it.
371
372         * error.c (dump_function_name): Handle null name.
373
374 2009-07-02  Mark Mitchell  <mark@codesourcery.com>
375
376         * typeck.c (cp_build_binary_op): Move warnings about use of NULL
377         in arithmetic earlier and allow comparisions of NULL with
378         pointers-to-members.
379
380 2009-07-02  Jason Merrill  <jason@redhat.com>
381
382         Use hash tables for template specialization lookup.
383         * pt.c (struct spec_entry): New type.
384         (decl_specializations, type_specializations): New hash tables.
385         (register_specialization, retrieve_specialization): Use them.
386         (reregister_specialization, lookup_template_class): Use them.
387         (eq_specializations, hash_tmpl_and_args, hash_specialization): New.
388         (iterative_hash_template_arg): New.
389         (init_template_processing): New
390         (process_partial_specialization): Don't look to see if we already
391         have this partial specialization.
392         (maybe_process_partial_specialization): Handle reassigning
393         full specializations when we get an explicit specialization
394         of the partial instantiation.
395         (tsubst_friend_function): Adjust specialization reassignment code.
396         (instantiate_template): Only do one lookup.
397         (instantiate_decl): Don't do any lookup.
398         * cp-tree.h: Declare init_template_processing.
399         * decl.c (duplicate_decls): Pass args to reregister_specialization.
400
401 2009-07-01  Jason Merrill  <jason@redhat.com>
402
403         * cp-tree.h (DECL_CLASS_TEMPLATE_P): Use DECL_IMPLICIT_TYPEDEF_P.
404
405         * pt.c (register_specialization): Use duplicate_decls to merge
406         the argument with a previous specialization.
407         (check_explicit_specialization): Call register_specialization to
408         merge the TEMPLATE_DECL with a previous version.
409         (determine_specialization): Return the args even if fn is a template.
410
411 2009-07-01  Ian Lance Taylor  <iant@google.com>
412
413         * g++spec.c (lang_specific_driver): Bump num_args by 1.
414
415 2009-06-30  Jason Merrill  <jason@redhat.com>
416
417         PR c++/40595
418         * pt.c (tsubst_pack_expansion): Handle unexpanded packs in an
419         EXPR_PACK_EXPANSION.
420
421 2009-06-29  Jason Merrill  <jason@redhat.com>
422
423         PR c++/40274
424         * error.c (dump_template_parms): Pass all args to
425         count_non_default_template_args.
426         (count_non_default_template_args): Pull out the inner ones.
427
428 2009-06-26  H.J. Lu  <hongjiu.lu@intel.com>
429
430         * decl.c (duplicate_decls): Re-indent.
431
432 2009-06-25  Ian Lance Taylor  <iant@google.com>
433
434         * call.c (avoid_sign_compare_warnings): New static function.
435         (build_new_op): Call it.
436         * typeck.c (cp_build_binary_op): Don't call warn_sign_compare if
437         TREE_NO_WARNING is set on either operand.
438
439 2009-06-25  Ian Lance Taylor  <iant@google.com>
440
441         * g++spec.c (SKIPOPT): define.
442         (lang_specific_driver): Handle -static-libstdc++.  Only add
443         LIBSTDCXX_STATIC if we add LIBSTDCXX.
444
445 2009-06-25  Ian Lance Taylor  <iant@google.com>
446
447         * cvt.c (convert_to_void): Only warn about COND_EXPR if neither
448         the second nor third operand has side effects.
449
450 2009-06-25  Ian Lance Taylor  <iant@google.com>
451
452         * parser.c (cp_parser_binary_expression): Increment
453         c_inhibit_evaluation_warnings while parsing the right hand side of
454         "true || x" or "false && x".
455         * typeck.c (cp_build_binary_op): Only call warn_for_sign_compare
456         if c_inhibit_evaluation_warnings is zero.
457
458 2009-06-24  Jason Merrill  <jason@redhat.com>
459
460         * error.c (dump_decl): Do say "typedef" for the injected class name.
461
462         * pt.c (lookup_template_class): Use currently_open_class,
463         compare template args later.
464
465         PR c++/40342
466         * decl.c (decls_match): Check DECL_TI_TEMPLATE too.
467         * class.c (resolve_address_of_overloaded_function): Fix typo.
468
469 2009-06-18  Aldy Hernandez  <aldyh@redhat.com>
470
471         * class.c (get_vtable_decl): Replace finish_decl with cp_finish_decl.
472         * decl.c (finish_decl): Remove.
473         (declare_global_var): Replace finish_decl with cp_finish_decl.
474         (start_method): Same.
475         * rtti.c (emit_tinfo_decl): Same.
476         * pt.c (tsubst_expr): Same.
477         (instantiate_decl): Same.
478         * decl2.c (grokbitfield): Same.
479         * name-lookup.c (pushdecl_top_level_1): Same.
480         * cp-tree.h: Remove finish_decl.
481
482 2009-06-16  David Edelsohn  <edelsohn@gnu.org>
483
484         * g++-spec.c (LIBSTDCXX_STATIC): Default to NULL.
485         (lang_specific_driver): Always allocate extra argument.
486         Add LIBSTDCXX_STATIC to arglist if defined and linking
487         statically.
488
489 2009-06-16  Ian Lance Taylor  <iant@google.com>
490
491         * Make-lang.in (cp/class.o): Depend upon gt-cp-class.h.
492         (cp/semantics.o): Depend upon gt-cp-semantics.h.
493
494 2009-06-16  Ian Lance Taylor  <iant@google.com>
495
496         * parser.c (cp_unevaluated_operand): Define global variable.
497         (cp_parser_question_colon_clause): Increment
498         c_inhibit_evaluation_warnings when evaluating an expression which
499         will never be executed.
500         (cp_parser_decltype): Increment cp_unevaluated_operand and
501         c_inhibit_evaluation_warnings, not skip_evaluation.
502         (cp_parser_sizeof_operand): Likewise.
503         (cp_parser_enclosed_template_argument_list): Save
504         cp_unevaluated_operand and c_inhibit_evaluation_warnings, not
505         skip_evaluation.
506         * cp-tree.h (struct saved_scope): Remove skip_evaluation field.
507         Add unevaluated_operand and inhibit_evaluation_warnings fields.
508         (cp_unevaluated_operand): Declare.
509         * name-lookup.c (push_to_top_level): Save cp_unevaluated_operand
510         and c_inhibit_evaluation_warnings rather than skip_evaluation.
511         (pop_from_top_level): Restore cp_unevaluated_operand and
512         c_inhibit_evaluation_warnings rather than skip_evaluation.
513         * class.c (build_base_path): Check cp_unevaluated_operand rather
514         than skip_evaluation.
515         * typeck.c (build_class_member_access_expr): Likewise.
516         (cp_build_binary_op): Don't warn about bad shift counts if
517         c_inhibit_evaluation_warnings is non-zero.
518         * pt.c (coerce_template_parms): Save state of
519         cp_unevaluated_operand and c_inhibit_evaluation_warnings, not
520         skip_evaluation.
521         (tsubst_aggr_type): Likewise.
522         (tsubst_pack_expansion): Check cp_unevaluated_operand rather than
523         skip_evaluation.
524         (tsubst_copy): Likewise.
525         (tsubst): Set cp_unevaluated_operand and
526         c_inhibit_evaluation_warnings, not skip_evaluation.
527         (tsubst_copy_and_build): Likewise.
528         * call.c (convert_arg_to_ellipsis): Check cp_unevaluated_operand
529         rather than skip_evaluation.
530         * decl2.c (mark_used): Likewise.
531         * semantics.c (finish_non_static_data_member): Likewise.
532         * cvt.c (cp_convert_and_check): Check
533         c_inhibit_evaluation_warnings rather than skip_evaluation.
534         * mangle.c (write_type): Set cp_unevaluated_operand rather than
535         skip_evaluation.
536
537 2009-06-15  Ian Lance Taylor  <iant@google.com>
538
539         * parser.c (cp_parser_direct_declarator): Add braces around
540         variables declared before label.
541
542 2009-06-15  Rafael Avila de Espindola  <espindola@google.com>
543
544         * cp-objcp-common.h (LANG_HOOKS_COMDAT_GROUP): Remove.
545         * cp-tree.h (cxx_comdat_group): Change signature.
546         * decl.c (duplicate_decls): Use DECL_COMDAT_GROUP.
547         (cxx_comdat_group): Change signature.
548         * decl2.c (comdat_linkage, maybe_make_one_only): Update call to
549         make_decl_one_only.
550         (constrain_visibility, get_guard): Use DECL_COMDAT_GROUP.
551         * method.c (use_thunk): Update call to make_decl_one_only.
552         * optimize.c (maybe_clone_body): Use DECL_COMDAT_GROUP
553
554 2009-06-12  Aldy Hernandez  <aldyh@redhat.com>
555
556         * typeck.c (cp_build_binary_op): Pass location to overflow_warning.
557         (build_modify_expr): New arg.
558         * semantics.c (finish_unary_op_expr): Pass location to
559         overflow_warning.
560         (handle_omp_for_class_iterator): Pass location to build_modify_expr.
561         * typeck.c (cxx_sizeof_or_alignof_type): Pass location to
562         c_sizeof_or_alignof_type.
563         (build_array_ref): New argument.
564         (build_compound_expr): Same.
565         (build_const_cast): Same.
566         (build_ptrmemfunc): Pass location to build_c_cast.
567         * init.c (avoid_placement_new_aliasing): Pass location to
568         build_stmt.
569         (build_vec_delete_1): Pass location to cp_build_modify_expr,
570         build_compound_expr.
571         * class.c (build_vtbl_ref_1): Pass location to build_array_ref.
572         * decl.c (poplevel): Pass location to c_build_bind_expr.
573         (finish_case_label): Pass location to build_case_label.
574         (finish_constructor_body): Same.
575         (finish_destructor_body): Pass location to build_stmt.
576         (cxx_maybe_build_cleanup): Same, but to build_compound_expr.
577         * call.c (build_new_op): Pass location to build_array_ref.
578         (build_x_va_arg): Pass location to build_va_arg.
579         * except.c (expand_end_catch_block): Pass location to
580         build_stmt.
581         * cp-tree.h (build_array_ref): New argument.
582         (build_compound_expr): Same.
583         (build_c_cast): Same.
584         * cp-gimplify.c (gimplify_if_stmt): Pass location on down.
585         (gimplify_switch_stmt): Same.
586         * typeck2.c (split_nonconstant_init_1): Same.
587         * pt.c (tsubst_copy): Same.
588         * semantics.c (add_decl_expr): Same.
589         (do_poplevel): Same.
590         (push_cleanup): Same.
591         (finish_goto_stmt): Same.
592         (finish_expr_stmt): Same.
593         (begin_if_stmt): Same.
594         (begin_while_stmt): Same.
595         (begin_do_stmt): Same.
596         (finish_return_stmt): Same.
597         (begin_for_stmt): Same.
598         (finish_break_stmt): Same.
599         (finish_continue_stmt): Same.
600         (begin_switch_stmt): Same.
601         (begin_try_block): Same.
602         (begin_handler): Same.
603         (finish_asm_stmt): Same.
604         (finish_label_stmt): Same.
605         (finish_stmt_expr_expr): Same.
606         (finalize_nrv_r): Same.
607         (finish_omp_atomic): Same.
608         * name-lookup.c (do_using_directive): Same.
609         * decl2.c (grok_array_decl): Same.
610         * parser.c (cp_parser_cast_expression): Same.
611         (cp_parser_selection_statement): Same.
612         (cp_parser_implicitly_scoped_statement): Same.
613         (cp_parser_objc_selector_expression): Same.
614         (cp_parser_objc_synchronized_statement): Same.
615         (cp_parser_objc_throw_statement): Same.
616         (cp_parser_omp_critical): Same.
617         (cp_parser_omp_master): Same.
618         * typeck.c (build_function_call): Add location argument.
619         * init.c: Add location argument to all build_decl calls.
620         * class.c: Same.
621         * method.c: Same.
622         * rtti.c: Same.
623         * tree.c: Same.
624         * pt.c: Same.
625         * semantics.c: Same.
626         * lex.c: Same.
627         * decl2.c: Same.
628         * cp-gimplify.c: Same.
629         * decl.c: Same.
630         (cp_make_fname_decl): Add location argument.  Pass location ot
631         build_decl.
632         (finish_case_label): Same.
633         * cp-tree.h (finish_case_label): Add location argument.
634         * parser.c (cp_parser_label_for_labeled_statement): Pass location to
635         finish_case_label.
636         
637 2009-06-09  Jason Merrill  <jason@redhat.com>
638
639         PR c++/40381
640         * decl2.c (mark_used): Return after complaining about deleted fn.
641
642 2009-06-08  Jason Merrill  <jason@redhat.com>
643
644         * parser.c (cp_parser_type_id_1): 'auto' type is ok with a
645         late-specified return type.
646
647 2009-06-08  Jakub Jelinek  <jakub@redhat.com>
648
649         PR c++/40373
650         * call.c (check_dtor_name): Return false even if
651         get_type_value (name) is error_mark_node.
652
653         PR c++/40370
654         PR c++/40372
655         * parser.c (cp_parser_direct_declarator): Don't set TREE_SIDE_EFFECTS
656         on error_mark_node.  Check for VLAs outside of function context
657         before check whether to wrap bounds into a NOP_EXPR with
658         TREE_SIDE_EFFECTS.
659
660 2009-06-08  Alexandre Oliva  <aoliva@redhat.com>
661
662         * repo.c (get_base_filename): Use aux_base_name rather than
663         alternate temporary file during second compare debug compilation.
664         (finish_repo): Skip during -fcompare-debug-second.
665
666 2009-06-06  Ian Lance Taylor  <iant@google.com>
667
668         * parser.c (cp_parser_label_for_labeled_statement): Support
669         attribute on labels if immediately followed by semicolon.
670         * semantics.c (finish_label_stmt): Return new label.
671         * pt.c (tsubst_expr): Handle attributes for LABEL_EXPR.
672
673 2009-06-03  Ian Lance Taylor  <iant@google.com>
674
675         * Make-lang.in (cc1plus-checksum.o): Depend upon $(CONFIG_H) and
676         $(SYSTEM_H).
677
678 2009-06-02  Mark Mitchell  <mark@codesourcery.com>
679
680         * decl.c (maybe_deduce_size_from_array_init): Use relayout_decl.
681
682 2009-06-02  Jason Merrill  <jason@redhat.com>
683
684         PR c++/40308
685         PR c++/40311
686         * typeck.c (cp_build_modify_expr): Always pass init-lists to the
687         conversion code.
688         * call.c (implicit_conversion): Allow init-list conversion to scalar
689         during direct-initialization, too.  Mark the conversion bad if it
690         has too many levels of braces.
691         (convert_like_real): And give a helpful error.
692
693         PR c++/40306
694         PR c++/40307
695         * decl.c (cp_finish_decl): Handle auto deduction from ().
696         * typeck.c (build_x_indirect_ref): Handle dereferencing an operand
697         with dependent type that is known to be a pointer.
698
699 2009-06-02  Simon Martin  <simartin@users.sourceforge.net>
700
701         PR c++/38089
702         * pt.c (register_specialization): Properly setup DECL_CONTEXT for
703         specializations in an invalid namespace.
704
705 2009-06-01  Aldy Hernandez  <aldyh@redhat.com>
706
707         * error.c (print_instantiation_partial_context): Print column
708         numbers.
709
710 2009-05-29  Ian Lance Taylor  <iant@google.com>
711
712         * error.c (cp_printer): Don't use va_arg with enum type.
713
714 2009-05-28  Dodji Seketeli  <dodji@redhat.com>
715
716         PR c++/39754
717         * cp-tree.h (canonical_type_variant): Remove this function declaration.
718         (strip_typedefs): New function declaration.
719         * tree.c (strip_typedefs): New function definition.
720         (canonical_type_variant): Remove function definition.
721         * cvt.c (convert_from_reference): No need to use
722         canonical_type_variant.
723         * typeck.c (cp_build_indirect_ref): Likewise.
724         * error.c (dump_template_bindings): Use strip_typedefs instead of
725         canonical_type_variant.
726         * pt.c (convert_template_argument, unify): Likewise.
727         * mangle.c (canonicalize_for_substitution): Don't use
728         canonical_type_variant.
729
730 2009-05-27  Jason Merrill  <jason@redhat.com>
731
732         * call.c (implicit_conversion): Handle conversion from
733         initializer-list to scalar.
734         (convert_like_real): Likewise.  Avoid crashing on list
735         initialization with bad conversions.
736         (can_convert): Use LOOKUP_EXPLICIT.
737         (can_convert_arg_bad): Add flags parm.
738         * cp-tree.h: Adjust.
739         * typeck.c (convert_for_assignment): Pass flags.
740
741 2009-05-27  Ian Lance Taylor  <iant@google.com>
742
743         * Make-lang.in (g++$(exeext)): Change $(COMPILER) to $(LINKER).
744         (cc1plus-dummy$(exeext), cc1plus$(exeext)): Likewise.
745
746 2009-05-26  Ian Lance Taylor  <iant@google.com>
747
748         * Make-lang.in (g++spec.o): Use $(COMPILER).
749         (g++$(exeext), cc1plus-dummy$(exeext)): Likewise.
750         (cc1plus$(exeext)): Likewise.
751
752 2009-05-26  Dodji Seketeli  <dodji@redhat.com>
753
754         PR c++/40007
755         * cp-tree.h (MEMBER_TYPES_NEEDING_ACCESS_CHECK): Remove this accessor.
756         (TI_TYPEDEFS_NEEDING_ACCESS_CHECKING): New accessor.
757         (get_types_needing_access_check): Declare new entry point.
758         * pt.c (append_type_to_template_for_access_check_1,
759         get_types_needing_access_check): New functions.
760         (perform_typedefs_access_check): Accept FUNCTION_DECLs and
761         RECORD_TYPEs rather than TEMPLATE_DECLs. Use the new
762         get_types_needing_access_check, no more
763         MEMBER_TYPES_NEEDING_ACCESS_CHECK.
764         (instantiate_class_template): Set input_location to the source
765         location of the most specialized template definition.
766         Perform access check using the RECORD_TYPE of the template, not its
767         associated most generic TEMPLATE_DECL.
768         (append_type_to_template_for_access_check): Augment function
769         comments. Use the new get_types_needing_access_check, not
770         MEMBER_TYPE_NEEDING_ACCESS_CHECK. Use the new
771         append_type_to_template_for_access_check_1 subroutine.
772
773 2009-05-22  Jason Merrill  <jason@redhat.com>
774
775         PR c++/38064
776         * typeck.c (cp_build_binary_op): Allow ENUMERAL_TYPE in
777         arithmetic comparisons.
778         (cp_common_type): Handle scoped enums.
779
780         * call.c (promoted_arithmetic_type_p): Don't use INTEGRAL_TYPE_P.
781         (add_builtin_candidate, add_builtin_candidates): Likewise.
782         (convert_like_real): Likewise.
783         * class.c (check_bitfield_decl): Likewise.
784         * decl.c (check_static_variable_definition): Likewise.
785         (compute_array_index_type): Likewise.
786         * decl2.c (grokbitfield): Likewise.
787         * init.c (build_new_1): Likewise.
788         * pt.c (convert_nontype_argument): Likewise.
789         (current_instantiation): Likewise.
790         * tree.c (pod_type_p): Likewise.
791         * typeck.c (build_static_cast_1): Likewise.
792         (build_reinterpret_cast_1): Likewise.
793
794 2009-05-22  Richard Guenther  <rguenther@suse.de>
795
796         PR middle-end/38964
797         * init.c (avoid_placement_new_aliasing): Remove.
798         (build_new_1): Do not call it.
799
800 2009-05-22  Mark Mitchell  <mark@codesourcery.com>
801
802         * decl2.c (decl_needed_p): Consider dllexport'd functions needed.
803         * semantics.c (expand_or_defer_fn): Similarly.
804
805 2009-05-20  Ian Lance Taylor  <iant@google.com>
806
807         * parser.c (cp_parser_postfix_expression): Change args to a vec.
808         Release it when done.
809         (tree_vector): Define typedef.  Define VEC functions.
810         (cp_parser_parenthesized_expression_list): Change return type to
811         vec.  Change all callers.
812         (cp_parser_new_expression): Change placement and initializer to
813         vecs.  Release them when done.
814         (cp_parser_new_placement): Change return type to vec.  Change all
815         callers.
816         (cp_parser_new_initializer): Likewise.
817         * typeck.c (build_function_call_vec): Just call
818         cp_build_function_call_vec.
819         (cp_build_function_call): Just build a vec and call
820         cp_build_function_call_vec.
821         (cp_build_function_call_vec): New function based on old
822         cp_build_function_call.
823         (convert_arguments): Remove nargs and argarray parameters.  Change
824         values to a vec.  Change caller.
825         (build_x_compound_expr_from_vec): New function.
826         (cp_build_modify_expr): Build vec to pass to
827         build_special_member_call.
828         * call.c (struct z_candidate): Add first_arg field.  Change args
829         field to vec.
830         (convert_class_to_reference): Handle first argument separately.
831         (add_candidate): Add first_arg parameter.  Change args parameter
832         to vec.  Change all callers.
833         (add_function_candidate, add_conv_candidate): Likewise.
834         (add_template_candidate_real, add_template_candidate): Likewise.
835         (add_template_conv_candidate): Likewise.
836         (build_user_type_conversion_1): Handle first argument separately.
837         (resolve_args): Change return type and parameter type to vecs.
838         Change all callers.
839         (perform_overload_resolution): Change args parameter to vec.
840         Change all callers.
841         (build_new_function_call, build_operator_new_call): Likewise.
842         (add_candidates): Likewise.
843         (build_op_call): New globally visible function, built from and
844         replacing static function build_object_call.
845         (build_new_op): Don't handle CALL_EXPR.  Build vec, not tree_list,
846         of arguments.
847         (build_op_delete_call): Build vec to pass to
848         cp_build_function_call_vec.
849         (build_temp): Build vec to pass to build_special_member_call.
850         (convert_like_real): Likewise.
851         (perform_direct_initialization_if_possible): Likewise.
852         (build_over_call): Handle first_arg field.  Use build_call_array
853         rather than build_call_list.
854         (build_special_member_call): Change args parameter to vec.  Change
855         all callers.
856         (build_new_method_call): Likewise.
857         * init.c (expand_default_init): Change parms to vec.
858         (build_raw_new_expr): Change placement and init to vecs.  Change
859         all callers.
860         (build_new_1, build_new): Likewise.
861         * class.c (resolve_address_of_overloaded_function): Build array to
862         pass to fn_type_unification.
863         * pt.c (tsubst_copy_and_build): For NEW_EXPR build vecs to pass to
864         build_new.  For CALL_EXPR create a vec rather than a tree_list;
865         expand a pack if necessary.
866         (fn_type_unification): Change args parameter to const tree *.  Add
867         nargs parameter.  Change all callers.
868         (type_unification_real): Likewise.
869         (unify): Build array to pass to type_unification_real.
870         (get_bindings): Build array to pass to fn_type_unification.
871         (any_type_dependent_arguments_p): Change args parameter to a vec.
872         Change all callers.
873         (make_args_non_dependent): Renamed from build_non_dependent_args.
874         Change return type to void.  Change parameter type to vec.  Change
875         all callers.
876         (do_auto_deduction): Pass an array to type_unification_real.
877         * semantics.c (perform_koenig_lookup): Change args to vec.  Change
878         all callers.
879         (finish_call_expr): Change args to vec.  Change all callers.  Call
880         build_op_call instead of passing CALL_EXPR to build_new_op.
881         (cxx_omp_create_clause_info): Allocate vec to pass to
882         build_special_member_call.
883         * decl2.c (build_offset_ref_call_from_tree): Change args parameter
884         to vec.  Change all callers.
885         * name-lookup.c (lookup_function_nonclass): Likewise.
886         (struct arg_lookup): Change args to vec.
887         (arg_assoc_namespace): Handle args as a vec.
888         (arg_assoc_args_vec): New static function.
889         (lookup_arg_dependent): Change args parameter to vec.  Change all
890         callers.
891         * method.c (do_build_assign_ref): Allocate vec to pass to
892         build_special_member_call.
893         * except.c (build_throw): Likewise.
894         * typeck2.c (build_functional_cast): Likewise.
895         * cvt.c (ocp_convert): Likewise.
896         * tree.c (build_min_non_dep_call_vec): Change last parameter to
897         vec.  Change all callers.
898         * cp-tree.h: Update declarations.
899         * name-lookup.h: Update declarations.
900
901 2009-05-20  Sandra Loosemore  <sandra@codesourcery.com>
902
903         * typeck.c (default_conversion): Check targetm.promoted_type.
904         * decl.c (grokdeclarator): Check targetm.invalid_return_type.
905         (grokparms): Check targetm.invalid_parameter_type.
906         * cvt.c (ocp_convert): Check targetm.convert_to_type.
907         (build_expr_type_conversion): Check targetm.promoted_type.
908
909 2009-05-19  Andrew Pinski  <andrew_pinski@playstation.sony.com>
910
911         * typeck.c (build_binary_op): Allow % on integal vectors.
912
913 2009-05-18  Jason Merrill  <jason@redhat.com>
914
915         Implement explicit conversions ops as specified in N2437.
916         * decl.c (grokdeclarator): Handle explicit conversion ops.
917         (check_initializer): Pass flags to store_init_value.
918         * decl2.c (maybe_emit_vtables): Likewise.
919         * init.c (expand_aggr_init_1): Likewise.
920         * call.c (convert_class_to_reference): Take flags parm,
921         check DECL_NONCONVERTING_P.
922         (build_user_type_conversion_1): Check DECL_NONCONVERTING_P.
923         (add_builtin_candidates): Simplify getting type of conversion.
924         (build_object_call): Likewise.  Check DECL_NONCONVERTING_P.
925         (implicit_conversion): Pass through LOOKUP_ONLYCONVERTING.
926         (reference_binding): Take flags parm.  Direct-initialize copy parm.
927         (add_function_candidate): Direct-initialize the copy parm.
928         (add_conv_candidate): Use LOOKUP_IMPLICIT, not LOOKUP_NORMAL.
929         (build_builtin_candidate): Add LOOKUP_ONLYCONVERTING.
930         (conditional_conversion): Likewise.
931         (convert_like_real): Only complain about DECL_NONCONVERTING_P
932         constructors.
933         (perform_implicit_conversion_flags): Add flags parm to
934         perform_implicit_conversion.  Improve diagnostics.
935         * cp-tree.h (LOOKUP_IMPLICIT): New macro.
936         (LOOKUP_COPY_PARM): New bit macro.
937         * cvt.c (build_expr_type_conversion): Check DECL_NONCONVERTING_P.
938         * typeck.c (convert_for_assignment): Take flags parm, pass it to
939         perform_implicit_conversion_flags.
940         (cp_build_modify_expr): Pass flags to convert_for_assignment.
941         (convert_for_initialization): Likewise.
942         * typeck2.c (store_init_value): Take flags parm, pass to
943         digest_init_flags.
944         (digest_init_flags): Add flags parm to digest_init.
945         (digest_init_r): Take flags parm, pass to convert_for_initialization.
946         (process_init_constructor_array): Pass it.
947         (process_init_constructor_record): Likewise.
948         (process_init_constructor_union): Likewise.
949
950 2009-05-16  Jason Merrill  <jason@redhat.com>
951
952         PR c++/40139
953         * pt.c (tsubst_qualified_id): Retain the type if we aren't dealing
954         with a dependent type.  Actually look up the destructor.
955         * semantics.c (finish_id_expression): Fix logic.
956         (finish_qualified_id_expr): Don't try to use 'this' if we aren't in
957         a function.
958         * typeck.c (build_x_unary_op): Diagnose taking the address of a
959         constructor or destructor.
960         * tree.c (get_first_fn): Handle OFFSET_REF.
961
962 2009-05-17  Joseph Myers  <joseph@codesourcery.com>
963
964         * tree.c (cxx_printable_name_internal): Allow consecutive
965         translated and untranslated cached copies of the name of the
966         current function.
967
968 2009-05-15  Ian Lance Taylor  <iant@google.com>
969
970         * cp-tree.h (enum cp_lvalue_kind_flags): Rename from
971         cp_lvalue_kind.  Change all uses.
972         (enum base_access_flags): Rename from enum base_access.  Change
973         all uses.
974         * parser.c (enum cp_parser_flags): Remove enum tag.
975
976 2009-05-15  Manuel López-Ibáñez  <manu@gcc.gnu.org>
977
978         PR 16302
979         * call.c (build_new_op): Update calls to warn_logical_operator.
980
981 2009-05-14  Ian Lance Taylor  <iant@google.com>
982
983         * class.c (layout_class_type): Change itk to unsigned int.
984         * decl.c (finish_enum): Change itk to unsigned int.
985         * parser.c (cp_parser_check_decl_spec): Change ds to int.  Remove
986         casts.
987
988 2009-05-13  David Mandelin <dmandelin@mozilla.com>:
989
990         * decl.c (duplicate_decls): Preserve parameter attributes.
991
992 2009-05-10  Jan Hubicka  <jh@suse.cz>
993
994         * decl2.c (cxx_callgraph_analyze_expr): Use
995         cgraph_mark_address_taken.
996
997 2009-05-10  Joseph Myers  <joseph@codesourcery.com>
998
999         * call.c (name_as_c_string): Call type_as_string_translate.
1000         Translate identifiers to locale character set.
1001         * cp-tree.h (lang_decl_name): Update prototype.
1002         (type_as_string_translate, decl_as_string_translate,
1003         cxx_printable_name_translate): Declare.
1004         * cxx-pretty-print.c (M_): Define.
1005         (pp_cxx_unqualified_id, pp_cxx_canonical_template_parameter): Mark
1006         English fragments for conditional translation with M_.
1007         * decl.c (grokdeclarator): Translate identifiers to locale
1008         character set for diagnostics.
1009         * error.c (M_): Define.
1010         (dump_template_bindings, dump_type, dump_aggr_type,
1011         dump_type_prefix, dump_global_iord, dump_simple_decl, dump_decl,
1012         dump_function_decl, dump_template_parms, dump_expr,
1013         dump_binary_op, op_to_string, assop_to_string): Mark English
1014         fragments for conditional translation with M_.
1015         (type_as_string): Disable translation of identifiers.
1016         (type_as_string_translate): New.
1017         (expr_as_string): Disable translation of identifiers.
1018         (decl_as_string): Disable translation of identifiers.
1019         (decl_as_string_translate): New.
1020         (lang_decl_name): Add parameter translate.
1021         (args_to_string): Call type_as_string_translate.
1022         (cp_print_error_function): Call cxx_printable_name_translate.
1023         (print_instantiation_full_context,
1024         print_instantiation_partial_context): Call
1025         decl_as_string_translate.
1026         * parser.c (cp_lexer_get_preprocessor_token): Use %qE for
1027         identifier in diagnostic.
1028         * tree.c (cxx_printable_name): Change to
1029         cxx_printable_name_internal.  Add parameter translate.
1030         (cxx_printable_name, cxx_printable_name_translate): New wrappers
1031         round cxx_printable_name_internal.
1032
1033 2009-05-08  H.J. Lu  <hongjiu.lu@intel.com>
1034
1035         PR c/36892
1036         * call.c (build_call_a): Updated warn_deprecated_use call.
1037         (build_over_call): Likewise.
1038         * decl.c (grokdeclarator): Likewise.
1039         (grokparms): Likewise.
1040         * semantics.c (finish_id_expression): Likewise.
1041         * typeck.c (build_class_member_access_expr): Likewise.
1042         (finish_class_member_access_expr): Likewise.
1043
1044 2009-05-06  Dodji Seketeli  <dodji@redhat.com>
1045
1046         PR c++/17395
1047         * pt.c (tsubst_copy) <case PARM_DECL>: We don't want to tsubst the
1048         whole list of PARM_DECLs, just the current one.
1049
1050 2009-05-05  Shujing Zhao  <pearly.zhao@oracle.com>
1051
1052         * cp-tree.h:
1053         (opname_tab, assignop_tab, update_member_visibility, yyerror, yyhook,
1054         mangle_compound_literal): Remove unused declarations.
1055         (build_vfield_ref, cxx_print_statistics, clone_function_decl,
1056         adjust_clone_args, maybe_push_cleanup_level, pushtag, make_anon_name,
1057         pushdecl_top_level_maybe_friend, pushdecl_top_level_and_finish,
1058         check_for_out_of_scope_variable, print_other_binding_stack,
1059         maybe_push_decl, cxx_mark_addressable, force_target_expr,
1060         build_target_expr_with_type, finish_case_label,
1061         cxx_maybe_build_cleanup, begin_eh_spec_block, finish_eh_spec_block,
1062         check_template_keyword, cxx_omp_predetermined_sharing,
1063         cxx_omp_clause_default_ctor, cxx_omp_clause_copy_ctor,
1064         cxx_omp_clause_assign_op, cxx_omp_clause_dtor, cxx_omp_finish_clause,
1065         cxx_omp_privatize_by_reference): Rearrange the declarations line to
1066         match the comment that indicates the .c file which the functions are
1067         defined.
1068         (cxx_print_xnode, cxx_print_decl, cxx_print_type,
1069         cxx_print_identifier, cxx_print_error_function, pushdecl): Add comment.
1070
1071 2009-05-05  Nathan Sidwell  <nathan@codesourcery.com>
1072
1073         * typeck.c (cp_build_compound_expr): Require RHS to have a known
1074         type.
1075         * class.c (resolve_address_of_overloaded_function): Use
1076         OVL_CURRENT for error message.
1077         (instantiate_type): Forbid COMPOUND_EXPRs and remove code dealing
1078         with them.  Do not copy the node.
1079
1080 2009-05-05  Jakub Jelinek  <jakub@redhat.com>
1081
1082         PR c++/40013
1083         * pt.c (tsubst): If magic NOP_EXPR with side-effects has no type,
1084         set it from its operand's type after tsubst_expr.
1085
1086 2009-05-04  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
1087
1088         PR c++/28152
1089         * parser.c (cp_lexer_get_preprocessor_token):  Do not store the
1090         canonical spelling for keywords.
1091         (cp_parser_attribute_list): Use the canonical spelling for
1092         keywords in attributes.
1093
1094 2009-05-01  Joseph Myers  <joseph@codesourcery.com>
1095
1096         * cxx-pretty-print.c (is_destructor_name, pp_cxx_unqualified_id,
1097         pp_cxx_template_keyword_if_needed, pp_cxx_postfix_expression,
1098         pp_cxx_new_expression, pp_cxx_delete_expression,
1099         pp_cxx_unary_expression, pp_cxx_assignment_operator,
1100         pp_cxx_assignment_expression, pp_cxx_expression,
1101         pp_cxx_function_specifier, pp_cxx_decl_specifier_seq,
1102         pp_cxx_simple_type_specifier, pp_cxx_type_specifier_seq,
1103         pp_cxx_exception_specification, pp_cxx_direct_declarator,
1104         pp_cxx_ctor_initializer, pp_cxx_type_id, pp_cxx_statement,
1105         pp_cxx_namespace_alias_definition, pp_cxx_template_parameter,
1106         pp_cxx_canonical_template_parameter, pp_cxx_template_declaration,
1107         pp_cxx_declaration, pp_cxx_typeid_expression,
1108         pp_cxx_va_arg_expression, pp_cxx_offsetof_expression,
1109         pp_cxx_trait_expression): Mostly use pp_string and
1110         pp_cxx_ws_string in place of pp_identifier and pp_cxx_identifier
1111         for non-identifiers.  Mark English strings for translation.
1112         * cxx-pretty-print.h (pp_cxx_ws_string): Define.
1113         * error.c (dump_template_parameter, dump_template_bindings,
1114         dump_type, dump_aggr_type, dump_type_prefix, dump_simple_decl,
1115         dump_decl, dump_template_decl, dump_function_decl,
1116         dump_parameters, dump_exception_spec, dump_template_parms,
1117         dump_expr, dump_binary_op, dump_unary_op, op_to_string,
1118         assop_to_string, args_to_string, cp_print_error_function,
1119         print_instantiation_full_context,
1120         print_instantiation_partial_context): Mostly use pp_string and
1121         pp_cxx_ws_string in place of pp_identifier and pp_cxx_identifier
1122         for non-identifiers.  Mark English strings for translation.
1123         (dump_global_iord): Mark strings for translation; use longer
1124         strings instead of substituting single words.
1125         (function_category): Return a format string marked for
1126         translation, not a single word or phrase to substitute in a longer
1127         phrase.
1128
1129 2009-04-28  Ben Elliston  <bje@au.ibm.com>
1130
1131         PR c++/35652
1132         Revert:
1133
1134         2009-03-27  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
1135
1136         * typeck.c (cp_pointer_sum): Adjust call to pointer_int_sum.
1137
1138 2009-04-27  Ian Lance Taylor  <iant@google.com>
1139
1140         * semantics.c (finish_omp_clauses): Change type of c_kind to enum
1141         omp_clause_code.
1142
1143 2009-04-27  Jakub Jelinek  <jakub@redhat.com>
1144
1145         PR c++/39875
1146         * cvt.c (convert_to_void) <case INDIRECT_REF>: Only warn about
1147         -Wunused-value if implicit.
1148
1149 2009-04-24  Ian Lance Taylor  <iant@google.com>
1150
1151         * call.c (build_temp): Change 0 to enum constant.
1152         * cp-tree.h (cp_lvalue_kind): Typedef to int rather than enum
1153         type.
1154         * cp-gimplify.c (cp_gimplify_expr): Add cast to enum type.
1155         * decl2.c (constrain_visibility): Likewise.
1156         * parser.c (cp_lexer_get_preprocessor_token): Likewise.
1157         (cp_parser_flags): Typedef to int rather than enum type.
1158         (cp_parser_expression_stack_entry): Change prec field to enum
1159         cp_parser_prec.
1160
1161         * typeck.c (build_modify_expr): Add lhs_origtype parameter.
1162         Change all callers.
1163
1164 2009-04-22  Dodji Seketeli  <dodji@redhat.com>
1165
1166         PR c++/39639
1167         * parser.c (cp_parser_template_argument_list): Display an error
1168         when an ellipsis is not preceded by a parameter pack. Also, warn
1169         about variadic templates usage without -std=c++0x.
1170
1171 2009-04-21  Taras Glek <tglek@mozilla.com>
1172
1173         * cp-tree.h: Update GTY annotations to new syntax.
1174         * decl.c: Likewise.
1175         * mangle.c: Likewise.
1176         * name-lookup.c: Likewise.
1177         * name-lookup.h: Likewise.
1178         * parser.c: Likewise.
1179         * pt.c: Likewise.
1180         * rtti.c: Likewise.
1181         * semantics.c: Likewise.
1182         * typeck2.c: Likewise.
1183
1184 2009-04-22  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
1185
1186         PR c++/14875
1187         * parser.c (cp_parser_error): Pass token->flags to c_parse_error.
1188
1189 2009-04-21  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
1190
1191         PR c++/35711
1192         * typeck.c (check_for_casting_away_constness): We diagnose casting
1193         away any qualifiers not just constness.
1194         (casts_away_constness): Mention that it handles more than just
1195         constness.
1196         
1197 2009-04-21  Joseph Myers  <joseph@codesourcery.com>
1198
1199         * ChangeLog, ChangeLog-1993, ChangeLog-1994, ChangeLog-1995,
1200         ChangeLog-1996, ChangeLog-1997, ChangeLog-1998, ChangeLog-1999,
1201         ChangeLog-2000, ChangeLog-2001, ChangeLog-2002, ChangeLog-2003,
1202         ChangeLog-2004, ChangeLog-2005, ChangeLog-2006, ChangeLog-2007,
1203         ChangeLog-2008, ChangeLog.ptr, ChangeLog.tree-ssa, NEWS,
1204         cfns.gperf: Add copyright and license notices.
1205         * cfns.h: Regenerate.
1206         * ChangeLog, ChangeLog-2004: Correct dates.
1207
1208 2009-04-21  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1209
1210         PR 16202
1211         * tree.c (lvalue_p_1): Use const_tree.
1212         Use CONST_CAST_TREE to avoid warning.
1213         (lvalue_p): Returns bool, receives const_tree.
1214
1215 2009-04-21  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
1216
1217         PR c++/13358
1218         * parser.c (cp_parser_check_decl_spec): Drop redundant flags.
1219         * error.c (pedwarn_cxx98): New.
1220         * cp-tree.h (pedwarn_cxx98): Declare.
1221
1222 2009-04-20  Le-Chun Wu  <lcwu@google.com>
1223
1224         PR c++/39803
1225         * init.c (build_vec_init): Set TREE_NO_WARNING on the
1226         compiler-generated INDIRECT_REF expression.
1227
1228 2009-04-20  Ian Lance Taylor  <iant@google.com>
1229
1230         * typeck.c (build_function_call_vec): New function.
1231         (cp_build_function_call): Only pass first parameter to
1232         objc_rewrite_function_call.
1233         (build_modify_expr): Add rhs_origtype parameter.  Change all
1234         callers.
1235         * decl.c (finish_decl): Add origtype parameter.  Change all
1236         callers.
1237         * semantics.c (finish_call_expr): Pass VEC to
1238         resolve_overloaded_builtin.
1239
1240 2009-04-20  Ian Lance Taylor  <iant@google.com>
1241
1242         * cp-tree.h (base_access): Change typedef to int.
1243         * parser.c (cp_parser_omp_flush): Change 0 to OMP_CLAUSE_ERROR.
1244         (cp_parser_omp_threadprivate): Likewise.
1245         * pt.c (unify_pack_expansion): Add casts to enum type.
1246
1247 2009-04-19  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1248
1249         PR c/32061
1250         PR c++/36954
1251         * call.c (build_new_op): Save the original codes of operands
1252         before folding.
1253
1254 2009-04-18  Kazu Hirata  <kazu@codesourcery.com>
1255
1256         * cp-tree.h: Remove the prototype for insert_block.
1257         * decl.c (insert_block): Remove.
1258
1259 2009-04-16  Ian Lance Taylor  <iant@google.com>
1260
1261         * cp-tree.h (enum tsubst_flags): Rename from enum tsubst_flags_t.
1262         (tsubst_flags_t): Change typedef from enum type to int.
1263
1264 2009-04-16  Paolo Bonzini  <bonzini@gnu.org>
1265
1266         * decl.c (check_initializer): Use TYPE_VECTOR_OPAQUE
1267         instead of targetm.vector_opaque_p.
1268
1269 2009-04-15  Le-Chun Wu  <lcwu@google.com>
1270
1271         PR c++/39551
1272         * call.c (build_over_call): Set TREE_NO_WARNING on the
1273         compiler-generated INDIRECT_REF expression.
1274         * cvt.c (convert_to_void): Emit warning when stripping off
1275         INDIRECT_REF.
1276
1277 2009-04-14  Diego Novillo  <dnovillo@google.com>
1278
1279         * parser.c (cp_parser_type_specifier_seq): Move call to
1280         invoke_plugin_callbacks ...
1281         (cp_parser_type_specifier_seq): ... here.
1282
1283 2009-04-14  Le-Chun Wu  <lcwu@google.com>
1284
1285         * Make-lang.in: Modify dependencies of files including plugin.h.
1286         * decl.c (finish_function): Call invoke_plugin_callbacks.
1287         * parser.c (cp_parser_type_specifier): Call invoke_plugin_callbacks.
1288
1289 2009-04-14  Jason Merrill  <jason@redhat.com>
1290
1291         PR c++/39763
1292         * name-lookup.c (pushdecl_maybe_friend): Avoid all warnings
1293         about shadowing by tentative parms.
1294
1295 2009-04-13  Jason Merrill  <jason@redhat.com>
1296
1297         PR c++/39480
1298         * call.c (build_over_call): Don't call memcpy if the target is
1299         the same as the source.
1300
1301 2009-04-13  Jason Merrill  <jason@redhat.com>
1302
1303         PR c++/39750
1304         * pt.c (uses_template_parms): Handle CONSTRUCTOR.
1305
1306 2009-04-12  Jason Merrill  <jason@redhat.com>
1307
1308         PR c++/39742
1309         * call.c (joust): Don't crash on variadic fn.
1310
1311 2009-04-10  Jason Merrill  <jason@redhat.com>
1312
1313         PR c++/28301
1314         * parser.c (cp_parser_skip_to_end_of_block_or_statement): Return
1315         if we see a close brace without an open brace.
1316
1317 2009-04-10  H.J. Lu  <hongjiu.lu@intel.com>
1318
1319         * parser.c (cp_parser_class_specifier): Remove the unused
1320         has_trailing_semicolon.
1321
1322 2009-04-10  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1323
1324         PR  c++/20118
1325         * parser.c (cp_parser_check_template_parameters): Take a
1326         cp_declarator parameter.
1327         (cp_parser_elaborated_type_specifier): Update to
1328         cp_parser_check_template_parameters.
1329         (cp_parser_class_head): Likewise.
1330         (cp_parser_check_declarator_template_parameters): Likewise.
1331         (cp_parser_check_template_parameters): Handle first the non-error
1332         conditions. Give more accurate diagnostics if a declarator is
1333         given. 
1334
1335 2009-04-08  Jason Merrill  <jason@redhat.com>
1336
1337         PR c++/25185
1338         * error.c (dump_aggr_type): Chase template typedefs if
1339         -fno-pretty-templates.
1340
1341 2009-04-08  Dodji Seketeli  <dodji@redhat.com>
1342
1343         PR c++/39637
1344         * parser.c (cp_parser_enumerator_definition): Make sure the
1345         initializer of the enumerator doesn't contain any bare parameter pack.
1346
1347 2009-04-07  Jason Merrill  <jason@redhat.com>
1348
1349         PR c++/34691
1350         * name-lookup.c (merge_functions): Keep multiple extern "C" functions.
1351         * call.c (joust): Complain about mismatched default arguments
1352         in extern "C" functions.
1353         * class.c (resolve_address_of_overloaded_function): Handle multiple
1354         extern "C" functions.
1355         * pt.c (resolve_overloaded_unification): Likewise.
1356
1357 2009-04-07  Jason Merrill  <jason@redhat.com>
1358
1359         PR c++/25185
1360         * error.c (dump_function_decl): Don't pretty-print templates
1361         if -fno-pretty-templates.
1362         (count_non_default_template_args): Print all args if
1363         -fno-pretty-templates.
1364
1365 2009-04-06  Jason Merrill  <jason@redhat.com>
1366
1367         PR c++/35146
1368         * pt.c (fn_type_unification): For DEDUCE_EXACT check that
1369         the deduced template arguments give us the parameter types
1370         we're looking for.
1371
1372 2009-04-05  Giovanni Bajo <giovannibajo@libero.it>
1373             Jason Merrill  <jason@redhat.com>
1374
1375         PR c++/14912
1376         * error.c (count_non_default_template_args): New fn.
1377         (dump_template_parms): Call it.
1378         (dump_template_argument_list): Call it.  Add parms parm.
1379         (dump_template_argument): Adjust call to dump_template_argument_list.
1380         (dump_type, dump_decl): Likewise.
1381         (dump_template_bindings): Refactor logic.
1382
1383 2009-04-03  Jason Merrill  <jason@redhat.com>
1384
1385         PR c++/25185
1386         * error.c (dump_template_bindings): Look through typedefs in
1387         typename results.
1388         (dump_type) [TYPENAME_TYPE]: Print the typedef name if any.
1389         (find_typenames_r): Also collect typedefs.
1390         * pt.c (unify): Strip typedefs.
1391
1392         PR c++/39608
1393         * semantics.c (finish_id_expression): Don't assume a dependent
1394         member of the current instantiation isn't a valid integral
1395         constant expression.  Check dependent_scope_p.
1396         * pt.c (dependent_scope_p): Check TYPE_P.
1397         (tsubst_copy): If args is null, just return.
1398
1399 2009-04-02  Jason Merrill  <jason@redhat.com>
1400
1401         PR c++/25185
1402         * error.c (find_typenames, find_typenames_r): New fns.
1403         (dump_function_decl): Call find_typenames.
1404         (dump_template_bindings): Print typenames as well.
1405         * pt.c (tsubst): Non-static.
1406         * cp-tree.h: Declare it.
1407
1408 2009-04-02  Dodji Seketeli  <dodji@redhat.com>
1409
1410         PR c++/26693
1411         * decl2.c (grokfield): when a typedef appears in a
1412         class, create the typedef variant type node for it.
1413         (save_template_attributes): Creating typedef variant type node
1414          here is now useless.
1415         * decl.c (grokdeclarator): If the typedef'ed struct/class was
1416         anonymous, set the proper type name to all its type variants.
1417         (xref_basetypes) : Fixup the variant types after setting
1418         TYPE_BINFO on REF.
1419         * name-lookup.c (pushdecl_maybe_friend): Reuse the
1420         set_underlying_type function to install typedef variant types.
1421         * cp-tree.h (MEMBER_TYPES_NEEDING_ACCESS_CHECK): New template accessor
1422         macro.
1423         (append_type_to_template_for_access_check): New entry points.
1424         * semantics.c (check_accessibility_of_qualified_id):
1425         When a typedef that is a member of a class appears in a template,
1426         add it to the template. It will be ...
1427         * class.c (finish_struct_bits): Split type variant fixup into ...
1428         (fixup_type_variants): A new entry point.
1429         * pt.c (instantiate_class_template, instantiate_template ): ... access
1430         checked at template instantiation time.
1431         (resolve_type_name_type): The type name should be the name of the
1432         main type variant.
1433         (retrieve_specialization): Specializations of template typedefs aren't
1434         to looked up in DECL_TEMPLATE_INSTANTIATIONS (tmpl).
1435         (append_type_to_template_for_access_check): New entry point.
1436         (tsubst_decl): For typedefs, build the variant type from the correct
1437         original type.
1438         (get_class_bindings): Fix function comment.
1439         (perform_typedefs_access_check): New entry point.
1440
1441 2009-03-31  Jason Merrill  <jason@redhat.com>
1442
1443         PR c++/34691
1444         * name-lookup.c (pushdecl_maybe_friend): Diagnose mismatched
1445         extern "C" declarations.
1446
1447         C++ DR 613
1448         * semantics.c (finish_non_static_data_member): Allow such references
1449         without an associated object in sizeof/decltype/alignof.
1450
1451         * ptree.c (cxx_print_decl): Pretty-print full name of
1452         function/template.
1453         (cxx_print_type): Pretty-print full name of class.
1454
1455         * decl.c (grokdeclarator): Reject pointer to qualified function
1456         type.
1457
1458         PR c++/37806, core issue 547
1459         * typeck.c (cp_apply_type_quals_to_decl): Don't apply any quals
1460         to a typedef.
1461         * tree.c (cp_build_qualified_type_real): Don't apply restrict to a 
1462         function type.
1463         * decl.h (enum decl_context): Add TEMPLATE_TYPE_ARG.
1464         * decl.c (groktypename): Add is_template_arg parameter.
1465         (grokdeclarator): Allow function cv-quals on a template type arg.
1466         * parser.c (cp_parser_new_type_id, cp_parser_type_id): Add
1467         is_template_arg argument in calls to groktypename.
1468         * cp-tree.h: Adjust prototype.
1469         * error.c (dump_type_prefix, dump_type_suffix): Fix plain 
1470         FUNCTION_TYPE printing.
1471         
1472         * mangle.c (write_expression): Mangle dependent name as
1473         source-name.
1474
1475         PR c++/38030, 38850, 39070
1476         * pt.c (type_dependent_expression_p_push): New fn.
1477         (tsubst_copy_and_build) [CALL_EXPR]: Only do arg-dep lookup when the
1478         substitution makes the call non-dependent.  Preserve koenig_p.
1479         * parser.c (cp_parser_postfix_expression): Only do arg-dep lookup
1480         for non-dependent calls.
1481         * semantics.c (finish_call_expr): Revert earlier changes.
1482         * cp-tree.h: Revert change to finish_call_expr prototype.
1483
1484 2009-03-29  Joseph Myers  <joseph@codesourcery.com>
1485
1486         PR preprocessor/34695
1487         * cp-tree.h (cp_cpp_error): Remove.
1488         * error.c (cp_cpp_error): Remove.
1489         * parser.c (cp_lexer_new_main): Set done_lexing instead of
1490         client_diagnostic and error callback.
1491
1492 2009-03-28  Paolo Bonzini  <bonzini@gnu.org>
1493
1494         * cp/cp-objcp-common.h (LANG_HOOKS_STATICP): Remove.
1495         * cp/cp-objcp-common.c (cxx_staticp): Remove.
1496         * cp/cp-tree.h (cxx_staticp): Remove.
1497
1498 2009-03-28  Jakub Jelinek  <jakub@redhat.com>
1499
1500         PR c++/39554
1501         * parser.c (cp_parser_postfix_expression): Don't call
1502         warning_if_disallowed_function_p.
1503
1504 2009-03-27  Jan Hubicka  <jh@suse.cz>
1505
1506         * except.c (choose_personality_routine): Set terminate_node to abort
1507         for java exceptions.
1508
1509 2009-03-27  Dodji Seketeli  <dodji@redhat.com>
1510             Jakub Jelinek  <jakub@redhat.com>
1511
1512         PR debug/37959
1513         * cp-objcp-common.h (LANG_HOOKS_FUNCTION_DECL_EXPLICIT_P): Define.
1514         (cp_function_decl_explicit_p): New prototype.
1515         * cp-objcp-common.c (cp_function_decl_explicit_p): New function.
1516
1517 2009-03-27  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1518
1519         PR c++/38638
1520         * parser.c (cp_parser_elaborated_type_specifier): If we have a
1521         typename tag and don't have either a TYPE_DECL or a
1522         TEMPLATE_ID_EXPR, set the type to NULL.
1523
1524 2009-03-27  Simon Martin  <simartin@users.sourceforge.net>
1525
1526         PR c++/37647
1527         * decl.c (grokdeclarator): Reject [con|de]stuctors in a non-class
1528         scope.
1529
1530 2009-03-27  Simon Martin  <simartin@users.sourceforge.net>
1531
1532         PR c++/29727
1533         * decl.c (check_array_designated_initializer): Handle error_mark_node.
1534
1535 2009-03-27  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
1536
1537         PR c++/35652
1538         * typeck.c (cp_pointer_sum): Adjust call to pointer_int_sum.
1539
1540 2009-03-26  Andrew Haley  <aph@redhat.com>
1541
1542         PR C++/39380
1543         * decl2.c (possibly_inlined_p): If java exceptions are in use
1544         don't inline a decl unless it is explicitly marked inline.
1545         * lex.c: (pragma_java_exceptions): New variable.
1546         (handle_pragma_java_exceptions): Set pragma_java_exceptions.
1547         * cp-tree.h (pragma_java_exceptions): Declare new variable.
1548
1549 2009-03-24  Jason Merrill  <jason@redhat.com>
1550
1551         PR c++/28274
1552         * name-lookup.c (pushdecl_maybe_friend): Check default args later.
1553
1554 2009-03-23  Jakub Jelinek  <jakub@redhat.com>
1555
1556         PR c/39495
1557         * semantics.c (handle_omp_for_class_iterator): Swap cond operands and
1558         code if iter is the second operand.
1559         * parser.c (cp_parser_binary_expression): Add no_toplevel_fold_p
1560         argument.  If it is set, don't build the toplevel expression with
1561         build_x_binary_op, but build2.
1562         (cp_parser_assignment_expression,  cp_parser_omp_for_incr): Adjust
1563         callers.
1564         (cp_parser_omp_for_cond): Don't assume the first operand of the
1565         comparison must be decl.
1566
1567 2009-03-23  Jason Merrill  <jason@redhat.com>
1568
1569         PR c++/37729
1570         * pt.c (make_fnparm_pack): Split out from...
1571         (instantiate_decl): ...here.
1572         (tsubst_pack_expansion): Handle being called in a late-specified
1573         return type.
1574
1575         PR c++/39526
1576         * name-lookup.c (pushdecl_maybe_friend): Don't warn about shadowing
1577         a parm with a parm.
1578
1579 2009-03-20  Jason Merrill  <jason@redhat.com>
1580
1581         PR c++/28879
1582         * parser.c (cp_parser_direct_declarator): In a template, wrap 
1583         non-constant expression in NOP_EXPR with TREE_SIDE_EFFECTS set.
1584         * pt.c (tsubst): Preserve it in a partial instantiation.
1585         (dependent_type_p_r): Don't check value_dependent_expression_p.
1586         * decl.c (compute_array_index_type): Don't check
1587         value_dependent_expression_p if TREE_SIDE_EFFECTS.
1588
1589         C++ core issue 703
1590         * typeck2.c (check_narrowing): Don't complain about loss of 
1591         precision when converting a floating-point constant.
1592
1593 2009-03-19  Jakub Jelinek  <jakub@redhat.com>
1594
1595         PR c/39495
1596         * parser.c (cp_parser_omp_for_cond): Don't check lhs if decl is NULL.
1597         (cp_parser_omp_for_loop): Always use cp_parser_omp_for_cond.
1598
1599 2009-03-18  Jakub Jelinek  <jakub@redhat.com>
1600
1601         * parser.c (struct cp_token): Reorder fields for 64-bit hosts.
1602         (eof_token): Adjust.
1603
1604 2009-03-18  H.J. Lu  <hongjiu.lu@intel.com>
1605
1606         PR c++/39425
1607         * parser.c (cp_parser_explicit_specialization): Don't skip the
1608         rest of the specialization when begin_specialization returns
1609         false.
1610
1611 2009-03-17  Jason Merrill  <jason@redhat.com>
1612
1613         * decl.c (grokfndecl): Set DECL_CONTEXT on parms.
1614         (duplicate_decls): Adjust DECL_CONTEXT of newdecl's parms.
1615         * pt.c (check_explicit_specialization): Likewise.
1616         (tsubst_copy) [PARM_DECL]: Return a dummy parm if we don't have a
1617         local specialization.
1618         * tree.c (cp_tree_equal) [PARM_DECL]: Check type and index, not name.
1619         * decl2.c (parm_index): New fn.
1620         * semantics.c (finish_decltype_type): Don't use describable_type.
1621         * mangle.c (write_expression): Likewise.  Mangle ALIGNOF_EXPR.
1622         Give a sorry for unsupported codes rather than crash.  Mangle
1623         conversions with other than 1 operand.  New mangling for PARM_DECL.
1624         * operators.def (ALIGNOF_EXPR): Mangle as "az".
1625
1626 2009-03-17  Jing Yu  <jingyu@google.com>
1627
1628         PR middle-end/39378
1629         * method.c (use_thunk): Change is_thunk from crtl to cfun.
1630
1631 2009-03-17  Paolo Carlini  <paolo.carlini@oracle.com>
1632
1633         PR c++/39475
1634         * semantics.c (check_trait_type): New.
1635         (finish_trait_expr): Use it.
1636
1637 2009-03-17  Jakub Jelinek  <jakub@redhat.com>
1638
1639         * name-lookup.c (cp_emit_debug_info_for_using): Emit USING_STMTs
1640         instead of calling imported_module_or_decl debug hook if
1641         building_stmt_tree ().
1642         * cp-gimplify.c (cp_gimplify_expr): Don't assert the first operand
1643         is a NAMESPACE_DECL.
1644
1645         PR debug/37890
1646         * name-lookup.c (do_namespace_alias): Don't call global_decl debug
1647         hook at function scope.
1648
1649         PR debug/39471
1650         * cp-gimplify.c (cp_gimplify_expr): Don't set DECL_NAME
1651         on IMPORTED_DECL.
1652
1653 2009-03-09  Jakub Jelinek  <jakub@redhat.com>
1654
1655         PR c++/39371
1656         * semantics.c (finish_switch_cond): Don't call get_unwidened.
1657         * decl.c (finish_case_label): Pass SWITCH_STMT_TYPE as 3rd argument
1658         instead of TREE_TYPE (cond).
1659
1660 2009-03-08  H.J. Lu  <hongjiu.lu@intel.com>
1661
1662         PR c++/39060
1663         * parser.c (cp_parser_late_parsing_default_args): Continue
1664         the loop when cp_parser_assignment_expression returns
1665         error_mark_node.
1666
1667 2009-03-07  Jason Merrill  <jason@redhat.com>
1668
1669         PR c++/39367
1670         * init.c (build_new_1): Don't use a VLA type.
1671         (build_vec_init): Handle getting a pointer for BASE.
1672
1673 2009-03-06  H.J. Lu  <hongjiu.lu@intel.com>
1674
1675         PR c++/37520
1676         * cp-tree.h: Check NO_DOT_IN_LABEL before NO_DOLLAR_IN_LABEL
1677         when mangling symbols.
1678
1679 2009-03-06  Paolo Carlini  <paolo.carlini@oracle.com>
1680
1681         PR c++/33492
1682         * error.c (dump_expr): Don't try to print THROW_EXPRs in full.
1683
1684 2009-03-06  Alexandre Oliva  <aoliva@redhat.com>
1685
1686         * decl.c (record_builtin_java_type): Use canonicalized integer
1687         types.
1688
1689 2009-03-04  Jason Merrill  <jason@redhat.com>
1690
1691         PR c++/38908
1692         * class.c (is_really_empty_class): New fn.
1693         * cp-tree.h: Declare it.
1694         * cp-objcp-common.c (cp_expr_size): Use it.
1695
1696         PR c++/13549
1697         * semantics.c (perform_koenig_lookup): Handle TEMPLATE_ID_EXPR.
1698         * parser.c (cp_parser_postfix_expression): Call it for 
1699         TEMPLATE_ID_EXPR.
1700         * tree.c (is_overloaded_fn): Look through TEMPLATE_ID_EXPR.
1701         (get_first_fn): Likewise.
1702
1703         PR c++/9634
1704         PR c++/29469
1705         PR c++/29607
1706         Implement DR 224.
1707         * decl.c (make_typename_type): Do look inside currently open classes.
1708         * parser.c (cp_parser_lookup_name): Likewise.
1709         (cp_parser_template_name): Likewise.
1710         * pt.c (dependent_scope_p): New function.
1711         * cp-tree.h: Declare it.
1712         * class.c (currently_open_class): Return fast if T isn't a class.
1713
1714 2009-02-26  H.J. Lu  <hongjiu.lu@intel.com>
1715
1716         PR c++/37789
1717         * parser.c (cp_parser_mem_initializer): Return error_mark_node
1718         if cp_parser_mem_initializer_id returns error_mark_node.
1719
1720 2009-02-24  Richard Guenther  <rguenther@suse.de>
1721
1722         PR c++/39242
1723         * pt.c (instantiate_decl): Do not instantiate extern, non-inline
1724         declared functions.
1725
1726 2009-02-23  H.J. Lu  <hongjiu.lu@intel.com>
1727
1728         PR c++/36411
1729         * pt.c (coerce_template_template_parms): Return 0 if parameter
1730         is error_mark_node.
1731
1732 2009-02-23  Jason Merrill  <jason@redhat.com>
1733
1734         * pt.c (unify): Call maybe_adjust_types_for_deduction when
1735         deducing from an initializer list.
1736
1737 2009-02-20  Jason Merrill  <jason@redhat.com>
1738
1739         PR c++/39225
1740         * decl.c (grokdeclarator): Handle ~identifier.
1741
1742 2009-02-19  Jakub Jelinek  <jakub@redhat.com>
1743
1744         PR target/39175
1745         * decl2.c (determine_visibility): If visibility changed and
1746         DECL_RTL has been already set, call make_decl_rtl to update symbol
1747         flags.
1748
1749 2009-02-19  H.J. Lu  <hongjiu.lu@intel.com>
1750
1751         PR c++/39188
1752         * cp-tree.h (maybe_commonize_var): New.
1753
1754         * decl.c (maybe_commonize_var): Make it extern.
1755
1756         * decl2.c (finish_anon_union): Call maybe_commonize_var.
1757
1758 2009-02-18  H.J. Lu  <hongjiu.lu@intel.com>
1759
1760         PR c++/39219
1761         * parser.c (cp_parser_enum_specifier): Apply all attributes.
1762
1763 2009-02-18  Jason Merrill  <jason@redhat.com>
1764
1765         * cfns.h: Tweak pathname for cfns.gperf.
1766
1767 2009-02-13  Jason Merrill  <jason@redhat.com>
1768
1769         PR c++/39070
1770         * semantics.c (finish_call_expr): Change koenig_p parm to int.
1771         If -1, don't set KOENIG_LOOKUP_P but do keep hidden candidates.
1772         * cp-tree.h: Adjust prototype.
1773         * pt.c (tsubst_copy_and_build) [CALL_EXPR]: Pass -1.
1774
1775 2009-02-12  Jason Merrill  <jason@redhat.com>
1776
1777         PR c++/38950
1778         * pt.c (unify)[TEMPLATE_PARM_INDEX]: Convert to the tsubsted type.
1779
1780 2009-02-11  Jason Merrill  <jason@redhat.com>
1781
1782         PR c++/39153
1783         * decl2.c (cp_write_global_declarations): 
1784         Check DECL_DEFAULTED_FN, not DECL_ARTIFICIAL.
1785
1786         PR c++/30111
1787         * init.c (build_value_init_noctor): Split out from...
1788         (build_value_init): ...here.
1789         (expand_aggr_init_1): Handle value-initialization.
1790         * cp-tree.h: Add declaration.
1791         * class.c (type_has_user_provided_constructor): 
1792         Handle non-class arguments.
1793
1794 2009-02-10  Jason Merrill  <jason@redhat.com>
1795
1796         PR c++/38649
1797         * class.c (defaultable_fn_p): Handle ... properly.
1798
1799         PR c++/36744
1800         * tree.c (lvalue_p_1): Condition rvalue ref handling on
1801         treat_class_rvalues_as_lvalues, too.
1802
1803 2009-02-10  Paolo Carlini  <paolo.carlini@oracle.com>
1804
1805         PR c++/34397
1806         * typeck.c (build_x_array_ref): New.
1807         * cp-tree.h: Declare it.
1808         * pt.c (tsubst_copy_and_build): Use it for case ARRAY_REF.
1809
1810 2009-02-09  Jason Merrill  <jason@redhat.com>
1811
1812         PR c++/39109
1813         * semantics.c (simplify_aggr_init_expr): Do zero-initialization here.
1814         * init.c (build_value_init): Not here. Don't build a TARGET_EXPR.
1815         * tree.c (get_target_expr): Handle AGGR_INIT_EXPR.
1816         * cp-gimplify.c (cp_gimplify_init_expr): Remove special handling
1817         for build_value_init TARGET_EXPR.
1818         * cp-tree.h (AGGR_INIT_ZERO_FIRST): New macro.
1819
1820 2009-02-06  Paolo Carlini  <paolo.carlini@oracle.com>
1821
1822         PR c++/35147
1823         PR c++/37737
1824         * cp-tree.h (TMPL_ARGS_HAVE_MULTIPLE_LEVELS): Check TREE_VEC_LENGTH.
1825
1826 2009-02-04  Jakub Jelinek  <jakub@redhat.com>
1827
1828         PR c++/39095
1829         * operators.def: Use COMPONENT_REF code for ->/pt operator again,
1830         remove ./dt operator.
1831         * mangle.c (write_expression): Handle COMPONENT_REF after handling
1832         ADDR_EXPR, for COMPONENT_REF without ARROW_EXPR inside of it
1833         write_string ("dt") instead of using operators.def.
1834
1835 2009-02-03  Jason Merrill  <jason@redhat.com>
1836
1837         * typeck.c (cp_build_unary_op): Only complain about taking address
1838         of main if pedantic.
1839
1840 2009-02-03  Jakub Jelinek  <jakub@redhat.com>
1841
1842         PR inline-asm/39059
1843         * parser.c (cp_parser_primary_expression): Reject FIXED_CSTs.
1844
1845         PR c++/39056
1846         * typeck2.c (digest_init_r): Don't call process_init_constructor
1847         for COMPLEX_TYPE.
1848
1849 2009-02-03  Paolo Bonzini  <bonzini@gnu.org>
1850
1851         PR c++/36897
1852         * pt.c (convert_nontype_argument_function): Expect expr to be an
1853         ADDR_EXPR.
1854
1855         PR c++/37314
1856         * typeck.c (merge_types): Call resolve_typename_type if only
1857         one type is a typename.
1858
1859 2009-02-02  Jason Merrill  <jason@redhat.com>
1860
1861         PR c++/39054
1862         * parser.c (cp_parser_unqualified_id): Don't wrap error_mark_node 
1863         in BIT_NOT_EXPR.
1864
1865 2009-02-01  Paolo Carlini  <paolo.carlini@oracle.com>
1866
1867         PR c++/39053
1868         * parser.c (cp_parser_pure_specifier): If there are no tokens left
1869         do not call cp_lexer_consume_token.
1870
1871 2009-01-30  Jakub Jelinek  <jakub@redhat.com>
1872
1873         PR c++/39028
1874         * parser.c (cp_parser_already_scoped_statement): Handle __label__
1875         declarations.
1876
1877 2009-01-30  Paolo Carlini  <paolo.carlini@oracle.com>
1878
1879         PR c++/33465
1880         * error.c (dump_expr): Handle FIX_TRUNC_EXPR and FLOAT_EXPR.
1881
1882 2009-01-30  Paolo Carlini  <paolo.carlini@oracle.com>
1883
1884         PR c++/38655
1885         * error.c (dump_type_prefix, dump_type_suffix): Handle FIXED_POINT_TYPE.
1886
1887 2009-01-29  Paolo Carlini  <paolo.carlini@oracle.com>
1888
1889         * typeck.c (invalid_nonstatic_memfn_p): Use
1890         DECL_NONSTATIC_MEMBER_FUNCTION_P.
1891
1892 2009-01-27  Paolo Carlini  <paolo.carlini@oracle.com>
1893
1894         PR c++/37554
1895         * call.c (build_over_call): If convert_for_arg_passing returns
1896         error_mark_node unconditionally return it.
1897
1898 2009-01-22  Adam Nemet  <anemet@caviumnetworks.com>
1899
1900         * class.c (check_field_decls): Also inherit packed for bitfields
1901         regardless of their type.
1902
1903 2009-01-22  Dodji Seketeli  <dodji@redhat.com>
1904
1905         PR c++/38930
1906         * decl2.c (grokfield): Reverting changes of PR c++/26693
1907         (save_template_attributes): Likewise.
1908         * decl.c (grokdeclarator): Likewise.
1909         * name-lookup.c (pushdecl_maybe_friend): Likewise.
1910         * cp-tree.h (MEMBER_TYPES_NEEDING_ACCESS_CHECK): Likewise.
1911         (append_type_to_template_for_access_check): Likewise.
1912         * semantics.c (check_accessibility_of_qualified_id): Likewise.
1913         * pt.c (instantiate_class_template, instantiate_template ): Likewise.
1914         (tsubst): Likewise.
1915         (resolve_type_name_type): Likewise.
1916         (append_type_to_template_for_access_check): Likewise.
1917
1918 2009-01-21  Dodji Seketeli  <dodji@redhat.com>
1919
1920         PR c++/26693
1921         * decl2.c (grokfield): when a typedef appears in a
1922         class, create the typedef variant type node for it.
1923         (save_template_attributes): Creating typedef variant type node
1924          here is now useless.
1925         * decl.c (grokdeclarator): If the typedef'ed struct/class was
1926         anonymous, set the proper type name to all its type variants.
1927         * name-lookup.c (pushdecl_maybe_friend): Reuse the
1928         set_underlying_type function to install typedef variant types.
1929         * cp-tree.h (MEMBER_TYPES_NEEDING_ACCESS_CHECK): New template accessor
1930         macro.
1931         (append_type_to_template_for_access_check): New entry points.
1932         * semantics.c (check_accessibility_of_qualified_id):
1933         When a typedef that is a member of a class appears in a template,
1934         add it to the template. It will be ...
1935         * pt.c (instantiate_class_template, instantiate_template ): ... access
1936         checked at template instantiation time.
1937         (tsubst): Handle the case of being called with NULL args.
1938         (resolve_type_name_type): The type name should be the name of the
1939         main type variant.
1940         (append_type_to_template_for_access_check): New entry point.
1941
1942 2009-01-19  Jason Merrill  <jason@redhat.com>
1943
1944         PR c++/23287
1945         * parser.c (cp_parser_unqualified_id): In a template,
1946         accept ~identifier.
1947         * typeck.c (lookup_destructor): Handle IDENTIFIER_NODE.
1948
1949 2009-01-16  Jason Merrill  <jason@redhat.com>
1950
1951         PR c++/38877
1952         * tree.c (lvalue_p_1): Allow non-fields in COMPONENT_REF.
1953         * init.c (build_new): Don't call describable_type unless we
1954         have an auto.
1955
1956         PR c++/29470
1957         * pt.c (tsubst_decl) [USING_DECL]: Propagate access flags.
1958
1959         PR c++/38579
1960         * search.c (protected_accessible_p): N doesn't vary.
1961
1962 2009-01-15  Jason Merrill  <jason@redhat.com>
1963
1964         PR c++/38850
1965         * pt.c (tsubst_copy_and_build): Tell finish_call_expr to
1966         accept hidden friends.
1967
1968 2009-01-15  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1969
1970         PR C++/29388
1971         * decl.c (grokdeclarator): Check for a non namespace/class context.
1972
1973 2009-01-15  Jason Merrill  <jason@redhat.com>
1974
1975         PR c++/36334
1976         PR c++/37646
1977         * tree.c (lvalue_p_1): Handle BASELINK.  A COMPONENT_REF to
1978         a function isn't necessarily an lvalue. Take tree, not const_tree.
1979         (lvalue_p, real_lvalue_p): Take tree, not const_tree.
1980         * typeck.c (lvalue_or_else): Likewise.
1981         * cp-tree.h: Adjust prototypes.
1982
1983 2009-01-15  Steve Ellcey  <sje@cup.hp.com>
1984
1985         PR c++/38357
1986         * pt.c (tsubst): Check for NULL args.
1987
1988 2009-01-15  Dodji Seketeli  <dodji@redhat.com>
1989
1990         PR c++/38636
1991         * name-lookup.c (pushtag): Don't create members to types that are not
1992         being created.
1993
1994 2009-01-14  Nick Clifton  <nickc@redhat.com>
1995
1996         PR c++/37862
1997         * parser.c: Pass cp_id_kind computed in
1998         cp_parser_postfix_dot_deref_expression to
1999         cp_parser_primary_expression.
2000
2001 2009-01-13  Jakub Jelinek  <jakub@redhat.com>
2002
2003         PR c++/38795
2004         * tree.c (cp_walk_subtrees): Handle REINTERPRET_CAST_EXPR,
2005         STATIC_CAST_EXPR, CONST_CAST_EXPR and DYNAMIC_CAST_EXPR the same
2006         as CAST_EXPR.
2007
2008 2009-01-12  Jason Merrill  <jason@redhat.com>
2009             Steve Ellcey  <sje@cup.hp.com>
2010
2011         PR c++/35109
2012         * name-lookup.c (lookup_name_real): Keep looking past a hidden 
2013         binding.
2014
2015 2009-01-12  Dodji Seketeli  <dodji@redhat.com>
2016
2017         PR c++/36019
2018         * pt.c (parameter_of_template_p): New function.
2019         * cp-tree.h: Declare it.
2020         * name-lookup.c (binding_to_template_parms_of_scope_p): New
2021         function.
2022         (outer_binding): Take template parameters in account when looking for
2023         a name binding.
2024
2025 2009-01-12  Jason Merrill  <jason@redhat.com>
2026
2027         PR c++/31488
2028         * tree.c (pod_type_p): Return 1 for structs created by the back end.
2029
2030 2009-01-12  Jakub Jelinek  <jakub@redhat.com>
2031
2032         PR c/32041
2033         * parser.c (cp_parser_builtin_offsetof): Allow `->' in
2034         offsetof member-designator, handle it as `[0].'.
2035
2036         PR c++/38794
2037         * decl.c (start_function): If grokdeclarator hasn't returned
2038         FUNCTION_DECL nor error_mark_node, issue diagnostics.
2039
2040 2009-01-11  Jakub Jelinek  <jakub@redhat.com>
2041
2042         PR c++/36254
2043         * cp-gimplify.c (genericize_if_stmt): Renamed from ...
2044         (gimplify_if_stmt): ... this.
2045         (cp_gimplify_expr): Don't handle IF_STMT here.
2046         (cp_genericize_r): Call genericize_if_stmt for IF_STMT.
2047
2048 2009-01-10  Andrew Pinski  <pinskia@gmail.com>
2049
2050         PR c++/38648
2051         * typeck.c (cp_build_modify_expr): Check for NULL current_function_decl.
2052
2053         PR c++/36695
2054         * typeck2.c (build_functional_cast): Check for reference type and NULL
2055         PARMS.
2056
2057 2009-01-09  Steve Ellcey  <sje@cup.hp.com>
2058
2059         * typeck.c (cp_build_unary_op): Check for ERROR_MARK.
2060
2061 2009-01-09  Jakub Jelinek  <jakub@redhat.com>
2062
2063         PR c++/35335
2064         * error.c (dump_expr): Handle EXPR_STMT like BIND_EXPR.
2065
2066 2009-01-09  John F. Carr  <jfc@mit.edu>
2067
2068         PR c++/37877
2069         * parser.c (cp_parser_class_specifier): Clear
2070         parser->in_unbraced_linkage_specification_p while parsing class
2071         specifiers.
2072
2073 2009-01-07  Jakub Jelinek  <jakub@redhat.com>
2074
2075         PR c++/38725
2076         * semantics.c (finish_goto_stmt): Convert destination to
2077         void *.
2078
2079 2009-01-06  Jason Merrill  <jason@redhat.com>
2080
2081         PR c++/35297
2082         PR c++/35477
2083         PR c++/35784
2084         PR c++/36846
2085         PR c++/38276
2086         * pt.c (check_default_tmpl_args): Don't complain about
2087         out-of-order parameter packs in the enclosing class
2088         or parameter packs after default args.
2089         (coerce_template_parms): If we have more than one
2090         parameter pack, don't flatten argument packs.
2091         (template_args_equal): Handle argument packs.
2092         (comp_template_args): Don't flatten argument packs.
2093         (check_instantiated_arg): Split out from...
2094         (check_instantiated_args): Here.  Handle arg packs.
2095         (convert_template_argument): Just check that nontype argument
2096         packs have the right type.
2097
2098 2009-01-05  Dodji Seketeli  <dodji@redhat.com>
2099
2100         PR c++/38472
2101         * typeck.c (type_after_usual_arithmetic_conversions): Fix a typo.
2102
2103 2009-01-05  Jason Merrill  <jason@redhat.com>
2104
2105         PR c++/38698
2106         * typeck2.c (process_init_constructor_union): Handle union with
2107         no fields.
2108
2109         * mangle.c (write_expression): Remove mangling for zero-operand
2110         casts.
2111
2112         PR c++/38701
2113         * decl.c (cp_finish_decl): Clear DECL_INITIAL for invalid
2114         defaulting.
2115
2116         PR c++/38702
2117         * class.c (defaultable_fn_p): Only operator== can be a copy
2118         assignment operator.
2119
2120 2009-01-02  Jason Merrill  <jason@redhat.com>
2121
2122         PR c++/38698
2123         * typeck2.c (process_init_constructor_union): Handle excess
2124         initializers.
2125         (process_init_constructor_record): Likewise.
2126
2127         PR c++/38684
2128         * typeck2.c (digest_init_r): Don't use process_init_constructor
2129         for non-aggregate classes.
2130
2131 \f
2132 Copyright (C) 2009 Free Software Foundation, Inc.
2133
2134 Copying and distribution of this file, with or without modification,
2135 are permitted in any medium without royalty provided the copyright
2136 notice and this notice are preserved.