gcc/cp/ChangeLog

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