OSDN Git Service

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