gcc/cp/ChangeLog

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