OSDN Git Service

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