gcc/cp/ChangeLog

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