OSDN Git Service

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