OSDN Git Service

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