gcc/cp/ChangeLog

   1 2010-04-07  Jie Zhang  <jie@codesourcery.com>
   2
   3         PR c++/42556
   4         * typeck2.c (split_nonconstant_init_1): Drop empty CONSTRUCTOR
   5         when all of its elements are non-constant and have been split out.
   6
   7 2010-04-06  Taras Glek  <taras@mozilla.com>
   8             Jason Merrill  <jason@redhat.com>
   9
  10         * parser.c (cp_parser_class_specifier): Set class location to that
  11         of IDENTIFIER_NODE instead of '{' when possible.
  12         * semantics.c (begin_class_definition): Do not overide locations
  13         with less precise ones.
  14
  15 2010-04-06  Jason Merrill  <jason@redhat.com>
  16
  17         PR c++/43648
  18         * name-lookup.c (constructor_name_p): Allow X::~X even for typedefs.
  19
  20         PR c++/43621
  21         * pt.c (maybe_update_decl_type): Check the return value from
  22         push_scope.
  23
  24 2010-04-01  Jason Merrill  <jason@redhat.com>
  25
  26         * decl.c (next_initializable_field): No longer static.
  27         * cp-tree.h: Declare it.
  28         * call.c (build_aggr_conv): Fail if there are more initializers
  29         than initializable fields.
  30
  31         * semantics.c (maybe_add_lambda_conv_op): Use null_pointer_node
  32         instead of void_zero_node.
  33
  34 2010-03-31  Dodji Seketeli  <dodji@redhat.com>
  35
  36         PR c++/43558
  37         * cp-tree.h (TEMPLATE_TYPE_PARM_SIBLING_PARMS): New accessor macro.
  38         * pt.c (end_template_parm_list): Store sibling template parms of
  39         each TEMPLATE_TYPE_PARMs into its TEMPLATE_TYPE_PARM_SIBLING_PARMS.
  40         (push_template_decl_real): Don't store the containing template decl
  41         into the DECL_CONTEXT of TEMPLATE_TYPE_PARMs anymore.
  42         * typeck.c (get_template_parms_of_dependent_type): Get sibling parms
  43         of a TEMPLATE_TYPE_PARM from TEMPLATE_TYPE_PARM_SIBLING_PARMS.
  44         Simplify the logic.
  45
  46 2010-03-30  Jason Merrill  <jason@redhat.com>
  47
  48         PR c++/43076
  49         * pt.c (push_template_decl_real): Deal better with running out of
  50         scopes before running out of template parms.
  51
  52         PR c++/41185
  53         PR c++/41786
  54         * parser.c (cp_parser_direct_declarator): Don't allow VLAs in
  55         function parameter context.  Don't print an error if parsing
  56         tentatively.
  57
  58         PR c++/43559
  59         * pt.c (more_specialized_fn): Don't control cv-qualifier check
  60         with same_type_p.
  61
  62 2010-03-26  Jason Merrill  <jason@redhat.com>
  63
  64         PR c++/43509
  65         * parser.c (cp_parser_qualifying_entity): Do accept enum names in
  66         c++0x mode, but not other type-names.
  67
  68 2010-03-26  Dodji Seketeli  <dodji@redhat.com>
  69
  70         PR c++/43327
  71         * pt.c (add_to_template_args): Support NULL ARGS;
  72         (most_specialized_class): call coerce_template_parms on
  73         template arguments passed to get_class_bindings. Use
  74         add_to_template_args.
  75         (unify): Handle VAR_DECLs.
  76
  77 2010-03-26  Dodji Seketeli  <dodji@redhat.com>
  78
  79         * cp-tree.h (get_template_parms_at_level): Change unsigned parm
  80         into int.
  81         * pt.c (get_template_parms_at_level): Adjust.
  82
  83 2010-03-25  Dodji Seketeli  <dodji@redhat.com>
  84
  85         PR c++/43206
  86         * cp-tree.h (get_template_parms_at_level): Declare ...
  87         * pt.c (get_template_parms_at_level): ... new function.
  88         * typeck.c (get_template_parms_of_dependent_type): If a template
  89         type parm's DECL_CONTEXT isn't yet set, get its siblings from
  90         current_template_parms. Use get_template_parms_at_level. Remove
  91         useless test.
  92         (incompatible_dependent_types_p): If we get empty parms from just one
  93         of the template type parms we are comparing then the template parms are
  94         incompatible.
  95
  96 2010-03-24  Jason Merrill  <jason@redhat.com>
  97
  98         PR c++/43502
  99         * parser.c (make_declarator): Initialize id_loc.
 100         (cp_parser_lambda_declarator_opt): And set it.
 101
 102 2010-03-23  Jason Merrill  <jason@redhat.com>
 103
 104         Make lambda conversion op and op() non-static.
 105         * semantics.c (maybe_add_lambda_conv_op): Make non-static.
 106         Also add the thunk function returned by the conversion op.
 107         Mark the conversion deleted if the op() is variadic.
 108         * decl2.c (mark_used): Give helpful message about deleted conversion.
 109         * parser.c (cp_parser_lambda_declarator_opt): Don't make op() static.
 110         * semantics.c (finish_this_expr): Adjust.
 111         * mangle.c (write_closure_type_name): Adjust.
 112         * decl.c (grok_op_properties): Don't allow it.
 113         * call.c (build_user_type_conversion_1): No static conversion ops.
 114         (build_op_call): Or op().
 115
 116         * decl2.c (change_return_type): Fix 'this' quals.
 117
 118 2010-03-22  Jason Merrill  <jason@redhat.com>
 119
 120         PR c++/43333
 121         * tree.c (pod_type_p): Use old meaning in C++98 mode.
 122
 123         PR c++/43281
 124         * pt.c (contains_auto_r): New fn.
 125         (do_auto_deduction): Use it.
 126         (tsubst): Don't look at TREE_TYPE of a TEMPLATE_TYPE_PARM.
 127
 128 2010-03-20  Simon Martin  <simartin@users.sourceforge.net>
 129
 130         PR c++/43081:
 131         * decl2.c (grokfield): Handle invalid initializers for member
 132         functions.
 133
 134 2010-03-20  Dodji Seketeli  <dodji@redhat.com>
 135
 136         PR c++/43375
 137         * method.c (make_alias_for): Avoid crashing when DECL_LANG_SPECIFIC
 138         is NULL.
 139         * decl2.c (vague_linkage_p): Likewise.
 140
 141 2010-03-18  Paolo Carlini  <paolo.carlini@oracle.com>
 142
 143         PR c++/43418
 144         * parser.c (cp_parser_for_init_statement): Use NULL_TREE, not
 145         false, in the cp_parser_expression_statement call.
 146
 147 2010-03-05  Jason Merrill  <jason@redhat.com>
 148
 149         * mangle.c (mangle_decl): Give name collision error even without
 150         ASM_OUTPUT_DEF.
 151
 152 2010-03-04  Marco Poletti  <poletti.marco@gmail.com>
 153
 154         * pt.c (process_partial_specialization): Use error_n instead of
 155         error.
 156
 157 2010-03-03  Jason Merrill  <jason@redhat.com>
 158
 159         PR c++/12909
 160         * mangle.c (mangle_decl): Handle VAR_DECL, too.
 161
 162 2010-03-03  Jason Merrill  <jason@redhat.com>
 163
 164         PR c++/12909
 165         * mangle.c: Include cgraph.h.
 166         (mangle_decl): If the mangled name will change in a later
 167         ABI version, make the later mangled name an alias.
 168         * method.c (make_alias_for): Copy DECL_ARGUMENTS.
 169         * Make-lang.in (mangle.o): Depend on cgraph.h.
 170         * method.c (make_alias_for): Handle VAR_DECL, too.
 171         * decl2.c (vague_linkage_p): Rename from vague_linkage_fn_p.
 172         * tree.c (no_linkage_check): Adjust.
 173         * decl.c (maybe_commonize_var): Adjust.
 174         * cp-tree.h: Adjust.
 175
 176 2010-03-01  Marco Poletti  <poletti.marco@gmail.com>
 177
 178         * pt.c (redeclare_class_template): Use error_n and inform_n.
 179
 180 2010-02-27  Mark Mitchell  <mark@codesourcery.com>
 181
 182         PR c++/42748
 183         * cp-tree.h (push_tinst_level): Declare.
 184         (pop_tinst_level): Likewise.
 185         * pt.c (push_tinst_level): Give it external linkage.
 186         (pop_tinst_level): Likewise.
 187         * mangle.c (mangle_decl_string): Set the source location to that
 188         of the decl while mangling.
 189
 190 2010-02-27  Simon Martin  <simartin@users.sourceforge.net>
 191
 192         PR c++/42054
 193         * pt.c (redeclare_class_template): Return false if there are erroneous
 194         template parameters.
 195
 196 2010-02-24  Manuel López-Ibáñez  <manu@gcc.gnu.org>
 197
 198         * pt.c (push_tinst_level): Replace -ftemplate-depth- with
 199         -ftemplate-depth=.
 200
 201 2010-02-24  Jason Merrill  <jason@redhat.com>
 202
 203         PR c++/12909
 204         * mangle.c (write_type): Give -Wabi warning for old vector mangling.
 205
 206         * class.c (layout_class_type): Don't give -Wabi warning for a bug
 207         in a previous ABI version.
 208
 209 2010-02-23  Jason Merrill  <jason@redhat.com>
 210
 211         PR c++/43143
 212         * typeck2.c (digest_init_r): Accept value init of array.
 213
 214 2010-02-22  Manuel López-Ibáñez  <manu@gcc.gnu.org>
 215
 216         PR c++/43126
 217         * typeck.c (convert_arguments): Update error message.
 218
 219 2010-02-22  Mike Stump  <mikestump@comcast.net>
 220
 221         PR c++/43125
 222         * decl.c (duplicate_decls): Merge DECL_PRESERVE_P.
 223
 224 2010-02-21  Manuel López-Ibáñez  <manu@gcc.gnu.org>
 225
 226         PR c++/23510
 227         * error.c (print_instantiation_partial_context_line): New.
 228         (print_instantiation_partial_context): Print at most 12 contexts,
 229         skip the rest with a message.
 230
 231 2010-02-21  Dodji Seketeli  <dodji@redhat.com>
 232
 233         PR c++/42824
 234         * pt.c (lookup_template_class): Better support of specialization
 235         of member of class template implicit instantiation.
 236
 237 2010-02-20  Manuel López-Ibáñez  <manu@gcc.gnu.org>
 238
 239         PR c++/35669
 240         * call.c (conversion_null_warnings): Replace -Wconversion with
 241         -Wconversion-null.
 242         * cvt.c (build_expr_type_conversion): Likewise.
 243
 244 2010-02-18  Jason Merrill  <jason@redhat.com>
 245
 246         PR c++/42837
 247         * class.c (create_vtable_ptr): Set DECL_PACKED if type is packed.
 248
 249         PR c++/43108
 250         * typeck.c (cp_build_binary_op): Adapt mixed complex/non handling from
 251         C build_binary_op.
 252         * cp-tree.h (WANT_VECTOR_OR_COMPLEX): Rename from WANT_VECTOR.
 253         * cvt.c (build_expr_type_conversion): Allow COMPLEX_TYPE.
 254
 255         PR c++/43070
 256         * semantics.c (finish_goto_stmt): Don't call decay_conversion.
 257
 258         PR c++/26261
 259         PR c++/43101
 260         * pt.c (tsubst_qualified_id): Do normal lookup in non-dependent scope.
 261         (maybe_update_decl_type): New fn.
 262         * parser.c (cp_parser_init_declarator): Use it.
 263
 264         PR c++/43109
 265         * semantics.c (begin_class_definition): Don't crash on unnamed ns.
 266
 267 2010-02-17  Jason Merrill  <jason@redhat.com>
 268
 269         PR c++/43075
 270         * call.c (build_over_call): Don't create zero-sized assignments.
 271         * cp-gimplify.c (cp_genericize_r): Don't remove them here.
 272         * cp-objcp-common.c (cp_expr_size): Remove.
 273         * cp-tree.h: Remove prototype.
 274
 275         PR c++/43069
 276         * name-lookup.c (set_decl_namespace): Don't copy DECL_CONTEXT if the
 277         decl we looked up doesn't match.
 278
 279         PR c++/43093
 280         * cp-gimplify.c (cp_gimplify_expr) [INIT_EXPR]: Return if we don't
 281         have an INIT_EXPR anymore.
 282
 283         PR c++/43079
 284         * pt.c (convert_nontype_argument): Change assert to test.
 285
 286 2010-02-16  Jason Merrill  <jason@redhat.com>
 287
 288         * cp-gimplify.c (cp_gimplify_expr): Fix error recovery.
 289
 290         PR c++/43031
 291         * cp-gimplify.c (cp_gimplify_expr) [MODIFY_EXPR]: Use
 292         VIEW_CONVERT_EXPR for conversions between structural equality types
 293         that the back end can't tell are the same.
 294
 295         PR c++/43036
 296         * tree.c (build_cplus_array_type): Set TYPE_MAIN_VARIANT to strip
 297         cv-quals from element here.
 298         (cp_build_qualified_type_real): Not here.  Preserve typedef name.
 299
 300 2010-02-14  Jason Merrill  <jason@redhat.com>
 301
 302         PR c++/41997
 303         * semantics.c (finish_compound_literal): Use
 304         cp_apply_type_quals_to_decl when creating a static variable.
 305
 306 2010-02-12  Jason Merrill  <jason@redhat.com>
 307
 308         PR c++/43024
 309         * name-lookup.h (current_binding_level): Check for null
 310         cp_function_chain.
 311
 312 2010-02-12  Jason Merrill  <jason@redhat.com>
 313
 314         PR c++/43054
 315         * tree.c (cp_tree_equal): Correct CALL_EXPR logic.
 316
 317 2010-02-12  Jakub Jelinek  <jakub@redhat.com>
 318
 319         PR c++/43033
 320         * name-lookup.c (pushdecl_maybe_friend): Check default args of t
 321         instead of x.
 322
 323 2010-02-10  Jason Merrill  <jason@redhat.com>
 324
 325         PR c++/41896
 326         * semantics.c (outer_lambda_capture_p): Revert.
 327         (add_capture): Only finish_member_declaration if
 328         we're in the lambda class.
 329         (register_capture_members): New.
 330         * cp-tree.h: Declare it.
 331         * parser.c (cp_parser_lambda_expression): Call it.
 332
 333 2010-02-10  Jason Merrill  <jason@redhat.com>
 334
 335         PR c++/41896
 336         * semantics.c (outer_lambda_capture_p): Use current_function_decl
 337         instead of current_class_type.
 338
 339 2010-02-10  Jason Merrill  <jason@redhat.com>
 340
 341         PR c++/42983, core issue 906
 342         * method.c (defaultable_fn_check): Check virtualness.
 343
 344 2010-02-10  Jason Merrill  <jason@redhat.com>
 345
 346         PR c++/43016
 347         * semantics.c (maybe_add_lambda_conv_op): Set DECL_INTERFACE_KNOWN.
 348
 349 2010-02-10  Shujing Zhao  <pearly.zhao@oracle.com>
 350
 351         * Make-lang.in (cp/cvt.o, cp/parser.o, cp/search.o): Depend on intl.h.
 352         * cvt.c (warn_ref_binding): Wrap the messages into G_() for easy
 353         translation.
 354         * parser.c (cp_parser_postfix_expression, cp_parser_new_type_id)
 355         (cp_parser_cast_expression, cp_parser_condition, cp_parser_decltype)
 356         (cp_parser_parameter_declaration)
 357         (cp_parser_exception_specification_opt)
 358         (cp_parser_exception_declaration): Likewise.
 359         * pt.c (check_default_tmpl_args): Likewise.
 360         * search.c (lookup_field_r): Likewise.
 361
 362 2010-02-09  Jason Merrill  <jason@redhat.com>
 363
 364         PR c++/42399
 365         * pt.c (tsubst_copy_and_build): Propagate LAMBDA_EXPR_LOCATION.
 366
 367 2010-02-09  Jason Merrill  <jason@redhat.com>
 368
 369         PR c++/42370
 370         * decl2.c (change_return_type): New fn.
 371         * semantics.c (apply_lambda_return_type): Use it.
 372         * cp-tree.h: Declare it.
 373
 374 2010-02-05  Richard Guenther  <rguenther@suse.de>
 375
 376         * Make-lang.in (cp/cp-lang.o): Depend on gt-cp-cp-lang.h.
 377         * cp-lang.c: Include gt-cp-cp-lang.h.
 378         * config-lang.in (gtfiles): Add cp/cp-lang.c.
 379
 380 2010-02-05  Dodji Seketeli  <dodji@redhat.com>
 381
 382         PR c++/42915
 383         * typeck.c (get_template_parms_of_dependent_type): Try getting
 384         the template parameters fromt the type itself first.
 385
 386 2010-02-03  Jason Merrill  <jason@redhat.com>
 387
 388         PR c++/4926
 389         PR c++/38600
 390         * mangle.c (write_unqualified_id): Split out from write_expression.
 391         (write_unqualified_name): Call it.
 392         (write_member_name): Likewise.
 393         (write_expression): Support TEMPLATE_ID_EXPR.
 394         Disambiguate operator names.
 395
 396         PR c++/12909
 397         * mangle.c (write_type) [VECTOR_TYPE]: Change mangling with
 398         -fabi-version=4.
 399
 400 2010-02-02  Jason Merrill  <jason@redhat.com>
 401
 402         PR c++/41090
 403         * decl.c (cp_finish_decl): Add local statics to cfun->local_decls.
 404         * optimize.c (clone_body): Remap their initializers when making base
 405         variants.
 406         (maybe_clone_body): Complain if multiple clones aren't safe.
 407
 408 2010-01-29  Dodji Seketeli  <dodji@redhat.com>
 409
 410         PR c++/42758
 411         PR c++/42634
 412         PR c++/42336
 413         PR c++/42797
 414         PR c++/42880
 415         * cp-tree.h (NON_DEFAULT_TEMPLATE_ARGS_COUNT,
 416         SET_NON_DEFAULT_TEMPLATE_ARGS_COUNT,
 417         GET_NON_DEFAULT_TEMPLATE_ARGS_COUNT): New accessor macros.
 418         * pt.c (coerce_template_parms, type_unification_real,
 419         expand_template_argument_pack, coerce_template_parameter_pack):
 420         Set the non default template args count.
 421         (current_template_args): Always set non defaulted
 422         template args count when compiled with --enable-checking
 423         (tsubst_template_args, type_unification_real): Propagate the non
 424         defaulted template args count.
 425         * error.c (get_non_default_template_args_count): Renamed
 426         count_non_default_template_args into this. Don't calculate the
 427         non default template argument count anymore. Use the new
 428         accessor macros above to get it.
 429         (dump_template_argument_list, dump_type, dump_decl,
 430         dump_template_parms): Adjust.
 431         * parser.c (cp_parser_template_argument_list): Always set defaulted
 432         template args count when compiled with --enable-checking.
 433
 434 2010-01-29  Shujing Zhao  <pearly.zhao@oracle.com>
 435
 436         * decl.c (redeclaration_error_message): Wrap the return messages into
 437         G_() for easy translation.
 438
 439 2010-01-28  Jason Merrill  <jason@redhat.com>
 440
 441         PR c++/42880
 442         * semantics.c (begin_class_definition): Don't use type_as_string.
 443
 444 2010-01-28  Dodji Seketeli  <dodji@redhat.com>
 445
 446         PR c++/42713
 447         PR c++/42820
 448         * typeck.c (get_template_parms_of_dependent_type): Factorized
 449         this out of incompatible_template_type_parms_p
 450         (incompatible_dependent_types_p): Renamed
 451         incompatible_template_type_parms_p into this. Make it detect
 452         two incompatible dependent typedefs too.
 453         (structural_comptypes): Use incompatible_dependent_types_p.
 454         * pt.c (get_template_info):
 455         Handle BOUND_TEMPLATE_TEMPLATE_PARAM.
 456
 457 2010-01-20  Janis Johnson  <janis187@us.ibm.com>
 458             Jason Merrill  <jason@redhat.com>
 459
 460         * mangle.c (write_type): Mangle transparent record as member type.
 461         * semantics.c (begin_class_definition): Recognize decimal classes
 462         and set TYPE_TRANSPARENT_AGGR.
 463
 464 2010-01-20  Jason Merrill  <jason@redhat.com>
 465
 466         PR c++/42338
 467         * mangle.c (write_expression): Handle tree codes that have extra
 468         arguments in the middle-end.
 469
 470 2010-01-20  Paolo Carlini  <paolo.carlini@oracle.com>
 471
 472         PR c++/42038
 473         * except.c (expand_start_catch_block): Deal correctly with
 474         do_begin_catch returning error_mark_node.
 475
 476 2010-01-20  Jason Merrill  <jason@redhat.com>
 477
 478         PR c++/41788
 479         * class.c (layout_class_type): Set packed_maybe_necessary for packed
 480         non-PODs.
 481
 482         PR c++/41920
 483         * semantics.c (build_lambda_object): Call mark_used on captured
 484         variables.
 485
 486         PR c++/40750
 487         * decl.c (grokdeclarator): Clear type_quals for a member function
 488         declared using a typedef.  Don't complain about adding cv-quals
 489         to a function typedef in C++0x mode.
 490
 491 2010-01-20  Jakub Jelinek  <jakub@redhat.com>
 492
 493         * decl.c (create_array_type_for_decl): Remove set but not used
 494         variable error_msg.  Remove break stmts after return stmts.
 495
 496 2010-01-19  Dodji Seketeli  <dodji@redhat.com>
 497
 498         * error.c (dump_template_parms, count_non_default_template_args):
 499         Revert fix of PR c++/42634.
 500
 501 2010-01-18  Dodji Seketeli  <dodji@redhat.com>
 502
 503         PR c++/42634
 504         * error.c (dump_template_parms): Use innermost template
 505         arguments before calling count_non_default_template_args.
 506         (count_non_default_template_args): We are being called with
 507         template innermost arguments now. There is no need to ensure
 508         that again.
 509
 510 2010-01-18  Dodji Seketeli  <dodji@redhat.com>
 511
 512         PR c++/42766
 513         * cvt.c (build_expr_type_conversion): Look through OVERLOAD.
 514
 515 2010-01-17  Dodji Seketeli  <dodji@redhat.com>
 516
 517         PR c++/42697
 518         *pt.c (tsubst_decl):  Revert commit for PR c++/42697.
 519
 520 2010-01-17  Dodji Seketeli  <dodji@redhat.com>
 521
 522         PR c++/42697
 523         *pt.c (tsubst_decl): Get the arguments of a specialization from
 524         the specialization template, not from the most general template.
 525
 526 2010-01-16  Jason Merrill  <jason@redhat.com>
 527
 528         PR c++/42761
 529         * semantics.c (finish_decltype_type): Within a template, treat
 530         unresolved CALL_EXPR as dependent.
 531
 532 2010-01-15  Dodji Seketeli  <dodji@redhat.com>
 533
 534         * error.c (dump_template_parms,count_non_default_template_args):
 535         Revert changes of PR c++/42634.
 536
 537 2010-01-14  Jakub Jelinek  <jakub@redhat.com>
 538
 539         PR middle-end/42674
 540         * decl.c (finish_function): Don't emit -Wreturn-type warnings in
 541         functions with noreturn attribute.
 542
 543 2010-01-14  Jason Merrill  <jason@redhat.com>
 544
 545         PR c++/42701
 546         * call.c (build_new_method_call): Don't free the vec here.
 547
 548         PR c++/42655
 549         * call.c (convert_like_real): Do full decay_conversion for ck_rvalue.
 550
 551 2010-01-13  Dodji Seketeli  <dodji@redhat.com>
 552
 553         PR c++/42634
 554         * error.c (dump_template_parms): Use innermost template
 555         arguments before calling count_non_default_template_args.
 556         (count_non_default_template_args): We are being called with
 557         template innermost arguments now. There is no need to ensure
 558         that again.
 559
 560 2010-01-07  Dodji Seketeli  <dodji@redhat.com>
 561
 562         c++/40155
 563         * pt.c (unify_pack_expansion): In non-deduced contexts, re-use template
 564         arguments that were previously deduced.
 565
 566 2010-01-05  Jason Merrill  <jason@redhat.com>
 567
 568         * pt.c (unify_pack_expansion): Handle deduction from init-list.
 569         * call.c (build_over_call): Don't complain about it.
 570
 571 2010-01-04  Jason Merrill  <jason@redhat.com>
 572
 573         PR c++/42555
 574         * pt.c (tsubst_decl): Don't apply type attributes in place.
 575
 576         PR c++/42567
 577         * semantics.c (describable_type): Remove decltype comment and
 578         semantics.
 579
 580
 581 \f
 582 Copyright (C) 2010 Free Software Foundation, Inc.
 583
 584 Copying and distribution of this file, with or without modification,
 585 are permitted in any medium without royalty provided the copyright
 586 notice and this notice are preserved.