gcc/cp/ChangeLog

   1 2010-04-28  Manuel López-Ibáñez  <manu@gcc.gnu.org>
   2
   3         PR c++/9335
   4         * error.c (print_instantiation_partial_context_line): Handle
   5         recursive instantiation.
   6         (print_instantiation_partial_context): Likewise.
   7
   8 2010-04-27  Jason Merrill  <jason@redhat.com>
   9
  10         * init.c (perform_member_init): Check CLASS_TYPE_P.
  11
  12 2010-04-27  Fabien Chêne  <fabien.chene@gmail.com>
  13
  14         PR c++/29043
  15         * init.c (perform_member_init): check for uninitialized const or
  16         reference members, including array types.
  17
  18 2010-04-24  Jason Merrill  <jason@redhat.com>
  19
  20         * tree.c (get_fns): Split out from get_first_fn.
  21         * cp-tree.h: Declare it.
  22         * search.c (shared_member_p): Use it.
  23         * semantics.c (finish_qualified_id_expr): Simplify.
  24         (finish_id_expression): Simplify.
  25
  26         * semantics.c (finish_non_static_data_member): Call maybe_dummy_object
  27         whenever object is NULL_TREE.  Don't do 'this' capture here.
  28         (finish_qualified_id_expr): Pass NULL_TREE.
  29         (finish_id_expression): Likewise.
  30         (lambda_expr_this_capture): Likewise.
  31
  32         * semantics.c (finish_qualified_id_expr): Use maybe_dummy_object
  33         rather than checking current_class_ref directly.
  34         (finish_call_expr): Likewise.
  35
  36         PR c++/43856
  37         * name-lookup.c (qualify_lookup): Disqualify lambda op().
  38         * class.c (current_nonlambda_class_type): New fn.
  39         * semantics.c (nonlambda_method_basetype): New.
  40         * cp-tree.h: Declare them.
  41         * tree.c (maybe_dummy_object): Handle implicit 'this' capture.
  42
  43         * semantics.c (baselink_for_fns): Correct BASELINK_BINFO.
  44
  45         PR c++/43875
  46         * semantics.c (lambda_return_type): Complain about
  47         braced-init-list.
  48
  49         PR c++/43790
  50         * tree.c (cv_unqualified): Handle error_mark_node.
  51
  52         PR c++/41468
  53         * call.c (convert_like_real) [ck_ambig]: Just return error_mark_node
  54         if we don't want errors.
  55
  56         PR c++/41468
  57         * class.c (convert_to_base): Add complain parameter.  Pass
  58         ba_quiet to lookup_base if we don't want errors.
  59         (build_vfield_ref): Pass complain to convert_to_base.
  60         * call.c (convert_like_real): Likewise.
  61         (initialize_reference): Likewise.
  62         (perform_direct_initialization_if_possible): Pass complain to
  63         convert_like_real.
  64         * cp-tree.h: Adjust.
  65
  66 2010-04-27  Fabien Chêne  <fabien.chene@gmail.com>
  67             Jason Merrill  <jason@redhat.com>
  68
  69         PR c++/42844
  70         * decl.c (check_for_uninitialized_const_var): Handle classes that need
  71         constructing, too.
  72         (check_initializer): Call it for classes that need constructing, too.
  73         * class.c (in_class_defaulted_default_constructor): New.
  74         * cp-tree.h: Declare it.
  75
  76 2010-04-20  Jason Merrill  <jason@redhat.com>
  77
  78         PR c++/9335
  79         * init.c (constant_value_1): Treat error_mark_node as a constant
  80         if DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P is set.
  81         * cvt.c (ocp_convert): Handle getting error_mark_node from
  82         integral_constant_value.
  83         * decl.c (compute_array_index_type): Likewise.
  84
  85 2010-04-20  Dodji Seketeli  <dodji@redhat.com>
  86
  87         PR c++/43800
  88         PR c++/43704
  89         * typeck.c (incompatible_dependent_types_p): If one of the
  90         compared types if not a typedef then honour their main variant
  91         equivalence.
  92
  93 2010-04-20  Jakub Jelinek  <jakub@redhat.com>
  94
  95         * cp-tree.h (TYPE_REF_IS_RVALUE): Remove.
  96
  97 2010-04-19  Dodji Seketeli  <dodji@redhat.com>
  98
  99         PR c++/43704
 100         * typeck.c (structural_comptypes): Test dependent typedefs
 101         incompatibility before testing for their main variant based
 102         equivalence.
 103
 104 2010-04-19  Jakub Jelinek  <jakub@redhat.com>
 105
 106         * cp-tree.h (SCOPED_ENUM_P, UNSCOPED_ENUM_P, SET_SCOPED_ENUM_P): Use
 107         ENUM_IS_SCOPED bit instead of TYPE_LANG_FLAG_5.
 108
 109 2010-04-18  Eric Botcazou  <ebotcazou@adacore.com>
 110
 111         * decl.c (cxx_init_decl_processing): Remove second argument in call to
 112         build_common_tree_nodes.
 113
 114 2010-04-14  Jason Merrill  <jason@redhat.com>
 115
 116         PR c++/36625
 117         * parser.c (cp_parser_parenthesized_expression_list): Change
 118         is_attribute_list parm to int to indicate whether or not to
 119         handle initial identifier specially.
 120         (cp_parser_attribute_list): Use attribute_takes_identifier_p.
 121
 122 2010-04-13  Jason Merrill  <jason@redhat.com>
 123
 124         * call.c (type_decays_to): Check MAYBE_CLASS_TYPE_P instead of
 125         CLASS_TYPE_P.
 126         * parser.c (cp_parser_lambda_expression): Complain about lambda in
 127         unevaluated context.
 128         * pt.c (iterative_hash_template_arg): Don't crash on lambda.
 129
 130 2010-04-12  Jason Merrill  <jason@redhat.com>
 131
 132         PR c++/43641
 133         * semantics.c (maybe_add_lambda_conv_op): Use build_call_a and tweak
 134         return value directly.
 135
 136         * call.c (type_decays_to): Call cv_unqualified for non-class type.
 137
 138 2010-04-12  Fabien Chene  <fabien.chene@gmail.com>
 139
 140         PR c++/25811
 141         * cp-tree.h (diagnose_uninitialized_cst_or_ref_member): Declare.
 142         * init.c (build_new_1): Check for uninitialized const members and
 143         uninitialized reference members, when using new without
 144         new-initializer. Call diagnose_uninitialized_cst_or_ref_member.
 145         (diagnose_uninitialized_cst_or_ref_member): Define, call
 146         diagnose_uninitialized_cst_or_ref_member_1.
 147         (diagnose_uninitialized_cst_or_ref_member_1): New function.
 148
 149 2010-04-12  Richard Guenther  <rguenther@suse.de>
 150
 151         PR c++/43611
 152         * semantics.c (expand_or_defer_fn_1): Do not keep extern
 153         template inline functions.
 154
 155 2010-04-09  Manuel López-Ibáñez  <manu@gcc.gnu.org>
 156
 157         PR c++/28584
 158         * typeck.c (cp_build_c_cast): Warn for casting integer to larger
 159         pointer type.
 160
 161 2010-04-07  Jason Merrill  <jason@redhat.com>
 162
 163         PR c++/43016
 164         * decl.c (start_preparsed_function): Do defer nested functions.
 165
 166         PR c++/11094, DR 408
 167         * cp-tree.h (VAR_HAD_UNKNOWN_BOUND, SET_VAR_HAD_UNKNOWN_BOUND): New.
 168         * decl2.c (finish_static_data_member_decl): Set it.
 169         * decl.c (duplicate_decls): Propagate it.
 170         * pt.c (tsubst_decl): Don't substitute the domain of an array
 171         VAR_DECL if it's set.
 172         (regenerate_decl_from_template): Substitute it here.
 173         (type_dependent_expression_p): Return true if it's set.
 174         * semantics.c (finish_decltype_type): Instantiate such a variable.
 175         * typeck.c (cxx_sizeof_expr): Likewise.
 176         (strip_array_domain): New.
 177
 178         * name-lookup.c (current_decl_namespace): Non-static.
 179         (pop_nested_namespace): Sanity check.
 180         * cp-tree.h: Declare current_decl_namespace.
 181         * decl.c (grokvardecl): Use it instead of current_namespace.
 182         (grokfndecl): Likewise.
 183
 184         PR c++/38392
 185         * pt.c (tsubst_friend_function): Instatiate a friend that has already
 186         been used.
 187
 188         * pt.c (print_template_statistics): New.
 189         * cp-tree.h: Declare it.
 190         * tree.c (cxx_print_statistics): Call it.
 191
 192         PR c++/41970
 193         * decl.c (grokvardecl): Tweak warning message.
 194         (grokfndecl): Likewise.
 195
 196 2010-04-07  Dodji Seketeli  <dodji@redhat.com>
 197
 198         PR c++/42697
 199         *pt.c (tsubst_decl): Get the arguments of a specialization from
 200         the specialization template, not from the most general template.
 201
 202 2010-04-07  Dodji Seketeli  <dodji@redhat.com>
 203
 204         PR c++/40239
 205         * typeck2.c (process_init_constructor_record):
 206         value-initialize members that are are not explicitely
 207         initialized.
 208
 209 2010-04-07  Jie Zhang  <jie@codesourcery.com>
 210
 211         PR c++/42556
 212         * typeck2.c (split_nonconstant_init_1): Drop empty CONSTRUCTOR
 213         when all of its elements are non-constant and have been split out.
 214
 215 2010-04-06  Taras Glek  <taras@mozilla.com>
 216             Jason Merrill  <jason@redhat.com>
 217
 218         * parser.c (cp_parser_class_specifier): Set class location to that
 219         of IDENTIFIER_NODE instead of '{' when possible.
 220         * semantics.c (begin_class_definition): Do not overide locations
 221         with less precise ones.
 222
 223 2010-04-06  Jason Merrill  <jason@redhat.com>
 224
 225         PR c++/43648
 226         * name-lookup.c (constructor_name_p): Allow X::~X even for typedefs.
 227
 228         PR c++/43621
 229         * pt.c (maybe_update_decl_type): Check the return value from
 230         push_scope.
 231
 232 2010-04-01  Jason Merrill  <jason@redhat.com>
 233
 234         * decl.c (next_initializable_field): No longer static.
 235         * cp-tree.h: Declare it.
 236         * call.c (build_aggr_conv): Fail if there are more initializers
 237         than initializable fields.
 238
 239         * semantics.c (maybe_add_lambda_conv_op): Use null_pointer_node
 240         instead of void_zero_node.
 241
 242 2010-03-31  Dodji Seketeli  <dodji@redhat.com>
 243
 244         PR c++/43558
 245         * cp-tree.h (TEMPLATE_TYPE_PARM_SIBLING_PARMS): New accessor macro.
 246         * pt.c (end_template_parm_list): Store sibling template parms of
 247         each TEMPLATE_TYPE_PARMs into its TEMPLATE_TYPE_PARM_SIBLING_PARMS.
 248         (push_template_decl_real): Don't store the containing template decl
 249         into the DECL_CONTEXT of TEMPLATE_TYPE_PARMs anymore.
 250         * typeck.c (get_template_parms_of_dependent_type): Get sibling parms
 251         of a TEMPLATE_TYPE_PARM from TEMPLATE_TYPE_PARM_SIBLING_PARMS.
 252         Simplify the logic.
 253
 254 2010-03-30  Jason Merrill  <jason@redhat.com>
 255
 256         PR c++/43076
 257         * pt.c (push_template_decl_real): Deal better with running out of
 258         scopes before running out of template parms.
 259
 260         PR c++/41185
 261         PR c++/41786
 262         * parser.c (cp_parser_direct_declarator): Don't allow VLAs in
 263         function parameter context.  Don't print an error if parsing
 264         tentatively.
 265
 266         PR c++/43559
 267         * pt.c (more_specialized_fn): Don't control cv-qualifier check
 268         with same_type_p.
 269
 270 2010-03-26  Jason Merrill  <jason@redhat.com>
 271
 272         PR c++/43509
 273         * parser.c (cp_parser_qualifying_entity): Do accept enum names in
 274         c++0x mode, but not other type-names.
 275
 276 2010-03-26  Dodji Seketeli  <dodji@redhat.com>
 277
 278         PR c++/43327
 279         * pt.c (add_to_template_args): Support NULL ARGS;
 280         (most_specialized_class): call coerce_template_parms on
 281         template arguments passed to get_class_bindings. Use
 282         add_to_template_args.
 283         (unify): Handle VAR_DECLs.
 284
 285 2010-03-26  Dodji Seketeli  <dodji@redhat.com>
 286
 287         * cp-tree.h (get_template_parms_at_level): Change unsigned parm
 288         into int.
 289         * pt.c (get_template_parms_at_level): Adjust.
 290
 291 2010-03-25  Dodji Seketeli  <dodji@redhat.com>
 292
 293         PR c++/43206
 294         * cp-tree.h (get_template_parms_at_level): Declare ...
 295         * pt.c (get_template_parms_at_level): ... new function.
 296         * typeck.c (get_template_parms_of_dependent_type): If a template
 297         type parm's DECL_CONTEXT isn't yet set, get its siblings from
 298         current_template_parms. Use get_template_parms_at_level. Remove
 299         useless test.
 300         (incompatible_dependent_types_p): If we get empty parms from just one
 301         of the template type parms we are comparing then the template parms are
 302         incompatible.
 303
 304 2010-03-24  Jason Merrill  <jason@redhat.com>
 305
 306         PR c++/43502
 307         * parser.c (make_declarator): Initialize id_loc.
 308         (cp_parser_lambda_declarator_opt): And set it.
 309
 310 2010-03-23  Jason Merrill  <jason@redhat.com>
 311
 312         Make lambda conversion op and op() non-static.
 313         * semantics.c (maybe_add_lambda_conv_op): Make non-static.
 314         Also add the thunk function returned by the conversion op.
 315         Mark the conversion deleted if the op() is variadic.
 316         * decl2.c (mark_used): Give helpful message about deleted conversion.
 317         * parser.c (cp_parser_lambda_declarator_opt): Don't make op() static.
 318         * semantics.c (finish_this_expr): Adjust.
 319         * mangle.c (write_closure_type_name): Adjust.
 320         * decl.c (grok_op_properties): Don't allow it.
 321         * call.c (build_user_type_conversion_1): No static conversion ops.
 322         (build_op_call): Or op().
 323
 324         * decl2.c (change_return_type): Fix 'this' quals.
 325
 326 2010-03-22  Jason Merrill  <jason@redhat.com>
 327
 328         PR c++/43333
 329         * tree.c (pod_type_p): Use old meaning in C++98 mode.
 330
 331         PR c++/43281
 332         * pt.c (contains_auto_r): New fn.
 333         (do_auto_deduction): Use it.
 334         (tsubst): Don't look at TREE_TYPE of a TEMPLATE_TYPE_PARM.
 335
 336 2010-03-20  Simon Martin  <simartin@users.sourceforge.net>
 337
 338         PR c++/43081:
 339         * decl2.c (grokfield): Handle invalid initializers for member
 340         functions.
 341
 342 2010-03-20  Dodji Seketeli  <dodji@redhat.com>
 343
 344         PR c++/43375
 345         * method.c (make_alias_for): Avoid crashing when DECL_LANG_SPECIFIC
 346         is NULL.
 347         * decl2.c (vague_linkage_p): Likewise.
 348
 349 2010-03-18  Paolo Carlini  <paolo.carlini@oracle.com>
 350
 351         PR c++/43418
 352         * parser.c (cp_parser_for_init_statement): Use NULL_TREE, not
 353         false, in the cp_parser_expression_statement call.
 354
 355 2010-03-05  Jason Merrill  <jason@redhat.com>
 356
 357         * mangle.c (mangle_decl): Give name collision error even without
 358         ASM_OUTPUT_DEF.
 359
 360 2010-03-04  Marco Poletti  <poletti.marco@gmail.com>
 361
 362         * pt.c (process_partial_specialization): Use error_n instead of
 363         error.
 364
 365 2010-03-03  Jason Merrill  <jason@redhat.com>
 366
 367         PR c++/12909
 368         * mangle.c (mangle_decl): Handle VAR_DECL, too.
 369
 370 2010-03-03  Jason Merrill  <jason@redhat.com>
 371
 372         PR c++/12909
 373         * mangle.c (mangle_decl): Handle VAR_DECL, too.
 374
 375 2010-03-03  Jason Merrill  <jason@redhat.com>
 376
 377         PR c++/12909
 378         * mangle.c: Include cgraph.h.
 379         (mangle_decl): If the mangled name will change in a later
 380         ABI version, make the later mangled name an alias.
 381         * method.c (make_alias_for): Copy DECL_ARGUMENTS.
 382         * Make-lang.in (mangle.o): Depend on cgraph.h.
 383         * method.c (make_alias_for): Handle VAR_DECL, too.
 384         * decl2.c (vague_linkage_p): Rename from vague_linkage_fn_p.
 385         * tree.c (no_linkage_check): Adjust.
 386         * decl.c (maybe_commonize_var): Adjust.
 387         * cp-tree.h: Adjust.
 388
 389 2010-03-01  Marco Poletti  <poletti.marco@gmail.com>
 390
 391         * pt.c (redeclare_class_template): Use error_n and inform_n.
 392
 393 2010-02-27  Mark Mitchell  <mark@codesourcery.com>
 394
 395         PR c++/42748
 396         * cp-tree.h (push_tinst_level): Declare.
 397         (pop_tinst_level): Likewise.
 398         * pt.c (push_tinst_level): Give it external linkage.
 399         (pop_tinst_level): Likewise.
 400         * mangle.c (mangle_decl_string): Set the source location to that
 401         of the decl while mangling.
 402
 403 2010-02-27  Simon Martin  <simartin@users.sourceforge.net>
 404
 405         PR c++/42054
 406         * pt.c (redeclare_class_template): Return false if there are erroneous
 407         template parameters.
 408
 409 2010-02-24  Manuel López-Ibáñez  <manu@gcc.gnu.org>
 410
 411         * pt.c (push_tinst_level): Replace -ftemplate-depth- with
 412         -ftemplate-depth=.
 413
 414 2010-02-24  Jason Merrill  <jason@redhat.com>
 415
 416         PR c++/12909
 417         * mangle.c (write_type): Give -Wabi warning for old vector mangling.
 418
 419         * class.c (layout_class_type): Don't give -Wabi warning for a bug
 420         in a previous ABI version.
 421
 422 2010-02-23  Jason Merrill  <jason@redhat.com>
 423
 424         PR c++/43143
 425         * typeck2.c (digest_init_r): Accept value init of array.
 426
 427 2010-02-22  Manuel López-Ibáñez  <manu@gcc.gnu.org>
 428
 429         PR c++/43126
 430         * typeck.c (convert_arguments): Update error message.
 431
 432 2010-02-22  Mike Stump  <mikestump@comcast.net>
 433
 434         PR c++/43125
 435         * decl.c (duplicate_decls): Merge DECL_PRESERVE_P.
 436
 437 2010-02-21  Manuel López-Ibáñez  <manu@gcc.gnu.org>
 438
 439         PR c++/23510
 440         * error.c (print_instantiation_partial_context_line): New.
 441         (print_instantiation_partial_context): Print at most 12 contexts,
 442         skip the rest with a message.
 443
 444 2010-02-21  Dodji Seketeli  <dodji@redhat.com>
 445
 446         PR c++/42824
 447         * pt.c (lookup_template_class): Better support of specialization
 448         of member of class template implicit instantiation.
 449
 450 2010-02-20  Manuel López-Ibáñez  <manu@gcc.gnu.org>
 451
 452         PR c++/35669
 453         * call.c (conversion_null_warnings): Replace -Wconversion with
 454         -Wconversion-null.
 455         * cvt.c (build_expr_type_conversion): Likewise.
 456
 457 2010-02-18  Jason Merrill  <jason@redhat.com>
 458
 459         PR c++/42837
 460         * class.c (create_vtable_ptr): Set DECL_PACKED if type is packed.
 461
 462         PR c++/43108
 463         * typeck.c (cp_build_binary_op): Adapt mixed complex/non handling from
 464         C build_binary_op.
 465         * cp-tree.h (WANT_VECTOR_OR_COMPLEX): Rename from WANT_VECTOR.
 466         * cvt.c (build_expr_type_conversion): Allow COMPLEX_TYPE.
 467
 468         PR c++/43070
 469         * semantics.c (finish_goto_stmt): Don't call decay_conversion.
 470
 471         PR c++/26261
 472         PR c++/43101
 473         * pt.c (tsubst_qualified_id): Do normal lookup in non-dependent scope.
 474         (maybe_update_decl_type): New fn.
 475         * parser.c (cp_parser_init_declarator): Use it.
 476
 477         PR c++/43109
 478         * semantics.c (begin_class_definition): Don't crash on unnamed ns.
 479
 480 2010-02-17  Jason Merrill  <jason@redhat.com>
 481
 482         PR c++/43075
 483         * call.c (build_over_call): Don't create zero-sized assignments.
 484         * cp-gimplify.c (cp_genericize_r): Don't remove them here.
 485         * cp-objcp-common.c (cp_expr_size): Remove.
 486         * cp-tree.h: Remove prototype.
 487
 488         PR c++/43069
 489         * name-lookup.c (set_decl_namespace): Don't copy DECL_CONTEXT if the
 490         decl we looked up doesn't match.
 491
 492         PR c++/43093
 493         * cp-gimplify.c (cp_gimplify_expr) [INIT_EXPR]: Return if we don't
 494         have an INIT_EXPR anymore.
 495
 496         PR c++/43079
 497         * pt.c (convert_nontype_argument): Change assert to test.
 498
 499 2010-02-16  Jason Merrill  <jason@redhat.com>
 500
 501         * cp-gimplify.c (cp_gimplify_expr): Fix error recovery.
 502
 503         PR c++/43031
 504         * cp-gimplify.c (cp_gimplify_expr) [MODIFY_EXPR]: Use
 505         VIEW_CONVERT_EXPR for conversions between structural equality types
 506         that the back end can't tell are the same.
 507
 508         PR c++/43036
 509         * tree.c (build_cplus_array_type): Set TYPE_MAIN_VARIANT to strip
 510         cv-quals from element here.
 511         (cp_build_qualified_type_real): Not here.  Preserve typedef name.
 512
 513 2010-02-14  Jason Merrill  <jason@redhat.com>
 514
 515         PR c++/41997
 516         * semantics.c (finish_compound_literal): Use
 517         cp_apply_type_quals_to_decl when creating a static variable.
 518
 519 2010-02-12  Jason Merrill  <jason@redhat.com>
 520
 521         PR c++/43024
 522         * name-lookup.h (current_binding_level): Check for null
 523         cp_function_chain.
 524
 525 2010-02-12  Jason Merrill  <jason@redhat.com>
 526
 527         PR c++/43054
 528         * tree.c (cp_tree_equal): Correct CALL_EXPR logic.
 529
 530 2010-02-12  Jakub Jelinek  <jakub@redhat.com>
 531
 532         PR c++/43033
 533         * name-lookup.c (pushdecl_maybe_friend): Check default args of t
 534         instead of x.
 535
 536 2010-02-10  Jason Merrill  <jason@redhat.com>
 537
 538         PR c++/41896
 539         * semantics.c (outer_lambda_capture_p): Revert.
 540         (add_capture): Only finish_member_declaration if
 541         we're in the lambda class.
 542         (register_capture_members): New.
 543         * cp-tree.h: Declare it.
 544         * parser.c (cp_parser_lambda_expression): Call it.
 545
 546 2010-02-10  Jason Merrill  <jason@redhat.com>
 547
 548         PR c++/41896
 549         * semantics.c (outer_lambda_capture_p): Use current_function_decl
 550         instead of current_class_type.
 551
 552 2010-02-10  Jason Merrill  <jason@redhat.com>
 553
 554         PR c++/42983, core issue 906
 555         * method.c (defaultable_fn_check): Check virtualness.
 556
 557 2010-02-10  Jason Merrill  <jason@redhat.com>
 558
 559         PR c++/43016
 560         * semantics.c (maybe_add_lambda_conv_op): Set DECL_INTERFACE_KNOWN.
 561
 562 2010-02-10  Shujing Zhao  <pearly.zhao@oracle.com>
 563
 564         * Make-lang.in (cp/cvt.o, cp/parser.o, cp/search.o): Depend on intl.h.
 565         * cvt.c (warn_ref_binding): Wrap the messages into G_() for easy
 566         translation.
 567         * parser.c (cp_parser_postfix_expression, cp_parser_new_type_id)
 568         (cp_parser_cast_expression, cp_parser_condition, cp_parser_decltype)
 569         (cp_parser_parameter_declaration)
 570         (cp_parser_exception_specification_opt)
 571         (cp_parser_exception_declaration): Likewise.
 572         * pt.c (check_default_tmpl_args): Likewise.
 573         * search.c (lookup_field_r): Likewise.
 574
 575 2010-02-09  Jason Merrill  <jason@redhat.com>
 576
 577         PR c++/42399
 578         * pt.c (tsubst_copy_and_build): Propagate LAMBDA_EXPR_LOCATION.
 579
 580 2010-02-09  Jason Merrill  <jason@redhat.com>
 581
 582         PR c++/42370
 583         * decl2.c (change_return_type): New fn.
 584         * semantics.c (apply_lambda_return_type): Use it.
 585         * cp-tree.h: Declare it.
 586
 587 2010-02-05  Richard Guenther  <rguenther@suse.de>
 588
 589         * Make-lang.in (cp/cp-lang.o): Depend on gt-cp-cp-lang.h.
 590         * cp-lang.c: Include gt-cp-cp-lang.h.
 591         * config-lang.in (gtfiles): Add cp/cp-lang.c.
 592
 593 2010-02-05  Dodji Seketeli  <dodji@redhat.com>
 594
 595         PR c++/42915
 596         * typeck.c (get_template_parms_of_dependent_type): Try getting
 597         the template parameters fromt the type itself first.
 598
 599 2010-02-03  Jason Merrill  <jason@redhat.com>
 600
 601         PR c++/4926
 602         PR c++/38600
 603         * mangle.c (write_unqualified_id): Split out from write_expression.
 604         (write_unqualified_name): Call it.
 605         (write_member_name): Likewise.
 606         (write_expression): Support TEMPLATE_ID_EXPR.
 607         Disambiguate operator names.
 608
 609         PR c++/12909
 610         * mangle.c (write_type) [VECTOR_TYPE]: Change mangling with
 611         -fabi-version=4.
 612
 613 2010-02-02  Jason Merrill  <jason@redhat.com>
 614
 615         PR c++/41090
 616         * decl.c (cp_finish_decl): Add local statics to cfun->local_decls.
 617         * optimize.c (clone_body): Remap their initializers when making base
 618         variants.
 619         (maybe_clone_body): Complain if multiple clones aren't safe.
 620
 621 2010-01-29  Dodji Seketeli  <dodji@redhat.com>
 622
 623         PR c++/42758
 624         PR c++/42634
 625         PR c++/42336
 626         PR c++/42797
 627         PR c++/42880
 628         * cp-tree.h (NON_DEFAULT_TEMPLATE_ARGS_COUNT,
 629         SET_NON_DEFAULT_TEMPLATE_ARGS_COUNT,
 630         GET_NON_DEFAULT_TEMPLATE_ARGS_COUNT): New accessor macros.
 631         * pt.c (coerce_template_parms, type_unification_real,
 632         expand_template_argument_pack, coerce_template_parameter_pack):
 633         Set the non default template args count.
 634         (current_template_args): Always set non defaulted
 635         template args count when compiled with --enable-checking
 636         (tsubst_template_args, type_unification_real): Propagate the non
 637         defaulted template args count.
 638         * error.c (get_non_default_template_args_count): Renamed
 639         count_non_default_template_args into this. Don't calculate the
 640         non default template argument count anymore. Use the new
 641         accessor macros above to get it.
 642         (dump_template_argument_list, dump_type, dump_decl,
 643         dump_template_parms): Adjust.
 644         * parser.c (cp_parser_template_argument_list): Always set defaulted
 645         template args count when compiled with --enable-checking.
 646
 647 2010-01-29  Shujing Zhao  <pearly.zhao@oracle.com>
 648
 649         * decl.c (redeclaration_error_message): Wrap the return messages into
 650         G_() for easy translation.
 651
 652 2010-01-28  Jason Merrill  <jason@redhat.com>
 653
 654         PR c++/42880
 655         * semantics.c (begin_class_definition): Don't use type_as_string.
 656
 657 2010-01-28  Dodji Seketeli  <dodji@redhat.com>
 658
 659         PR c++/42713
 660         PR c++/42820
 661         * typeck.c (get_template_parms_of_dependent_type): Factorized
 662         this out of incompatible_template_type_parms_p
 663         (incompatible_dependent_types_p): Renamed
 664         incompatible_template_type_parms_p into this. Make it detect
 665         two incompatible dependent typedefs too.
 666         (structural_comptypes): Use incompatible_dependent_types_p.
 667         * pt.c (get_template_info):
 668         Handle BOUND_TEMPLATE_TEMPLATE_PARAM.
 669
 670 2010-01-20  Janis Johnson  <janis187@us.ibm.com>
 671             Jason Merrill  <jason@redhat.com>
 672
 673         * mangle.c (write_type): Mangle transparent record as member type.
 674         * semantics.c (begin_class_definition): Recognize decimal classes
 675         and set TYPE_TRANSPARENT_AGGR.
 676
 677 2010-01-20  Jason Merrill  <jason@redhat.com>
 678
 679         PR c++/42338
 680         * mangle.c (write_expression): Handle tree codes that have extra
 681         arguments in the middle-end.
 682
 683 2010-01-20  Paolo Carlini  <paolo.carlini@oracle.com>
 684
 685         PR c++/42038
 686         * except.c (expand_start_catch_block): Deal correctly with
 687         do_begin_catch returning error_mark_node.
 688
 689 2010-01-20  Jason Merrill  <jason@redhat.com>
 690
 691         PR c++/41788
 692         * class.c (layout_class_type): Set packed_maybe_necessary for packed
 693         non-PODs.
 694
 695         PR c++/41920
 696         * semantics.c (build_lambda_object): Call mark_used on captured
 697         variables.
 698
 699         PR c++/40750
 700         * decl.c (grokdeclarator): Clear type_quals for a member function
 701         declared using a typedef.  Don't complain about adding cv-quals
 702         to a function typedef in C++0x mode.
 703
 704 2010-01-20  Jakub Jelinek  <jakub@redhat.com>
 705
 706         * decl.c (create_array_type_for_decl): Remove set but not used
 707         variable error_msg.  Remove break stmts after return stmts.
 708
 709 2010-01-19  Dodji Seketeli  <dodji@redhat.com>
 710
 711         * error.c (dump_template_parms, count_non_default_template_args):
 712         Revert fix of PR c++/42634.
 713
 714 2010-01-18  Dodji Seketeli  <dodji@redhat.com>
 715
 716         PR c++/42634
 717         * error.c (dump_template_parms): Use innermost template
 718         arguments before calling count_non_default_template_args.
 719         (count_non_default_template_args): We are being called with
 720         template innermost arguments now. There is no need to ensure
 721         that again.
 722
 723 2010-01-18  Dodji Seketeli  <dodji@redhat.com>
 724
 725         PR c++/42766
 726         * cvt.c (build_expr_type_conversion): Look through OVERLOAD.
 727
 728 2010-01-17  Dodji Seketeli  <dodji@redhat.com>
 729
 730         PR c++/42697
 731         *pt.c (tsubst_decl):  Revert commit for PR c++/42697.
 732
 733 2010-01-17  Dodji Seketeli  <dodji@redhat.com>
 734
 735         PR c++/42697
 736         *pt.c (tsubst_decl): Get the arguments of a specialization from
 737         the specialization template, not from the most general template.
 738
 739 2010-01-16  Jason Merrill  <jason@redhat.com>
 740
 741         PR c++/42761
 742         * semantics.c (finish_decltype_type): Within a template, treat
 743         unresolved CALL_EXPR as dependent.
 744
 745 2010-01-15  Dodji Seketeli  <dodji@redhat.com>
 746
 747         * error.c (dump_template_parms,count_non_default_template_args):
 748         Revert changes of PR c++/42634.
 749
 750 2010-01-14  Jakub Jelinek  <jakub@redhat.com>
 751
 752         PR middle-end/42674
 753         * decl.c (finish_function): Don't emit -Wreturn-type warnings in
 754         functions with noreturn attribute.
 755
 756 2010-01-14  Jason Merrill  <jason@redhat.com>
 757
 758         PR c++/42701
 759         * call.c (build_new_method_call): Don't free the vec here.
 760
 761         PR c++/42655
 762         * call.c (convert_like_real): Do full decay_conversion for ck_rvalue.
 763
 764 2010-01-13  Dodji Seketeli  <dodji@redhat.com>
 765
 766         PR c++/42634
 767         * error.c (dump_template_parms): Use innermost template
 768         arguments before calling count_non_default_template_args.
 769         (count_non_default_template_args): We are being called with
 770         template innermost arguments now. There is no need to ensure
 771         that again.
 772
 773 2010-01-07  Dodji Seketeli  <dodji@redhat.com>
 774
 775         c++/40155
 776         * pt.c (unify_pack_expansion): In non-deduced contexts, re-use template
 777         arguments that were previously deduced.
 778
 779 2010-01-05  Jason Merrill  <jason@redhat.com>
 780
 781         * pt.c (unify_pack_expansion): Handle deduction from init-list.
 782         * call.c (build_over_call): Don't complain about it.
 783
 784 2010-01-04  Jason Merrill  <jason@redhat.com>
 785
 786         PR c++/42555
 787         * pt.c (tsubst_decl): Don't apply type attributes in place.
 788
 789         PR c++/42567
 790         * semantics.c (describable_type): Remove decltype comment and
 791         semantics.
 792
 793
 794 \f
 795 Copyright (C) 2010 Free Software Foundation, Inc.
 796
 797 Copying and distribution of this file, with or without modification,
 798 are permitted in any medium without royalty provided the copyright
 799 notice and this notice are preserved.