OSDN Git Service

PR c++/45588
[pf3gnuchains/gcc-fork.git] / gcc / cp / ChangeLog
1 2010-09-08  Jakub Jelinek  <jakub@redhat.com>
2
3         PR c++/45588
4         * pt.c (tsubst) <case INTEGER_TYPE>: Call mark_rvalue_use
5         before calling fold_decl_constant_value.
6
7 2010-09-07  Arnaud Charlet  <charlet@adacore.com>
8
9         * cp-tree.h (build_enumerator): Add new location_t parameter.
10         (build_lang_decl_loc): New function.
11         * decl.c (build_enumerator): New parameter loc. Use it when calling
12         build_decl. Replace build_lang_decl with build_lang_decl_loc.
13         * pt.c (tsubst_enum): Adjust call to build_enumerator.
14         * parser.c (cp_parser_enumerator_definition): Ditto.
15         * lex.c (build_lang_decl_loc): New function.
16
17 2010-09-06  Dodji Seketeli  <dodji@redhat.com>
18
19         PR c++/45200
20         PR c++/45293
21         PR c++/45558
22         * tree.c (strip_typedefs): Strip typedefs from the context of
23         TYPENAME_TYPEs.
24
25 2010-09-06  Mark Mitchell  <mark@codesourcery.com>
26
27         * typeck.c (cp_build_binary_op): Call do_warn_double_promotion.
28         * call.c (build_conditional_expr): Likewise.
29         (convert_arg_to_ellipsis): Likewise.
30
31 2010-09-06  Arnaud Charlet  <charlet@adacore.com>
32
33         * parser.c (make_pointer_declarator, make_reference_declarator,
34         make_call_declarator, make_array_declarator): Set declarator->id_loc.
35         (cp_parser_init_declarator): Adjust location of decl if appropriate.
36
37 2010-09-06  Jason Merrill  <jason@redhat.com>
38
39         * call.c (implicit_conversion): Fix value-init of enums.
40         (convert_like_real): Likewise.
41
42         * decl.c (cp_finish_decl): Don't change init for auto deduction.
43
44         * pt.c (fold_non_dependent_expr_sfinae): Split out from...
45         (fold_non_dependent_expr): ...here.
46         (convert_nontype_argument): Use it.  Take complain parm.
47         Use perform_implicit_conversion instead of ocp_convert.
48         Allow cv-qual changes.
49         (convert_template_argument): Pass complain down.
50         (tsubst_template_arg): Suppress constant expression warnings.
51         Don't fold here.
52
53         * method.c (synthesized_method_walk): In constructors, also check
54         subobject destructors.
55
56         * semantics.c (finish_compound_literal): Always build a
57         TARGET_EXPR.
58
59 2010-08-30  Paolo Carlini  <paolo.carlini@oracle.com>
60
61         PR c++/45043
62         * decl.c (grokdeclarator): Use MAIN_NAME_P only on IDENTIFIER_NODEs.
63
64 2010-08-30  Jakub Jelinek  <jakub@redhat.com>
65
66         PR middle-end/45423
67         * parser.c (cp_parser_omp_atomic): Handle boolean
68         {PRE,POST}_INCREMENT.
69
70 2010-08-29  Jason Merrill  <jason@redhat.com>
71
72         PR c++/44991
73         * parser.c (cp_parser_parameter_declaration): Pop parameter decls
74         after tentative parsing.
75
76 2010-08-22  Joseph Myers  <joseph@codesourcery.com>
77
78         * Make-lang.in (g++spec.o): Update dependencies.
79         * g++spec.c: Include opts.h
80         (MATH_LIBRARY, LIBSTDCXX): Remove initial "-l".
81         (lang_specific_driver): Use cl_decoded_option structures.
82
83 2010-08-20  Nathan Froyd  <froydnj@codesourcery.com>
84
85         * call.c: Use FOR_EACH_VEC_ELT.
86         * class.c: Likewise.
87         * decl.c: Likewise.
88         * decl2.c: Likewise.
89         * error.c: Likewise.
90         * except.c: Likewise.
91         * mangle.c: Likewise.
92         * method.c: Likewise.
93         * name-lookup.c: Likewise.
94         * parser.c: Likewise.
95         * pt.c: Likewise.
96         * repo.c: Likewise.
97         * semantics.c: Likewise.
98         * typeck2.c: Likewise.
99
100 2010-08-19  Jason Merrill  <jason@redhat.com>
101
102         * call.c (reference_related_p): Check for error_mark_node.
103         (add_function_candidate): Check it instead of
104         same_type_ignoring_top_level_qualifiers_p.
105
106         PR c++/45315
107         * init.c (build_new_1): Don't use build_value_init in a template.
108         (build_value_init): Make sure we don't.
109
110         PR c++/45307
111         * cp-gimplify.c (cp_gimplify_expr): Also remove assignment
112         of empty class CONSTRUCTOR.
113
114         * except.c (pending_noexcept, pending_noexcept_checks): New.
115         (perform_deferred_noexcept_checks): New.
116         (maybe_noexcept_warning): Split from...
117         (finish_noexcept_expr): ...here.  Adjust.
118         * decl2.c (cp_write_global_declarations): Call
119         perform_deferred_noexcept_checks.
120         * cp-tree.h: And declare it.
121
122 2010-08-18  Nathan Froyd  <froydnj@codesourcery.com>
123
124         PR c++/45049
125         * name-lookup.c (push_overloaded_decl): Change DECL_CHAIN to
126         TREE_CHAIN.
127
128 2010-08-17  Kai Tietz  <kai.tietz@onevision.com>
129
130         * class.c (note_name_declared_in_class): Make in 'extern "C"' blocks,
131         or if -fms-extensions is enabled check, check permissive.
132
133 2010-08-09  Jason Merrill  <jason@redhat.com>
134
135         PR c++/45236
136         * pt.c (lookup_template_class): Don't re-coerce outer parms.
137
138 2010-08-09  Nathan Froyd  <froydnj@codesourcery.com>
139
140         * call.c (add_builtin_candidates): Use VECs for local variable
141         `types'.  Adjust remainder of function accordingly.
142
143 2010-08-09  Nathan Froyd  <froydnj@codesourcery.com>
144
145         * name-lookup.c (is_associated_namespace): Convert local variables
146         to be VECs instead of TREE_LISTs.
147
148 2010-08-09  Nathan Froyd  <froydnj@codesourcery.com>
149
150         * tree.c (varargs_function_p): Use stdarg_p.
151
152 2010-08-07  Nathan Froyd  <froydnj@codesourcery.com>
153
154         * parser.c (cp_default_arg_entry): Declare.  Declare a VEC of it.
155         (cp_unparsed_functions_entry): Declare.  Declare a VEC of it.
156         (cp_parser) [unparsed_functions_queues]: Rename to unparsed_queues.
157         Change type to a VEC.
158         (unparsed_funs_with_default_args): Define.
159         (unparsed_funs_with_definitions): Define.
160         (push_unparsed_function_queues): New function.
161         (cp_parser_new): Call it.
162         (pop_unparsed_function_queues): New function.
163         (cp_parser_class_specifier): Adjust processing of unparsed functions.
164         (cp_parser_template_declaration_after_export): Use VEC_safe_push.
165         (cp_parser_save_member_function_body): Likewise.
166         (cp_parser_late_parsing_for_member): Call push_unparsed_function_queues
167         and pop_unparsed_function_queues.
168         (cp_parser_late_parsing_default_args): Likewise.
169         (cp_parser_save_default_args): Use VEC_safe_push.
170
171 2010-08-07  Nathan Froyd  <froydnj@codesourcery.com>
172
173         * name-lookup.h (cp_label_binding): Declare.  Declare a VEC type
174         containing it.
175         (cp_binding_level): Convert shadowed_labels and dead_vars_from_for
176         fields to VECs.
177         * decl.c (poplevel): Adjust for type changes.
178         (declare_local_label): Likewise.
179
180 2010-08-06  Jason Merrill  <jason@redhat.com>
181
182         * typeck.c (complete_type_or_maybe_complain): Split out from...
183         (complete_type_or_else): Here.
184         (build_class_member_access_expr): Call it.
185         (finish_class_member_access_expr): Likewise.
186         * call.c (build_special_member_call): Likewise.
187         * cvt.c (build_expr_type_conversion): Likewise.
188         * init.c (build_new): Likewise.
189         * typeck2.c (build_functional_cast): Likewise.
190         * cp-tree.h: Declare it.
191
192         * init.c (build_value_init): Add complain parm.
193         (build_value_init_noctor): Likewise.
194         (perform_member_init): Pass it.
195         (expand_aggr_init_1): Likewise.
196         (build_new_1): Likewise.
197         (build_vec_init): Likewise.
198         * pt.c (tsubst_expr): Likewise.
199         * typeck2.c (build_functional_cast): Likewise.
200         * cp-tree.h: Adjust.
201         * tree.c (build_target_expr_with_type): Handle error_mark_node.
202
203         * typeck.c (decay_conversion): Any expression with type nullptr_t
204         decays to nullptr.
205
206 2010-07-30  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
207
208         PR c++/45112
209         * decl.c (duplicate_decls): Merge DECL_USER_ALIGN and DECL_PACKED.
210
211 2010-07-27  Jason Merrill  <jason@redhat.com>
212
213         * pt.c (tsubst_expr) [DECL_EXPR]: Handle getting an AGGR_INIT_EXPR
214         from build_value_init.
215         * init.c (build_value_init_noctor): Give error for unknown array
216         bound.
217
218 2010-07-27  Joseph Myers  <joseph@codesourcery.com>
219
220         * cp-objcp-common.h (LANG_HOOKS_MISSING_ARGUMENT): Remove.
221
222 2010-07-27  Joseph Myers  <joseph@codesourcery.com>
223
224         * cp-objcp-common.c (cxx_initialize_diagnostics): First call
225         c_common_initialize_diagnostics.
226         * cp-objcp-common.h (LANG_HOOKS_OPTION_LANG_MASK,
227         LANG_HOOKS_COMPLAIN_WRONG_LANG_P): Define.
228
229 2010-07-21  Jason Merrill  <jason@redhat.com>
230
231         * tree.c (cp_tree_equal): Fix CONSTRUCTOR handling.
232
233         * parser.c (cp_parser_init_declarator): Pass LOOKUP_NORMAL
234         to cp_finish_decl.
235
236 2010-07-20  Jeffrey Yasskin  <jyasskin@google.com>
237
238         PR c++/44641
239         * pt.c (instantiate_class_template): Propagate the template's
240         location to its instance.
241
242 2010-07-20  Jason Merrill  <jason@redhat.com>
243
244         PR c++/44967
245         * pt.c (tsubst_copy_and_build): Rework last change.
246
247         PR c++/44967
248         * pt.c (tsubst_copy_and_build): Handle partial substitution of
249         CALL_EXPR.
250
251 2010-07-19  Jason Merrill  <jason@redhat.com>
252
253         PR c++/44996
254         * semantics.c (finish_decltype_type): Correct decltype
255         of parenthesized rvalue reference variable.
256
257         PR c++/44969
258         * tree.c (cp_tree_equal): Compare type of *CAST_EXPR.
259         * pt.c (iterative_hash_template_arg): Hash type of *CAST_EXPR.
260
261 2010-07-19  Paolo Carlini  <paolo.carlini@oracle.com>
262
263         PR c++/44969
264         * typeck.c (build_x_compound_expr_from_list): Add tsubst_flags_t
265         parameter.
266         * cp-tree.h: Adjust declaration.
267         * init.c (perform_member_init): Adjust caller.
268         * decl.c (grok_reference_init, cp_finish_decl): Likewise.
269         * typeck2.c (store_init_value): Likewise.
270         (build_functional_cast): Pass complain argument to
271         build_x_compound_expr_from_list.
272
273 2010-07-16  Jason Merrill  <jason@redhat.com>
274
275         PR c++/32505
276         * pt.c (process_partial_specialization): Diagnose partial
277         specialization after instantiation.
278         (most_specialized_class): Add complain parm.
279
280         * ptree.c (cxx_print_xnode): Handle TEMPLATE_INFO.
281
282 2010-07-15  Nathan Froyd  <froydnj@codesourcery.com>
283
284         * init.c (build_new_1): Use cp_build_function_call_nary instead of
285         cp_build_function_call.
286
287 2010-07-15  Jason Merrill  <jason@redhat.com>
288
289         PR c++/44909
290         * call.c (add_function_candidate): If we're working on an implicit
291         declaration, don't consider candidates that won't match.
292         * typeck.c (same_type_ignoring_top_level_qualifiers_p): Now a fn.
293         * cp-tree.h (same_type_ignoring_top_level_qualifiers_p): Adjust.
294
295         Revert:
296         * cp-tree.h (struct lang_type_class): Add has_user_opeq.
297         (TYPE_HAS_USER_OPEQ): New.
298         * decl.c (grok_special_member_properties): Set it.
299         * class.c (add_implicitly_declared_members): Don't lazily declare
300         constructors/operator= if a base or member has a user-declared one.
301         (check_bases_and_members, check_bases): Adjust.
302         (check_field_decls, check_field_decl): Adjust.
303
304 2010-07-15  Anatoly Sokolov  <aesok@post.ru>
305
306         * decl.c (integer_three_node): Remove.
307         (cxx_init_decl_processing): Do not initialize the integer_three_node.
308         * cp-tree.h (integer_three_node): Remove.
309
310 2010-07-15  Nathan Froyd  <froydnj@codesourcery.com>
311
312         * cp-tree.h: Carefully replace TREE_CHAIN with DECL_CHAIN.
313         * call.c: Likewise.
314         * class.c: Likewise.
315         * cp-gimplify.c: Likewise.
316         * decl.c: Likewise.
317         * decl2.c: Likewise.
318         * init.c: Likewise.
319         * mangle.c: Likewise.
320         * name-lookup.c: Likewise.
321         * optimize.c: Likewise.
322         * parser.c: Likewise.
323         * pt.c: Likewise.
324         * rtti.c: Likewise.
325         * search.c: Likewise.
326         * semantics.c: Likewise.
327         * typeck.c: Likewise.
328         * typeck2.c: Likewise.
329
330 2010-07-14  Jason Merrill  <jason@redhat.com>
331
332         * init.c (sort_mem_initializers): Rename "field_type" to "ctx".
333         (build_field_list): Cache field type.
334
335         Implement C++0x unrestricted unions (N2544)
336         * class.c (check_field_decl): Loosen union handling in C++0x.
337         * method.c (walk_field_subobs): Split out from...
338         (synthesized_method_walk): ...here.  Set msg before loops.
339         (process_subob_fn): Check for triviality in union members.
340         * init.c (sort_mem_initializers): Splice out uninitialized
341         anonymous unions and union members.
342         (push_base_cleanups): Don't automatically destroy anonymous unions
343         and union members.
344
345 2010-07-13  Jason Merrill  <jason@redhat.com>
346
347         PR c++/44909
348         * cp-tree.h (struct lang_type_class): Add has_user_opeq.
349         (TYPE_HAS_USER_OPEQ): New.
350         * decl.c (grok_special_member_properties): Set it.
351         * class.c (add_implicitly_declared_members): Don't lazily declare
352         constructors/operator= if a base or member has a user-declared one.
353         (check_bases_and_members, check_bases): Adjust.
354         (check_field_decls, check_field_decl): Adjust.
355         * method.c (synthesized_method_walk): Initialize check_vdtor.
356
357         PR c++/44540
358         * mangle.c (write_type): Canonicalize.
359         (canonicalize_for_substitution): Retain cv-quals on FUNCTION_TYPE.
360         (write_CV_qualifiers_for_type): Ignore them in abi>=5.
361
362 2010-07-13  Paolo Carlini  <paolo.carlini@oracle.com>
363
364         PR c++/44908
365         * call.c (convert_like_real): Adjust convert_ptrmem call, pass
366         complain argument.
367         * typeck.c (get_delta_difference): Update prototype, add a
368         tsubst_flags_t parameter; update get_delta_difference_1 calls and
369         add checks for error_mark_node.
370         (get_delta_difference_1): Update prototype, add a tsubst_flags_t
371         parameter; update lookup_base call.
372         (build_ptrmemfunc): Update prototype, add a tsubst_flags_t
373         parameter; update get_delta_difference call and add check for
374         error_mark_node.
375         (convert_ptrmem): Update prototype, add a tsubst_flags_t
376         parameter; update get_delta_difference call and add check for
377         error_mark_node;  update build_ptrmemfunc call.
378         (build_static_cast_1): Adjust convert_ptrmem call.
379         (expand_ptrmemfunc_cst): Adjust get_delta_difference call.
380         (cp_build_unary_op): Adjust build_ptrmemfunc call.
381         * cvt.c (cp_convert_to_pointer, convert_force): Adjust convert_ptrmem
382         and build_ptrmemfunc calls.
383         * cp-tree.h: Update build_ptrmemfunc and convert_ptrmem prototypes.
384
385 2010-07-12  Paolo Carlini  <paolo.carlini@oracle.com>
386
387         PR c++/44907
388         * call.c (build_temp): Add tsubst_flags_t complain parameter;
389         adjust build_special_member_call call, pass complain.
390         (convert_like_real): Adjust build_temp call, pass complain.
391
392 2010-07-09  Jason Merrill  <jason@redhat.com>
393
394         PR c++/43120
395         * cp-tree.h (BV_LOST_PRIMARY): New macro.
396         * class.c (update_vtable_entry_for_fn): Fix covariant thunk logic.
397         Set BV_LOST_PRIMARY.
398         (build_vtbl_initializer): Check BV_LOST_PRIMARY.
399
400 2010-07-08  Jason Merrill  <jason@redhat.com>
401
402         PR c++/43120
403         * class.c (update_vtable_entry_for_fn): Fix handling of dummy
404         virtual bases for covariant thunks.
405
406 2010-07-08  Manuel López-Ibáñez  <manu@gcc.gnu.org>
407
408         * cp-tree.h: Do not include toplev.h.
409
410 2010-07-06  Jason Merrill  <jason@redhat.com>
411
412         PR c++/44703
413         * call.c (is_std_init_list): Look through typedefs.
414
415         PR c++/44778
416         * init.c (build_offset_ref): If scope isn't dependent,
417         don't exit early.  Look at TYPE_MAIN_VARIANT.
418         * pt.c (tsubst_copy) [OFFSET_REF]: Do substitution.
419
420         * error.c (dump_function_decl): Don't crash on null DECL_NAME.
421
422 2010-07-06  Shujing Zhao  <pearly.zhao@oracle.com>
423
424         * cp-tree.h (impl_conv_void): New type.
425         (convert_to_void): Adjust prototype.
426         * cvt.c (convert_to_void): Use impl_conv_void, emit and adjust the
427         diagnostic for easy translation. Change caller.
428         * typeck.c: Update call to convert_to_void.
429         * semantics.c: Likewise.
430         * init.c: Likewise.
431
432 2010-07-05  Nathan Froyd  <froydnj@codesourcery.com>
433
434         * decl.c (cp_finish_decl): Call add_local_decl.
435         * optimize.c (clone_body): Adjust for new type of cfun->local_decls.
436
437 2010-07-05  Paolo Carlini  <paolo.carlini@oracle.com>
438
439         * pt.c (tsubst): Early declare code = TREE_CODE (t) and use it
440         throughout.
441
442 2010-07-05  Shujing Zhao  <pearly.zhao@oracle.com>
443
444         PR c++/22138
445         * parser.c (cp_parser_primary_expression): Error if local template is
446         declared.
447
448 2010-07-02  Le-Chun Wu  <lcwu@google.com>
449
450         PR/44128
451         * name-lookup.c (pushdecl_maybe_friend): Warn when a local decl
452         (variable or type) shadows another type.
453
454 2010-07-02  Jakub Jelinek  <jakub@redhat.com>
455
456         PR c++/44780
457         * typeck.c (convert_for_assignment): When converting a convertible
458         vector type or objc++ types, call mark_rvalue_use.
459         * typeck2.c (build_m_component_ref): Use return values from
460         mark_rvalue_use or mark_lvalue_use.
461         * class.c (build_base_path): Likewise.
462         * call.c (build_conditional_expr): Likewise.
463
464 2010-07-02  Paolo Carlini  <paolo.carlini@oracle.com>
465
466         PR c++/44039
467         * pt.c (tsubst_baselink): Return error_mark_node if lookup_fnfields
468         returns NULL_TREE.
469
470 2010-07-01  Richard Guenther  <rguenther@suse.de>
471
472         * cp-gimplify.c (cp_gimplify_expr): Open-code the rhs
473         predicate we are looking for, allow non-gimplified
474         INDIRECT_REFs.
475
476 2010-06-30  Paolo Carlini  <paolo.carlini@oracle.com>
477
478         PR c++/44628
479         * typeck.c (cp_build_unary_op): Early return error_mark_node when
480         arg is NULL_TREE too.
481         * call.c (convert_class_to_reference): Return error_mark_node when
482         expr is NULL_TREE.
483
484 2010-06-30  Michael Matz  <matz@suse.de>
485
486         * repo.c (finish_repo): Fix typo.
487
488 2010-06-30  Nathan Froyd  <froydnj@codesourcery.com>
489
490         * parser.c (cp_parser_omp_for_loop): Use a VEC for for_block.
491
492 2010-06-30  Nathan Froyd  <froydnj@codesourcery.com>
493
494         * repo.c (pending_repo): Change type to a VEC.
495         (finish_repo): Adjust for new type of pending_repo.
496         (repo_emit_p): Likewise.
497
498 2010-06-30  Manuel López-Ibáñez  <manu@gcc.gnu.org>
499
500         * tree.c: Include gimple.h. Do not include tree-flow.h
501         * decl.c: Do not include tree-flow.h
502         * Make-lang.in: Adjust dependencies.
503
504 2010-06-29  Nathan Froyd  <froydnj@codesourcery.com>
505
506         * decl.c (incomplete_var): Declare.  Declare VECs containing them.
507         (incomplete_vars): Adjust comment.  Change type to a VEC.
508         (maybe_register_incomplete_var): Adjust for new type.
509         (complete_vars): Adjust iteration over incomplete_vars.
510
511 2010-06-29  Nathan Froyd  <froydnj@codesourcery.com>
512
513         * decl.c (struct named_label_entry): Change type of bad_decls field
514         to a VEC.
515         (poplevel_named_label_1): Adjust for new type of bad_decls.
516         (check_goto): Likewise.
517
518 2010-06-29  Jason Merrill  <jason@redhat.com>
519
520         Enable implicitly declared move constructor/operator= (N3053).
521         * class.c (add_implicitly_declared_members): A class with no
522         explicitly declared copy or move constructor gets both declared
523         implicitly, and similarly for operator=.
524         (check_bases): A type with no copy ctor does not inhibit
525         a const copy ctor in a derived class.  It does mean the derived
526         one is non-trivial.
527         (check_field_decl): Likewise.
528         (check_bases_and_members): A nonexistent copy ctor/op= is non-trivial.
529         * tree.c (type_has_nontrivial_copy_init): Adjust semantics.
530         (trivially_copyable_p): Likewise.
531         * call.c (convert_like_real): Use type_has_nontrivial_copy_init.
532         * class.c (finish_struct_bits): Likewise.
533         * tree.c (build_target_expr_with_type): Likewise.
534         * typeck2.c (store_init_value): Likewise.
535
536         Enable implicitly deleted functions (N2346)
537         * class.c (check_bases_and_members): Adjust lambda flags.
538         * method.c (implicitly_declare_fn): Set DECL_DELETED_FN if appropriate.
539
540         * decl2.c (mark_used): Adjust error for use of deleted function.
541
542         Machinery to support implicit delete/move.
543         * cp-tree.h: (struct lang_type_class): Add lazy_move_assign,
544         has_complex_move_ctor, has_complex_move_assign bitfields.
545         (CLASSTYPE_LAZY_MOVE_ASSIGN): New.
546         (TYPE_HAS_COMPLEX_MOVE_ASSIGN): New.
547         (TYPE_HAS_COMPLEX_MOVE_CTOR): New.
548         (enum special_function_kind): Add sfk_move_assignment.
549         (LOOKUP_SPECULATIVE): New.
550         * call.c (build_over_call): Return early if it's set.
551         (build_over_call): Use trivial_fn_p.
552         * class.c (check_bases): If the base has no default constructor,
553         the derived one is non-trivial.  Handle move ctor/op=.
554         (check_field_decl): Likewise.
555         (check_bases_and_members): Handle move ctor/op=.
556         (add_implicitly_declared_members): Handle CLASSTYPE_LAZY_MOVE_ASSIGN.
557         (type_has_move_constructor, type_has_move_assign): New.
558         * decl.c (grok_special_member_properties): Handle move ctor/op=.
559         * method.c (type_has_trivial_fn, type_set_nontrivial_flag): New.
560         (trivial_fn_p): New.
561         (do_build_copy_constructor): Use it.
562         (do_build_assign_ref): Likewise.  Handle move assignment.
563         (build_stub_type, build_stub_object, locate_fn_flags): New.
564         (locate_ctor): Use locate_fn_flags.
565         (locate_copy, locate_dtor): Remove.
566         (get_dtor, get_default_ctor, get_copy_ctor, get_copy_assign): New.
567         (process_subob_fn, synthesized_method_walk): New.
568         (maybe_explain_implicit_delete): New.
569         (implicitly_declare_fn): Use synthesized_method_walk,
570         type_has_trivial_fn, and type_set_nontrivial_flag.
571         (defaulted_late_check): Set DECL_DELETED_FN.
572         (defaultable_fn_check): Handle sfk_move_assignment.
573         (lazily_declare_fn): Clear CLASSTYPE_LAZY_* early.  Don't declare
574         implicitly deleted move ctor/op=.
575         * search.c (lookup_fnfields_1): Handle sfk_move_assignment.
576         (lookup_fnfields_slot): New.
577         * semantics.c (omp_clause_info_fndecl): Remove.
578         (cxx_omp_create_clause_info): Use get_default_ctor, get_copy_ctor,
579         get_copy_assign, trivial_fn_p.
580         (trait_expr_value): Adjust call to locate_ctor.
581         * tree.c (special_function_p): Handle sfk_move_assignment.
582
583         * class.c (type_has_virtual_destructor): New.
584         * cp-tree.h: Declare it.
585         * semantics.c (trait_expr_value): Use it.
586
587         * call.c (build_over_call): Only give warnings with tf_warning.
588
589         * name-lookup.c (pop_scope): Handle NULL_TREE.
590
591         * cp-tree.h (TYPE_HAS_ASSIGN_REF): Rename to TYPE_HAS_COPY_ASSIGN.
592         (TYPE_HAS_CONST_ASSIGN_REF): Rename to TYPE_HAS_CONST_COPY_ASSIGN.
593         (TYPE_HAS_INIT_REF): Rename to TYPE_HAS_COPY_CTOR.
594         (TYPE_HAS_CONST_INIT_REF): Rename to TYPE_HAS_CONST_COPY_CTOR.
595         (TYPE_HAS_COMPLEX_ASSIGN_REF): Rename to TYPE_HAS_COMPLEX_COPY_ASSIGN.
596         (TYPE_HAS_COMPLEX_INIT_REF): Rename to TYPE_HAS_COMPLEX_COPY_CTOR.
597         (TYPE_HAS_TRIVIAL_ASSIGN_REF): Rename to TYPE_HAS_TRIVIAL_COPY_ASSIGN.
598         (TYPE_HAS_TRIVIAL_INIT_REF): Rename to TYPE_HAS_TRIVIAL_COPY_CTOR.
599         (CLASSTYPE_LAZY_ASSIGNMENT_OP): Rename to CLASSTYPE_LAZY_COPY_ASSIGN.
600         (sfk_assignment_operator): Rename to sfk_copy_assignment.
601         * decl.c, call.c, class.c, init.c, method.c, pt.c, ptree.c: Adjust.
602         * search.c, semantics.c, tree.c: Adjust.
603
604         * pt.c (dependent_scope_ref_p): Remove.
605         (value_dependent_expression_p): Don't call it.
606         (type_dependent_expression_p): Here either.
607         * init.c (build_offset_ref): Set TREE_TYPE on a qualified-id
608         if the scope isn't dependent.
609
610         * pt.c (convert_nontype_argument): Use mark_lvalue_use if we want
611         a reference.
612
613         PR c++/44587
614         * pt.c (has_value_dependent_address): New.
615         (value_dependent_expression_p): Check it.
616         (convert_nontype_argument): Likewise.  Call decay_conversion before
617         folding if we want a pointer.
618         * semantics.c (finish_id_expression): Don't add SCOPE_REF if the
619         scope is the current instantiation.
620
621 2010-06-28  Jakub Jelinek  <jakub@redhat.com>
622
623         PR c++/44682
624         * class.c (build_base_path): If want_pointer, call mark_rvalue_use
625         on expr.
626
627 2010-06-28  Steven Bosscher  <steven@gcc.gnu.org>
628
629         * init.c: Do not include except.h.
630         * decl.c: Likewise.
631         * expr.c: Likewise.
632         * cp-lang.c: Likewise.
633         * pt.c: Likewise.
634         * semantics.c: Likewise.
635         * decl2.c: Likewise.
636         * except.c: Likewise.
637         (init_exception_processing): Do not set the removed
638         lang_protect_cleanup_actions here.
639         (cp_protect_cleanup_actions): Make non-static and remove prototype.
640         (doing_eh): New, moved from except.c but removed the do_warning flag.
641         (expand_start_catch_block): Update doing_eh call.
642         (expand_end_catch_block): Likewise.
643         (build_throw): Likewise.
644         * cp-tree.h: Prototype cp_protect_cleanup_actions.
645         * cp-objcp-common.h: Set LANG_HOOKS_EH_PROTECT_CLEANUP_ACTIONS to
646         cp_protect_cleanup_actions.
647         * Make-lang.in: Update dependencies.
648
649 2010-06-26  Jason Merrill  <jason@redhat.com>
650
651         * call.c (add_function_candidate): Set LOOKUP_COPY_PARM for any
652         constructor called with a single argument that takes a reference
653         to the constructor's class.
654         (BAD_CONVERSION_RANK): New.
655         (compare_ics): Use it to compare bad ICSes.
656
657 2010-06-25  Joseph Myers  <joseph@codesourcery.com>
658
659         * lang-specs.h: Remove +e handling.
660
661 2010-06-24  Andi Kleen  <ak@linux.intel.com>
662
663         * parser.c: (cp_parser_question_colon_clause):
664         Switch to use cp_lexer_peek_token.
665         Call warn_for_omitted_condop. Call pedwarn for omitted
666         middle operand.
667
668 2010-06-22  Jakub Jelinek  <jakub@redhat.com>
669
670         PR c++/44619
671         * typeck2.c (build_m_component_ref): Call mark_lvalue_use on
672         datum and mark_rvalue_use on component.
673
674         PR c++/44627
675         * error.c (dump_expr): Don't look at CALL_EXPR_ARG (t, 0) if
676         the CALL_EXPR has no arguments.
677
678 2010-06-21  Jason Merrill  <jason@redhat.com>
679
680         * typeck.c (comp_except_specs): Fix ce_derived with noexcept.
681
682         * semantics.c (check_trait_type): Check COMPLETE_TYPE_P for array
683         element type.
684
685 2010-06-17  Nathan Froyd  <froydnj@codesourcery.com>
686
687         * name-lookup.c (struct arg_lookup): Convert namespaces and
688         classes fields to VEC.
689         (arg_assoc_namespace): Adjust for new type of namespaces.
690         (arg_assoc_class): Adjust for new type of classes.
691         (lookup_arg_dependent): Use make_tree_vector and
692         release_tree_vector.
693         * typeck2.c (build_x_arrow): Use vec_member.
694
695 2010-06-17  Manuel López-Ibáñez  <manu@gcc.gnu.org>
696
697         PR c++/44486
698         * error.c (dump_decl): Better wording for anonymous namespace.
699
700 2010-06-16  Nathan Froyd  <froydnj@codesourcery.com>
701
702         * class.c (build_vtbl_initializer): Adjust computation of new_position
703         and which entry to add padding for.
704
705 2010-06-16  Jason Merrill  <jason@redhat.com>
706
707         * except.c (check_noexcept_r): Return the problematic function.
708         (finish_noexcept_expr): Give -Wnoexcept warning.  Add complain parm.
709         * pt.c (tsubst_copy_and_build): Pass it.
710         * parser.c (cp_parser_unary_expression): Likewise.
711         * cp-tree.h: Adjust prototype.
712
713         * method.c (defaulted_late_check): Give the defaulted method
714         the same exception specification as the implicit declaration.
715
716 2010-06-15  Jason Merrill  <jason@redhat.com>
717
718         * class.c (add_implicitly_declared_members): Implicit assignment
719         operators can also be virtual overriders.
720         * method.c (lazily_declare_fn): Likewise.
721
722         * call.c (convert_like_real): Give "initializing argument of"
723         information for ambiguous conversion.  Give source position
724         of function.
725
726         * call.c (print_z_candidates): Do print viable deleted candidates.
727         (joust): Don't choose a deleted function just because its worst
728         conversion is better than another candidate's worst.
729
730         * call.c (convert_like_real): Don't complain about
731         list-value-initialization from an explicit constructor.
732
733         * decl.c (duplicate_decls): Use DECL_IS_BUILTIN rather than test
734         DECL_SOURCE_LOCATION directly.
735
736         * class.c (type_has_user_provided_default_constructor): Use
737         sufficient_parms_p.
738
739         * call.c (is_subseq): Handle ck_aggr, ck_list.
740         (compare_ics): Treat an aggregate or ambiguous conversion to the
741         same type as involving the same function.
742
743 2010-06-13  Shujing Zhao  <pearly.zhao@oracle.com>
744
745         * typeck.c (convert_for_assignment): Fix comment. Change message
746         format from %d to %qP.
747         (convert_for_initialization): Fix comment. 
748
749 2010-06-11  Shujing Zhao  <pearly.zhao@oracle.com>
750
751         * cp-tree.h (expr_list_kind): New type.
752         (impl_conv_rhs): New type.
753         (build_x_compound_expr_from_list, convert_for_initialization): Adjust
754         prototype.
755         (typeck.c (convert_arguments): Use impl_conv_rhs and emit the
756         diagnostics for easy translation. Change caller.
757         (convert_for_initialization): Use impl_conv_rhs and change caller.
758         (build_x_compound_expr_from_list): Use expr_list_kind and emit the
759         diagnostics for easy translation. Change caller.
760         * decl.c (bad_spec_place): New enum.
761         (bad_specifiers): Use it and emit the diagnostics for easy
762         translation. Change caller.
763         * pt.c (coerce_template_parms): Put the diagnostics in full sentence.
764
765 2010-06-09  Nathan Froyd  <froydnj@codesourcery.com>
766
767         * cp-tree.h (struct saved_scope): Change decl_ns_list field type
768         to a VEC.
769         * decl2.c (cp_write_global_declarations): Adjust for new type of
770         decl_namespace_list.
771         * name-lookup.c (current_decl_namespace): Likewise.
772         (push_decl_namespace): Likewise.
773         (pop_decl_namespace): Likewise.
774
775 2010-06-09  Nathan Froyd  <froydnj@codesourcery.com>
776
777         * call.c (build_java_interface_fn_ref): Call build_function_type_list
778         instead of build_function_type.
779         * decl.c (cxx_init_decl_processing): Likewise.
780         (declare_global_var): Likewise.
781         (get_atexit_node): Likewise.
782         (expand_static_init): Likewise.
783         * decl2.c (start_objects): Likewise.
784         (start_static_storage_duration_function): Likewise.
785         * except.c (init_exception_processing): Likewise.
786         (build_exc_ptr): Likewise.
787         (build_throw): Likewise.
788         * rtti.c (throw_bad_cast): Likewise.
789         (throw_bad_typeid): Likewise.
790         (build_dynamic_cast_1): Likewise.
791
792 2010-06-09  Nathan Froyd  <froydnj@codesourcery.com>
793
794         * call.c (build_call_n): Call XALLOCAVEC instead of alloca.
795         (build_op_delete_call): Likewise.
796         (build_over_call): Likewise.
797         * cp-gimplify.c (cxx_omp_clause_apply_fn): Likewise.
798         * pt.c (process_partial_specialization): Likewise.
799         (tsubst_template_args): Likewise.
800         * semantics.c (finish_asm_stmt): Likewise.
801
802 2010-06-08  Nathan Sidwell  <nathan@codesourcery.com>
803
804         * decl.c (record_key_method_defined): New, broken out of ...
805         (finish_function): ... here.  Call it.  
806         (start_decl): Treat aliases as definitions.
807
808 2010-06-08  Laurynas Biveinis  <laurynas.biveinis@gmail.com>
809
810         * typeck2.c (abstract_virtuals_error): Use typed GC allocation.
811
812         * pt.c (maybe_process_partial_specialization): Likewise.
813         (register_specialization): Likewise.
814         (add_pending_template): Likewise.
815         (lookup_template_class): Likewise.
816         (push_tinst_level): Likewise.
817
818         * parser.c (cp_lexer_new_main): Likewise.
819         (cp_lexer_new_from_tokens): Likewise.
820         (cp_token_cache_new): Likewise.
821         (cp_parser_context_new): Likewise.
822         (cp_parser_new): Likewise.
823         (cp_parser_nested_name_specifier_opt): Likewise.
824         (cp_parser_template_id): Likewise.
825
826         * name-lookup.c (binding_entry_make): Likewise.
827         (binding_table_construct): Likewise.
828         (binding_table_new): Likewise.
829         (cxx_binding_make): Likewise.
830         (pushdecl_maybe_friend): Likewise.
831         (begin_scope): Likewise.
832         (push_to_top_level): Likewise.
833
834         * lex.c (init_reswords): Likewise.
835         (retrofit_lang_decl): Likewise.
836         (cxx_dup_lang_specific_decl): Likewise.
837         (copy_lang_type): Likewise.
838         (cxx_make_type): Likewise.
839
840         * decl.c (make_label_decl): Likewise.
841         (check_goto): Likewise.
842         (start_preparsed_function): Likewise.
843         (save_function_data): Likewise.
844
845         * cp-tree.h (TYPE_SET_PTRMEMFUNC_TYPE): Likewise.
846
847         * cp-objcp-common.c (decl_shadowed_for_var_insert): Likewise.
848
849         * class.c (finish_struct_1): Likewise.
850
851         * cp-tree.h (struct lang_type): Add variable_size GTY option.
852         (struct lang_decl): Likewise.
853
854         * parser.c (cp_parser_new): Update comment to not reference
855         ggc_alloc.
856
857 2010-06-07  Jason Merrill  <jason@redhat.com>
858
859         PR c++/44366
860         * error.c (dump_parameters): Mask out TFF_SCOPE.
861         (dump_simple_decl): Don't print the scope of a PARM_DECL.
862         (dump_scope): Remove no-op mask.
863
864         PR c++/44401
865         * parser.c (cp_parser_lookup_name): Fix naming the constructor.
866
867         * cp-tree.h (COMPLETE_OR_OPEN_TYPE_P): New macro.
868         * init.c (build_offset_ref): Use it.
869         * pt.c (maybe_process_partial_specialization): Use it.
870         (instantiate_class_template): Use it.
871         * search.c (lookup_base): Use it.
872
873 2010-06-07  Jakub Jelinek  <jakub@redhat.com>
874
875         PR c++/44444
876         * expr.c (mark_exp_read): Handle INDIRECT_REF.
877         * cvt.c (convert_to_void): Handle INDIRECT_REF like
878         handled_component_p.
879
880         PR c++/44443
881         * decl.c (initialize_local_var): If TREE_USED is set on the type,
882         set also DECL_READ_P on the decl.
883
884 2010-05-25  Dodji Seketeli  <dodji@redhat.com>
885
886         PR c++/44188
887         * cp-tree.h (typedef_variant_p): Move this declaration to
888         gcc/tree.h.
889         * tree.c (typedef_variant_p): Move this definition to gcc/tree.c.
890         * decl.c (grokdeclarator): Do not rename debug info of an
891         anonymous tagged type named by a typedef.
892
893 2010-06-05  Fabien Chêne  <fabien@gcc.gnu.org>
894
895         PR c++/44086
896         * class.c (check_field_decls): Move the call to
897         check_bitfield_decl before trying to set the
898         CLASSTYPE_READONLY_FIELDS_NEED_INIT flag.
899
900 2010-06-05  Steven Bosscher  <steven@gcc.gnu.org>
901
902         * typeck.c: Update include path for moved files.
903         * decl.c: Likewise.
904         * rtti.c: Likewise.
905         * cp-gimplify.c: Likewise.
906         * cp-lang.c: Likewise.
907         * pt.c: Likewise.
908         * semantics.c: Likewise.
909         * cxx-pretty-print.h: Likewise.
910         * decl2.c: Likewise.
911         * parser.c: Likewise.
912         * cp-objcp-common.c: Likewise.
913         * cp-tree.h: Likewise.
914         * name-lookup.c: Likewise.
915         * lex.c: Likewise.
916         * name-lookup.h: Likewise.
917         * config-lang.in: Update paths in gtfiles for files in c-family/.
918         * Make-lang.in: Likewise.
919
920 2010-06-04  Magnus Fromreide  <magfr@lysator.liu.se>
921
922         * cvt.c (cp_convert_to_pointer): Use null_ptr_cst_p.
923         * typeck.c (build_ptrmemfunc): Likewise.
924
925 2010-06-04  Jason Merrill  <jason@redhat.com>
926
927         * typeck2.c (merge_exception_specifiers): Adjust merging of
928         throw() and noexcept(true).
929
930         * pt.c (value_dependent_expression_p) [NOEXCEPT_EXPR]: Avoid
931         using an uninitialized variable.
932
933         * cxx-pretty-print.c (pp_cxx_unary_expression): Handle NOEXCEPT_EXPR.
934         (pp_cxx_expression): Likewise.
935
936         Implement noexcept-specification (15.4)
937         * parser.c (cp_parser_exception_specification_opt): Parse it.
938         Give -Wdeprecated warning about throw() specs.
939         * pt.c (tsubst_exception_specification): Handle it.
940         * error.c (dump_exception_spec): Handle it.
941         (dump_expr): Handle NOEXCEPT_EXPR.
942         * cxx-pretty-print.c (pp_cxx_exception_specification): Likewise.
943         * typeck.c (comp_except_specs): Handle compatibility rules.
944         Change exact parm to take an enum.
945         * typeck2.c (merge_exception_specifiers): Handle noexcept.
946         * except.c (nothrow_spec_p, type_noexcept_p): New fns.
947         (type_throw_all_p, build_noexcept_spec): New fns.
948         * cp-tree.h (TYPE_NOTHROW_P, TYPE_NOEXCEPT_P): Use them.
949         (comp_except_specs): Define ce_derived, ce_normal, ce_exact enums.
950         (cp_tree_index): Add CPTI_NOEXCEPT_TRUE_SPEC, CPTI_NOEXCEPT_FALSE_SPEC.
951         (noexcept_true_spec, noexcept_false_spec): New macros.
952         * name-lookup.c (pushdecl_maybe_friend): Adjust.
953         * search.c (check_final_overrider): Adjust.
954         * decl.c (check_redeclaration_exception_specification): Adjust.
955         (use_eh_spec_block): Use type_throw_all_p.
956         (cxx_init_decl_processing): Set noexcept_false_spec,noexcept_true_spec.
957         Give operator new a noexcept-specification in C++0x mode.
958         * tree.c (build_exception_variant, cxx_type_hash_eq): Adjust.
959         (cp_build_type_attribute_variant): Don't test TYPE_RAISES_EXCEPTIONS.
960
961         Implement noexcept operator (5.3.7)
962         * cp-tree.def (NOEXCEPT_EXPR): New.
963         * except.c (check_noexcept_r, finish_noexcept_expr): New.
964         * cp-tree.h: Declare finish_noexcept_expr.
965         * parser.c (cp_parser_unary_expression): Parse noexcept-expression.
966         * pt.c (tsubst_copy_and_build): And tsubst it.
967         (type_dependent_expression_p): Handle it.
968         (value_dependent_expression_p): Handle it.
969
970         * call.c (build_conditional_expr): Never fold in unevaluated context.
971         * tree.c (build_aggr_init_expr): Propagate TREE_NOTHROW.
972         * semantics.c (simplify_aggr_init_expr): Likewise.
973         * typeck.c (merge_types): Call merge_exception_specifiers.
974         * decl.c (duplicate_decls): Check DECL_SOURCE_LOCATION rather than
975         DECL_ANTICIPATED for preferring new type.
976
977 2010-06-04  Joseph Myers  <joseph@codesourcery.com>
978
979         * g++spec.c (lang_specific_driver): Use GCC-specific formats in
980         diagnostics.
981
982 2010-06-04  Jakub Jelinek  <jakub@redhat.com>
983
984         PR c++/44412
985         * typeck.c (build_class_member_access_expr): Call mark_exp_read
986         on object for static data members.
987
988 2010-06-04  Jakub Jelinek  <jakub@redhat.com>
989             Jason Merrill  <jason@redhat.com>
990
991         PR c++/44362
992         * call.c (build_conditional_expr): If both arg2 and arg3 are lvalues
993         with the same type, call mark_lvalue_use on both.
994
995 2010-06-03  Nathan Froyd  <froydnj@codesourcery.com>
996
997         * class.c (struct vtbl_init_data_s): Remove last_init field.
998         (struct secondary_vptr_vtt_init_data_s): Change type of inits field
999         to a VEC.
1000         (finish_vtbls): Use a VEC rather than a TREE_LIST for the accumulated
1001         initializers.
1002         (build_vtt): Likewise.
1003         (initialize_vtable): Take a VEC instead of a tree.
1004         (build_vtt_inits): Change return type to void.  Take a VEC **
1005         instead of a tree *; accumulate results into said VEC.
1006         (build_ctor_vtbl_group): Use a VEC rather than a TREE_LIST for the
1007         accumulated initializers.  Pass the vtable to accumulate_vtbl_inits.
1008         (accumulate_vtbl_inits): Add extra vtable tree parameter; take a VEC
1009         instead of a tree.
1010         (dfs_accumulate_vtbl_inits): Likewise.  Change return type to void.
1011         (build_vtbl_initializer): Add VEC parameter; accumulate initializers
1012         into it.
1013         (dfs_build_secondary_vptr_vtt_inits): Use CONSTRUCTOR_APPEND_ELT
1014         rather than tree_cons.
1015         (build_vbase_offset_vtbl_entries): Likewise.
1016         (add_vcall_offset): Likewise.
1017         (build_rtti_vtbl_entries): Likewise.
1018         * cp-tree.h (initialize_artificial_var): Take a VEC instead of a tree.
1019         * decl.c (initialize_artificial_var): Use build_constructor instead
1020         of build_constructor_from_list.
1021
1022 2010-06-03  H.J. Lu  <hongjiu.lu@intel.com>
1023
1024         PR c++/44294
1025         * class.c (layout_class_type): Check MAX_FIXED_MODE_SIZE on
1026         bit-field.
1027
1028 2010-06-02  Jonathan Wakely  <jwakely.gcc@gmail.com>
1029
1030         * parser.c (cp_parser_mem_initializer_list): Change error text.
1031
1032 2010-06-02  Jakub Jelinek  <jakub@redhat.com>
1033
1034         * cp-objcp-common.c (shadowed_var_for_decl): Change into
1035         tree_decl_map hashtab from tree_map.
1036         (decl_shadowed_for_var_lookup, decl_shadowed_for_var_insert): Adjust.
1037         (init_shadowed_var_for_decl): Adjust initialization.
1038
1039         PR c++/44361
1040         * cvt.c (convert_to_void): If implicit is NULL, call mark_rvalue_use
1041         instead of calling mark_exp_read only when not an assignment.
1042
1043         PR debug/44367
1044         * semantics.c (finalize_nrv): Don't copy DECL_ARTIFICIAL, DECL_IGNORED_P,
1045         DECL_SOURCE_LOCATION and DECL_ABSTRACT_ORIGIN from var to result.
1046         Set DECL_VALUE_EXPR on var.
1047
1048 2010-06-02  Jason Merrill  <jason@redhat.com>
1049
1050         * error.c (dump_type): Improve typedef handling.
1051
1052         PR c++/9726
1053         PR c++/23594
1054         PR c++/44333
1055         * name-lookup.c (same_entity_p): New.
1056         (ambiguous_decl): Multiple declarations of the same entity
1057         are not ambiguous.
1058
1059 2010-06-01  Jason Merrill  <jason@redhat.com>
1060
1061         DR 990
1062         * call.c (add_list_candidates): Prefer the default constructor.
1063         (build_aggr_conv): Treat missing initializers like { }.
1064         * typeck2.c (process_init_constructor_record): Likewise.
1065         * init.c (expand_default_init): Use digest_init for
1066         direct aggregate initialization, too.
1067
1068         * call.c (add_list_candidates): Split out...
1069         (build_user_type_conversion_1): ...from here.
1070         (build_new_method_call): And here.
1071         (implicit_conversion): Propagate LOOKUP_NO_NARROWING.
1072
1073         PR c++/44358
1074         * call.c (build_list_conv): Set list-initialization flags properly.
1075
1076 2010-06-01  Nathan Froyd  <froydnj@codesourcery.com>
1077
1078         * typeck2.c (build_x_arrow): Make types_memoized a VEC.
1079
1080 2010-06-01  Arnaud Charlet  <charlet@adacore.com>
1081             Matthew Gingell  <gingell@adacore.com>
1082
1083         * Make-lang.in (CXX_C_OBJS): Add c-ada-spec.o.
1084         * decl2.c: Include langhooks.h and c-ada-spec.h.
1085         (cpp_check, collect_source_refs, collect_ada_namespace,
1086         collect_all_refs): New functions.
1087         (cp_write_global_declarations): Add handling of -fdump-ada-spec.
1088         * lang-specs.h: Ditto.
1089
1090 2010-05-29  Nathan Froyd  <froydnj@codesourcery.com>
1091
1092         * cp-tree.h (cp_build_function_call_nary): Declare.
1093         * typeck.c (cp_build_function_call_nary): Define.
1094         * decl.c (register_dtor_fn): Use it instead of
1095         cp_build_function_call.
1096         (cxx_maybe_build_cleanup): Likewise.
1097         * decl2.c (generate_ctor_or_dtor_function): Likewise.
1098         * except.c (do_get_exception_ptr): Likewise.
1099         (do_begin_catch): Likewise.
1100         (do_allocate_exception): Likewise.
1101         (do_free_exception): Likewise.
1102         (build_throw): Likewise.  Use cp_build_function_call_vec instead
1103         of cp_build_function_call.
1104         (do_end_catch): Likewise.
1105
1106 2010-05-29  Nathan Froyd  <froydnj@codesourcery.com>
1107
1108         * cp-tree.h (struct cp_decl_specifier_seq): Move type_location field up.
1109         (struct cp_declarator): Move id_loc field up.
1110
1111 2010-05-29  Steven Bosscher  <steven@gcc.gnu.org>
1112
1113         * cp-tree.h (ATTRIBUTE_GCC_CXXDIAG): Remove.  Require that
1114         this file is included before c-common.h.  Define GCC_DIAG_STYLE
1115         before including diagnostic-core.h and toplev.h.
1116         (pedwarn_cxx98): Use ATTRIBUTE_GCC_DIAG.
1117         * pt.c: Include cp-tree.h before c-common.h.
1118
1119 2010-05-29  Steven Bosscher  <steven@gcc.gnu.org>
1120
1121         * tree.c (c_register_addr_space): Add stub.
1122
1123 2010-05-28  Joseph Myers  <joseph@codesourcery.com>
1124
1125         * g++spec.c (lang_specific_driver): Use fatal_error instead of
1126         fatal.
1127
1128 2010-05-28  Dodji Seketeli  <dodji@redhat.com>
1129
1130         Revert fix of PR c++/44188
1131         * cp-tree.h (typedef_variant_p): Revert moving this declaration to
1132         gcc/tree.h.
1133         * tree.c (typedef_variant_p): Revert moving this definition to
1134         gcc/tree.c.
1135         * decl.c (grokdeclarator): Revert naming typedef handling.
1136
1137 2010-05-27  Joseph Myers  <joseph@codesourcery.com>
1138
1139         * call.c: Include diagnostic-core.h instead of diagnostic.h.
1140         * cp-lang.c: Don't include diagnostic.h
1141         * name-lookup.c: Include diagnostic-core.h instead of
1142         diagnostic.h.
1143         (cp_emit_debug_info_for_using): Use seen_error.
1144         * optimize.c: Include diagnostic-core.h instead of diagnostic.h.
1145         * parser.c: Include diagnostic-core.h instead of diagnostic.h.
1146         * pt.c (iterative_hash_template_arg): Use seen_error.
1147         * repo.c: Include diagnostic-core.h instead of diagnostic.h.
1148         * typeck2.c: Include diagnostic-core.h instead of diagnostic.h.
1149         * Make-lang.in (cp/cp-lang.o, cp/typeck2.o, cp/call.o, cp/repo.o,
1150         cp/optimize.o, cp/parser.o, cp/name-lookup.o): Update
1151         dependencies.
1152
1153 2010-05-25  Dodji Seketeli  <dodji@redhat.com>
1154
1155         PR c++/44188
1156         * cp-tree.h (typedef_variant_p): Move this declaration to
1157         gcc/tree.h.
1158         * tree.c (typedef_variant_p): Move this definition to gcc/tree.c.
1159         * decl.c (grokdeclarator): Do not rename debug info of an
1160         anonymous tagged type named by a typedef.
1161
1162 2010-05-27  Jason Merrill  <jason@redhat.com>
1163
1164         PR c++/43555
1165         * decl.c (grokdeclarator) [cdk_pointer et al]: Force evaluation of
1166         anonymous VLA size.
1167
1168 2010-05-27  Kai Tietz  <kai.tietz@onevision.com>
1169
1170         PR bootstrap/44287
1171         * rtti.c (emit_support_tinfos): Check for NULL_TREE.
1172         * class.c (layout_class_type): Likewise.
1173         * decl.c (finish_enum): Likewise.
1174         * mangle.c (write_builitin_type): Likewise.
1175
1176 2010-05-26  Kai Tietz  <kai.tietz@onevision.com>
1177
1178         * cp-tree.h (cp_decl_specifier_seq): Add new bifield
1179         explicit_int128_p.
1180         * decl.c (grokdeclarator): Handle __int128.
1181         * parser.c (cp_lexer_next_token_is_decl_specifier_ke): Likewise.
1182         (cp_parser_simple_type_specifier): Likewise.
1183         * rtti.c (emit_support_tinfos): Add int128 nodes for rtti.
1184         * typeck.c (cp_common_type): Handle __int128.
1185         * mangle.c (integer_type_codes): Add itk_int128 and
1186         itk_unsigned_int128.
1187
1188 2010-05-26  Jason Merrill  <jason@redhat.com>
1189
1190         PR c++/43382
1191         * pt.c (tsubst_pack_expansion): Don't get confused by recursive
1192         unification.
1193
1194 2010-05-26  Steven Bosscher  <steven@gcc.gnu.org>
1195
1196         * cp-lang.c: Do not include expr.h.
1197
1198 2010-05-26  Steven Bosscher  <steven@gcc.gnu.org>
1199
1200         * decl.c: Do not include rtl.h
1201         * semantics.c: Likewise.
1202
1203 2010-05-25  Steven Bosscher  <steven@gcc.gnu.org>
1204
1205         * cp-tree.h: Do not include splay-tree.h.
1206         (struct prtmem_cst): Remove unused field and false comment.
1207         * typeck.c: Do not include rtl.h, expr.h, and tm_p.h.
1208         * optimize.c: Do not inclde rtl.h, insn-config.h, and integrate.h.
1209         * init.c: Do not include rtl.h and expr.h.
1210         * class.c: Do not include rtl.h.  Include splay-tree.h.
1211         (build_clone): Use plain NULL instead of NULL_RTX.
1212         * decl.c: Do not include expr.h.  Explain why rtl.h has to be
1213         included.  Include splay-tree.h.
1214         * method.c: Do not include rtl.h and expr.h.
1215         (use_thunk): Use plain NULL instead of NULL_RTX.
1216         * except.c: Do not include rtl.h, expr.h, and libfuncs.h.
1217         * tree.c: Do not include rtl.h, insn-config.h, integrate.h,
1218         and target.h.  Include splay-tree.h.
1219         * expr.c: Do not include rtl.h and expr.h.
1220         * pt.c: Do not include obstack.h and rtl.h.
1221         (tsubst_friend_function): Use plain NULL instead of NULL_RTX.
1222         (tsubst_decl): Likewise.
1223         (instantiate_decl): Likewise.
1224         * semantics.c: Do not include exprt.h and debug.h.  Explain why
1225         rtl.h has to be included.
1226         * decl2.c: Do not include rtl.h and expr.h.  Include splay-tree.h.
1227         * call.c: Do not include rtl.h and expr.h.
1228         * search.c: Do not include obstack.h and rtl.h.
1229         * friend.c: Do not include rtl.h and expr.h.
1230         * Make-lang.in: Update dependencies.
1231
1232 2010-05-25  Jakub Jelinek  <jakub@redhat.com>
1233
1234         PR c++/18249
1235         * parser.c (non_integral_constant): Add NIC_NONE.
1236         (required_token): Add RT_NONE.
1237         (cp_parser_unary_expression): Initialize non_constant_p
1238         to NIC_NONE.
1239         (cp_parser_asm_definition): Initialize missing to RT_NONE.
1240         (cp_parser_primary_expression, cp_parser_postfix_expression,
1241         cp_parser_cast_expression, cp_parser_binary_expression,
1242         cp_parser_functional_cast): Fix formatting.
1243
1244 2010-05-25  Shujing Zhao  <pearly.zhao@oracle.com>
1245         
1246         PR c++/18249
1247         * parser.c: Remove inclusion of dyn-string.h.
1248         (non_integral_constant): New enum.
1249         (name_lookup_error): New enum.
1250         (required_token): New enum.
1251         (cp_parser_required_error): New function.
1252         (cp_parser_require): Change the type of variable token_desc to
1253         required_token and use cp_parser_required_error.
1254         (cp_parser_require_keyword): Likewise.
1255         (cp_parser_error): Use gmsgid as parameter.
1256         (cp_parser_name_lookup_error): Change the type of variable desired to
1257         name_lookup_error and put the diagnostic in the full sentences. Change
1258         caller.
1259         (cp_parser_non_integral_constant_expression): Change the type of the
1260         variable thing to non_integral_constant and put the diagnostics in
1261         full sentences. Change caller.
1262
1263 2010-05-24  Eric Botcazou  <ebotcazou@adacore.com>
1264
1265         PR middle-end/44100
1266         * typeck.c (cp_build_unary_op): Fold offsetof-like computations.
1267
1268 2010-05-24  Joseph Myers  <joseph@codesourcery.com>
1269
1270         * error.c (cp_diagnostic_starter): Update call to
1271         diagnostic_build_prefix.
1272         (cp_print_error_function,
1273         print_instantiation_partial_context_line): Check show_column flag
1274         in context.
1275
1276 2010-05-24  Jason Merrill  <jason@redhat.com>
1277
1278         PR c++/41510
1279         * decl.c (check_initializer): Don't wrap an init-list in a
1280         TREE_LIST.
1281         * init.c (build_aggr_init): Don't assume copy-initialization if
1282         init has CONSTRUCTOR_IS_DIRECT_INIT.
1283         * call.c (build_new_method_call): Sanity check.
1284
1285 2010-05-24  Nathan Froyd  <froydnj@codesourcery.com>
1286
1287         * rtti.c (tinfo_base_init): Use build_constructor instead of
1288         build_constructor_from_list.  Don't cons a tree node for
1289         returning.
1290         (generic_initializer): Use build_constructor_single instead of
1291         build_constructor_from_list.
1292         (ptr_initializer): Use build_constructor instead of
1293         build_constructor_from_list
1294         (ptm_initializer): Likewise.
1295         (class_initializer): Likewise.  Take varargs instead of TRAIL.
1296         (get_pseudo_ti_init): Adjust calls to class_initializer.  Use
1297         build_constructor instead of build_constructor_from_list.
1298
1299 2010-05-22  Steven Bosscher  <steven@gcc.gnu.org>
1300
1301         * semantics.c: Include bitmap.h.
1302         * Make-lang.in: Update dependencies.
1303
1304 2010-05-22  Jan Hubicka  <jh@suse.cz>
1305
1306         * decl2.c (maybe_emit_vtables): Produce same comdat group when outputting
1307         comdat vtables.
1308         (cxx_callgraph_analyze_expr): Remove code marking vtables needed.
1309
1310 2010-05-21  Joseph Myers  <joseph@codesourcery.com>
1311
1312         * cxx-pretty-print.c: Correct merge error.
1313
1314 2010-05-21  Joseph Myers  <joseph@codesourcery.com>
1315
1316         * error.c: Include tree-diagnostic.h and tree-pretty-print.h.
1317         (cp_print_error_function): Use diagnostic_abstract_origin macro.
1318         (cp_printer): Handle %K here using percent_K_format.
1319         * cxx-pretty-print.c: Include tree-pretty-print.h.
1320         * Make-lang.in (cp/error.o, cp/cxx-pretty-print.o): Update
1321         dependencies.
1322
1323 2010-05-21  Steven Bosscher  <steven@gcc.gnu.org>
1324
1325         * error.c, tree.c, typeck2.c, cxx-pretty-print.c, mangle.c:
1326         Clean up redundant includes.
1327
1328 2010-05-20  Paolo Carlini  <paolo.carlini@oracle.com>
1329
1330         PR c++/30298
1331         * decl.c (xref_basetypes): Return false in case of ill-formed
1332         redefinition.
1333
1334 2010-05-19  Jason Merrill  <jason@redhat.com>
1335
1336         * call.c (reference_binding): Use cp_build_qualified_type_real
1337         and cp_type_quals consistently.
1338         (add_function_candidate): Likewise.
1339         (build_conditional_expr): Likewise.
1340         (convert_like_real): Likewise.
1341         (type_passed_as): Likewise.
1342         * class.c (add_method): Likewise.
1343         (same_signature_p): Likewise.
1344         (layout_class_type): Likewise.
1345         * decl.c (cxx_init_decl_processing): Likewise.
1346         (cp_fname_init): Likewise.
1347         (grokdeclarator): Likewise.
1348         * decl2.c (cp_reconstruct_complex_type): Likewise.
1349         * init.c (build_new_1): Likewise.
1350         * method.c (do_build_copy_constructor): Likewise.
1351         (implicitly_declare_fn): Likewise.
1352         * pt.c (tsubst_aggr_type): Likewise.
1353         (tsubst): Likewise.
1354         * rtti.c (init_rtti_processing): Likewise.
1355         (build_headof): Likewise.
1356         (build_dynamic_cast_1): Likewise.
1357         (tinfo_base_init): Likewise.
1358         (emit_support_tinfos): Likewise.
1359         * semantics.c (capture_decltype): Likewise.
1360         * tree.c (cv_unqualified): Likewise.
1361         * typeck.c (composite_pointer_type): Likewise.
1362         (string_conv_p): Likewise.
1363
1364         * mangle.c (write_CV_qualifiers_for_type): Tweak.
1365
1366         * call.c (initialize_reference): Use CP_TYPE_CONST_P.
1367         * decl.c (start_decl): Likewise.
1368         * semantics.c (finish_compound_literal): Likewise.
1369         * typeck.c (check_return_expr): Use CP_TYPE_VOLATILE_P.
1370         (cp_type_readonly): Remove.
1371         * cp-tree.h: Remove declaration.
1372
1373         * typeck.c (merge_types): Preserve memfn quals.
1374
1375         * decl.c (grokdeclarator): Don't check quals on fn type.
1376         * typeck.c (cp_apply_type_quals_to_decl): Likewise.
1377         * tree.c (cp_build_qualified_type_real): Simplify qualifier checking.
1378
1379         PR c++/44193
1380         * typeck.c (type_memfn_quals): New fn.
1381         (apply_memfn_quals): New fn.
1382         (cp_type_quals): Return TYPE_UNQUALIFIED for FUNCTION_TYPE.
1383         (cp_type_readonly): Use cp_type_quals.
1384         * cp-tree.h: Add declarations.
1385         * tree.c (cp_build_qualified_type_real): Don't set, but do
1386         preserve, quals on FUNCTION_TYPE.
1387         (strip_typedefs): Use apply_memfn_quals and type_memfn_quals.
1388         * decl.c (build_ptrmem_type): Likewise.
1389         (grokdeclarator): Likewise.
1390         (static_fn_type): Likewise.
1391         * decl2.c (change_return_type): Likewise.
1392         (cp_reconstruct_complex_type): Likewise.
1393         * pt.c (tsubst_function_type): Likewise.
1394         (unify): Likewise.
1395         (tsubst): Likewise.  Drop special FUNCTION_TYPE substitution code.
1396
1397 2010-05-18  Nathan Froyd  <froydnj@codesourcery.com>
1398
1399         * tree.c (build_min_non_dep_call_vec): Update comment.
1400
1401 2010-05-17  Jason Merrill  <jason@redhat.com>
1402
1403         * call.c (struct z_candidate): Add explicit_targs field.
1404         (add_template_candidate_real): Set it.
1405         (build_over_call): Use it to control init-list warning.
1406
1407         PR c++/44157
1408         * call.c (build_over_call): Limit init-list deduction warning to
1409         cases where the argument is actually an init-list.
1410
1411         PR c++/44158
1412         * call.c (build_over_call): Don't do bitwise copy for move ctor.
1413
1414 2010-05-17  Dodji Seketeli  <dodji@redhat.com>
1415             Jason Merrill  <jason@redhat.com>
1416
1417         PR c++/44108
1418         * decl.c (compute_array_index_type): Call mark_rvalue_use.
1419
1420 2010-05-15  Jason Merrill  <jason@redhat.com>
1421
1422         * cp-tree.h (TYPE_NOEXCEPT_P): New macro.
1423         * except.c (begin_eh_spec_block): Use MUST_NOT_THROW_EXPR if
1424         TYPE_NOEXCEPT_P.
1425         (finish_eh_spec_block): Adjust.
1426
1427 2010-05-15  Jakub Jelinek  <jakub@redhat.com>
1428
1429         PR c++/44148
1430         * pt.c (tsubst): Unshare template argument.
1431
1432 2010-05-15  Steven Bosscher  <steven@gcc.gnu.org>
1433
1434         * decl.c: Include tree-iterator.h, as fixup for tree-inline.h changes.
1435         * Make-lang.in: Fix dependencies accordingly.
1436
1437 2010-05-14  Jason Merrill  <jason@redhat.com>
1438
1439         C++ DR 475
1440         * except.c (build_throw): Simplify, adjust for DR 475.
1441
1442         PR c++/44127
1443         * except.c (dtor_nothrow): Return nonzero for type with
1444         trivial destructor.
1445
1446         PR c++/44127
1447         * cp-gimplify.c (gimplify_must_not_throw_expr): Use
1448         gimple_build_eh_must_not_throw.
1449
1450 2010-05-14  Martin Jambor  <mjambor@suse.cz>
1451
1452         * cp-lang.c (LANG_HOOKS_FOLD_OBJ_TYPE_REF): Remove both its undef
1453         and define.
1454
1455 2010-05-14  Jonathan Wakely  <jwakely.gcc@gmail.com>
1456
1457         * call.c (build_new_method_call): Change warning text.
1458         * typeck2.c (build_functional_cast): Change error text.
1459
1460 2010-05-14  Shujing Zhao  <pearly.zhao@oracle.com>
1461
1462         PR c++/30566
1463         * name-lookup.c (pushdecl_maybe_friend): Avoid the warnings about
1464         shadowing the outer parameter or variables by the declaration of
1465         nested function in nested structure or class. Warn the shadowing by
1466         the declaration of nested lambda expression.
1467
1468 2010-05-13  Jason Merrill  <jason@redhat.com>
1469
1470         * typeck.c (cp_build_array_ref): Factor out from...
1471         (build_array_ref): ...here.  Drop complain parm.
1472         (build_new_op): Adjust.
1473         * class.c (build_vtbl_ref_1): Adjust.
1474         * decl2.c (grok_array_decl): Adjust.
1475         * cp-tree.h: Adjust prototypes.
1476
1477 2010-05-13  Jan Hubicka  <jh@suse.cz>
1478
1479         * decl.c (cp_finish_decl): Do not worry about used attribute.
1480
1481 2010-05-12  Jason Merrill  <jason@redhat.com>
1482
1483         * typeck.c (build_array_ref): Take complain parm.
1484         * cp-tree.h: Add it to prototype.
1485         * call.c (build_new_op): Pass it.
1486         * class.c (build_vtbl_ref): Pass it.
1487         * decl2.c (grok_array_decl): Pass it.
1488
1489         PR bootstrap/44048
1490         PR target/44099
1491         * cp-tree.def (NULLPTR_TYPE): Remove.
1492         * cp-tree.h (NULLPTR_TYPE_P): New.
1493         (SCALAR_TYPE_P): Use it.
1494         (nullptr_type_node): New.
1495         (cp_tree_index): Add CPTI_NULLPTR_TYPE.
1496         * decl.c (cxx_init_decl_processing): Call record_builtin_type on
1497         nullptr_type_node.
1498         * cvt.c (ocp_convert): Use NULLPTR_TYPE_P instead of NULLPTR_TYPE.
1499         * cxx-pretty-print.c (pp_cxx_constant): Likewise.
1500         * error.c (dump_type, dump_type_prefix, dump_type_suffix): Likewise.
1501         * mangle.c (write_type): Likewise.
1502         * name-lookup.c (arg_assoc_type): Likewise.
1503         * typeck.c (build_reinterpret_cast_1): Likewise.
1504         * rtti.c (typeinfo_in_lib_p): Likewise.
1505         (emit_support_tinfos): Remove local nullptr_type_node.
1506
1507         * cp-tree.h (UNKNOWN_TYPE): Remove.
1508         * decl.c (cxx_init_decl_processing): Use LANG_TYPE instead.
1509         * error.c (dumy_type, dump_type_prefix, dump_type_suffix): Likewise.
1510         * typeck2.c (cxx_incomplete_type_diagnostic): Likewise.
1511         * class.c (instantiate_type): Check unknown_type_node rather than
1512         UNKNOWN_TYPE.
1513         * name-lookup.c (maybe_push_decl): Likewise.
1514         * rtti.c (get_tinfo_decl_dynamic): Likewise.
1515         (get_typeid): Likewise.
1516         * semantics.c (finish_offsetof): Likewise.
1517
1518         PR c++/20669
1519         * call.c (add_template_candidate_real): If deduction fails, still
1520         add the template as a non-viable candidate.
1521         (equal_functions): Handle template candidates.
1522         (print_z_candidate): Likewise.
1523         (print_z_candidates): Likewise.
1524         (build_new_function_call): Likewise.
1525
1526         * cp-tree.h (LOOKUP_LIST_ONLY): New.
1527         * call.c (add_candidates): Enforce it.
1528         (build_new_method_call): Try non-list ctor if no viable list ctor.
1529         (build_user_type_conversion_1): Likewise.
1530
1531         * call.c (add_candidates): Distinguish between type(x) and
1532         x.operator type().
1533         (convert_class_to_reference): Set LOOKUP_NO_CONVERSION.
1534         (build_new_method_call): Give better error for conversion op.
1535
1536         * call.c (add_candidates): Add first_arg and return_type parms.
1537         Add special constructor/conversion op handling.
1538         (convert_class_to_reference): Use it.
1539         (build_user_type_conversion_1): Likewise.
1540         (build_op_call): Likewise.
1541         (build_new_method_call): Likewise.
1542         (build_new_op): Adjust.
1543         (perform_overload_resolution): Adjust.
1544
1545 2010-05-11  Paolo Carlini  <paolo.carlini@oracle.com>
1546
1547         PR c++/34272
1548         PR c++/43630
1549         PR c++/34491
1550         * pt.c (process_partial_specialization): Return error_mark_node
1551         in case of unused template parameters in partial specialization.
1552
1553 2010-05-11  Jakub Jelinek  <jakub@redhat.com>
1554
1555         PR c++/44062
1556         * semantics.c (finish_expr_stmt): Don't call mark_exp_read here...
1557         * cvt.c (convert_to_void): ... but here.  If expr is a COMPOUND_EXPR,
1558         look at its second operand.
1559
1560 2010-05-10  Jason Merrill  <jason@redhat.com>
1561
1562         PR c++/44017
1563         * semantics.c (baselink_for_fns): Revert earlier change.
1564
1565         PR c++/44045
1566         * typeck.c (cp_build_modify_expr): Complain about assignment to
1567         array from init list.
1568
1569 2010-05-10  Fabien Chêne  <fabien.chene@gmail.com>
1570
1571         PR c++/43719
1572         * decl.c (check_initializer): strip array type before checking for
1573         uninitialized const or ref members.
1574
1575 2010-05-07  Fabien Chêne  <fabien.chene@gmail.com>
1576
1577         PR c++/43951
1578         * init.c (diagnose_uninitialized_cst_or_ref_member_1): Returns the
1579         error count. Emit errors only if compain is true.
1580         (build_new_1): Do not return error_mark_node if
1581         diagnose_uninitialized_cst_or_ref_member_1 does not diagnose any
1582         errors. Delay the check for user-provided constructor.
1583         (perform_member_init): Adjust.
1584         * cp-tree.h (diagnose_uninitialized_cst_or_ref_member): Change the
1585         prototype.
1586
1587 2010-05-06  Magnus Fromreide  <magfr@lysator.liu.se>
1588             Jason Merrill  <jason@redhat.com>
1589
1590         Add support for C++0x nullptr.
1591         * cp-tree.def: Add NULLPTR_TYPE.
1592         * cp-tree.h: Add nullptr_node.
1593         (cp_tree_index): Add CPTI_NULLPTR.
1594         (SCALAR_TYPE_P): Add NULLPTR_TYPE.
1595         * call.c (null_ptr_cst_p): Handle nullptr.
1596         (standard_conversion): Likewise.
1597         (convert_arg_to_ellipsis): Likewise.
1598         * mangle.c (write_type): Likewise.
1599         * name-lookup.c (arg_assoc_type): Likewise.
1600         * parser.c (cp_parser_primary_expression): Likewise.
1601         * typeck.c (cp_build_binary_op): Likewise.
1602         (build_reinterpret_cast_1): Likewise.
1603         * error.c (dump_type): Likewise.
1604         (dump_type_prefix, dump_type_suffix): Likewise.
1605         * decl.c (cxx_init_decl_processing): Likewise.
1606         * cxx-pretty-print.c (pp_cxx_constant): Likewise.
1607         * cvt.c (ocp_convert): Likewise.
1608         * rtti.c (typeinfo_in_lib_p, emit_support_tinfos): Put
1609         nullptr_t tinfo in libsupc++.
1610
1611 2010-05-06  Jason Merrill  <jason@redhat.com>
1612
1613         * semantics.c (simplify_aggr_init_expr): Use INIT_EXPR.
1614
1615 2010-04-22  Jakub Jelinek <jakub@redhat.com>
1616             Dodji Seketeli <dodji@redhat.com>
1617
1618         PR c/18624
1619         * cp-tree.h (mark_exp_read, rvalue_use, lvalue_use, type_use):
1620         Declare ...
1621         * expr.c (mark_exp_read, rvalue_use, lvalue_use, type_use): ... new fns.
1622         * typeck.c (cxx_sizeof_expr, cxx_alignof_expr): Call type_use.
1623         (decay_conversion, perform_integral_promotions): Call rvalue_use.
1624         (cp_build_unary_op): Call lvalue_use.
1625         * decl.c (unused_but_set_errorcount): New variable.
1626         (poplevel): Issue -Wunused-but-set-variable diagnostics.
1627         (duplicate_decls): Merge DECL_READ_P flags.
1628         (start_cleanup_fn): Set DECL_READ_P flag.
1629         (finish_function): Issue -Wunused-but-set-parameter diagnostics.
1630         * tree.c (rvalue): Call rvalue_use.
1631         * pt.c (convert_nontype_argument): Likewise.
1632         * semantics.c (finish_expr_stmt, finish_asm_stmt, finish_typeof,
1633         finish_decltype_type): Likewise.
1634         * call.c (convert_like_real) <ck_identity, ck_user>: Call rvalue use.
1635         (build_x_va_arg, build_new_method_call, build_over_call): Call lvalue_use
1636         or rvalue_use depending on the expr.
1637         * init.c (build_new, build_delete): Likewise.
1638         * rtti.c (build_typeid, build_dynamic_cast_1): Likewise.
1639
1640 2010-05-05  Jason Merrill  <jason@redhat.com>
1641
1642         PR c++/43787
1643         * cp-gimplify.c (cp_gimplify_expr): Remove copies of empty classes.
1644         * call.c (build_over_call): Don't try to avoid INIT_EXPR copies here.
1645
1646 2010-05-04  Paolo Carlini  <paolo.carlini@oracle.com>
1647
1648         PR c++/43028
1649         * pt.c (unify): Check each elt for error_mark_node.
1650
1651 2010-05-04  Jason Merrill  <jason@redhat.com>
1652
1653         PR c++/38064
1654         * typeck.c (cp_build_binary_op): Allow enums for <> as well.
1655
1656 2010-05-04  Paolo Carlini  <paolo.carlini@oracle.com>
1657
1658         PR c++/43705
1659         * call.c (build_new_method_call): Return error_mark_node if fns is
1660         NULL_TREE.
1661
1662 2010-05-03  Dodji Seketeli  <dodji@redhat.com>
1663
1664         PR c++/43953
1665         * pt.c (most_specialized_class): Pretend we are processing
1666         a template decl during the call to coerce_template_parms.
1667
1668 2010-05-03  Jason Merrill  <jason@redhat.com>
1669
1670         PR c++/42810
1671         PR c++/43680
1672         * decl.c (finish_enum): Use the TYPE_MIN_VALUE and TYPE_MAX_VALUE
1673         from the selected underlying type unless -fstrict-enums.  Set
1674         ENUM_UNDERLYING_TYPE to have the restricted range.
1675         * cvt.c (type_promotes_to): Use ENUM_UNDERLYING_TYPE.
1676         * class.c (check_bitfield_decl): Likewise.
1677
1678 2010-05-01  H.J. Lu  <hongjiu.lu@intel.com>
1679
1680         PR c++/43951
1681         * init.c (build_new_1): Revert the accidental checkin in
1682         revision 158918.
1683
1684 2010-04-30  Jason Merrill  <jason@redhat.com>
1685
1686         PR c++/43868
1687         * cxx-pretty-print.c (pp_cxx_decl_specifier_seq): Move pmf handling...
1688         (pp_cxx_type_specifier_seq): ...here.
1689
1690 2010-04-30  Steven Bosscher  <steven@gcc.gnu.org>
1691
1692         * optimize.c, parser.c, mangle.c, cp-tree.h: Do not include varray.h.
1693         * Make-lang.in: Don't include varray.h dependency in CXX_TREE_H.
1694
1695 2010-04-30  Shujing Zhao  <pearly.zhao@oracle.com>
1696
1697         PR c++/43779
1698         * typeck.c (warn_args_num): New function.
1699         (convert_arguments): Use warn_args_num to print the diagnostic
1700         messages. 
1701
1702 2010-04-29  Fabien Chêne  <fabien.chene@gmail.com>
1703
1704         PR c++/43890
1705         * init.c (diagnose_uninitialized_cst_or_ref_member): check for
1706         user-provided constructor while recursing.
1707
1708 2010-04-28  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1709
1710         PR c++/9335
1711         * error.c (print_instantiation_partial_context_line): Handle
1712         recursive instantiation.
1713         (print_instantiation_partial_context): Likewise.
1714
1715 2010-04-27  Jason Merrill  <jason@redhat.com>
1716
1717         * init.c (perform_member_init): Check CLASS_TYPE_P.
1718
1719 2010-04-27  Fabien Chêne  <fabien.chene@gmail.com>
1720
1721         PR c++/29043
1722         * init.c (perform_member_init): check for uninitialized const or
1723         reference members, including array types.
1724
1725 2010-04-24  Jason Merrill  <jason@redhat.com>
1726
1727         * tree.c (get_fns): Split out from get_first_fn.
1728         * cp-tree.h: Declare it.
1729         * search.c (shared_member_p): Use it.
1730         * semantics.c (finish_qualified_id_expr): Simplify.
1731         (finish_id_expression): Simplify.
1732
1733         * semantics.c (finish_non_static_data_member): Call maybe_dummy_object
1734         whenever object is NULL_TREE.  Don't do 'this' capture here.
1735         (finish_qualified_id_expr): Pass NULL_TREE.
1736         (finish_id_expression): Likewise.
1737         (lambda_expr_this_capture): Likewise.
1738
1739         * semantics.c (finish_qualified_id_expr): Use maybe_dummy_object
1740         rather than checking current_class_ref directly.
1741         (finish_call_expr): Likewise.
1742
1743         PR c++/43856
1744         * name-lookup.c (qualify_lookup): Disqualify lambda op().
1745         * class.c (current_nonlambda_class_type): New fn.
1746         * semantics.c (nonlambda_method_basetype): New.
1747         * cp-tree.h: Declare them.
1748         * tree.c (maybe_dummy_object): Handle implicit 'this' capture.
1749
1750         * semantics.c (baselink_for_fns): Correct BASELINK_BINFO.
1751
1752         PR c++/43875
1753         * semantics.c (lambda_return_type): Complain about
1754         braced-init-list.
1755
1756         PR c++/43790
1757         * tree.c (cv_unqualified): Handle error_mark_node.
1758
1759         PR c++/41468
1760         * call.c (convert_like_real) [ck_ambig]: Just return error_mark_node
1761         if we don't want errors.
1762
1763         PR c++/41468
1764         * class.c (convert_to_base): Add complain parameter.  Pass
1765         ba_quiet to lookup_base if we don't want errors.
1766         (build_vfield_ref): Pass complain to convert_to_base.
1767         * call.c (convert_like_real): Likewise.
1768         (initialize_reference): Likewise.
1769         (perform_direct_initialization_if_possible): Pass complain to
1770         convert_like_real.
1771         * cp-tree.h: Adjust.
1772
1773 2010-04-27  Fabien Chêne  <fabien.chene@gmail.com>
1774             Jason Merrill  <jason@redhat.com>
1775
1776         PR c++/42844
1777         * decl.c (check_for_uninitialized_const_var): Handle classes that need
1778         constructing, too.
1779         (check_initializer): Call it for classes that need constructing, too.
1780         * class.c (in_class_defaulted_default_constructor): New.
1781         * cp-tree.h: Declare it.
1782
1783 2010-04-20  Jason Merrill  <jason@redhat.com>
1784
1785         PR c++/9335
1786         * init.c (constant_value_1): Treat error_mark_node as a constant
1787         if DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P is set.
1788         * cvt.c (ocp_convert): Handle getting error_mark_node from
1789         integral_constant_value.
1790         * decl.c (compute_array_index_type): Likewise.
1791
1792 2010-04-20  Dodji Seketeli  <dodji@redhat.com>
1793
1794         PR c++/43800
1795         PR c++/43704
1796         * typeck.c (incompatible_dependent_types_p): If one of the
1797         compared types if not a typedef then honour their main variant
1798         equivalence.
1799
1800 2010-04-20  Jakub Jelinek  <jakub@redhat.com>
1801
1802         * cp-tree.h (TYPE_REF_IS_RVALUE): Remove.
1803
1804 2010-04-19  Dodji Seketeli  <dodji@redhat.com>
1805
1806         PR c++/43704
1807         * typeck.c (structural_comptypes): Test dependent typedefs
1808         incompatibility before testing for their main variant based
1809         equivalence.
1810
1811 2010-04-19  Jakub Jelinek  <jakub@redhat.com>
1812
1813         * cp-tree.h (SCOPED_ENUM_P, UNSCOPED_ENUM_P, SET_SCOPED_ENUM_P): Use
1814         ENUM_IS_SCOPED bit instead of TYPE_LANG_FLAG_5.
1815
1816 2010-04-18  Eric Botcazou  <ebotcazou@adacore.com>
1817
1818         * decl.c (cxx_init_decl_processing): Remove second argument in call to
1819         build_common_tree_nodes.
1820
1821 2010-04-14  Jason Merrill  <jason@redhat.com>
1822
1823         PR c++/36625
1824         * parser.c (cp_parser_parenthesized_expression_list): Change
1825         is_attribute_list parm to int to indicate whether or not to
1826         handle initial identifier specially.
1827         (cp_parser_attribute_list): Use attribute_takes_identifier_p.
1828
1829 2010-04-13  Jason Merrill  <jason@redhat.com>
1830
1831         * call.c (type_decays_to): Check MAYBE_CLASS_TYPE_P instead of
1832         CLASS_TYPE_P.
1833         * parser.c (cp_parser_lambda_expression): Complain about lambda in
1834         unevaluated context.
1835         * pt.c (iterative_hash_template_arg): Don't crash on lambda.
1836
1837 2010-04-12  Jason Merrill  <jason@redhat.com>
1838
1839         PR c++/43641
1840         * semantics.c (maybe_add_lambda_conv_op): Use build_call_a and tweak
1841         return value directly.
1842
1843         * call.c (type_decays_to): Call cv_unqualified for non-class type.
1844
1845 2010-04-12  Fabien Chene  <fabien.chene@gmail.com>
1846
1847         PR c++/25811
1848         * cp-tree.h (diagnose_uninitialized_cst_or_ref_member): Declare.
1849         * init.c (build_new_1): Check for uninitialized const members and
1850         uninitialized reference members, when using new without
1851         new-initializer. Call diagnose_uninitialized_cst_or_ref_member.
1852         (diagnose_uninitialized_cst_or_ref_member): Define, call
1853         diagnose_uninitialized_cst_or_ref_member_1.
1854         (diagnose_uninitialized_cst_or_ref_member_1): New function.
1855
1856 2010-04-12  Richard Guenther  <rguenther@suse.de>
1857
1858         PR c++/43611
1859         * semantics.c (expand_or_defer_fn_1): Do not keep extern
1860         template inline functions.
1861
1862 2010-04-09  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1863
1864         PR c++/28584
1865         * typeck.c (cp_build_c_cast): Warn for casting integer to larger
1866         pointer type.
1867
1868 2010-04-07  Jason Merrill  <jason@redhat.com>
1869
1870         PR c++/43016
1871         * decl.c (start_preparsed_function): Do defer nested functions.
1872
1873         PR c++/11094, DR 408
1874         * cp-tree.h (VAR_HAD_UNKNOWN_BOUND, SET_VAR_HAD_UNKNOWN_BOUND): New.
1875         * decl2.c (finish_static_data_member_decl): Set it.
1876         * decl.c (duplicate_decls): Propagate it.
1877         * pt.c (tsubst_decl): Don't substitute the domain of an array
1878         VAR_DECL if it's set.
1879         (regenerate_decl_from_template): Substitute it here.
1880         (type_dependent_expression_p): Return true if it's set.
1881         * semantics.c (finish_decltype_type): Instantiate such a variable.
1882         * typeck.c (cxx_sizeof_expr): Likewise.
1883         (strip_array_domain): New.
1884
1885         PR c++/43145
1886         * name-lookup.c (current_decl_namespace): Non-static.
1887         (pop_nested_namespace): Sanity check.
1888         * cp-tree.h: Declare current_decl_namespace.
1889         * decl.c (grokvardecl): Use it instead of current_namespace.
1890         (grokfndecl): Likewise.
1891
1892         PR c++/38392
1893         * pt.c (tsubst_friend_function): Instatiate a friend that has already
1894         been used.
1895
1896         * pt.c (print_template_statistics): New.
1897         * cp-tree.h: Declare it.
1898         * tree.c (cxx_print_statistics): Call it.
1899
1900         PR c++/41970
1901         * decl.c (grokvardecl): Tweak warning message.
1902         (grokfndecl): Likewise.
1903
1904 2010-04-07  Dodji Seketeli  <dodji@redhat.com>
1905
1906         PR c++/42697
1907         *pt.c (tsubst_decl): Get the arguments of a specialization from
1908         the specialization template, not from the most general template.
1909
1910 2010-04-07  Dodji Seketeli  <dodji@redhat.com>
1911
1912         PR c++/40239
1913         * typeck2.c (process_init_constructor_record):
1914         value-initialize members that are are not explicitely
1915         initialized.
1916
1917 2010-04-07  Jie Zhang  <jie@codesourcery.com>
1918
1919         PR c++/42556
1920         * typeck2.c (split_nonconstant_init_1): Drop empty CONSTRUCTOR
1921         when all of its elements are non-constant and have been split out.
1922
1923 2010-04-06  Taras Glek  <taras@mozilla.com>
1924             Jason Merrill  <jason@redhat.com>
1925
1926         * parser.c (cp_parser_class_specifier): Set class location to that
1927         of IDENTIFIER_NODE instead of '{' when possible.
1928         * semantics.c (begin_class_definition): Do not overide locations
1929         with less precise ones.
1930
1931 2010-04-06  Jason Merrill  <jason@redhat.com>
1932
1933         PR c++/43648
1934         * name-lookup.c (constructor_name_p): Allow X::~X even for typedefs.
1935
1936         PR c++/43621
1937         * pt.c (maybe_update_decl_type): Check the return value from
1938         push_scope.
1939
1940 2010-04-01  Jason Merrill  <jason@redhat.com>
1941
1942         * decl.c (next_initializable_field): No longer static.
1943         * cp-tree.h: Declare it.
1944         * call.c (build_aggr_conv): Fail if there are more initializers
1945         than initializable fields.
1946
1947         * semantics.c (maybe_add_lambda_conv_op): Use null_pointer_node
1948         instead of void_zero_node.
1949
1950 2010-03-31  Dodji Seketeli  <dodji@redhat.com>
1951
1952         PR c++/43558
1953         * cp-tree.h (TEMPLATE_TYPE_PARM_SIBLING_PARMS): New accessor macro.
1954         * pt.c (end_template_parm_list): Store sibling template parms of
1955         each TEMPLATE_TYPE_PARMs into its TEMPLATE_TYPE_PARM_SIBLING_PARMS.
1956         (push_template_decl_real): Don't store the containing template decl
1957         into the DECL_CONTEXT of TEMPLATE_TYPE_PARMs anymore.
1958         * typeck.c (get_template_parms_of_dependent_type): Get sibling parms
1959         of a TEMPLATE_TYPE_PARM from TEMPLATE_TYPE_PARM_SIBLING_PARMS.
1960         Simplify the logic.
1961
1962 2010-03-30  Jason Merrill  <jason@redhat.com>
1963
1964         PR c++/43076
1965         * pt.c (push_template_decl_real): Deal better with running out of
1966         scopes before running out of template parms.
1967
1968         PR c++/41185
1969         PR c++/41786
1970         * parser.c (cp_parser_direct_declarator): Don't allow VLAs in
1971         function parameter context.  Don't print an error if parsing
1972         tentatively.
1973
1974         PR c++/43559
1975         * pt.c (more_specialized_fn): Don't control cv-qualifier check
1976         with same_type_p.
1977
1978 2010-03-26  Jason Merrill  <jason@redhat.com>
1979
1980         PR c++/43509
1981         * parser.c (cp_parser_qualifying_entity): Do accept enum names in
1982         c++0x mode, but not other type-names.
1983
1984 2010-03-26  Dodji Seketeli  <dodji@redhat.com>
1985
1986         PR c++/43327
1987         * pt.c (add_to_template_args): Support NULL ARGS;
1988         (most_specialized_class): call coerce_template_parms on
1989         template arguments passed to get_class_bindings. Use
1990         add_to_template_args.
1991         (unify): Handle VAR_DECLs.
1992
1993 2010-03-26  Dodji Seketeli  <dodji@redhat.com>
1994
1995         * cp-tree.h (get_template_parms_at_level): Change unsigned parm
1996         into int.
1997         * pt.c (get_template_parms_at_level): Adjust.
1998
1999 2010-03-25  Dodji Seketeli  <dodji@redhat.com>
2000
2001         PR c++/43206
2002         * cp-tree.h (get_template_parms_at_level): Declare ...
2003         * pt.c (get_template_parms_at_level): ... new function.
2004         * typeck.c (get_template_parms_of_dependent_type): If a template
2005         type parm's DECL_CONTEXT isn't yet set, get its siblings from
2006         current_template_parms. Use get_template_parms_at_level. Remove
2007         useless test.
2008         (incompatible_dependent_types_p): If we get empty parms from just one
2009         of the template type parms we are comparing then the template parms are
2010         incompatible.
2011
2012 2010-03-24  Jason Merrill  <jason@redhat.com>
2013
2014         PR c++/43502
2015         * parser.c (make_declarator): Initialize id_loc.
2016         (cp_parser_lambda_declarator_opt): And set it.
2017
2018 2010-03-23  Jason Merrill  <jason@redhat.com>
2019
2020         Make lambda conversion op and op() non-static.
2021         * semantics.c (maybe_add_lambda_conv_op): Make non-static.
2022         Also add the thunk function returned by the conversion op.
2023         Mark the conversion deleted if the op() is variadic.
2024         * decl2.c (mark_used): Give helpful message about deleted conversion.
2025         * parser.c (cp_parser_lambda_declarator_opt): Don't make op() static.
2026         * semantics.c (finish_this_expr): Adjust.
2027         * mangle.c (write_closure_type_name): Adjust.
2028         * decl.c (grok_op_properties): Don't allow it.
2029         * call.c (build_user_type_conversion_1): No static conversion ops.
2030         (build_op_call): Or op().
2031
2032         * decl2.c (change_return_type): Fix 'this' quals.
2033
2034 2010-03-22  Jason Merrill  <jason@redhat.com>
2035
2036         PR c++/43333
2037         * tree.c (pod_type_p): Use old meaning in C++98 mode.
2038
2039         PR c++/43281
2040         * pt.c (contains_auto_r): New fn.
2041         (do_auto_deduction): Use it.
2042         (tsubst): Don't look at TREE_TYPE of a TEMPLATE_TYPE_PARM.
2043
2044 2010-03-20  Simon Martin  <simartin@users.sourceforge.net>
2045
2046         PR c++/43081:
2047         * decl2.c (grokfield): Handle invalid initializers for member
2048         functions.
2049
2050 2010-03-20  Dodji Seketeli  <dodji@redhat.com>
2051
2052         PR c++/43375
2053         * method.c (make_alias_for): Avoid crashing when DECL_LANG_SPECIFIC
2054         is NULL.
2055         * decl2.c (vague_linkage_p): Likewise.
2056
2057 2010-03-18  Paolo Carlini  <paolo.carlini@oracle.com>
2058
2059         PR c++/43418
2060         * parser.c (cp_parser_for_init_statement): Use NULL_TREE, not
2061         false, in the cp_parser_expression_statement call.
2062
2063 2010-03-05  Jason Merrill  <jason@redhat.com>
2064
2065         * mangle.c (mangle_decl): Give name collision error even without
2066         ASM_OUTPUT_DEF.
2067
2068 2010-03-04  Marco Poletti  <poletti.marco@gmail.com>
2069
2070         * pt.c (process_partial_specialization): Use error_n instead of
2071         error.
2072
2073 2010-03-03  Jason Merrill  <jason@redhat.com>
2074
2075         PR c++/12909
2076         * mangle.c (mangle_decl): Handle VAR_DECL, too.
2077
2078 2010-03-03  Jason Merrill  <jason@redhat.com>
2079
2080         PR c++/12909
2081         * mangle.c: Include cgraph.h.
2082         (mangle_decl): If the mangled name will change in a later
2083         ABI version, make the later mangled name an alias.
2084         * method.c (make_alias_for): Copy DECL_ARGUMENTS.
2085         * Make-lang.in (mangle.o): Depend on cgraph.h.
2086         * method.c (make_alias_for): Handle VAR_DECL, too.
2087         * decl2.c (vague_linkage_p): Rename from vague_linkage_fn_p.
2088         * tree.c (no_linkage_check): Adjust.
2089         * decl.c (maybe_commonize_var): Adjust.
2090         * cp-tree.h: Adjust.
2091
2092 2010-03-01  Marco Poletti  <poletti.marco@gmail.com>
2093
2094         * pt.c (redeclare_class_template): Use error_n and inform_n.
2095
2096 2010-02-27  Mark Mitchell  <mark@codesourcery.com>
2097
2098         PR c++/42748
2099         * cp-tree.h (push_tinst_level): Declare.
2100         (pop_tinst_level): Likewise.
2101         * pt.c (push_tinst_level): Give it external linkage.
2102         (pop_tinst_level): Likewise.
2103         * mangle.c (mangle_decl_string): Set the source location to that
2104         of the decl while mangling.
2105
2106 2010-02-27  Simon Martin  <simartin@users.sourceforge.net>
2107
2108         PR c++/42054
2109         * pt.c (redeclare_class_template): Return false if there are erroneous
2110         template parameters.
2111
2112 2010-02-24  Manuel López-Ibáñez  <manu@gcc.gnu.org>
2113
2114         * pt.c (push_tinst_level): Replace -ftemplate-depth- with 
2115         -ftemplate-depth=.
2116
2117 2010-02-24  Jason Merrill  <jason@redhat.com>
2118
2119         PR c++/12909
2120         * mangle.c (write_type): Give -Wabi warning for old vector mangling.
2121
2122         * class.c (layout_class_type): Don't give -Wabi warning for a bug
2123         in a previous ABI version.
2124
2125 2010-02-23  Jason Merrill  <jason@redhat.com>
2126
2127         PR c++/43143
2128         * typeck2.c (digest_init_r): Accept value init of array.
2129
2130 2010-02-22  Manuel López-Ibáñez  <manu@gcc.gnu.org>
2131
2132         PR c++/43126
2133         * typeck.c (convert_arguments): Update error message.
2134
2135 2010-02-22  Mike Stump  <mikestump@comcast.net>
2136
2137         PR c++/43125
2138         * decl.c (duplicate_decls): Merge DECL_PRESERVE_P.
2139
2140 2010-02-21  Manuel López-Ibáñez  <manu@gcc.gnu.org>
2141
2142         PR c++/23510
2143         * error.c (print_instantiation_partial_context_line): New.
2144         (print_instantiation_partial_context): Print at most 12 contexts,
2145         skip the rest with a message.
2146
2147 2010-02-21  Dodji Seketeli  <dodji@redhat.com>
2148
2149         PR c++/42824
2150         * pt.c (lookup_template_class): Better support of specialization
2151         of member of class template implicit instantiation.
2152
2153 2010-02-20  Manuel López-Ibáñez  <manu@gcc.gnu.org>
2154
2155         PR c++/35669
2156         * call.c (conversion_null_warnings): Replace -Wconversion with
2157         -Wconversion-null.
2158         * cvt.c (build_expr_type_conversion): Likewise.
2159
2160 2010-02-18  Jason Merrill  <jason@redhat.com>
2161
2162         PR c++/42837
2163         * class.c (create_vtable_ptr): Set DECL_PACKED if type is packed.
2164
2165         PR c++/43108
2166         * typeck.c (cp_build_binary_op): Adapt mixed complex/non handling from
2167         C build_binary_op.
2168         * cp-tree.h (WANT_VECTOR_OR_COMPLEX): Rename from WANT_VECTOR.
2169         * cvt.c (build_expr_type_conversion): Allow COMPLEX_TYPE.
2170
2171         PR c++/43070
2172         * semantics.c (finish_goto_stmt): Don't call decay_conversion.
2173
2174         PR c++/26261
2175         PR c++/43101
2176         * pt.c (tsubst_qualified_id): Do normal lookup in non-dependent scope.
2177         (maybe_update_decl_type): New fn.
2178         * parser.c (cp_parser_init_declarator): Use it.
2179
2180         PR c++/43109
2181         * semantics.c (begin_class_definition): Don't crash on unnamed ns.
2182
2183 2010-02-17  Jason Merrill  <jason@redhat.com>
2184
2185         PR c++/43075
2186         * call.c (build_over_call): Don't create zero-sized assignments.
2187         * cp-gimplify.c (cp_genericize_r): Don't remove them here.
2188         * cp-objcp-common.c (cp_expr_size): Remove.
2189         * cp-tree.h: Remove prototype.
2190
2191         PR c++/43069
2192         * name-lookup.c (set_decl_namespace): Don't copy DECL_CONTEXT if the
2193         decl we looked up doesn't match.
2194
2195         PR c++/43093
2196         * cp-gimplify.c (cp_gimplify_expr) [INIT_EXPR]: Return if we don't
2197         have an INIT_EXPR anymore.
2198
2199         PR c++/43079
2200         * pt.c (convert_nontype_argument): Change assert to test.
2201
2202 2010-02-16  Jason Merrill  <jason@redhat.com>
2203
2204         * cp-gimplify.c (cp_gimplify_expr): Fix error recovery.
2205
2206         PR c++/43031
2207         * cp-gimplify.c (cp_gimplify_expr) [MODIFY_EXPR]: Use
2208         VIEW_CONVERT_EXPR for conversions between structural equality types
2209         that the back end can't tell are the same.
2210
2211         PR c++/43036
2212         * tree.c (build_cplus_array_type): Set TYPE_MAIN_VARIANT to strip
2213         cv-quals from element here.
2214         (cp_build_qualified_type_real): Not here.  Preserve typedef name.
2215
2216 2010-02-14  Jason Merrill  <jason@redhat.com>
2217
2218         PR c++/41997
2219         * semantics.c (finish_compound_literal): Use
2220         cp_apply_type_quals_to_decl when creating a static variable.
2221
2222 2010-02-12  Jason Merrill  <jason@redhat.com>
2223
2224         PR c++/43024
2225         * name-lookup.h (current_binding_level): Check for null
2226         cp_function_chain.
2227
2228 2010-02-12  Jason Merrill  <jason@redhat.com>
2229
2230         PR c++/43054
2231         * tree.c (cp_tree_equal): Correct CALL_EXPR logic.
2232
2233 2010-02-12  Jakub Jelinek  <jakub@redhat.com>
2234
2235         PR c++/43033
2236         * name-lookup.c (pushdecl_maybe_friend): Check default args of t
2237         instead of x.
2238
2239 2010-02-10  Jason Merrill  <jason@redhat.com>
2240
2241         PR c++/41896
2242         * semantics.c (outer_lambda_capture_p): Revert.
2243         (add_capture): Only finish_member_declaration if
2244         we're in the lambda class.
2245         (register_capture_members): New.
2246         * cp-tree.h: Declare it.
2247         * parser.c (cp_parser_lambda_expression): Call it.
2248
2249 2010-02-10  Jason Merrill  <jason@redhat.com>
2250
2251         PR c++/41896
2252         * semantics.c (outer_lambda_capture_p): Use current_function_decl
2253         instead of current_class_type.
2254
2255 2010-02-10  Jason Merrill  <jason@redhat.com>
2256
2257         PR c++/42983, core issue 906
2258         * method.c (defaultable_fn_check): Check virtualness.
2259
2260 2010-02-10  Jason Merrill  <jason@redhat.com>
2261
2262         PR c++/43016
2263         * semantics.c (maybe_add_lambda_conv_op): Set DECL_INTERFACE_KNOWN.
2264
2265 2010-02-10  Shujing Zhao  <pearly.zhao@oracle.com>
2266
2267         * Make-lang.in (cp/cvt.o, cp/parser.o, cp/search.o): Depend on intl.h.
2268         * cvt.c (warn_ref_binding): Wrap the messages into G_() for easy
2269         translation.
2270         * parser.c (cp_parser_postfix_expression, cp_parser_new_type_id)
2271         (cp_parser_cast_expression, cp_parser_condition, cp_parser_decltype)
2272         (cp_parser_parameter_declaration)
2273         (cp_parser_exception_specification_opt)
2274         (cp_parser_exception_declaration): Likewise.
2275         * pt.c (check_default_tmpl_args): Likewise.
2276         * search.c (lookup_field_r): Likewise.
2277
2278 2010-02-09  Jason Merrill  <jason@redhat.com>
2279
2280         PR c++/42399
2281         * pt.c (tsubst_copy_and_build): Propagate LAMBDA_EXPR_LOCATION.
2282
2283 2010-02-09  Jason Merrill  <jason@redhat.com>
2284
2285         PR c++/42370
2286         * decl2.c (change_return_type): New fn.
2287         * semantics.c (apply_lambda_return_type): Use it.
2288         * cp-tree.h: Declare it.
2289
2290 2010-02-05  Richard Guenther  <rguenther@suse.de>
2291
2292         * Make-lang.in (cp/cp-lang.o): Depend on gt-cp-cp-lang.h.
2293         * cp-lang.c: Include gt-cp-cp-lang.h.
2294         * config-lang.in (gtfiles): Add cp/cp-lang.c.
2295
2296 2010-02-05  Dodji Seketeli  <dodji@redhat.com>
2297
2298         PR c++/42915
2299         * typeck.c (get_template_parms_of_dependent_type): Try getting
2300         the template parameters fromt the type itself first.
2301
2302 2010-02-03  Jason Merrill  <jason@redhat.com>
2303
2304         PR c++/4926
2305         PR c++/38600
2306         * mangle.c (write_unqualified_id): Split out from write_expression.
2307         (write_unqualified_name): Call it.
2308         (write_member_name): Likewise.
2309         (write_expression): Support TEMPLATE_ID_EXPR.
2310         Disambiguate operator names.
2311
2312         PR c++/12909
2313         * mangle.c (write_type) [VECTOR_TYPE]: Change mangling with
2314         -fabi-version=4.
2315
2316 2010-02-02  Jason Merrill  <jason@redhat.com>
2317
2318         PR c++/41090
2319         * decl.c (cp_finish_decl): Add local statics to cfun->local_decls.
2320         * optimize.c (clone_body): Remap their initializers when making base
2321         variants.
2322         (maybe_clone_body): Complain if multiple clones aren't safe.
2323
2324 2010-01-29  Dodji Seketeli  <dodji@redhat.com>
2325
2326         PR c++/42758
2327         PR c++/42634
2328         PR c++/42336
2329         PR c++/42797
2330         PR c++/42880
2331         * cp-tree.h (NON_DEFAULT_TEMPLATE_ARGS_COUNT,
2332         SET_NON_DEFAULT_TEMPLATE_ARGS_COUNT,
2333         GET_NON_DEFAULT_TEMPLATE_ARGS_COUNT): New accessor macros.
2334         * pt.c (coerce_template_parms, type_unification_real,
2335         expand_template_argument_pack, coerce_template_parameter_pack):
2336         Set the non default template args count.
2337         (current_template_args): Always set non defaulted
2338         template args count when compiled with --enable-checking
2339         (tsubst_template_args, type_unification_real): Propagate the non
2340         defaulted template args count.
2341         * error.c (get_non_default_template_args_count): Renamed
2342         count_non_default_template_args into this. Don't calculate the
2343         non default template argument count anymore. Use the new
2344         accessor macros above to get it.
2345         (dump_template_argument_list, dump_type, dump_decl,
2346         dump_template_parms): Adjust.
2347         * parser.c (cp_parser_template_argument_list): Always set defaulted
2348         template args count when compiled with --enable-checking.
2349
2350 2010-01-29  Shujing Zhao  <pearly.zhao@oracle.com>
2351
2352         * decl.c (redeclaration_error_message): Wrap the return messages into
2353         G_() for easy translation.
2354
2355 2010-01-28  Jason Merrill  <jason@redhat.com>
2356
2357         PR c++/42880
2358         * semantics.c (begin_class_definition): Don't use type_as_string.
2359
2360 2010-01-28  Dodji Seketeli  <dodji@redhat.com>
2361
2362         PR c++/42713
2363         PR c++/42820
2364         * typeck.c (get_template_parms_of_dependent_type): Factorized
2365         this out of incompatible_template_type_parms_p
2366         (incompatible_dependent_types_p): Renamed
2367         incompatible_template_type_parms_p into this. Make it detect
2368         two incompatible dependent typedefs too.
2369         (structural_comptypes): Use incompatible_dependent_types_p.
2370         * pt.c (get_template_info):
2371         Handle BOUND_TEMPLATE_TEMPLATE_PARAM.
2372
2373 2010-01-20  Janis Johnson  <janis187@us.ibm.com>
2374             Jason Merrill  <jason@redhat.com>
2375
2376         * mangle.c (write_type): Mangle transparent record as member type.
2377         * semantics.c (begin_class_definition): Recognize decimal classes
2378         and set TYPE_TRANSPARENT_AGGR.
2379
2380 2010-01-20  Jason Merrill  <jason@redhat.com>
2381
2382         PR c++/42338
2383         * mangle.c (write_expression): Handle tree codes that have extra
2384         arguments in the middle-end.
2385
2386 2010-01-20  Paolo Carlini  <paolo.carlini@oracle.com>
2387
2388         PR c++/42038
2389         * except.c (expand_start_catch_block): Deal correctly with
2390         do_begin_catch returning error_mark_node.
2391
2392 2010-01-20  Jason Merrill  <jason@redhat.com>
2393
2394         PR c++/41788
2395         * class.c (layout_class_type): Set packed_maybe_necessary for packed
2396         non-PODs.
2397
2398         PR c++/41920
2399         * semantics.c (build_lambda_object): Call mark_used on captured
2400         variables.
2401
2402         PR c++/40750
2403         * decl.c (grokdeclarator): Clear type_quals for a member function
2404         declared using a typedef.  Don't complain about adding cv-quals
2405         to a function typedef in C++0x mode.
2406
2407 2010-01-20  Jakub Jelinek  <jakub@redhat.com>
2408
2409         * decl.c (create_array_type_for_decl): Remove set but not used
2410         variable error_msg.  Remove break stmts after return stmts.
2411
2412 2010-01-19  Dodji Seketeli  <dodji@redhat.com>
2413
2414         * error.c (dump_template_parms, count_non_default_template_args):
2415         Revert fix of PR c++/42634.
2416
2417 2010-01-18  Dodji Seketeli  <dodji@redhat.com>
2418
2419         PR c++/42634
2420         * error.c (dump_template_parms): Use innermost template
2421         arguments before calling count_non_default_template_args.
2422         (count_non_default_template_args): We are being called with
2423         template innermost arguments now. There is no need to ensure
2424         that again.
2425
2426 2010-01-18  Dodji Seketeli  <dodji@redhat.com>
2427
2428         PR c++/42766
2429         * cvt.c (build_expr_type_conversion): Look through OVERLOAD.
2430
2431 2010-01-17  Dodji Seketeli  <dodji@redhat.com>
2432
2433         PR c++/42697
2434         *pt.c (tsubst_decl):  Revert commit for PR c++/42697.
2435
2436 2010-01-17  Dodji Seketeli  <dodji@redhat.com>
2437
2438         PR c++/42697
2439         *pt.c (tsubst_decl): Get the arguments of a specialization from
2440         the specialization template, not from the most general template.
2441
2442 2010-01-16  Jason Merrill  <jason@redhat.com>
2443
2444         PR c++/42761
2445         * semantics.c (finish_decltype_type): Within a template, treat
2446         unresolved CALL_EXPR as dependent.
2447
2448 2010-01-15  Dodji Seketeli  <dodji@redhat.com>
2449
2450         * error.c (dump_template_parms,count_non_default_template_args):
2451         Revert changes of PR c++/42634.
2452
2453 2010-01-14  Jakub Jelinek  <jakub@redhat.com>
2454
2455         PR middle-end/42674
2456         * decl.c (finish_function): Don't emit -Wreturn-type warnings in
2457         functions with noreturn attribute.
2458
2459 2010-01-14  Jason Merrill  <jason@redhat.com>
2460
2461         PR c++/42701
2462         * call.c (build_new_method_call): Don't free the vec here.
2463
2464         PR c++/42655
2465         * call.c (convert_like_real): Do full decay_conversion for ck_rvalue.
2466
2467 2010-01-13  Dodji Seketeli  <dodji@redhat.com>
2468
2469         PR c++/42634
2470         * error.c (dump_template_parms): Use innermost template
2471         arguments before calling count_non_default_template_args.
2472         (count_non_default_template_args): We are being called with
2473         template innermost arguments now. There is no need to ensure
2474         that again.
2475
2476 2010-01-07  Dodji Seketeli  <dodji@redhat.com>
2477
2478         c++/40155
2479         * pt.c (unify_pack_expansion): In non-deduced contexts, re-use template
2480         arguments that were previously deduced.
2481
2482 2010-01-05  Jason Merrill  <jason@redhat.com>
2483
2484         * pt.c (unify_pack_expansion): Handle deduction from init-list.
2485         * call.c (build_over_call): Don't complain about it.
2486
2487 2010-01-04  Jason Merrill  <jason@redhat.com>
2488
2489         PR c++/42555
2490         * pt.c (tsubst_decl): Don't apply type attributes in place.
2491
2492         PR c++/42567
2493         * semantics.c (describable_type): Remove decltype comment and
2494         semantics.
2495
2496
2497 \f
2498 Copyright (C) 2010 Free Software Foundation, Inc.
2499
2500 Copying and distribution of this file, with or without modification,
2501 are permitted in any medium without royalty provided the copyright
2502 notice and this notice are preserved.
2503