OSDN Git Service

80d86c8e13930802d12efe84debdbc41fe4dbce8
[pf3gnuchains/gcc-fork.git] / gcc / cp / ChangeLog
1 2010-05-27  Joseph Myers  <joseph@codesourcery.com>
2
3         * call.c: Include diagnostic-core.h instead of diagnostic.h.
4         * cp-lang.c: Don't include diagnostic.h
5         * name-lookup.c: Include diagnostic-core.h instead of
6         diagnostic.h.
7         (cp_emit_debug_info_for_using): Use seen_error.
8         * optimize.c: Include diagnostic-core.h instead of diagnostic.h.
9         * parser.c: Include diagnostic-core.h instead of diagnostic.h.
10         * pt.c (iterative_hash_template_arg): Use seen_error.
11         * repo.c: Include diagnostic-core.h instead of diagnostic.h.
12         * typeck2.c: Include diagnostic-core.h instead of diagnostic.h.
13         * Make-lang.in (cp/cp-lang.o, cp/typeck2.o, cp/call.o, cp/repo.o,
14         cp/optimize.o, cp/parser.o, cp/name-lookup.o): Update
15         dependencies.
16
17 2010-05-25  Dodji Seketeli  <dodji@redhat.com>
18
19         PR c++/44188
20         * cp-tree.h (typedef_variant_p): Move this declaration to
21         gcc/tree.h.
22         * tree.c (typedef_variant_p): Move this definition to gcc/tree.c.
23         * decl.c (grokdeclarator): Do not rename debug info of an
24         anonymous tagged type named by a typedef.
25
26 2010-05-27  Jason Merrill  <jason@redhat.com>
27
28         PR c++/43555
29         * decl.c (grokdeclarator) [cdk_pointer et al]: Force evaluation of
30         anonymous VLA size.
31
32 2010-05-27  Kai Tietz  <kai.tietz@onevision.com>
33
34         PR bootstrap/44287
35         * rtti.c (emit_support_tinfos): Check for NULL_TREE.
36         * class.c (layout_class_type): Likewise.
37         * decl.c (finish_enum): Likewise.
38         * mangle.c (write_builitin_type): Likewise.
39
40 2010-05-26  Kai Tietz  <kai.tietz@onevision.com>
41
42         * cp-tree.h (cp_decl_specifier_seq): Add new bifield
43         explicit_int128_p.
44         * decl.c (grokdeclarator): Handle __int128.
45         * parser.c (cp_lexer_next_token_is_decl_specifier_ke): Likewise.
46         (cp_parser_simple_type_specifier): Likewise.
47         * rtti.c (emit_support_tinfos): Add int128 nodes for rtti.
48         * typeck.c (cp_common_type): Handle __int128.
49         * mangle.c (integer_type_codes): Add itk_int128 and
50         itk_unsigned_int128.
51
52 2010-05-26  Jason Merrill  <jason@redhat.com>
53
54         PR c++/43382
55         * pt.c (tsubst_pack_expansion): Don't get confused by recursive
56         unification.
57
58 2010-05-26  Steven Bosscher  <steven@gcc.gnu.org>
59
60         * cp-lang.c: Do not include expr.h.
61
62 2010-05-26  Steven Bosscher  <steven@gcc.gnu.org>
63
64         * decl.c: Do not include rtl.h
65         * semantics.c: Likewise.
66
67 2010-05-25  Steven Bosscher  <steven@gcc.gnu.org>
68
69         * cp-tree.h: Do not include splay-tree.h.
70         (struct prtmem_cst): Remove unused field and false comment.
71         * typeck.c: Do not include rtl.h, expr.h, and tm_p.h.
72         * optimize.c: Do not inclde rtl.h, insn-config.h, and integrate.h.
73         * init.c: Do not include rtl.h and expr.h.
74         * class.c: Do not include rtl.h.  Include splay-tree.h.
75         (build_clone): Use plain NULL instead of NULL_RTX.
76         * decl.c: Do not include expr.h.  Explain why rtl.h has to be
77         included.  Include splay-tree.h.
78         * method.c: Do not include rtl.h and expr.h.
79         (use_thunk): Use plain NULL instead of NULL_RTX.
80         * except.c: Do not include rtl.h, expr.h, and libfuncs.h.
81         * tree.c: Do not include rtl.h, insn-config.h, integrate.h,
82         and target.h.  Include splay-tree.h.
83         * expr.c: Do not include rtl.h and expr.h.
84         * pt.c: Do not include obstack.h and rtl.h.
85         (tsubst_friend_function): Use plain NULL instead of NULL_RTX.
86         (tsubst_decl): Likewise.
87         (instantiate_decl): Likewise.
88         * semantics.c: Do not include exprt.h and debug.h.  Explain why
89         rtl.h has to be included.
90         * decl2.c: Do not include rtl.h and expr.h.  Include splay-tree.h.
91         * call.c: Do not include rtl.h and expr.h.
92         * search.c: Do not include obstack.h and rtl.h.
93         * friend.c: Do not include rtl.h and expr.h.
94         * Make-lang.in: Update dependencies.
95
96 2010-05-25  Jakub Jelinek  <jakub@redhat.com>
97
98         PR c++/18249
99         * parser.c (non_integral_constant): Add NIC_NONE.
100         (required_token): Add RT_NONE.
101         (cp_parser_unary_expression): Initialize non_constant_p
102         to NIC_NONE.
103         (cp_parser_asm_definition): Initialize missing to RT_NONE.
104         (cp_parser_primary_expression, cp_parser_postfix_expression,
105         cp_parser_cast_expression, cp_parser_binary_expression,
106         cp_parser_functional_cast): Fix formatting.
107
108 2010-05-25  Shujing Zhao  <pearly.zhao@oracle.com>
109         
110         PR c++/18249
111         * parser.c: Remove inclusion of dyn-string.h.
112         (non_integral_constant): New enum.
113         (name_lookup_error): New enum.
114         (required_token): New enum.
115         (cp_parser_required_error): New function.
116         (cp_parser_require): Change the type of variable token_desc to
117         required_token and use cp_parser_required_error.
118         (cp_parser_require_keyword): Likewise.
119         (cp_parser_error): Use gmsgid as parameter.
120         (cp_parser_name_lookup_error): Change the type of variable desired to
121         name_lookup_error and put the diagnostic in the full sentences. Change
122         caller.
123         (cp_parser_non_integral_constant_expression): Change the type of the
124         variable thing to non_integral_constant and put the diagnostics in
125         full sentences. Change caller.
126
127 2010-05-24  Eric Botcazou  <ebotcazou@adacore.com>
128
129         PR middle-end/44100
130         * typeck.c (cp_build_unary_op): Fold offsetof-like computations.
131
132 2010-05-24  Joseph Myers  <joseph@codesourcery.com>
133
134         * error.c (cp_diagnostic_starter): Update call to
135         diagnostic_build_prefix.
136         (cp_print_error_function,
137         print_instantiation_partial_context_line): Check show_column flag
138         in context.
139
140 2010-05-24  Jason Merrill  <jason@redhat.com>
141
142         PR c++/41510
143         * decl.c (check_initializer): Don't wrap an init-list in a
144         TREE_LIST.
145         * init.c (build_aggr_init): Don't assume copy-initialization if
146         init has CONSTRUCTOR_IS_DIRECT_INIT.
147         * call.c (build_new_method_call): Sanity check.
148
149 2010-05-24  Nathan Froyd  <froydnj@codesourcery.com>
150
151         * rtti.c (tinfo_base_init): Use build_constructor instead of
152         build_constructor_from_list.  Don't cons a tree node for
153         returning.
154         (generic_initializer): Use build_constructor_single instead of
155         build_constructor_from_list.
156         (ptr_initializer): Use build_constructor instead of
157         build_constructor_from_list
158         (ptm_initializer): Likewise.
159         (class_initializer): Likewise.  Take varargs instead of TRAIL.
160         (get_pseudo_ti_init): Adjust calls to class_initializer.  Use
161         build_constructor instead of build_constructor_from_list.
162
163 2010-05-22  Steven Bosscher  <steven@gcc.gnu.org>
164
165         * semantics.c: Include bitmap.h.
166         * Make-lang.in: Update dependencies.
167
168 2010-05-22  Jan Hubicka  <jh@suse.cz>
169
170         * decl2.c (maybe_emit_vtables): Produce same comdat group when outputting
171         comdat vtables.
172         (cxx_callgraph_analyze_expr): Remove code marking vtables needed.
173
174 2010-05-21  Joseph Myers  <joseph@codesourcery.com>
175
176         * cxx-pretty-print.c: Correct merge error.
177
178 2010-05-21  Joseph Myers  <joseph@codesourcery.com>
179
180         * error.c: Include tree-diagnostic.h and tree-pretty-print.h.
181         (cp_print_error_function): Use diagnostic_abstract_origin macro.
182         (cp_printer): Handle %K here using percent_K_format.
183         * cxx-pretty-print.c: Include tree-pretty-print.h.
184         * Make-lang.in (cp/error.o, cp/cxx-pretty-print.o): Update
185         dependencies.
186
187 2010-05-21  Steven Bosscher  <steven@gcc.gnu.org>
188
189         * error.c, tree.c, typeck2.c, cxx-pretty-print.c, mangle.c:
190         Clean up redundant includes.
191
192 2010-05-20  Paolo Carlini  <paolo.carlini@oracle.com>
193
194         PR c++/30298
195         * decl.c (xref_basetypes): Return false in case of ill-formed
196         redefinition.
197
198 2010-05-19  Jason Merrill  <jason@redhat.com>
199
200         * call.c (reference_binding): Use cp_build_qualified_type_real
201         and cp_type_quals consistently.
202         (add_function_candidate): Likewise.
203         (build_conditional_expr): Likewise.
204         (convert_like_real): Likewise.
205         (type_passed_as): Likewise.
206         * class.c (add_method): Likewise.
207         (same_signature_p): Likewise.
208         (layout_class_type): Likewise.
209         * decl.c (cxx_init_decl_processing): Likewise.
210         (cp_fname_init): Likewise.
211         (grokdeclarator): Likewise.
212         * decl2.c (cp_reconstruct_complex_type): Likewise.
213         * init.c (build_new_1): Likewise.
214         * method.c (do_build_copy_constructor): Likewise.
215         (implicitly_declare_fn): Likewise.
216         * pt.c (tsubst_aggr_type): Likewise.
217         (tsubst): Likewise.
218         * rtti.c (init_rtti_processing): Likewise.
219         (build_headof): Likewise.
220         (build_dynamic_cast_1): Likewise.
221         (tinfo_base_init): Likewise.
222         (emit_support_tinfos): Likewise.
223         * semantics.c (capture_decltype): Likewise.
224         * tree.c (cv_unqualified): Likewise.
225         * typeck.c (composite_pointer_type): Likewise.
226         (string_conv_p): Likewise.
227
228         * mangle.c (write_CV_qualifiers_for_type): Tweak.
229
230         * call.c (initialize_reference): Use CP_TYPE_CONST_P.
231         * decl.c (start_decl): Likewise.
232         * semantics.c (finish_compound_literal): Likewise.
233         * typeck.c (check_return_expr): Use CP_TYPE_VOLATILE_P.
234         (cp_type_readonly): Remove.
235         * cp-tree.h: Remove declaration.
236
237         * typeck.c (merge_types): Preserve memfn quals.
238
239         * decl.c (grokdeclarator): Don't check quals on fn type.
240         * typeck.c (cp_apply_type_quals_to_decl): Likewise.
241         * tree.c (cp_build_qualified_type_real): Simplify qualifier checking.
242
243         PR c++/44193
244         * typeck.c (type_memfn_quals): New fn.
245         (apply_memfn_quals): New fn.
246         (cp_type_quals): Return TYPE_UNQUALIFIED for FUNCTION_TYPE.
247         (cp_type_readonly): Use cp_type_quals.
248         * cp-tree.h: Add declarations.
249         * tree.c (cp_build_qualified_type_real): Don't set, but do
250         preserve, quals on FUNCTION_TYPE.
251         (strip_typedefs): Use apply_memfn_quals and type_memfn_quals.
252         * decl.c (build_ptrmem_type): Likewise.
253         (grokdeclarator): Likewise.
254         (static_fn_type): Likewise.
255         * decl2.c (change_return_type): Likewise.
256         (cp_reconstruct_complex_type): Likewise.
257         * pt.c (tsubst_function_type): Likewise.
258         (unify): Likewise.
259         (tsubst): Likewise.  Drop special FUNCTION_TYPE substitution code.
260
261 2010-05-18  Nathan Froyd  <froydnj@codesourcery.com>
262
263         * tree.c (build_min_non_dep_call_vec): Update comment.
264
265 2010-05-17  Jason Merrill  <jason@redhat.com>
266
267         * call.c (struct z_candidate): Add explicit_targs field.
268         (add_template_candidate_real): Set it.
269         (build_over_call): Use it to control init-list warning.
270
271         PR c++/44157
272         * call.c (build_over_call): Limit init-list deduction warning to
273         cases where the argument is actually an init-list.
274
275         PR c++/44158
276         * call.c (build_over_call): Don't do bitwise copy for move ctor.
277
278 2010-05-17  Dodji Seketeli  <dodji@redhat.com>
279             Jason Merrill  <jason@redhat.com>
280
281         PR c++/44108
282         * decl.c (compute_array_index_type): Call mark_rvalue_use.
283
284 2010-05-15  Jason Merrill  <jason@redhat.com>
285
286         * cp-tree.h (TYPE_NOEXCEPT_P): New macro.
287         * except.c (begin_eh_spec_block): Use MUST_NOT_THROW_EXPR if
288         TYPE_NOEXCEPT_P.
289         (finish_eh_spec_block): Adjust.
290
291 2010-05-15  Jakub Jelinek  <jakub@redhat.com>
292
293         PR c++/44148
294         * pt.c (tsubst): Unshare template argument.
295
296 2010-05-15  Steven Bosscher  <steven@gcc.gnu.org>
297
298         * decl.c: Include tree-iterator.h, as fixup for tree-inline.h changes.
299         * Make-lang.in: Fix dependencies accordingly.
300
301 2010-05-14  Jason Merrill  <jason@redhat.com>
302
303         C++ DR 475
304         * except.c (build_throw): Simplify, adjust for DR 475.
305
306         PR c++/44127
307         * except.c (dtor_nothrow): Return nonzero for type with
308         trivial destructor.
309
310         PR c++/44127
311         * cp-gimplify.c (gimplify_must_not_throw_expr): Use
312         gimple_build_eh_must_not_throw.
313
314 2010-05-14  Martin Jambor  <mjambor@suse.cz>
315
316         * cp-lang.c (LANG_HOOKS_FOLD_OBJ_TYPE_REF): Remove both its undef
317         and define.
318
319 2010-05-14  Jonathan Wakely  <jwakely.gcc@gmail.com>
320
321         * call.c (build_new_method_call): Change warning text.
322         * typeck2.c (build_functional_cast): Change error text.
323
324 2010-05-14  Shujing Zhao  <pearly.zhao@oracle.com>
325
326         PR c++/30566
327         * name-lookup.c (pushdecl_maybe_friend): Avoid the warnings about
328         shadowing the outer parameter or variables by the declaration of
329         nested function in nested structure or class. Warn the shadowing by
330         the declaration of nested lambda expression.
331
332 2010-05-13  Jason Merrill  <jason@redhat.com>
333
334         * typeck.c (cp_build_array_ref): Factor out from...
335         (build_array_ref): ...here.  Drop complain parm.
336         (build_new_op): Adjust.
337         * class.c (build_vtbl_ref_1): Adjust.
338         * decl2.c (grok_array_decl): Adjust.
339         * cp-tree.h: Adjust prototypes.
340
341 2010-05-13  Jan Hubicka  <jh@suse.cz>
342
343         * decl.c (cp_finish_decl): Do not worry about used attribute.
344
345 2010-05-12  Jason Merrill  <jason@redhat.com>
346
347         * typeck.c (build_array_ref): Take complain parm.
348         * cp-tree.h: Add it to prototype.
349         * call.c (build_new_op): Pass it.
350         * class.c (build_vtbl_ref): Pass it.
351         * decl2.c (grok_array_decl): Pass it.
352
353         PR bootstrap/44048
354         PR target/44099
355         * cp-tree.def (NULLPTR_TYPE): Remove.
356         * cp-tree.h (NULLPTR_TYPE_P): New.
357         (SCALAR_TYPE_P): Use it.
358         (nullptr_type_node): New.
359         (cp_tree_index): Add CPTI_NULLPTR_TYPE.
360         * decl.c (cxx_init_decl_processing): Call record_builtin_type on
361         nullptr_type_node.
362         * cvt.c (ocp_convert): Use NULLPTR_TYPE_P instead of NULLPTR_TYPE.
363         * cxx-pretty-print.c (pp_cxx_constant): Likewise.
364         * error.c (dump_type, dump_type_prefix, dump_type_suffix): Likewise.
365         * mangle.c (write_type): Likewise.
366         * name-lookup.c (arg_assoc_type): Likewise.
367         * typeck.c (build_reinterpret_cast_1): Likewise.
368         * rtti.c (typeinfo_in_lib_p): Likewise.
369         (emit_support_tinfos): Remove local nullptr_type_node.
370
371         * cp-tree.h (UNKNOWN_TYPE): Remove.
372         * decl.c (cxx_init_decl_processing): Use LANG_TYPE instead.
373         * error.c (dumy_type, dump_type_prefix, dump_type_suffix): Likewise.
374         * typeck2.c (cxx_incomplete_type_diagnostic): Likewise.
375         * class.c (instantiate_type): Check unknown_type_node rather than
376         UNKNOWN_TYPE.
377         * name-lookup.c (maybe_push_decl): Likewise.
378         * rtti.c (get_tinfo_decl_dynamic): Likewise.
379         (get_typeid): Likewise.
380         * semantics.c (finish_offsetof): Likewise.
381
382         PR c++/20669
383         * call.c (add_template_candidate_real): If deduction fails, still
384         add the template as a non-viable candidate.
385         (equal_functions): Handle template candidates.
386         (print_z_candidate): Likewise.
387         (print_z_candidates): Likewise.
388         (build_new_function_call): Likewise.
389
390         * cp-tree.h (LOOKUP_LIST_ONLY): New.
391         * call.c (add_candidates): Enforce it.
392         (build_new_method_call): Try non-list ctor if no viable list ctor.
393         (build_user_type_conversion_1): Likewise.
394
395         * call.c (add_candidates): Distinguish between type(x) and
396         x.operator type().
397         (convert_class_to_reference): Set LOOKUP_NO_CONVERSION.
398         (build_new_method_call): Give better error for conversion op.
399
400         * call.c (add_candidates): Add first_arg and return_type parms.
401         Add special constructor/conversion op handling.
402         (convert_class_to_reference): Use it.
403         (build_user_type_conversion_1): Likewise.
404         (build_op_call): Likewise.
405         (build_new_method_call): Likewise.
406         (build_new_op): Adjust.
407         (perform_overload_resolution): Adjust.
408
409 2010-05-11  Paolo Carlini  <paolo.carlini@oracle.com>
410
411         PR c++/34272
412         PR c++/43630
413         PR c++/34491
414         * pt.c (process_partial_specialization): Return error_mark_node
415         in case of unused template parameters in partial specialization.
416
417 2010-05-11  Jakub Jelinek  <jakub@redhat.com>
418
419         PR c++/44062
420         * semantics.c (finish_expr_stmt): Don't call mark_exp_read here...
421         * cvt.c (convert_to_void): ... but here.  If expr is a COMPOUND_EXPR,
422         look at its second operand.
423
424 2010-05-10  Jason Merrill  <jason@redhat.com>
425
426         PR c++/44017
427         * semantics.c (baselink_for_fns): Revert earlier change.
428
429         PR c++/44045
430         * typeck.c (cp_build_modify_expr): Complain about assignment to
431         array from init list.
432
433 2010-05-10  Fabien Chêne  <fabien.chene@gmail.com>
434
435         PR c++/43719
436         * decl.c (check_initializer): strip array type before checking for
437         uninitialized const or ref members.
438
439 2010-05-07  Fabien Chêne  <fabien.chene@gmail.com>
440
441         PR c++/43951
442         * init.c (diagnose_uninitialized_cst_or_ref_member_1): Returns the
443         error count. Emit errors only if compain is true.
444         (build_new_1): Do not return error_mark_node if
445         diagnose_uninitialized_cst_or_ref_member_1 does not diagnose any
446         errors. Delay the check for user-provided constructor.
447         (perform_member_init): Adjust.
448         * cp-tree.h (diagnose_uninitialized_cst_or_ref_member): Change the
449         prototype.
450
451 2010-05-06  Magnus Fromreide  <magfr@lysator.liu.se>
452             Jason Merrill  <jason@redhat.com>
453
454         Add support for C++0x nullptr.
455         * cp-tree.def: Add NULLPTR_TYPE.
456         * cp-tree.h: Add nullptr_node.
457         (cp_tree_index): Add CPTI_NULLPTR.
458         (SCALAR_TYPE_P): Add NULLPTR_TYPE.
459         * call.c (null_ptr_cst_p): Handle nullptr.
460         (standard_conversion): Likewise.
461         (convert_arg_to_ellipsis): Likewise.
462         * mangle.c (write_type): Likewise.
463         * name-lookup.c (arg_assoc_type): Likewise.
464         * parser.c (cp_parser_primary_expression): Likewise.
465         * typeck.c (cp_build_binary_op): Likewise.
466         (build_reinterpret_cast_1): Likewise.
467         * error.c (dump_type): Likewise.
468         (dump_type_prefix, dump_type_suffix): Likewise.
469         * decl.c (cxx_init_decl_processing): Likewise.
470         * cxx-pretty-print.c (pp_cxx_constant): Likewise.
471         * cvt.c (ocp_convert): Likewise.
472         * rtti.c (typeinfo_in_lib_p, emit_support_tinfos): Put
473         nullptr_t tinfo in libsupc++.
474
475 2010-05-06  Jason Merrill  <jason@redhat.com>
476
477         * semantics.c (simplify_aggr_init_expr): Use INIT_EXPR.
478
479 2010-04-22  Jakub Jelinek <jakub@redhat.com>
480             Dodji Seketeli <dodji@redhat.com>
481
482         PR c/18624
483         * cp-tree.h (mark_exp_read, rvalue_use, lvalue_use, type_use):
484         Declare ...
485         * expr.c (mark_exp_read, rvalue_use, lvalue_use, type_use): ... new fns.
486         * typeck.c (cxx_sizeof_expr, cxx_alignof_expr): Call type_use.
487         (decay_conversion, perform_integral_promotions): Call rvalue_use.
488         (cp_build_unary_op): Call lvalue_use.
489         * decl.c (unused_but_set_errorcount): New variable.
490         (poplevel): Issue -Wunused-but-set-variable diagnostics.
491         (duplicate_decls): Merge DECL_READ_P flags.
492         (start_cleanup_fn): Set DECL_READ_P flag.
493         (finish_function): Issue -Wunused-but-set-parameter diagnostics.
494         * tree.c (rvalue): Call rvalue_use.
495         * pt.c (convert_nontype_argument): Likewise.
496         * semantics.c (finish_expr_stmt, finish_asm_stmt, finish_typeof,
497         finish_decltype_type): Likewise.
498         * call.c (convert_like_real) <ck_identity, ck_user>: Call rvalue use.
499         (build_x_va_arg, build_new_method_call, build_over_call): Call lvalue_use
500         or rvalue_use depending on the expr.
501         * init.c (build_new, build_delete): Likewise.
502         * rtti.c (build_typeid, build_dynamic_cast_1): Likewise.
503
504 2010-05-05  Jason Merrill  <jason@redhat.com>
505
506         PR c++/43787
507         * cp-gimplify.c (cp_gimplify_expr): Remove copies of empty classes.
508         * call.c (build_over_call): Don't try to avoid INIT_EXPR copies here.
509
510 2010-05-04  Paolo Carlini  <paolo.carlini@oracle.com>
511
512         PR c++/43028
513         * pt.c (unify): Check each elt for error_mark_node.
514
515 2010-05-04  Jason Merrill  <jason@redhat.com>
516
517         PR c++/38064
518         * typeck.c (cp_build_binary_op): Allow enums for <> as well.
519
520 2010-05-04  Paolo Carlini  <paolo.carlini@oracle.com>
521
522         PR c++/43705
523         * call.c (build_new_method_call): Return error_mark_node if fns is
524         NULL_TREE.
525
526 2010-05-03  Dodji Seketeli  <dodji@redhat.com>
527
528         PR c++/43953
529         * pt.c (most_specialized_class): Pretend we are processing
530         a template decl during the call to coerce_template_parms.
531
532 2010-05-03  Jason Merrill  <jason@redhat.com>
533
534         PR c++/42810
535         PR c++/43680
536         * decl.c (finish_enum): Use the TYPE_MIN_VALUE and TYPE_MAX_VALUE
537         from the selected underlying type unless -fstrict-enums.  Set
538         ENUM_UNDERLYING_TYPE to have the restricted range.
539         * cvt.c (type_promotes_to): Use ENUM_UNDERLYING_TYPE.
540         * class.c (check_bitfield_decl): Likewise.
541
542 2010-05-01  H.J. Lu  <hongjiu.lu@intel.com>
543
544         PR c++/43951
545         * init.c (build_new_1): Revert the accidental checkin in
546         revision 158918.
547
548 2010-04-30  Jason Merrill  <jason@redhat.com>
549
550         PR c++/43868
551         * cxx-pretty-print.c (pp_cxx_decl_specifier_seq): Move pmf handling...
552         (pp_cxx_type_specifier_seq): ...here.
553
554 2010-04-30  Steven Bosscher  <steven@gcc.gnu.org>
555
556         * optimize.c, parser.c, mangle.c, cp-tree.h: Do not include varray.h.
557         * Make-lang.in: Don't include varray.h dependency in CXX_TREE_H.
558
559 2010-04-30  Shujing Zhao  <pearly.zhao@oracle.com>
560
561         PR c++/43779
562         * typeck.c (warn_args_num): New function.
563         (convert_arguments): Use warn_args_num to print the diagnostic
564         messages. 
565
566 2010-04-29  Fabien Chêne  <fabien.chene@gmail.com>
567
568         PR c++/43890
569         * init.c (diagnose_uninitialized_cst_or_ref_member): check for
570         user-provided constructor while recursing.
571
572 2010-04-28  Manuel López-Ibáñez  <manu@gcc.gnu.org>
573
574         PR c++/9335
575         * error.c (print_instantiation_partial_context_line): Handle
576         recursive instantiation.
577         (print_instantiation_partial_context): Likewise.
578
579 2010-04-27  Jason Merrill  <jason@redhat.com>
580
581         * init.c (perform_member_init): Check CLASS_TYPE_P.
582
583 2010-04-27  Fabien Chêne  <fabien.chene@gmail.com>
584
585         PR c++/29043
586         * init.c (perform_member_init): check for uninitialized const or
587         reference members, including array types.
588
589 2010-04-24  Jason Merrill  <jason@redhat.com>
590
591         * tree.c (get_fns): Split out from get_first_fn.
592         * cp-tree.h: Declare it.
593         * search.c (shared_member_p): Use it.
594         * semantics.c (finish_qualified_id_expr): Simplify.
595         (finish_id_expression): Simplify.
596
597         * semantics.c (finish_non_static_data_member): Call maybe_dummy_object
598         whenever object is NULL_TREE.  Don't do 'this' capture here.
599         (finish_qualified_id_expr): Pass NULL_TREE.
600         (finish_id_expression): Likewise.
601         (lambda_expr_this_capture): Likewise.
602
603         * semantics.c (finish_qualified_id_expr): Use maybe_dummy_object
604         rather than checking current_class_ref directly.
605         (finish_call_expr): Likewise.
606
607         PR c++/43856
608         * name-lookup.c (qualify_lookup): Disqualify lambda op().
609         * class.c (current_nonlambda_class_type): New fn.
610         * semantics.c (nonlambda_method_basetype): New.
611         * cp-tree.h: Declare them.
612         * tree.c (maybe_dummy_object): Handle implicit 'this' capture.
613
614         * semantics.c (baselink_for_fns): Correct BASELINK_BINFO.
615
616         PR c++/43875
617         * semantics.c (lambda_return_type): Complain about
618         braced-init-list.
619
620         PR c++/43790
621         * tree.c (cv_unqualified): Handle error_mark_node.
622
623         PR c++/41468
624         * call.c (convert_like_real) [ck_ambig]: Just return error_mark_node
625         if we don't want errors.
626
627         PR c++/41468
628         * class.c (convert_to_base): Add complain parameter.  Pass
629         ba_quiet to lookup_base if we don't want errors.
630         (build_vfield_ref): Pass complain to convert_to_base.
631         * call.c (convert_like_real): Likewise.
632         (initialize_reference): Likewise.
633         (perform_direct_initialization_if_possible): Pass complain to
634         convert_like_real.
635         * cp-tree.h: Adjust.
636
637 2010-04-27  Fabien Chêne  <fabien.chene@gmail.com>
638             Jason Merrill  <jason@redhat.com>
639
640         PR c++/42844
641         * decl.c (check_for_uninitialized_const_var): Handle classes that need
642         constructing, too.
643         (check_initializer): Call it for classes that need constructing, too.
644         * class.c (in_class_defaulted_default_constructor): New.
645         * cp-tree.h: Declare it.
646
647 2010-04-20  Jason Merrill  <jason@redhat.com>
648
649         PR c++/9335
650         * init.c (constant_value_1): Treat error_mark_node as a constant
651         if DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P is set.
652         * cvt.c (ocp_convert): Handle getting error_mark_node from
653         integral_constant_value.
654         * decl.c (compute_array_index_type): Likewise.
655
656 2010-04-20  Dodji Seketeli  <dodji@redhat.com>
657
658         PR c++/43800
659         PR c++/43704
660         * typeck.c (incompatible_dependent_types_p): If one of the
661         compared types if not a typedef then honour their main variant
662         equivalence.
663
664 2010-04-20  Jakub Jelinek  <jakub@redhat.com>
665
666         * cp-tree.h (TYPE_REF_IS_RVALUE): Remove.
667
668 2010-04-19  Dodji Seketeli  <dodji@redhat.com>
669
670         PR c++/43704
671         * typeck.c (structural_comptypes): Test dependent typedefs
672         incompatibility before testing for their main variant based
673         equivalence.
674
675 2010-04-19  Jakub Jelinek  <jakub@redhat.com>
676
677         * cp-tree.h (SCOPED_ENUM_P, UNSCOPED_ENUM_P, SET_SCOPED_ENUM_P): Use
678         ENUM_IS_SCOPED bit instead of TYPE_LANG_FLAG_5.
679
680 2010-04-18  Eric Botcazou  <ebotcazou@adacore.com>
681
682         * decl.c (cxx_init_decl_processing): Remove second argument in call to
683         build_common_tree_nodes.
684
685 2010-04-14  Jason Merrill  <jason@redhat.com>
686
687         PR c++/36625
688         * parser.c (cp_parser_parenthesized_expression_list): Change
689         is_attribute_list parm to int to indicate whether or not to
690         handle initial identifier specially.
691         (cp_parser_attribute_list): Use attribute_takes_identifier_p.
692
693 2010-04-13  Jason Merrill  <jason@redhat.com>
694
695         * call.c (type_decays_to): Check MAYBE_CLASS_TYPE_P instead of
696         CLASS_TYPE_P.
697         * parser.c (cp_parser_lambda_expression): Complain about lambda in
698         unevaluated context.
699         * pt.c (iterative_hash_template_arg): Don't crash on lambda.
700
701 2010-04-12  Jason Merrill  <jason@redhat.com>
702
703         PR c++/43641
704         * semantics.c (maybe_add_lambda_conv_op): Use build_call_a and tweak
705         return value directly.
706
707         * call.c (type_decays_to): Call cv_unqualified for non-class type.
708
709 2010-04-12  Fabien Chene  <fabien.chene@gmail.com>
710
711         PR c++/25811
712         * cp-tree.h (diagnose_uninitialized_cst_or_ref_member): Declare.
713         * init.c (build_new_1): Check for uninitialized const members and
714         uninitialized reference members, when using new without
715         new-initializer. Call diagnose_uninitialized_cst_or_ref_member.
716         (diagnose_uninitialized_cst_or_ref_member): Define, call
717         diagnose_uninitialized_cst_or_ref_member_1.
718         (diagnose_uninitialized_cst_or_ref_member_1): New function.
719
720 2010-04-12  Richard Guenther  <rguenther@suse.de>
721
722         PR c++/43611
723         * semantics.c (expand_or_defer_fn_1): Do not keep extern
724         template inline functions.
725
726 2010-04-09  Manuel López-Ibáñez  <manu@gcc.gnu.org>
727
728         PR c++/28584
729         * typeck.c (cp_build_c_cast): Warn for casting integer to larger
730         pointer type.
731
732 2010-04-07  Jason Merrill  <jason@redhat.com>
733
734         PR c++/43016
735         * decl.c (start_preparsed_function): Do defer nested functions.
736
737         PR c++/11094, DR 408
738         * cp-tree.h (VAR_HAD_UNKNOWN_BOUND, SET_VAR_HAD_UNKNOWN_BOUND): New.
739         * decl2.c (finish_static_data_member_decl): Set it.
740         * decl.c (duplicate_decls): Propagate it.
741         * pt.c (tsubst_decl): Don't substitute the domain of an array
742         VAR_DECL if it's set.
743         (regenerate_decl_from_template): Substitute it here.
744         (type_dependent_expression_p): Return true if it's set.
745         * semantics.c (finish_decltype_type): Instantiate such a variable.
746         * typeck.c (cxx_sizeof_expr): Likewise.
747         (strip_array_domain): New.
748
749         PR c++/43145
750         * name-lookup.c (current_decl_namespace): Non-static.
751         (pop_nested_namespace): Sanity check.
752         * cp-tree.h: Declare current_decl_namespace.
753         * decl.c (grokvardecl): Use it instead of current_namespace.
754         (grokfndecl): Likewise.
755
756         PR c++/38392
757         * pt.c (tsubst_friend_function): Instatiate a friend that has already
758         been used.
759
760         * pt.c (print_template_statistics): New.
761         * cp-tree.h: Declare it.
762         * tree.c (cxx_print_statistics): Call it.
763
764         PR c++/41970
765         * decl.c (grokvardecl): Tweak warning message.
766         (grokfndecl): Likewise.
767
768 2010-04-07  Dodji Seketeli  <dodji@redhat.com>
769
770         PR c++/42697
771         *pt.c (tsubst_decl): Get the arguments of a specialization from
772         the specialization template, not from the most general template.
773
774 2010-04-07  Dodji Seketeli  <dodji@redhat.com>
775
776         PR c++/40239
777         * typeck2.c (process_init_constructor_record):
778         value-initialize members that are are not explicitely
779         initialized.
780
781 2010-04-07  Jie Zhang  <jie@codesourcery.com>
782
783         PR c++/42556
784         * typeck2.c (split_nonconstant_init_1): Drop empty CONSTRUCTOR
785         when all of its elements are non-constant and have been split out.
786
787 2010-04-06  Taras Glek  <taras@mozilla.com>
788             Jason Merrill  <jason@redhat.com>
789
790         * parser.c (cp_parser_class_specifier): Set class location to that
791         of IDENTIFIER_NODE instead of '{' when possible.
792         * semantics.c (begin_class_definition): Do not overide locations
793         with less precise ones.
794
795 2010-04-06  Jason Merrill  <jason@redhat.com>
796
797         PR c++/43648
798         * name-lookup.c (constructor_name_p): Allow X::~X even for typedefs.
799
800         PR c++/43621
801         * pt.c (maybe_update_decl_type): Check the return value from
802         push_scope.
803
804 2010-04-01  Jason Merrill  <jason@redhat.com>
805
806         * decl.c (next_initializable_field): No longer static.
807         * cp-tree.h: Declare it.
808         * call.c (build_aggr_conv): Fail if there are more initializers
809         than initializable fields.
810
811         * semantics.c (maybe_add_lambda_conv_op): Use null_pointer_node
812         instead of void_zero_node.
813
814 2010-03-31  Dodji Seketeli  <dodji@redhat.com>
815
816         PR c++/43558
817         * cp-tree.h (TEMPLATE_TYPE_PARM_SIBLING_PARMS): New accessor macro.
818         * pt.c (end_template_parm_list): Store sibling template parms of
819         each TEMPLATE_TYPE_PARMs into its TEMPLATE_TYPE_PARM_SIBLING_PARMS.
820         (push_template_decl_real): Don't store the containing template decl
821         into the DECL_CONTEXT of TEMPLATE_TYPE_PARMs anymore.
822         * typeck.c (get_template_parms_of_dependent_type): Get sibling parms
823         of a TEMPLATE_TYPE_PARM from TEMPLATE_TYPE_PARM_SIBLING_PARMS.
824         Simplify the logic.
825
826 2010-03-30  Jason Merrill  <jason@redhat.com>
827
828         PR c++/43076
829         * pt.c (push_template_decl_real): Deal better with running out of
830         scopes before running out of template parms.
831
832         PR c++/41185
833         PR c++/41786
834         * parser.c (cp_parser_direct_declarator): Don't allow VLAs in
835         function parameter context.  Don't print an error if parsing
836         tentatively.
837
838         PR c++/43559
839         * pt.c (more_specialized_fn): Don't control cv-qualifier check
840         with same_type_p.
841
842 2010-03-26  Jason Merrill  <jason@redhat.com>
843
844         PR c++/43509
845         * parser.c (cp_parser_qualifying_entity): Do accept enum names in
846         c++0x mode, but not other type-names.
847
848 2010-03-26  Dodji Seketeli  <dodji@redhat.com>
849
850         PR c++/43327
851         * pt.c (add_to_template_args): Support NULL ARGS;
852         (most_specialized_class): call coerce_template_parms on
853         template arguments passed to get_class_bindings. Use
854         add_to_template_args.
855         (unify): Handle VAR_DECLs.
856
857 2010-03-26  Dodji Seketeli  <dodji@redhat.com>
858
859         * cp-tree.h (get_template_parms_at_level): Change unsigned parm
860         into int.
861         * pt.c (get_template_parms_at_level): Adjust.
862
863 2010-03-25  Dodji Seketeli  <dodji@redhat.com>
864
865         PR c++/43206
866         * cp-tree.h (get_template_parms_at_level): Declare ...
867         * pt.c (get_template_parms_at_level): ... new function.
868         * typeck.c (get_template_parms_of_dependent_type): If a template
869         type parm's DECL_CONTEXT isn't yet set, get its siblings from
870         current_template_parms. Use get_template_parms_at_level. Remove
871         useless test.
872         (incompatible_dependent_types_p): If we get empty parms from just one
873         of the template type parms we are comparing then the template parms are
874         incompatible.
875
876 2010-03-24  Jason Merrill  <jason@redhat.com>
877
878         PR c++/43502
879         * parser.c (make_declarator): Initialize id_loc.
880         (cp_parser_lambda_declarator_opt): And set it.
881
882 2010-03-23  Jason Merrill  <jason@redhat.com>
883
884         Make lambda conversion op and op() non-static.
885         * semantics.c (maybe_add_lambda_conv_op): Make non-static.
886         Also add the thunk function returned by the conversion op.
887         Mark the conversion deleted if the op() is variadic.
888         * decl2.c (mark_used): Give helpful message about deleted conversion.
889         * parser.c (cp_parser_lambda_declarator_opt): Don't make op() static.
890         * semantics.c (finish_this_expr): Adjust.
891         * mangle.c (write_closure_type_name): Adjust.
892         * decl.c (grok_op_properties): Don't allow it.
893         * call.c (build_user_type_conversion_1): No static conversion ops.
894         (build_op_call): Or op().
895
896         * decl2.c (change_return_type): Fix 'this' quals.
897
898 2010-03-22  Jason Merrill  <jason@redhat.com>
899
900         PR c++/43333
901         * tree.c (pod_type_p): Use old meaning in C++98 mode.
902
903         PR c++/43281
904         * pt.c (contains_auto_r): New fn.
905         (do_auto_deduction): Use it.
906         (tsubst): Don't look at TREE_TYPE of a TEMPLATE_TYPE_PARM.
907
908 2010-03-20  Simon Martin  <simartin@users.sourceforge.net>
909
910         PR c++/43081:
911         * decl2.c (grokfield): Handle invalid initializers for member
912         functions.
913
914 2010-03-20  Dodji Seketeli  <dodji@redhat.com>
915
916         PR c++/43375
917         * method.c (make_alias_for): Avoid crashing when DECL_LANG_SPECIFIC
918         is NULL.
919         * decl2.c (vague_linkage_p): Likewise.
920
921 2010-03-18  Paolo Carlini  <paolo.carlini@oracle.com>
922
923         PR c++/43418
924         * parser.c (cp_parser_for_init_statement): Use NULL_TREE, not
925         false, in the cp_parser_expression_statement call.
926
927 2010-03-05  Jason Merrill  <jason@redhat.com>
928
929         * mangle.c (mangle_decl): Give name collision error even without
930         ASM_OUTPUT_DEF.
931
932 2010-03-04  Marco Poletti  <poletti.marco@gmail.com>
933
934         * pt.c (process_partial_specialization): Use error_n instead of
935         error.
936
937 2010-03-03  Jason Merrill  <jason@redhat.com>
938
939         PR c++/12909
940         * mangle.c (mangle_decl): Handle VAR_DECL, too.
941
942 2010-03-03  Jason Merrill  <jason@redhat.com>
943
944         PR c++/12909
945         * mangle.c: Include cgraph.h.
946         (mangle_decl): If the mangled name will change in a later
947         ABI version, make the later mangled name an alias.
948         * method.c (make_alias_for): Copy DECL_ARGUMENTS.
949         * Make-lang.in (mangle.o): Depend on cgraph.h.
950         * method.c (make_alias_for): Handle VAR_DECL, too.
951         * decl2.c (vague_linkage_p): Rename from vague_linkage_fn_p.
952         * tree.c (no_linkage_check): Adjust.
953         * decl.c (maybe_commonize_var): Adjust.
954         * cp-tree.h: Adjust.
955
956 2010-03-01  Marco Poletti  <poletti.marco@gmail.com>
957
958         * pt.c (redeclare_class_template): Use error_n and inform_n.
959
960 2010-02-27  Mark Mitchell  <mark@codesourcery.com>
961
962         PR c++/42748
963         * cp-tree.h (push_tinst_level): Declare.
964         (pop_tinst_level): Likewise.
965         * pt.c (push_tinst_level): Give it external linkage.
966         (pop_tinst_level): Likewise.
967         * mangle.c (mangle_decl_string): Set the source location to that
968         of the decl while mangling.
969
970 2010-02-27  Simon Martin  <simartin@users.sourceforge.net>
971
972         PR c++/42054
973         * pt.c (redeclare_class_template): Return false if there are erroneous
974         template parameters.
975
976 2010-02-24  Manuel López-Ibáñez  <manu@gcc.gnu.org>
977
978         * pt.c (push_tinst_level): Replace -ftemplate-depth- with 
979         -ftemplate-depth=.
980
981 2010-02-24  Jason Merrill  <jason@redhat.com>
982
983         PR c++/12909
984         * mangle.c (write_type): Give -Wabi warning for old vector mangling.
985
986         * class.c (layout_class_type): Don't give -Wabi warning for a bug
987         in a previous ABI version.
988
989 2010-02-23  Jason Merrill  <jason@redhat.com>
990
991         PR c++/43143
992         * typeck2.c (digest_init_r): Accept value init of array.
993
994 2010-02-22  Manuel López-Ibáñez  <manu@gcc.gnu.org>
995
996         PR c++/43126
997         * typeck.c (convert_arguments): Update error message.
998
999 2010-02-22  Mike Stump  <mikestump@comcast.net>
1000
1001         PR c++/43125
1002         * decl.c (duplicate_decls): Merge DECL_PRESERVE_P.
1003
1004 2010-02-21  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1005
1006         PR c++/23510
1007         * error.c (print_instantiation_partial_context_line): New.
1008         (print_instantiation_partial_context): Print at most 12 contexts,
1009         skip the rest with a message.
1010
1011 2010-02-21  Dodji Seketeli  <dodji@redhat.com>
1012
1013         PR c++/42824
1014         * pt.c (lookup_template_class): Better support of specialization
1015         of member of class template implicit instantiation.
1016
1017 2010-02-20  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1018
1019         PR c++/35669
1020         * call.c (conversion_null_warnings): Replace -Wconversion with
1021         -Wconversion-null.
1022         * cvt.c (build_expr_type_conversion): Likewise.
1023
1024 2010-02-18  Jason Merrill  <jason@redhat.com>
1025
1026         PR c++/42837
1027         * class.c (create_vtable_ptr): Set DECL_PACKED if type is packed.
1028
1029         PR c++/43108
1030         * typeck.c (cp_build_binary_op): Adapt mixed complex/non handling from
1031         C build_binary_op.
1032         * cp-tree.h (WANT_VECTOR_OR_COMPLEX): Rename from WANT_VECTOR.
1033         * cvt.c (build_expr_type_conversion): Allow COMPLEX_TYPE.
1034
1035         PR c++/43070
1036         * semantics.c (finish_goto_stmt): Don't call decay_conversion.
1037
1038         PR c++/26261
1039         PR c++/43101
1040         * pt.c (tsubst_qualified_id): Do normal lookup in non-dependent scope.
1041         (maybe_update_decl_type): New fn.
1042         * parser.c (cp_parser_init_declarator): Use it.
1043
1044         PR c++/43109
1045         * semantics.c (begin_class_definition): Don't crash on unnamed ns.
1046
1047 2010-02-17  Jason Merrill  <jason@redhat.com>
1048
1049         PR c++/43075
1050         * call.c (build_over_call): Don't create zero-sized assignments.
1051         * cp-gimplify.c (cp_genericize_r): Don't remove them here.
1052         * cp-objcp-common.c (cp_expr_size): Remove.
1053         * cp-tree.h: Remove prototype.
1054
1055         PR c++/43069
1056         * name-lookup.c (set_decl_namespace): Don't copy DECL_CONTEXT if the
1057         decl we looked up doesn't match.
1058
1059         PR c++/43093
1060         * cp-gimplify.c (cp_gimplify_expr) [INIT_EXPR]: Return if we don't
1061         have an INIT_EXPR anymore.
1062
1063         PR c++/43079
1064         * pt.c (convert_nontype_argument): Change assert to test.
1065
1066 2010-02-16  Jason Merrill  <jason@redhat.com>
1067
1068         * cp-gimplify.c (cp_gimplify_expr): Fix error recovery.
1069
1070         PR c++/43031
1071         * cp-gimplify.c (cp_gimplify_expr) [MODIFY_EXPR]: Use
1072         VIEW_CONVERT_EXPR for conversions between structural equality types
1073         that the back end can't tell are the same.
1074
1075         PR c++/43036
1076         * tree.c (build_cplus_array_type): Set TYPE_MAIN_VARIANT to strip
1077         cv-quals from element here.
1078         (cp_build_qualified_type_real): Not here.  Preserve typedef name.
1079
1080 2010-02-14  Jason Merrill  <jason@redhat.com>
1081
1082         PR c++/41997
1083         * semantics.c (finish_compound_literal): Use
1084         cp_apply_type_quals_to_decl when creating a static variable.
1085
1086 2010-02-12  Jason Merrill  <jason@redhat.com>
1087
1088         PR c++/43024
1089         * name-lookup.h (current_binding_level): Check for null
1090         cp_function_chain.
1091
1092 2010-02-12  Jason Merrill  <jason@redhat.com>
1093
1094         PR c++/43054
1095         * tree.c (cp_tree_equal): Correct CALL_EXPR logic.
1096
1097 2010-02-12  Jakub Jelinek  <jakub@redhat.com>
1098
1099         PR c++/43033
1100         * name-lookup.c (pushdecl_maybe_friend): Check default args of t
1101         instead of x.
1102
1103 2010-02-10  Jason Merrill  <jason@redhat.com>
1104
1105         PR c++/41896
1106         * semantics.c (outer_lambda_capture_p): Revert.
1107         (add_capture): Only finish_member_declaration if
1108         we're in the lambda class.
1109         (register_capture_members): New.
1110         * cp-tree.h: Declare it.
1111         * parser.c (cp_parser_lambda_expression): Call it.
1112
1113 2010-02-10  Jason Merrill  <jason@redhat.com>
1114
1115         PR c++/41896
1116         * semantics.c (outer_lambda_capture_p): Use current_function_decl
1117         instead of current_class_type.
1118
1119 2010-02-10  Jason Merrill  <jason@redhat.com>
1120
1121         PR c++/42983, core issue 906
1122         * method.c (defaultable_fn_check): Check virtualness.
1123
1124 2010-02-10  Jason Merrill  <jason@redhat.com>
1125
1126         PR c++/43016
1127         * semantics.c (maybe_add_lambda_conv_op): Set DECL_INTERFACE_KNOWN.
1128
1129 2010-02-10  Shujing Zhao  <pearly.zhao@oracle.com>
1130
1131         * Make-lang.in (cp/cvt.o, cp/parser.o, cp/search.o): Depend on intl.h.
1132         * cvt.c (warn_ref_binding): Wrap the messages into G_() for easy
1133         translation.
1134         * parser.c (cp_parser_postfix_expression, cp_parser_new_type_id)
1135         (cp_parser_cast_expression, cp_parser_condition, cp_parser_decltype)
1136         (cp_parser_parameter_declaration)
1137         (cp_parser_exception_specification_opt)
1138         (cp_parser_exception_declaration): Likewise.
1139         * pt.c (check_default_tmpl_args): Likewise.
1140         * search.c (lookup_field_r): Likewise.
1141
1142 2010-02-09  Jason Merrill  <jason@redhat.com>
1143
1144         PR c++/42399
1145         * pt.c (tsubst_copy_and_build): Propagate LAMBDA_EXPR_LOCATION.
1146
1147 2010-02-09  Jason Merrill  <jason@redhat.com>
1148
1149         PR c++/42370
1150         * decl2.c (change_return_type): New fn.
1151         * semantics.c (apply_lambda_return_type): Use it.
1152         * cp-tree.h: Declare it.
1153
1154 2010-02-05  Richard Guenther  <rguenther@suse.de>
1155
1156         * Make-lang.in (cp/cp-lang.o): Depend on gt-cp-cp-lang.h.
1157         * cp-lang.c: Include gt-cp-cp-lang.h.
1158         * config-lang.in (gtfiles): Add cp/cp-lang.c.
1159
1160 2010-02-05  Dodji Seketeli  <dodji@redhat.com>
1161
1162         PR c++/42915
1163         * typeck.c (get_template_parms_of_dependent_type): Try getting
1164         the template parameters fromt the type itself first.
1165
1166 2010-02-03  Jason Merrill  <jason@redhat.com>
1167
1168         PR c++/4926
1169         PR c++/38600
1170         * mangle.c (write_unqualified_id): Split out from write_expression.
1171         (write_unqualified_name): Call it.
1172         (write_member_name): Likewise.
1173         (write_expression): Support TEMPLATE_ID_EXPR.
1174         Disambiguate operator names.
1175
1176         PR c++/12909
1177         * mangle.c (write_type) [VECTOR_TYPE]: Change mangling with
1178         -fabi-version=4.
1179
1180 2010-02-02  Jason Merrill  <jason@redhat.com>
1181
1182         PR c++/41090
1183         * decl.c (cp_finish_decl): Add local statics to cfun->local_decls.
1184         * optimize.c (clone_body): Remap their initializers when making base
1185         variants.
1186         (maybe_clone_body): Complain if multiple clones aren't safe.
1187
1188 2010-01-29  Dodji Seketeli  <dodji@redhat.com>
1189
1190         PR c++/42758
1191         PR c++/42634
1192         PR c++/42336
1193         PR c++/42797
1194         PR c++/42880
1195         * cp-tree.h (NON_DEFAULT_TEMPLATE_ARGS_COUNT,
1196         SET_NON_DEFAULT_TEMPLATE_ARGS_COUNT,
1197         GET_NON_DEFAULT_TEMPLATE_ARGS_COUNT): New accessor macros.
1198         * pt.c (coerce_template_parms, type_unification_real,
1199         expand_template_argument_pack, coerce_template_parameter_pack):
1200         Set the non default template args count.
1201         (current_template_args): Always set non defaulted
1202         template args count when compiled with --enable-checking
1203         (tsubst_template_args, type_unification_real): Propagate the non
1204         defaulted template args count.
1205         * error.c (get_non_default_template_args_count): Renamed
1206         count_non_default_template_args into this. Don't calculate the
1207         non default template argument count anymore. Use the new
1208         accessor macros above to get it.
1209         (dump_template_argument_list, dump_type, dump_decl,
1210         dump_template_parms): Adjust.
1211         * parser.c (cp_parser_template_argument_list): Always set defaulted
1212         template args count when compiled with --enable-checking.
1213
1214 2010-01-29  Shujing Zhao  <pearly.zhao@oracle.com>
1215
1216         * decl.c (redeclaration_error_message): Wrap the return messages into
1217         G_() for easy translation.
1218
1219 2010-01-28  Jason Merrill  <jason@redhat.com>
1220
1221         PR c++/42880
1222         * semantics.c (begin_class_definition): Don't use type_as_string.
1223
1224 2010-01-28  Dodji Seketeli  <dodji@redhat.com>
1225
1226         PR c++/42713
1227         PR c++/42820
1228         * typeck.c (get_template_parms_of_dependent_type): Factorized
1229         this out of incompatible_template_type_parms_p
1230         (incompatible_dependent_types_p): Renamed
1231         incompatible_template_type_parms_p into this. Make it detect
1232         two incompatible dependent typedefs too.
1233         (structural_comptypes): Use incompatible_dependent_types_p.
1234         * pt.c (get_template_info):
1235         Handle BOUND_TEMPLATE_TEMPLATE_PARAM.
1236
1237 2010-01-20  Janis Johnson  <janis187@us.ibm.com>
1238             Jason Merrill  <jason@redhat.com>
1239
1240         * mangle.c (write_type): Mangle transparent record as member type.
1241         * semantics.c (begin_class_definition): Recognize decimal classes
1242         and set TYPE_TRANSPARENT_AGGR.
1243
1244 2010-01-20  Jason Merrill  <jason@redhat.com>
1245
1246         PR c++/42338
1247         * mangle.c (write_expression): Handle tree codes that have extra
1248         arguments in the middle-end.
1249
1250 2010-01-20  Paolo Carlini  <paolo.carlini@oracle.com>
1251
1252         PR c++/42038
1253         * except.c (expand_start_catch_block): Deal correctly with
1254         do_begin_catch returning error_mark_node.
1255
1256 2010-01-20  Jason Merrill  <jason@redhat.com>
1257
1258         PR c++/41788
1259         * class.c (layout_class_type): Set packed_maybe_necessary for packed
1260         non-PODs.
1261
1262         PR c++/41920
1263         * semantics.c (build_lambda_object): Call mark_used on captured
1264         variables.
1265
1266         PR c++/40750
1267         * decl.c (grokdeclarator): Clear type_quals for a member function
1268         declared using a typedef.  Don't complain about adding cv-quals
1269         to a function typedef in C++0x mode.
1270
1271 2010-01-20  Jakub Jelinek  <jakub@redhat.com>
1272
1273         * decl.c (create_array_type_for_decl): Remove set but not used
1274         variable error_msg.  Remove break stmts after return stmts.
1275
1276 2010-01-19  Dodji Seketeli  <dodji@redhat.com>
1277
1278         * error.c (dump_template_parms, count_non_default_template_args):
1279         Revert fix of PR c++/42634.
1280
1281 2010-01-18  Dodji Seketeli  <dodji@redhat.com>
1282
1283         PR c++/42634
1284         * error.c (dump_template_parms): Use innermost template
1285         arguments before calling count_non_default_template_args.
1286         (count_non_default_template_args): We are being called with
1287         template innermost arguments now. There is no need to ensure
1288         that again.
1289
1290 2010-01-18  Dodji Seketeli  <dodji@redhat.com>
1291
1292         PR c++/42766
1293         * cvt.c (build_expr_type_conversion): Look through OVERLOAD.
1294
1295 2010-01-17  Dodji Seketeli  <dodji@redhat.com>
1296
1297         PR c++/42697
1298         *pt.c (tsubst_decl):  Revert commit for PR c++/42697.
1299
1300 2010-01-17  Dodji Seketeli  <dodji@redhat.com>
1301
1302         PR c++/42697
1303         *pt.c (tsubst_decl): Get the arguments of a specialization from
1304         the specialization template, not from the most general template.
1305
1306 2010-01-16  Jason Merrill  <jason@redhat.com>
1307
1308         PR c++/42761
1309         * semantics.c (finish_decltype_type): Within a template, treat
1310         unresolved CALL_EXPR as dependent.
1311
1312 2010-01-15  Dodji Seketeli  <dodji@redhat.com>
1313
1314         * error.c (dump_template_parms,count_non_default_template_args):
1315         Revert changes of PR c++/42634.
1316
1317 2010-01-14  Jakub Jelinek  <jakub@redhat.com>
1318
1319         PR middle-end/42674
1320         * decl.c (finish_function): Don't emit -Wreturn-type warnings in
1321         functions with noreturn attribute.
1322
1323 2010-01-14  Jason Merrill  <jason@redhat.com>
1324
1325         PR c++/42701
1326         * call.c (build_new_method_call): Don't free the vec here.
1327
1328         PR c++/42655
1329         * call.c (convert_like_real): Do full decay_conversion for ck_rvalue.
1330
1331 2010-01-13  Dodji Seketeli  <dodji@redhat.com>
1332
1333         PR c++/42634
1334         * error.c (dump_template_parms): Use innermost template
1335         arguments before calling count_non_default_template_args.
1336         (count_non_default_template_args): We are being called with
1337         template innermost arguments now. There is no need to ensure
1338         that again.
1339
1340 2010-01-07  Dodji Seketeli  <dodji@redhat.com>
1341
1342         c++/40155
1343         * pt.c (unify_pack_expansion): In non-deduced contexts, re-use template
1344         arguments that were previously deduced.
1345
1346 2010-01-05  Jason Merrill  <jason@redhat.com>
1347
1348         * pt.c (unify_pack_expansion): Handle deduction from init-list.
1349         * call.c (build_over_call): Don't complain about it.
1350
1351 2010-01-04  Jason Merrill  <jason@redhat.com>
1352
1353         PR c++/42555
1354         * pt.c (tsubst_decl): Don't apply type attributes in place.
1355
1356         PR c++/42567
1357         * semantics.c (describable_type): Remove decltype comment and
1358         semantics.
1359
1360
1361 \f
1362 Copyright (C) 2010 Free Software Foundation, Inc.
1363
1364 Copying and distribution of this file, with or without modification,
1365 are permitted in any medium without royalty provided the copyright
1366 notice and this notice are preserved.