gcc/cp/ChangeLog

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