OSDN Git Service

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