gcc/cp/ChangeLog

   1 2010-10-19  Paolo Carlini  <paolo.carlini@oracle.com>
   2
   3         PR c++/46046
   4         * pt.c (add_to_template_args): Check extra_args for error_mark_node.
   5         (coerce_template_parms): Likewise for args.
   6
   7 2010-10-18  Nicola Pero  <nicola.pero@meta-innovation.com>
   8
   9         Implemented parsing @synthesize and @dynamic for Objective-C++.
  10         * parser.c (cp_parser_objc_method_definition_list): Recognize
  11         RID_AT_SYNTHESIZE and RID_AT_DYNAMIC.
  12         (cp_parser_objc_at_dynamic_declaration): New.
  13         (cp_parser_objc_at_synthesize_declaration): New.
  14
  15 2010-10-18  Nicola Pero  <nicola.pero@meta-innovation.com>
  16
  17         * parser.c (cp_parser_objc_identifier_list): Check the return
  18         value of cp_parser_identifier and react if it is error_mark_node.
  19
  20 2010-10-18  Nicola Pero  <nicola.pero@meta-innovation.com>
  21
  22         Merge from apple/trunk branch on FSF servers.
  23
  24         2005-03-01 Fariborz Jahanian <fjahanian@apple.com>
  25
  26         Radar 4451818
  27         * call.c (standard_conversion, implicit_conversion): Ignore
  28         'volatile' attribute of artificially volatized type in objc when
  29         evaluating various conversion weights.
  30
  31         2005-11-08  Fariborz Jahanian <fjahanian@apple.com>
  32
  33         Radar 4330422
  34         * typeck.c (comp_ptr_ttypes_real): Remove the hack. un-volatize the
  35         artiificially 'volatized' type before doing pointer comparison.
  36
  37 2010-10-18  Jakub Jelinek  <jakub@redhat.com>
  38
  39         PR c/46015
  40         * semantics.c (finish_goto_stmt): Call mark_rvalue_use on computed
  41         goto destination.
  42
  43 2010-10-17  Nicola Pero  <nicola.pero@meta-innovation.com>
  44
  45         Merge from apple/trunk branch on FSF servers.
  46
  47         2006-04-19 Fariborz Jahanian <fjahanian@apple.com>
  48
  49         Radar 4516785
  50         * parser.c (cp_parser_simple_type_specifier): Don't lookup for
  51         objc object types if type is scope qualified.
  52
  53 2010-10-17  Nicola Pero  <nicola.pero@meta-innovation.com>
  54
  55         Merge from apple/trunk branch on FSF servers.
  56
  57         2006-03-27 Fariborz Jahanian <fjahanian@apple.com>
  58
  59         Radar 4133425
  60         * lex.c (unqualified_name_lookup_error): Issue diagnostic
  61         for private 'ivar' access.
  62
  63 2010-10-17  Iain Sandoe  <iains@gcc.gnu.org>
  64
  65         * parser.c (cp_parser_objc_visibility_spec): Update to use visibility
  66         enum, and handle @package.
  67
  68 2010-10-15  Jason Merrill  <jason@redhat.com>
  69
  70         PR c++/45983
  71         * tree.c (cp_build_qualified_type_real): Don't reuse a variant
  72         with a different typedef variant of the element type.
  73
  74 2010-10-14  Iain Sandoe  <iains@gcc.gnu.org>
  75
  76         merge from FSF apple 'trunk' branch.
  77         2006 Fariborz Jahanian <fjahanian@apple.com>
  78
  79         Radars 4436866, 4505126, 4506903, 4517826
  80         * typeck.c (finish_class_member_access_expr): Handle CLASS.property
  81         syntax.
  82         (cp_build_modify_expr): Likewise.
  83         * parser.c (cp_parser_objc_method_prototype_list): Handle @property.
  84         (cp_parser_objc_method_definition_list): Likewise.
  85         (cp_parser_objc_property_decl): New.
  86         (cp_parser_objc_property_attrlist): New.
  87         (cp_parser_objc_at_property): New.
  88
  89 2010-10-14  Richard Guenther  <rguenther@suse.de>
  90
  91         PR lto/44561
  92         * cp-tree.h (NULLPTR_TYPE_P): Adjust.
  93         * decl.c (cxx_init_decl_processing): Build a NULLPTR_TYPE node,
  94         use build_int_cst.
  95         * error.c (dump_type): Handle NULLPTR_TYPE.
  96         (dump_type_prefix): Likewise.
  97         (dump_type_suffix): Likewise.
  98         * mangle.c (write_type): Likewise.
  99         * name-lookup.c (arg_assoc_type): Likewise.
 100         * rtti.c (typeinfo_in_lib_p): Likewise.
 101         * pt.c (tsubst): Likewise.
 102
 103 2010-10-13  Jason Merrill  <jason@redhat.com>
 104
 105         PR c++/45984
 106         * class.c (fixup_attribute_variants): New fn.
 107         * cp-tree.h: Declare it.
 108         * pt.c (instantiate_class_template): Call it.
 109         * semantics.c (begin_class_definition): Call it.
 110
 111 2010-10-13  Richard Henderson  <rth@redhat.com>
 112
 113         * cp-lang.c (cp_eh_personality): Update call to
 114         build_personality_function.
 115         * except.c (choose_personality_routine): Update function comment.
 116
 117 2010-10-13  Richard Guenther  <rguenther@suse.de>
 118
 119         * tree.c (cp_free_lang_data): Free DECL_NAMESPACE_USERS and
 120         clear DECL_CHAIN of NAMESPACE_DECLs.
 121
 122 2010-10-11  Martin Jambor  <mjambor@suse.cz>
 123
 124         PR c++/45562
 125         * cp-tree.h (current_class_ref): Check that cp_function_chain is
 126         non-NULL.
 127         * call.c (build_cxx_call): Likewise.
 128
 129 2010-10-10  Jason Merrill  <jason@redhat.com>
 130
 131         * pt.c (tsubst_default_argument): Handle DEFAULT_ARG.
 132         (tsubst_default_arguments): Only do this once for cloned fns.
 133         (tsubst): Use typedef_variant_p.  Handle LANG_TYPE.  Don't
 134         handle expressions.
 135         (tsubst_expr): Avoid calling tsubst_expr for non-expressions.
 136         (tsubst_copy_and_build): Likewise.
 137         (tsubst_initializer_list): Likewise.
 138         (tsubst_copy): Change default to gcc_unreachable.  Handle
 139         OVERLOAD and PTRMEM_CST.
 140
 141 2010-10-10  Jason Merrill  <jason@redhat.com>
 142
 143         PR lto/45959
 144         PR lto/45960
 145         * pt.c (tsubst_copy) [INTEGER_CST]: Instantiate the type.
 146
 147 2010-10-07  Andi Kleen  <ak@linux.intel.com>
 148
 149         * Make-lang.in (c++_OBJS): Remove dummy-checksum.o.
 150         (cc1plus-dummy): Remove.
 151         (cc1plus-checksum): Change to run checksum over object files
 152         and options only.
 153
 154 2010-10-08  Joseph Myers  <joseph@codesourcery.com>
 155
 156         * cp-objcp-common.h (LANG_HOOKS_INIT_OPTIONS_STRUCT): Define.
 157
 158 2010-10-07  Nicola Pero  <nicola.pero@meta-innovation.com>
 159
 160         * cp-tree.def: Changed type of AT_ENCODE_EXPR from tcc_unary to
 161         tcc_expression.
 162         * cxx-pretty-print.c (pp_cxx_unary_expression): Added case for
 163         AT_ENCODE_EXPR.
 164         * error.c (dump_expr): Added case for AT_ENCODE_EXPR.
 165         * pt.c (tsubst_copy): Added case for AT_ENCODE_EXPR.
 166         (value_dependent_expression_p): Added case for AT_ENCODE_EXPR.
 167         (type_dependent_expression_p): Added case for AT_ENCODE_EXPR.
 168         * parser.c (cp_parser_objc_encode_expression): Updated comment.
 169
 170 2010-10-07  Nicola Pero  <nicola@nicola.brainstorm.co.uk>
 171
 172         Merge from apple/trunk branch on FSF servers.
 173
 174         2006-04-26  Fariborz Jahanian <fjahanian@apple.com>
 175
 176         Radar 4508851
 177         * parser.c (cp_parser_objc_interstitial_code): Recognize
 178         and parse RID_NAMESPACE keyword.
 179
 180 2010-10-07  Iain Sandoe  <iains@gcc.gnu.org>
 181
 182         * parser.c (cp_parser_objc_method_tail_params_opt): Peek new token after
 183         finding ellipsis, before checking for attributes.
 184
 185 2010-10-06  Nicola Pero  <nicola.pero@meta-innovation.com>
 186
 187         Merge from apple/trunk branch on FSF servers.
 188         * cp-tree.def: Added AT_ENCODE_EXPR here instead of to the no
 189         longer existing gcc/c-common.def.
 190
 191         2005-12-14  Fariborz Jahanian <fjahanian@apple.com>
 192
 193         Radar 4278774
 194         * pt.c (tsubst_copy_and_build): Instantiate @endcode(T).
 195         * parser.c (cp_parser_objc_encode_expression): Build a templatized
 196         parse tree for @encode(T).
 197
 198         2005-12-14  Fariborz Jahanian <fjahanian@apple.com>
 199
 200         Radar 4278774
 201         * c-common.def: Add new expression code AT_ENCODE_EXPR.
 202
 203 2010-10-06  Eric Botcazou  <ebotcazou@adacore.com>
 204
 205         PR c++/45908
 206         * typeck.c (cp_build_addr_expr_1): Add check for incomplete types in
 207         code folding offsetof-like computations.
 208
 209 2010-10-05  Nicola Pero  <nicola.pero@meta-innovation.com>
 210
 211         PR objc++/31125
 212         * parser.c (cp_parser_objc_class_interface): If no identifier
 213         follows an @interface token, stop parsing the interface after
 214         printing an error.
 215         (cp_parser_objc_class_implementation): If no identifier follows an
 216         @implementation token, stop parsing the implementation after
 217         printing an error.
 218
 219 2010-10-05  Nicola Pero  <nicola.pero@meta-innovation.com>
 220
 221         PR objc++/23707
 222         * parser.c (cp_parser_objc_method_keyword_params): If the required
 223         colon is not found while parsing parameters, stop parsing them.
 224
 225 2010-10-05  Nicola Pero  <nicola.pero@meta-innovation.com>
 226
 227         PR objc++/31126
 228         * parser.c (cp_parser_objc_class_ivars): Do not eat the EOF or
 229         @end after detecting it.  Print an error if @end is found without
 230         a '}'.
 231         (cp_parser_objc_method_prototype_list): Do not eat the EOF after
 232         detecting it.  Fixed reading the next token when continuing
 233         because of an error in a method signature.  Print an error if EOF
 234         is found without an '@end'.
 235         (cp_parser_objc_method_definition_list): Same change.
 236
 237 2010-10-05  Nicola Pero  <nicola.pero@meta-innovation.com>
 238
 239         Merge from apple/trunk branch on FSF servers:
 240
 241         2005-10-17  Fariborz Jahanian <fjahanian@apple.com>
 242
 243         Radar 4290840
 244         * parser.c (cp_parser_objc_method_keyword_params): Check for valid
 245         method parameters and issue error.
 246         (cp_parser_objc_method_definition_list): Check for invalid tokens
 247         which cannot start a function definition.
 248
 249         2005-10-14  Fariborz Jahanian <fjahanian@apple.com>
 250
 251         Radar 4294425
 252         * parser.c (cp_parser_objc_message_args): Check for missing message
 253         arguments and syntax error.
 254
 255         2005-10-13  Fariborz Jahanian <fjahanian@apple.com>
 256
 257         Radar 4261146
 258         * parser.c (cp_parser_objc_class_ivars): Check for @end/eof while
 259         looking for '}'.
 260
 261         2005-08-15  Ziemowit Laski  <zlaski@apple.com>
 262
 263         Radar 4093475
 264         * parser.c (cp_parser_objc_interstitial_code): Catch stray
 265         '{' and '}' tokens and issue appropriate errors.
 266
 267         2005-08-02  Ziemowit Laski  <zlaski@apple.com>
 268
 269         Radar 4185810
 270         (cp_parser_statement_seq_opt): In addition to '}' and
 271         end-of-file, a statement sequence may also be terminated
 272         by a stray '@end'.
 273
 274 2010-10-05  Joseph Myers  <joseph@codesourcery.com>
 275
 276         * cp-tree.h (cxx_print_error_function,
 277         cxx_initialize_diagnostics): Declare using diagnostic_context
 278         typedef.
 279
 280 2010-10-04  Andi Kleen <ak@linux.intel.com>
 281
 282         * Make-lang.in (g++, cc1plus): Add + to build rule.
 283
 284 2010-10-04  Jason Merrill  <jason@redhat.com>
 285
 286         * tree.c (decl_storage_duration): New.
 287         * cp-tree.h: Declare it.
 288         (duration_kind): Return values.
 289
 290 2010-10-03  Jason Merrill  <jason@redhat.com>
 291
 292         * typeck.c (require_complete_type_sfinae): Add complain parm to...
 293         (require_complete_type): ...this function.
 294         (cp_build_array_ref, convert_arguments): Use it.
 295         (convert_for_initialization, cp_build_modify_expr): Likewise.
 296         * cp-tree.h: Declare it.
 297         * call.c (build_over_call): Use it.
 298
 299 2010-09-30  Iain Sandoe  <iains@gcc.gnu.org>
 300
 301         merge from FSF 'apple/trunk' branch.
 302         2006-01-30  Fariborz Jahanian <fjahanian@apple.com>
 303
 304         Radar 4386773
 305         * cp/parser.c (cp_parser_objc_interstitial_code): For
 306         @optional/@required set the optional/required flag.
 307
 308 2010-09-30  Nicola Pero  <nicola.pero@meta-innovation.com>
 309
 310         * parser.c (cp_lexer_get_preprocessor_token): Tidied up comments
 311         and indentation when finding an Objective-C++ CPP_AT_NAME token.
 312
 313 2010-09-29  Richard Guenther  <rguenther@suse.de>
 314
 315         * cp-tree.h (CP_DECL_CONTEXT): Check DECL_FILE_SCOPE_P.
 316         (CP_TYPE_CONTEXT): Similar.
 317         (FROB_CONTEXT): Frob global_namespace to the global
 318         TRANSLATION_UNIT_DECL.
 319         * decl.c (cxx_init_decl_processing): Build a TRANSLATION_UNIT_DECL,
 320         set DECL_CONTEXT of global_namespace to it.
 321         (start_decl): Use CP_DECL_CONTEXT and test TYPE_P
 322         instead of zeroing context.
 323         (cp_finish_decl): Use DECL_FILE_SCOPE_P.
 324         (grokfndecl): Likewise.
 325         (start_preparsed_function): Likewise.
 326         * name-lookup.c (maybe_push_decl): Use DECL_NAMESPACE_SCOPE_P.
 327         (namespace_binding): Use SCOPE_FILE_SCOPE_P.
 328         * pt.c (template_class_depth): Use CP_TYPE_CONTEXT.
 329         (is_specialization_of_friend): Use CP_DECL_CONTEXT.
 330         (push_template_decl_real): Likewise.
 331         (tsubst_friend_class): Likewise.  Adjust context comparisons.
 332         (instantiate_class_template): Use CP_TYPE_CONTEXT.
 333         (tsubst): Do not substitute into TRANSLATION_UNIT_DECL.
 334         * cxx-pretty-print.c (pp_cxx_nested_name_specifier): Use
 335         SCOPE_FILE_SCOPE_P.
 336
 337 2010-09-29  Yao Qi  <yao@codesourcery.com>
 338
 339         * decl.c (get_atexit_node): Fix typo.
 340
 341 2010-09-28  Jason Merrill  <jason@redhat.com>
 342
 343         * tree.c (lvalue_kind): Rename from lvalue_p_1, make nonstatic.
 344         (real_lvalue_p): Take const_tree.
 345         * cp-tree.h: Adjust.
 346         * typeck.c (lvalue_or_else): Make temporary arg a permerror.
 347         (cp_build_addr_expr_1): Likewise.
 348
 349 2010-09-28  Iain Sandoe  <iains@gcc.gnu.org>
 350
 351         Partially merged from apple/trunk branch on FSF servers:
 352         2006-04-26 Fariborz Jahanian <fjahanian@apple.com>
 353         Radar 3803157 (method attributes)
 354
 355         * parser.c (cp_parser_objc_method_keyword_params): Handle attributes.
 356         (cp_parser_objc_method_tail_params_opt): Likewise.
 357         (cp_parser_objc_method_signature): Likewise.
 358         (cp_parser_objc_method_maybe_bad_prefix_attributes): New.
 359         (cp_parser_objc_method_prototype_list): Handle attributes.
 360         (cp_parser_objc_method_definition_list): Likewise.
 361
 362 2010-09-28  Richard Henderson  <rth@redhat.com>
 363
 364         * cp-lang.c: Include "target.h".
 365         (cp_eh_personality): Use targetm.except_unwind_info.
 366         * Make-lang.in (cp-lang.o): Update deps.
 367
 368 2010-09-28  Iain Sandoe  <iains@gcc.gnu.org>
 369
 370         * parser.c (cp_parser_objc_valid_prefix_attributes): New.
 371         (cp_parser_declaration): Parse prefix attributes for ObjC++.
 372         (cp_parser_objc_protocol_declaration): Handle attributes.
 373         (cp_parser_objc_class_interface): Likewise.
 374         (cp_parser_objc_declaration): Likewise.
 375
 376 2010-09-27  Jason Merrill  <jason@redhat.com>
 377
 378         Require lvalues as specified by the standard.
 379         * typeck.c (lvalue_or_else): Use real_lvalue_p.
 380         (cp_build_addr_expr_1): Split out of cp_build_unary_op.
 381         (cp_build_addr_expr, cp_build_addr_expr_strict): Interfaces.
 382         (decay_conversion, get_member_function_from_ptrfunc): Adjust.
 383         (build_x_unary_op, build_reinterpret_cast_1): Adjust.
 384         (build_const_cast_1): Adjust.
 385         * cp-tree.h: Declare new fns.
 386         * call.c (build_this, convert_like_real, build_over_call): Adjust.
 387         (initialize_reference): Adjust.
 388         * class.c (build_base_path, convert_to_base_statically): Adjust.
 389         (build_vfn_ref, resolve_address_of_overloaded_function): Adjust.
 390         * cvt.c (build_up_reference, convert_to_reference): Adjust.
 391         * decl.c (register_dtor_fn): Adjust.
 392         * decl2.c (build_offset_ref_call_from_tree): Adjust.
 393         * except.c (initialize_handler_parm): Adjust.
 394         * init.c (build_offset_ref, build_delete, build_vec_delete): Adjust.
 395         * rtti.c (build_dynamic_cast_1, tinfo_base_init): Adjust.
 396         * tree.c (stabilize_expr): Adjust.
 397
 398 2010-09-27  Nicola Pero  <nicola.pero@meta-innovation.com>
 399
 400         Merge from apple/trunk branch on FSF servers:
 401
 402         2005-12-15  Fariborz Jahanian <fjahanian@apple.com>
 403
 404         Radar 4229905
 405         * typeck.c (composite_pointer_type): Call objc_have_common_type
 406         when comparing two objective-c pointer types.
 407
 408         2005-07-18  Ziemowit Laski  <zlaski@apple.com>
 409
 410         Radar 4175534
 411         * call.c (standard_conversion): Do not issue warnings when
 412         comparing ObjC pointer types.
 413
 414         2005-06-22  Ziemowit Laski  <zlaski@apple.com>
 415
 416         Radar 4154928
 417         * call.c (standard_conversion): Allow for a pointer conversion
 418         between any two ObjC pointer types.
 419         * typeck.c (composite_pointer_type): Determine common type
 420         for two ObjC pointer types.
 421
 422 2010-09-24  Jan Hubicka  <jh@suse.cz>
 423
 424         * decl.c (finish_function): Use decl_replaceable_p
 425         * method.c (make_alias_for_thunk): Update call of
 426         cgraph_same_body_alias.
 427
 428 2010-09-24  Jason Merrill  <jason@redhat.com>
 429
 430         * decl.c (compute_array_index_type): Remember type dependence of
 431         array bound.
 432         * pt.c (dependent_type_p_r): Don't recompute it here.
 433
 434         * error.c (dump_expr) [CASE_CONVERT]: Print conversion between
 435         reference and pointer to the same type as "*" or "&".
 436
 437 2010-09-24  Nicola Pero  <nicola.pero@meta-innovation.com>
 438
 439         * typeck.c (warn_args_num): Use warning 'too many arguments to
 440         method [methodname]' for an Objective-C method instead of the less
 441         satisfactory 'too many arguments to function' (with no method
 442         name).
 443
 444 2010-09-21  Jason Merrill  <jason@redhat.com>
 445
 446         * mangle.c (write_expression) [SCOPE_REF]: Only do -fabi-version=1
 447         special handling if we know the member.
 448
 449 2010-09-18  Jason Merrill  <jason@redhat.com>
 450
 451         * call.c (compare_ics): Do lvalue/rvalue reference binding
 452         comparison for ck_list, too.
 453
 454 2010-09-15  Jason Merrill  <jason@redhat.com>
 455
 456         * semantics.c (finish_id_expression): Diagnose use of function
 457         parms in evaluated context outside function body.
 458
 459         * decl2.c (grokbitfield): Diagnose non-integral width.
 460
 461         * call.c (convert_like_real): Use the underlying type of the
 462         reference for the temporary.
 463
 464 2010-09-15  Jakub Jelinek  <jakub@redhat.com>
 465
 466         PR c++/45635
 467         * class.c (build_vtbl_initializer): Use fn instead of init's operand
 468         as first argument to FDESC_EXPR.
 469
 470 2010-09-15  Paolo Carlini  <paolo.carlini@oracle.com>
 471
 472         PR c++/45665
 473         * decl.c (grokdeclarator): Check build_memfn_type return value
 474         for error_mark_node.
 475
 476 2010-09-13  Rodrigo Rivas Costa <rodrigorivascosta@gmail.com>
 477
 478         * semantics.c (finish_for_stmt): Always test flag_new_for_scope.
 479         (begin_range_for_stmt): Likewise.
 480
 481 2010-09-11  Rodrigo Rivas <rodrigorivascosta@gmail.com>
 482
 483         Implement range-based for-statements.
 484         * cp-tree.def (RANGE_FOR_STMT): New.
 485         * cp-tree.h (RANGE_FOR_DECL, RANGE_FOR_EXPR, RANGE_FOR_BODY): New.
 486         (cp_convert_range_for): Declare.
 487         * pt.c (tsubst_expr): Add RANGE_FOR_STMT.
 488         (tsubst_copy_and_build): perform_koenig_lookup takes extra argument.
 489         * semantics.c (begin_range_for_stmt): New.
 490         (finish_range_for_decl): New.
 491         (finish_for_stmt): Accept also RANGE_FOR_STMT.
 492         (perform_koenig_lookup): Add extra argument include_std.
 493         * parser.c (cp_parser_c_for): New with code from
 494         cp_parser_iteration_statement().
 495         (cp_parser_range_for): New.
 496         (cp_convert_range_for): New.
 497         (cp_parser_iteration_statement): Add range-for support.
 498         (cp_parser_condition): Adjust comment.
 499         (cp_parser_postfix_expression): perform_koenig_lookup takes extra
 500         argument.
 501         * dump.c (cp_dump_tree): Add RANGE_FOR_STMT.
 502         * cxx-pretty-print.c: Likewise.
 503         * lex.c (cxx_init): Likewise.
 504         * name-lookup.c (lookup_function_nonclass): Add extra argument
 505         include_std.
 506         (lookup_arg_dependent): Likewise.
 507         * name-lookup.h: Likewise.
 508
 509 2010-09-10  Rodrigo Rivas Costa <rodrigorivascosta@gmail.com>
 510
 511         PR c++/43824
 512         * error.c (maybe_warn_cpp0x): Add new warning
 513         CPP0X_INLINE_NAMESPACES.
 514         * parser.c (cp_parser_namespace_definition): Likewise.
 515         * cp-tree.h (cpp0x_warn_str): Likewise.
 516
 517 2010-09-10  Richard Guenther  <rguenther@suse.de>
 518
 519         * decl.c (reshape_init_vector): For VECTOR_TYPEs, use
 520         TYPE_VECTOR_SUBPARTS instead of TYPE_DEBUG_REPRESENTATION_TYPE.
 521
 522 2010-09-10  Jan Hubicka  <jh@suse.cz>
 523
 524         PR tree-optimization/45605
 525         * cp/class.c (build_vtbl_initializer): Avoid wrong type conversion in
 526         ADDR_EXPR.
 527
 528 2010-09-08  Jakub Jelinek  <jakub@redhat.com>
 529
 530         PR c++/45588
 531         * pt.c (tsubst) <case INTEGER_TYPE>: Call mark_rvalue_use
 532         before calling fold_decl_constant_value.
 533
 534 2010-09-07  Arnaud Charlet  <charlet@adacore.com>
 535
 536         * cp-tree.h (build_enumerator): Add new location_t parameter.
 537         (build_lang_decl_loc): New function.
 538         * decl.c (build_enumerator): New parameter loc. Use it when calling
 539         build_decl. Replace build_lang_decl with build_lang_decl_loc.
 540         * pt.c (tsubst_enum): Adjust call to build_enumerator.
 541         * parser.c (cp_parser_enumerator_definition): Ditto.
 542         * lex.c (build_lang_decl_loc): New function.
 543
 544 2010-09-06  Dodji Seketeli  <dodji@redhat.com>
 545
 546         PR c++/45200
 547         PR c++/45293
 548         PR c++/45558
 549         * tree.c (strip_typedefs): Strip typedefs from the context of
 550         TYPENAME_TYPEs.
 551
 552 2010-09-06  Mark Mitchell  <mark@codesourcery.com>
 553
 554         * typeck.c (cp_build_binary_op): Call do_warn_double_promotion.
 555         * call.c (build_conditional_expr): Likewise.
 556         (convert_arg_to_ellipsis): Likewise.
 557
 558 2010-09-06  Arnaud Charlet  <charlet@adacore.com>
 559
 560         * parser.c (make_pointer_declarator, make_reference_declarator,
 561         make_call_declarator, make_array_declarator): Set declarator->id_loc.
 562         (cp_parser_init_declarator): Adjust location of decl if appropriate.
 563
 564 2010-09-06  Jason Merrill  <jason@redhat.com>
 565
 566         * call.c (implicit_conversion): Fix value-init of enums.
 567         (convert_like_real): Likewise.
 568
 569         * decl.c (cp_finish_decl): Don't change init for auto deduction.
 570
 571         * pt.c (fold_non_dependent_expr_sfinae): Split out from...
 572         (fold_non_dependent_expr): ...here.
 573         (convert_nontype_argument): Use it.  Take complain parm.
 574         Use perform_implicit_conversion instead of ocp_convert.
 575         Allow cv-qual changes.
 576         (convert_template_argument): Pass complain down.
 577         (tsubst_template_arg): Suppress constant expression warnings.
 578         Don't fold here.
 579
 580         * method.c (synthesized_method_walk): In constructors, also check
 581         subobject destructors.
 582
 583         * semantics.c (finish_compound_literal): Always build a
 584         TARGET_EXPR.
 585
 586 2010-08-30  Paolo Carlini  <paolo.carlini@oracle.com>
 587
 588         PR c++/45043
 589         * decl.c (grokdeclarator): Use MAIN_NAME_P only on IDENTIFIER_NODEs.
 590
 591 2010-08-30  Jakub Jelinek  <jakub@redhat.com>
 592
 593         PR middle-end/45423
 594         * parser.c (cp_parser_omp_atomic): Handle boolean
 595         {PRE,POST}_INCREMENT.
 596
 597 2010-08-29  Jason Merrill  <jason@redhat.com>
 598
 599         PR c++/44991
 600         * parser.c (cp_parser_parameter_declaration): Pop parameter decls
 601         after tentative parsing.
 602
 603 2010-08-22  Joseph Myers  <joseph@codesourcery.com>
 604
 605         * Make-lang.in (g++spec.o): Update dependencies.
 606         * g++spec.c: Include opts.h
 607         (MATH_LIBRARY, LIBSTDCXX): Remove initial "-l".
 608         (lang_specific_driver): Use cl_decoded_option structures.
 609
 610 2010-08-20  Nathan Froyd  <froydnj@codesourcery.com>
 611
 612         * call.c: Use FOR_EACH_VEC_ELT.
 613         * class.c: Likewise.
 614         * decl.c: Likewise.
 615         * decl2.c: Likewise.
 616         * error.c: Likewise.
 617         * except.c: Likewise.
 618         * mangle.c: Likewise.
 619         * method.c: Likewise.
 620         * name-lookup.c: Likewise.
 621         * parser.c: Likewise.
 622         * pt.c: Likewise.
 623         * repo.c: Likewise.
 624         * semantics.c: Likewise.
 625         * typeck2.c: Likewise.
 626
 627 2010-08-19  Jason Merrill  <jason@redhat.com>
 628
 629         * call.c (reference_related_p): Check for error_mark_node.
 630         (add_function_candidate): Check it instead of
 631         same_type_ignoring_top_level_qualifiers_p.
 632
 633         PR c++/45315
 634         * init.c (build_new_1): Don't use build_value_init in a template.
 635         (build_value_init): Make sure we don't.
 636
 637         PR c++/45307
 638         * cp-gimplify.c (cp_gimplify_expr): Also remove assignment
 639         of empty class CONSTRUCTOR.
 640
 641         * except.c (pending_noexcept, pending_noexcept_checks): New.
 642         (perform_deferred_noexcept_checks): New.
 643         (maybe_noexcept_warning): Split from...
 644         (finish_noexcept_expr): ...here.  Adjust.
 645         * decl2.c (cp_write_global_declarations): Call
 646         perform_deferred_noexcept_checks.
 647         * cp-tree.h: And declare it.
 648
 649 2010-08-18  Nathan Froyd  <froydnj@codesourcery.com>
 650
 651         PR c++/45049
 652         * name-lookup.c (push_overloaded_decl): Change DECL_CHAIN to
 653         TREE_CHAIN.
 654
 655 2010-08-17  Kai Tietz  <kai.tietz@onevision.com>
 656
 657         * class.c (note_name_declared_in_class): Make in 'extern "C"' blocks,
 658         or if -fms-extensions is enabled check, check permissive.
 659
 660 2010-08-09  Jason Merrill  <jason@redhat.com>
 661
 662         PR c++/45236
 663         * pt.c (lookup_template_class): Don't re-coerce outer parms.
 664
 665 2010-08-09  Nathan Froyd  <froydnj@codesourcery.com>
 666
 667         * call.c (add_builtin_candidates): Use VECs for local variable
 668         `types'.  Adjust remainder of function accordingly.
 669
 670 2010-08-09  Nathan Froyd  <froydnj@codesourcery.com>
 671
 672         * name-lookup.c (is_associated_namespace): Convert local variables
 673         to be VECs instead of TREE_LISTs.
 674
 675 2010-08-09  Nathan Froyd  <froydnj@codesourcery.com>
 676
 677         * tree.c (varargs_function_p): Use stdarg_p.
 678
 679 2010-08-07  Nathan Froyd  <froydnj@codesourcery.com>
 680
 681         * parser.c (cp_default_arg_entry): Declare.  Declare a VEC of it.
 682         (cp_unparsed_functions_entry): Declare.  Declare a VEC of it.
 683         (cp_parser) [unparsed_functions_queues]: Rename to unparsed_queues.
 684         Change type to a VEC.
 685         (unparsed_funs_with_default_args): Define.
 686         (unparsed_funs_with_definitions): Define.
 687         (push_unparsed_function_queues): New function.
 688         (cp_parser_new): Call it.
 689         (pop_unparsed_function_queues): New function.
 690         (cp_parser_class_specifier): Adjust processing of unparsed functions.
 691         (cp_parser_template_declaration_after_export): Use VEC_safe_push.
 692         (cp_parser_save_member_function_body): Likewise.
 693         (cp_parser_late_parsing_for_member): Call push_unparsed_function_queues
 694         and pop_unparsed_function_queues.
 695         (cp_parser_late_parsing_default_args): Likewise.
 696         (cp_parser_save_default_args): Use VEC_safe_push.
 697
 698 2010-08-07  Nathan Froyd  <froydnj@codesourcery.com>
 699
 700         * name-lookup.h (cp_label_binding): Declare.  Declare a VEC type
 701         containing it.
 702         (cp_binding_level): Convert shadowed_labels and dead_vars_from_for
 703         fields to VECs.
 704         * decl.c (poplevel): Adjust for type changes.
 705         (declare_local_label): Likewise.
 706
 707 2010-08-06  Jason Merrill  <jason@redhat.com>
 708
 709         * typeck.c (complete_type_or_maybe_complain): Split out from...
 710         (complete_type_or_else): Here.
 711         (build_class_member_access_expr): Call it.
 712         (finish_class_member_access_expr): Likewise.
 713         * call.c (build_special_member_call): Likewise.
 714         * cvt.c (build_expr_type_conversion): Likewise.
 715         * init.c (build_new): Likewise.
 716         * typeck2.c (build_functional_cast): Likewise.
 717         * cp-tree.h: Declare it.
 718
 719         * init.c (build_value_init): Add complain parm.
 720         (build_value_init_noctor): Likewise.
 721         (perform_member_init): Pass it.
 722         (expand_aggr_init_1): Likewise.
 723         (build_new_1): Likewise.
 724         (build_vec_init): Likewise.
 725         * pt.c (tsubst_expr): Likewise.
 726         * typeck2.c (build_functional_cast): Likewise.
 727         * cp-tree.h: Adjust.
 728         * tree.c (build_target_expr_with_type): Handle error_mark_node.
 729
 730         * typeck.c (decay_conversion): Any expression with type nullptr_t
 731         decays to nullptr.
 732
 733 2010-07-30  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
 734
 735         PR c++/45112
 736         * decl.c (duplicate_decls): Merge DECL_USER_ALIGN and DECL_PACKED.
 737
 738 2010-07-27  Jason Merrill  <jason@redhat.com>
 739
 740         * pt.c (tsubst_expr) [DECL_EXPR]: Handle getting an AGGR_INIT_EXPR
 741         from build_value_init.
 742         * init.c (build_value_init_noctor): Give error for unknown array
 743         bound.
 744
 745 2010-07-27  Joseph Myers  <joseph@codesourcery.com>
 746
 747         * cp-objcp-common.h (LANG_HOOKS_MISSING_ARGUMENT): Remove.
 748
 749 2010-07-27  Joseph Myers  <joseph@codesourcery.com>
 750
 751         * cp-objcp-common.c (cxx_initialize_diagnostics): First call
 752         c_common_initialize_diagnostics.
 753         * cp-objcp-common.h (LANG_HOOKS_OPTION_LANG_MASK,
 754         LANG_HOOKS_COMPLAIN_WRONG_LANG_P): Define.
 755
 756 2010-07-21  Jason Merrill  <jason@redhat.com>
 757
 758         * tree.c (cp_tree_equal): Fix CONSTRUCTOR handling.
 759
 760         * parser.c (cp_parser_init_declarator): Pass LOOKUP_NORMAL
 761         to cp_finish_decl.
 762
 763 2010-07-20  Jeffrey Yasskin  <jyasskin@google.com>
 764
 765         PR c++/44641
 766         * pt.c (instantiate_class_template): Propagate the template's
 767         location to its instance.
 768
 769 2010-07-20  Jason Merrill  <jason@redhat.com>
 770
 771         PR c++/44967
 772         * pt.c (tsubst_copy_and_build): Rework last change.
 773
 774         PR c++/44967
 775         * pt.c (tsubst_copy_and_build): Handle partial substitution of
 776         CALL_EXPR.
 777
 778 2010-07-19  Jason Merrill  <jason@redhat.com>
 779
 780         PR c++/44996
 781         * semantics.c (finish_decltype_type): Correct decltype
 782         of parenthesized rvalue reference variable.
 783
 784         PR c++/44969
 785         * tree.c (cp_tree_equal): Compare type of *CAST_EXPR.
 786         * pt.c (iterative_hash_template_arg): Hash type of *CAST_EXPR.
 787
 788 2010-07-19  Paolo Carlini  <paolo.carlini@oracle.com>
 789
 790         PR c++/44969
 791         * typeck.c (build_x_compound_expr_from_list): Add tsubst_flags_t
 792         parameter.
 793         * cp-tree.h: Adjust declaration.
 794         * init.c (perform_member_init): Adjust caller.
 795         * decl.c (grok_reference_init, cp_finish_decl): Likewise.
 796         * typeck2.c (store_init_value): Likewise.
 797         (build_functional_cast): Pass complain argument to
 798         build_x_compound_expr_from_list.
 799
 800 2010-07-16  Jason Merrill  <jason@redhat.com>
 801
 802         PR c++/32505
 803         * pt.c (process_partial_specialization): Diagnose partial
 804         specialization after instantiation.
 805         (most_specialized_class): Add complain parm.
 806
 807         * ptree.c (cxx_print_xnode): Handle TEMPLATE_INFO.
 808
 809 2010-07-15  Nathan Froyd  <froydnj@codesourcery.com>
 810
 811         * init.c (build_new_1): Use cp_build_function_call_nary instead of
 812         cp_build_function_call.
 813
 814 2010-07-15  Jason Merrill  <jason@redhat.com>
 815
 816         PR c++/44909
 817         * call.c (add_function_candidate): If we're working on an implicit
 818         declaration, don't consider candidates that won't match.
 819         * typeck.c (same_type_ignoring_top_level_qualifiers_p): Now a fn.
 820         * cp-tree.h (same_type_ignoring_top_level_qualifiers_p): Adjust.
 821
 822         Revert:
 823         * cp-tree.h (struct lang_type_class): Add has_user_opeq.
 824         (TYPE_HAS_USER_OPEQ): New.
 825         * decl.c (grok_special_member_properties): Set it.
 826         * class.c (add_implicitly_declared_members): Don't lazily declare
 827         constructors/operator= if a base or member has a user-declared one.
 828         (check_bases_and_members, check_bases): Adjust.
 829         (check_field_decls, check_field_decl): Adjust.
 830
 831 2010-07-15  Anatoly Sokolov  <aesok@post.ru>
 832
 833         * decl.c (integer_three_node): Remove.
 834         (cxx_init_decl_processing): Do not initialize the integer_three_node.
 835         * cp-tree.h (integer_three_node): Remove.
 836
 837 2010-07-15  Nathan Froyd  <froydnj@codesourcery.com>
 838
 839         * cp-tree.h: Carefully replace TREE_CHAIN with DECL_CHAIN.
 840         * call.c: Likewise.
 841         * class.c: Likewise.
 842         * cp-gimplify.c: Likewise.
 843         * decl.c: Likewise.
 844         * decl2.c: Likewise.
 845         * init.c: Likewise.
 846         * mangle.c: Likewise.
 847         * name-lookup.c: Likewise.
 848         * optimize.c: Likewise.
 849         * parser.c: Likewise.
 850         * pt.c: Likewise.
 851         * rtti.c: Likewise.
 852         * search.c: Likewise.
 853         * semantics.c: Likewise.
 854         * typeck.c: Likewise.
 855         * typeck2.c: Likewise.
 856
 857 2010-07-14  Jason Merrill  <jason@redhat.com>
 858
 859         * init.c (sort_mem_initializers): Rename "field_type" to "ctx".
 860         (build_field_list): Cache field type.
 861
 862         Implement C++0x unrestricted unions (N2544)
 863         * class.c (check_field_decl): Loosen union handling in C++0x.
 864         * method.c (walk_field_subobs): Split out from...
 865         (synthesized_method_walk): ...here.  Set msg before loops.
 866         (process_subob_fn): Check for triviality in union members.
 867         * init.c (sort_mem_initializers): Splice out uninitialized
 868         anonymous unions and union members.
 869         (push_base_cleanups): Don't automatically destroy anonymous unions
 870         and union members.
 871
 872 2010-07-13  Jason Merrill  <jason@redhat.com>
 873
 874         PR c++/44909
 875         * cp-tree.h (struct lang_type_class): Add has_user_opeq.
 876         (TYPE_HAS_USER_OPEQ): New.
 877         * decl.c (grok_special_member_properties): Set it.
 878         * class.c (add_implicitly_declared_members): Don't lazily declare
 879         constructors/operator= if a base or member has a user-declared one.
 880         (check_bases_and_members, check_bases): Adjust.
 881         (check_field_decls, check_field_decl): Adjust.
 882         * method.c (synthesized_method_walk): Initialize check_vdtor.
 883
 884         PR c++/44540
 885         * mangle.c (write_type): Canonicalize.
 886         (canonicalize_for_substitution): Retain cv-quals on FUNCTION_TYPE.
 887         (write_CV_qualifiers_for_type): Ignore them in abi>=5.
 888
 889 2010-07-13  Paolo Carlini  <paolo.carlini@oracle.com>
 890
 891         PR c++/44908
 892         * call.c (convert_like_real): Adjust convert_ptrmem call, pass
 893         complain argument.
 894         * typeck.c (get_delta_difference): Update prototype, add a
 895         tsubst_flags_t parameter; update get_delta_difference_1 calls and
 896         add checks for error_mark_node.
 897         (get_delta_difference_1): Update prototype, add a tsubst_flags_t
 898         parameter; update lookup_base call.
 899         (build_ptrmemfunc): Update prototype, add a tsubst_flags_t
 900         parameter; update get_delta_difference call and add check for
 901         error_mark_node.
 902         (convert_ptrmem): Update prototype, add a tsubst_flags_t
 903         parameter; update get_delta_difference call and add check for
 904         error_mark_node;  update build_ptrmemfunc call.
 905         (build_static_cast_1): Adjust convert_ptrmem call.
 906         (expand_ptrmemfunc_cst): Adjust get_delta_difference call.
 907         (cp_build_unary_op): Adjust build_ptrmemfunc call.
 908         * cvt.c (cp_convert_to_pointer, convert_force): Adjust convert_ptrmem
 909         and build_ptrmemfunc calls.
 910         * cp-tree.h: Update build_ptrmemfunc and convert_ptrmem prototypes.
 911
 912 2010-07-12  Paolo Carlini  <paolo.carlini@oracle.com>
 913
 914         PR c++/44907
 915         * call.c (build_temp): Add tsubst_flags_t complain parameter;
 916         adjust build_special_member_call call, pass complain.
 917         (convert_like_real): Adjust build_temp call, pass complain.
 918
 919 2010-07-09  Jason Merrill  <jason@redhat.com>
 920
 921         PR c++/43120
 922         * cp-tree.h (BV_LOST_PRIMARY): New macro.
 923         * class.c (update_vtable_entry_for_fn): Fix covariant thunk logic.
 924         Set BV_LOST_PRIMARY.
 925         (build_vtbl_initializer): Check BV_LOST_PRIMARY.
 926
 927 2010-07-08  Jason Merrill  <jason@redhat.com>
 928
 929         PR c++/43120
 930         * class.c (update_vtable_entry_for_fn): Fix handling of dummy
 931         virtual bases for covariant thunks.
 932
 933 2010-07-08  Manuel López-Ibáñez  <manu@gcc.gnu.org>
 934
 935         * cp-tree.h: Do not include toplev.h.
 936
 937 2010-07-06  Jason Merrill  <jason@redhat.com>
 938
 939         PR c++/44703
 940         * call.c (is_std_init_list): Look through typedefs.
 941
 942         PR c++/44778
 943         * init.c (build_offset_ref): If scope isn't dependent,
 944         don't exit early.  Look at TYPE_MAIN_VARIANT.
 945         * pt.c (tsubst_copy) [OFFSET_REF]: Do substitution.
 946
 947         * error.c (dump_function_decl): Don't crash on null DECL_NAME.
 948
 949 2010-07-06  Shujing Zhao  <pearly.zhao@oracle.com>
 950
 951         * cp-tree.h (impl_conv_void): New type.
 952         (convert_to_void): Adjust prototype.
 953         * cvt.c (convert_to_void): Use impl_conv_void, emit and adjust the
 954         diagnostic for easy translation. Change caller.
 955         * typeck.c: Update call to convert_to_void.
 956         * semantics.c: Likewise.
 957         * init.c: Likewise.
 958
 959 2010-07-05  Nathan Froyd  <froydnj@codesourcery.com>
 960
 961         * decl.c (cp_finish_decl): Call add_local_decl.
 962         * optimize.c (clone_body): Adjust for new type of cfun->local_decls.
 963
 964 2010-07-05  Paolo Carlini  <paolo.carlini@oracle.com>
 965
 966         * pt.c (tsubst): Early declare code = TREE_CODE (t) and use it
 967         throughout.
 968
 969 2010-07-05  Shujing Zhao  <pearly.zhao@oracle.com>
 970
 971         PR c++/22138
 972         * parser.c (cp_parser_primary_expression): Error if local template is
 973         declared.
 974
 975 2010-07-02  Le-Chun Wu  <lcwu@google.com>
 976
 977         PR/44128
 978         * name-lookup.c (pushdecl_maybe_friend): Warn when a local decl
 979         (variable or type) shadows another type.
 980
 981 2010-07-02  Jakub Jelinek  <jakub@redhat.com>
 982
 983         PR c++/44780
 984         * typeck.c (convert_for_assignment): When converting a convertible
 985         vector type or objc++ types, call mark_rvalue_use.
 986         * typeck2.c (build_m_component_ref): Use return values from
 987         mark_rvalue_use or mark_lvalue_use.
 988         * class.c (build_base_path): Likewise.
 989         * call.c (build_conditional_expr): Likewise.
 990
 991 2010-07-02  Paolo Carlini  <paolo.carlini@oracle.com>
 992
 993         PR c++/44039
 994         * pt.c (tsubst_baselink): Return error_mark_node if lookup_fnfields
 995         returns NULL_TREE.
 996
 997 2010-07-01  Richard Guenther  <rguenther@suse.de>
 998
 999         * cp-gimplify.c (cp_gimplify_expr): Open-code the rhs
1000         predicate we are looking for, allow non-gimplified
1001         INDIRECT_REFs.
1002
1003 2010-06-30  Paolo Carlini  <paolo.carlini@oracle.com>
1004
1005         PR c++/44628
1006         * typeck.c (cp_build_unary_op): Early return error_mark_node when
1007         arg is NULL_TREE too.
1008         * call.c (convert_class_to_reference): Return error_mark_node when
1009         expr is NULL_TREE.
1010
1011 2010-06-30  Michael Matz  <matz@suse.de>
1012
1013         * repo.c (finish_repo): Fix typo.
1014
1015 2010-06-30  Nathan Froyd  <froydnj@codesourcery.com>
1016
1017         * parser.c (cp_parser_omp_for_loop): Use a VEC for for_block.
1018
1019 2010-06-30  Nathan Froyd  <froydnj@codesourcery.com>
1020
1021         * repo.c (pending_repo): Change type to a VEC.
1022         (finish_repo): Adjust for new type of pending_repo.
1023         (repo_emit_p): Likewise.
1024
1025 2010-06-30  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1026
1027         * tree.c: Include gimple.h. Do not include tree-flow.h
1028         * decl.c: Do not include tree-flow.h
1029         * Make-lang.in: Adjust dependencies.
1030
1031 2010-06-29  Nathan Froyd  <froydnj@codesourcery.com>
1032
1033         * decl.c (incomplete_var): Declare.  Declare VECs containing them.
1034         (incomplete_vars): Adjust comment.  Change type to a VEC.
1035         (maybe_register_incomplete_var): Adjust for new type.
1036         (complete_vars): Adjust iteration over incomplete_vars.
1037
1038 2010-06-29  Nathan Froyd  <froydnj@codesourcery.com>
1039
1040         * decl.c (struct named_label_entry): Change type of bad_decls field
1041         to a VEC.
1042         (poplevel_named_label_1): Adjust for new type of bad_decls.
1043         (check_goto): Likewise.
1044
1045 2010-06-29  Jason Merrill  <jason@redhat.com>
1046
1047         Enable implicitly declared move constructor/operator= (N3053).
1048         * class.c (add_implicitly_declared_members): A class with no
1049         explicitly declared copy or move constructor gets both declared
1050         implicitly, and similarly for operator=.
1051         (check_bases): A type with no copy ctor does not inhibit
1052         a const copy ctor in a derived class.  It does mean the derived
1053         one is non-trivial.
1054         (check_field_decl): Likewise.
1055         (check_bases_and_members): A nonexistent copy ctor/op= is non-trivial.
1056         * tree.c (type_has_nontrivial_copy_init): Adjust semantics.
1057         (trivially_copyable_p): Likewise.
1058         * call.c (convert_like_real): Use type_has_nontrivial_copy_init.
1059         * class.c (finish_struct_bits): Likewise.
1060         * tree.c (build_target_expr_with_type): Likewise.
1061         * typeck2.c (store_init_value): Likewise.
1062
1063         Enable implicitly deleted functions (N2346)
1064         * class.c (check_bases_and_members): Adjust lambda flags.
1065         * method.c (implicitly_declare_fn): Set DECL_DELETED_FN if appropriate.
1066
1067         * decl2.c (mark_used): Adjust error for use of deleted function.
1068
1069         Machinery to support implicit delete/move.
1070         * cp-tree.h: (struct lang_type_class): Add lazy_move_assign,
1071         has_complex_move_ctor, has_complex_move_assign bitfields.
1072         (CLASSTYPE_LAZY_MOVE_ASSIGN): New.
1073         (TYPE_HAS_COMPLEX_MOVE_ASSIGN): New.
1074         (TYPE_HAS_COMPLEX_MOVE_CTOR): New.
1075         (enum special_function_kind): Add sfk_move_assignment.
1076         (LOOKUP_SPECULATIVE): New.
1077         * call.c (build_over_call): Return early if it's set.
1078         (build_over_call): Use trivial_fn_p.
1079         * class.c (check_bases): If the base has no default constructor,
1080         the derived one is non-trivial.  Handle move ctor/op=.
1081         (check_field_decl): Likewise.
1082         (check_bases_and_members): Handle move ctor/op=.
1083         (add_implicitly_declared_members): Handle CLASSTYPE_LAZY_MOVE_ASSIGN.
1084         (type_has_move_constructor, type_has_move_assign): New.
1085         * decl.c (grok_special_member_properties): Handle move ctor/op=.
1086         * method.c (type_has_trivial_fn, type_set_nontrivial_flag): New.
1087         (trivial_fn_p): New.
1088         (do_build_copy_constructor): Use it.
1089         (do_build_assign_ref): Likewise.  Handle move assignment.
1090         (build_stub_type, build_stub_object, locate_fn_flags): New.
1091         (locate_ctor): Use locate_fn_flags.
1092         (locate_copy, locate_dtor): Remove.
1093         (get_dtor, get_default_ctor, get_copy_ctor, get_copy_assign): New.
1094         (process_subob_fn, synthesized_method_walk): New.
1095         (maybe_explain_implicit_delete): New.
1096         (implicitly_declare_fn): Use synthesized_method_walk,
1097         type_has_trivial_fn, and type_set_nontrivial_flag.
1098         (defaulted_late_check): Set DECL_DELETED_FN.
1099         (defaultable_fn_check): Handle sfk_move_assignment.
1100         (lazily_declare_fn): Clear CLASSTYPE_LAZY_* early.  Don't declare
1101         implicitly deleted move ctor/op=.
1102         * search.c (lookup_fnfields_1): Handle sfk_move_assignment.
1103         (lookup_fnfields_slot): New.
1104         * semantics.c (omp_clause_info_fndecl): Remove.
1105         (cxx_omp_create_clause_info): Use get_default_ctor, get_copy_ctor,
1106         get_copy_assign, trivial_fn_p.
1107         (trait_expr_value): Adjust call to locate_ctor.
1108         * tree.c (special_function_p): Handle sfk_move_assignment.
1109
1110         * class.c (type_has_virtual_destructor): New.
1111         * cp-tree.h: Declare it.
1112         * semantics.c (trait_expr_value): Use it.
1113
1114         * call.c (build_over_call): Only give warnings with tf_warning.
1115
1116         * name-lookup.c (pop_scope): Handle NULL_TREE.
1117
1118         * cp-tree.h (TYPE_HAS_ASSIGN_REF): Rename to TYPE_HAS_COPY_ASSIGN.
1119         (TYPE_HAS_CONST_ASSIGN_REF): Rename to TYPE_HAS_CONST_COPY_ASSIGN.
1120         (TYPE_HAS_INIT_REF): Rename to TYPE_HAS_COPY_CTOR.
1121         (TYPE_HAS_CONST_INIT_REF): Rename to TYPE_HAS_CONST_COPY_CTOR.
1122         (TYPE_HAS_COMPLEX_ASSIGN_REF): Rename to TYPE_HAS_COMPLEX_COPY_ASSIGN.
1123         (TYPE_HAS_COMPLEX_INIT_REF): Rename to TYPE_HAS_COMPLEX_COPY_CTOR.
1124         (TYPE_HAS_TRIVIAL_ASSIGN_REF): Rename to TYPE_HAS_TRIVIAL_COPY_ASSIGN.
1125         (TYPE_HAS_TRIVIAL_INIT_REF): Rename to TYPE_HAS_TRIVIAL_COPY_CTOR.
1126         (CLASSTYPE_LAZY_ASSIGNMENT_OP): Rename to CLASSTYPE_LAZY_COPY_ASSIGN.
1127         (sfk_assignment_operator): Rename to sfk_copy_assignment.
1128         * decl.c, call.c, class.c, init.c, method.c, pt.c, ptree.c: Adjust.
1129         * search.c, semantics.c, tree.c: Adjust.
1130
1131         * pt.c (dependent_scope_ref_p): Remove.
1132         (value_dependent_expression_p): Don't call it.
1133         (type_dependent_expression_p): Here either.
1134         * init.c (build_offset_ref): Set TREE_TYPE on a qualified-id
1135         if the scope isn't dependent.
1136
1137         * pt.c (convert_nontype_argument): Use mark_lvalue_use if we want
1138         a reference.
1139
1140         PR c++/44587
1141         * pt.c (has_value_dependent_address): New.
1142         (value_dependent_expression_p): Check it.
1143         (convert_nontype_argument): Likewise.  Call decay_conversion before
1144         folding if we want a pointer.
1145         * semantics.c (finish_id_expression): Don't add SCOPE_REF if the
1146         scope is the current instantiation.
1147
1148 2010-06-28  Jakub Jelinek  <jakub@redhat.com>
1149
1150         PR c++/44682
1151         * class.c (build_base_path): If want_pointer, call mark_rvalue_use
1152         on expr.
1153
1154 2010-06-28  Steven Bosscher  <steven@gcc.gnu.org>
1155
1156         * init.c: Do not include except.h.
1157         * decl.c: Likewise.
1158         * expr.c: Likewise.
1159         * cp-lang.c: Likewise.
1160         * pt.c: Likewise.
1161         * semantics.c: Likewise.
1162         * decl2.c: Likewise.
1163         * except.c: Likewise.
1164         (init_exception_processing): Do not set the removed
1165         lang_protect_cleanup_actions here.
1166         (cp_protect_cleanup_actions): Make non-static and remove prototype.
1167         (doing_eh): New, moved from except.c but removed the do_warning flag.
1168         (expand_start_catch_block): Update doing_eh call.
1169         (expand_end_catch_block): Likewise.
1170         (build_throw): Likewise.
1171         * cp-tree.h: Prototype cp_protect_cleanup_actions.
1172         * cp-objcp-common.h: Set LANG_HOOKS_EH_PROTECT_CLEANUP_ACTIONS to
1173         cp_protect_cleanup_actions.
1174         * Make-lang.in: Update dependencies.
1175
1176 2010-06-26  Jason Merrill  <jason@redhat.com>
1177
1178         * call.c (add_function_candidate): Set LOOKUP_COPY_PARM for any
1179         constructor called with a single argument that takes a reference
1180         to the constructor's class.
1181         (BAD_CONVERSION_RANK): New.
1182         (compare_ics): Use it to compare bad ICSes.
1183
1184 2010-06-25  Joseph Myers  <joseph@codesourcery.com>
1185
1186         * lang-specs.h: Remove +e handling.
1187
1188 2010-06-24  Andi Kleen  <ak@linux.intel.com>
1189
1190         * parser.c: (cp_parser_question_colon_clause):
1191         Switch to use cp_lexer_peek_token.
1192         Call warn_for_omitted_condop. Call pedwarn for omitted
1193         middle operand.
1194
1195 2010-06-22  Jakub Jelinek  <jakub@redhat.com>
1196
1197         PR c++/44619
1198         * typeck2.c (build_m_component_ref): Call mark_lvalue_use on
1199         datum and mark_rvalue_use on component.
1200
1201         PR c++/44627
1202         * error.c (dump_expr): Don't look at CALL_EXPR_ARG (t, 0) if
1203         the CALL_EXPR has no arguments.
1204
1205 2010-06-21  Jason Merrill  <jason@redhat.com>
1206
1207         * typeck.c (comp_except_specs): Fix ce_derived with noexcept.
1208
1209         * semantics.c (check_trait_type): Check COMPLETE_TYPE_P for array
1210         element type.
1211
1212 2010-06-17  Nathan Froyd  <froydnj@codesourcery.com>
1213
1214         * name-lookup.c (struct arg_lookup): Convert namespaces and
1215         classes fields to VEC.
1216         (arg_assoc_namespace): Adjust for new type of namespaces.
1217         (arg_assoc_class): Adjust for new type of classes.
1218         (lookup_arg_dependent): Use make_tree_vector and
1219         release_tree_vector.
1220         * typeck2.c (build_x_arrow): Use vec_member.
1221
1222 2010-06-17  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1223
1224         PR c++/44486
1225         * error.c (dump_decl): Better wording for anonymous namespace.
1226
1227 2010-06-16  Nathan Froyd  <froydnj@codesourcery.com>
1228
1229         * class.c (build_vtbl_initializer): Adjust computation of new_position
1230         and which entry to add padding for.
1231
1232 2010-06-16  Jason Merrill  <jason@redhat.com>
1233
1234         * except.c (check_noexcept_r): Return the problematic function.
1235         (finish_noexcept_expr): Give -Wnoexcept warning.  Add complain parm.
1236         * pt.c (tsubst_copy_and_build): Pass it.
1237         * parser.c (cp_parser_unary_expression): Likewise.
1238         * cp-tree.h: Adjust prototype.
1239
1240         * method.c (defaulted_late_check): Give the defaulted method
1241         the same exception specification as the implicit declaration.
1242
1243 2010-06-15  Jason Merrill  <jason@redhat.com>
1244
1245         * class.c (add_implicitly_declared_members): Implicit assignment
1246         operators can also be virtual overriders.
1247         * method.c (lazily_declare_fn): Likewise.
1248
1249         * call.c (convert_like_real): Give "initializing argument of"
1250         information for ambiguous conversion.  Give source position
1251         of function.
1252
1253         * call.c (print_z_candidates): Do print viable deleted candidates.
1254         (joust): Don't choose a deleted function just because its worst
1255         conversion is better than another candidate's worst.
1256
1257         * call.c (convert_like_real): Don't complain about
1258         list-value-initialization from an explicit constructor.
1259
1260         * decl.c (duplicate_decls): Use DECL_IS_BUILTIN rather than test
1261         DECL_SOURCE_LOCATION directly.
1262
1263         * class.c (type_has_user_provided_default_constructor): Use
1264         sufficient_parms_p.
1265
1266         * call.c (is_subseq): Handle ck_aggr, ck_list.
1267         (compare_ics): Treat an aggregate or ambiguous conversion to the
1268         same type as involving the same function.
1269
1270 2010-06-13  Shujing Zhao  <pearly.zhao@oracle.com>
1271
1272         * typeck.c (convert_for_assignment): Fix comment. Change message
1273         format from %d to %qP.
1274         (convert_for_initialization): Fix comment.
1275
1276 2010-06-11  Shujing Zhao  <pearly.zhao@oracle.com>
1277
1278         * cp-tree.h (expr_list_kind): New type.
1279         (impl_conv_rhs): New type.
1280         (build_x_compound_expr_from_list, convert_for_initialization): Adjust
1281         prototype.
1282         (typeck.c (convert_arguments): Use impl_conv_rhs and emit the
1283         diagnostics for easy translation. Change caller.
1284         (convert_for_initialization): Use impl_conv_rhs and change caller.
1285         (build_x_compound_expr_from_list): Use expr_list_kind and emit the
1286         diagnostics for easy translation. Change caller.
1287         * decl.c (bad_spec_place): New enum.
1288         (bad_specifiers): Use it and emit the diagnostics for easy
1289         translation. Change caller.
1290         * pt.c (coerce_template_parms): Put the diagnostics in full sentence.
1291
1292 2010-06-09  Nathan Froyd  <froydnj@codesourcery.com>
1293
1294         * cp-tree.h (struct saved_scope): Change decl_ns_list field type
1295         to a VEC.
1296         * decl2.c (cp_write_global_declarations): Adjust for new type of
1297         decl_namespace_list.
1298         * name-lookup.c (current_decl_namespace): Likewise.
1299         (push_decl_namespace): Likewise.
1300         (pop_decl_namespace): Likewise.
1301
1302 2010-06-09  Nathan Froyd  <froydnj@codesourcery.com>
1303
1304         * call.c (build_java_interface_fn_ref): Call build_function_type_list
1305         instead of build_function_type.
1306         * decl.c (cxx_init_decl_processing): Likewise.
1307         (declare_global_var): Likewise.
1308         (get_atexit_node): Likewise.
1309         (expand_static_init): Likewise.
1310         * decl2.c (start_objects): Likewise.
1311         (start_static_storage_duration_function): Likewise.
1312         * except.c (init_exception_processing): Likewise.
1313         (build_exc_ptr): Likewise.
1314         (build_throw): Likewise.
1315         * rtti.c (throw_bad_cast): Likewise.
1316         (throw_bad_typeid): Likewise.
1317         (build_dynamic_cast_1): Likewise.
1318
1319 2010-06-09  Nathan Froyd  <froydnj@codesourcery.com>
1320
1321         * call.c (build_call_n): Call XALLOCAVEC instead of alloca.
1322         (build_op_delete_call): Likewise.
1323         (build_over_call): Likewise.
1324         * cp-gimplify.c (cxx_omp_clause_apply_fn): Likewise.
1325         * pt.c (process_partial_specialization): Likewise.
1326         (tsubst_template_args): Likewise.
1327         * semantics.c (finish_asm_stmt): Likewise.
1328
1329 2010-06-08  Nathan Sidwell  <nathan@codesourcery.com>
1330
1331         * decl.c (record_key_method_defined): New, broken out of ...
1332         (finish_function): ... here.  Call it.
1333         (start_decl): Treat aliases as definitions.
1334
1335 2010-06-08  Laurynas Biveinis  <laurynas.biveinis@gmail.com>
1336
1337         * typeck2.c (abstract_virtuals_error): Use typed GC allocation.
1338
1339         * pt.c (maybe_process_partial_specialization): Likewise.
1340         (register_specialization): Likewise.
1341         (add_pending_template): Likewise.
1342         (lookup_template_class): Likewise.
1343         (push_tinst_level): Likewise.
1344
1345         * parser.c (cp_lexer_new_main): Likewise.
1346         (cp_lexer_new_from_tokens): Likewise.
1347         (cp_token_cache_new): Likewise.
1348         (cp_parser_context_new): Likewise.
1349         (cp_parser_new): Likewise.
1350         (cp_parser_nested_name_specifier_opt): Likewise.
1351         (cp_parser_template_id): Likewise.
1352
1353         * name-lookup.c (binding_entry_make): Likewise.
1354         (binding_table_construct): Likewise.
1355         (binding_table_new): Likewise.
1356         (cxx_binding_make): Likewise.
1357         (pushdecl_maybe_friend): Likewise.
1358         (begin_scope): Likewise.
1359         (push_to_top_level): Likewise.
1360
1361         * lex.c (init_reswords): Likewise.
1362         (retrofit_lang_decl): Likewise.
1363         (cxx_dup_lang_specific_decl): Likewise.
1364         (copy_lang_type): Likewise.
1365         (cxx_make_type): Likewise.
1366
1367         * decl.c (make_label_decl): Likewise.
1368         (check_goto): Likewise.
1369         (start_preparsed_function): Likewise.
1370         (save_function_data): Likewise.
1371
1372         * cp-tree.h (TYPE_SET_PTRMEMFUNC_TYPE): Likewise.
1373
1374         * cp-objcp-common.c (decl_shadowed_for_var_insert): Likewise.
1375
1376         * class.c (finish_struct_1): Likewise.
1377
1378         * cp-tree.h (struct lang_type): Add variable_size GTY option.
1379         (struct lang_decl): Likewise.
1380
1381         * parser.c (cp_parser_new): Update comment to not reference
1382         ggc_alloc.
1383
1384 2010-06-07  Jason Merrill  <jason@redhat.com>
1385
1386         PR c++/44366
1387         * error.c (dump_parameters): Mask out TFF_SCOPE.
1388         (dump_simple_decl): Don't print the scope of a PARM_DECL.
1389         (dump_scope): Remove no-op mask.
1390
1391         PR c++/44401
1392         * parser.c (cp_parser_lookup_name): Fix naming the constructor.
1393
1394         * cp-tree.h (COMPLETE_OR_OPEN_TYPE_P): New macro.
1395         * init.c (build_offset_ref): Use it.
1396         * pt.c (maybe_process_partial_specialization): Use it.
1397         (instantiate_class_template): Use it.
1398         * search.c (lookup_base): Use it.
1399
1400 2010-06-07  Jakub Jelinek  <jakub@redhat.com>
1401
1402         PR c++/44444
1403         * expr.c (mark_exp_read): Handle INDIRECT_REF.
1404         * cvt.c (convert_to_void): Handle INDIRECT_REF like
1405         handled_component_p.
1406
1407         PR c++/44443
1408         * decl.c (initialize_local_var): If TREE_USED is set on the type,
1409         set also DECL_READ_P on the decl.
1410
1411 2010-05-25  Dodji Seketeli  <dodji@redhat.com>
1412
1413         PR c++/44188
1414         * cp-tree.h (typedef_variant_p): Move this declaration to
1415         gcc/tree.h.
1416         * tree.c (typedef_variant_p): Move this definition to gcc/tree.c.
1417         * decl.c (grokdeclarator): Do not rename debug info of an
1418         anonymous tagged type named by a typedef.
1419
1420 2010-06-05  Fabien Chêne  <fabien@gcc.gnu.org>
1421
1422         PR c++/44086
1423         * class.c (check_field_decls): Move the call to
1424         check_bitfield_decl before trying to set the
1425         CLASSTYPE_READONLY_FIELDS_NEED_INIT flag.
1426
1427 2010-06-05  Steven Bosscher  <steven@gcc.gnu.org>
1428
1429         * typeck.c: Update include path for moved files.
1430         * decl.c: Likewise.
1431         * rtti.c: Likewise.
1432         * cp-gimplify.c: Likewise.
1433         * cp-lang.c: Likewise.
1434         * pt.c: Likewise.
1435         * semantics.c: Likewise.
1436         * cxx-pretty-print.h: Likewise.
1437         * decl2.c: Likewise.
1438         * parser.c: Likewise.
1439         * cp-objcp-common.c: Likewise.
1440         * cp-tree.h: Likewise.
1441         * name-lookup.c: Likewise.
1442         * lex.c: Likewise.
1443         * name-lookup.h: Likewise.
1444         * config-lang.in: Update paths in gtfiles for files in c-family/.
1445         * Make-lang.in: Likewise.
1446
1447 2010-06-04  Magnus Fromreide  <magfr@lysator.liu.se>
1448
1449         * cvt.c (cp_convert_to_pointer): Use null_ptr_cst_p.
1450         * typeck.c (build_ptrmemfunc): Likewise.
1451
1452 2010-06-04  Jason Merrill  <jason@redhat.com>
1453
1454         * typeck2.c (merge_exception_specifiers): Adjust merging of
1455         throw() and noexcept(true).
1456
1457         * pt.c (value_dependent_expression_p) [NOEXCEPT_EXPR]: Avoid
1458         using an uninitialized variable.
1459
1460         * cxx-pretty-print.c (pp_cxx_unary_expression): Handle NOEXCEPT_EXPR.
1461         (pp_cxx_expression): Likewise.
1462
1463         Implement noexcept-specification (15.4)
1464         * parser.c (cp_parser_exception_specification_opt): Parse it.
1465         Give -Wdeprecated warning about throw() specs.
1466         * pt.c (tsubst_exception_specification): Handle it.
1467         * error.c (dump_exception_spec): Handle it.
1468         (dump_expr): Handle NOEXCEPT_EXPR.
1469         * cxx-pretty-print.c (pp_cxx_exception_specification): Likewise.
1470         * typeck.c (comp_except_specs): Handle compatibility rules.
1471         Change exact parm to take an enum.
1472         * typeck2.c (merge_exception_specifiers): Handle noexcept.
1473         * except.c (nothrow_spec_p, type_noexcept_p): New fns.
1474         (type_throw_all_p, build_noexcept_spec): New fns.
1475         * cp-tree.h (TYPE_NOTHROW_P, TYPE_NOEXCEPT_P): Use them.
1476         (comp_except_specs): Define ce_derived, ce_normal, ce_exact enums.
1477         (cp_tree_index): Add CPTI_NOEXCEPT_TRUE_SPEC, CPTI_NOEXCEPT_FALSE_SPEC.
1478         (noexcept_true_spec, noexcept_false_spec): New macros.
1479         * name-lookup.c (pushdecl_maybe_friend): Adjust.
1480         * search.c (check_final_overrider): Adjust.
1481         * decl.c (check_redeclaration_exception_specification): Adjust.
1482         (use_eh_spec_block): Use type_throw_all_p.
1483         (cxx_init_decl_processing): Set noexcept_false_spec,noexcept_true_spec.
1484         Give operator new a noexcept-specification in C++0x mode.
1485         * tree.c (build_exception_variant, cxx_type_hash_eq): Adjust.
1486         (cp_build_type_attribute_variant): Don't test TYPE_RAISES_EXCEPTIONS.
1487
1488         Implement noexcept operator (5.3.7)
1489         * cp-tree.def (NOEXCEPT_EXPR): New.
1490         * except.c (check_noexcept_r, finish_noexcept_expr): New.
1491         * cp-tree.h: Declare finish_noexcept_expr.
1492         * parser.c (cp_parser_unary_expression): Parse noexcept-expression.
1493         * pt.c (tsubst_copy_and_build): And tsubst it.
1494         (type_dependent_expression_p): Handle it.
1495         (value_dependent_expression_p): Handle it.
1496
1497         * call.c (build_conditional_expr): Never fold in unevaluated context.
1498         * tree.c (build_aggr_init_expr): Propagate TREE_NOTHROW.
1499         * semantics.c (simplify_aggr_init_expr): Likewise.
1500         * typeck.c (merge_types): Call merge_exception_specifiers.
1501         * decl.c (duplicate_decls): Check DECL_SOURCE_LOCATION rather than
1502         DECL_ANTICIPATED for preferring new type.
1503
1504 2010-06-04  Joseph Myers  <joseph@codesourcery.com>
1505
1506         * g++spec.c (lang_specific_driver): Use GCC-specific formats in
1507         diagnostics.
1508
1509 2010-06-04  Jakub Jelinek  <jakub@redhat.com>
1510
1511         PR c++/44412
1512         * typeck.c (build_class_member_access_expr): Call mark_exp_read
1513         on object for static data members.
1514
1515 2010-06-04  Jakub Jelinek  <jakub@redhat.com>
1516             Jason Merrill  <jason@redhat.com>
1517
1518         PR c++/44362
1519         * call.c (build_conditional_expr): If both arg2 and arg3 are lvalues
1520         with the same type, call mark_lvalue_use on both.
1521
1522 2010-06-03  Nathan Froyd  <froydnj@codesourcery.com>
1523
1524         * class.c (struct vtbl_init_data_s): Remove last_init field.
1525         (struct secondary_vptr_vtt_init_data_s): Change type of inits field
1526         to a VEC.
1527         (finish_vtbls): Use a VEC rather than a TREE_LIST for the accumulated
1528         initializers.
1529         (build_vtt): Likewise.
1530         (initialize_vtable): Take a VEC instead of a tree.
1531         (build_vtt_inits): Change return type to void.  Take a VEC **
1532         instead of a tree *; accumulate results into said VEC.
1533         (build_ctor_vtbl_group): Use a VEC rather than a TREE_LIST for the
1534         accumulated initializers.  Pass the vtable to accumulate_vtbl_inits.
1535         (accumulate_vtbl_inits): Add extra vtable tree parameter; take a VEC
1536         instead of a tree.
1537         (dfs_accumulate_vtbl_inits): Likewise.  Change return type to void.
1538         (build_vtbl_initializer): Add VEC parameter; accumulate initializers
1539         into it.
1540         (dfs_build_secondary_vptr_vtt_inits): Use CONSTRUCTOR_APPEND_ELT
1541         rather than tree_cons.
1542         (build_vbase_offset_vtbl_entries): Likewise.
1543         (add_vcall_offset): Likewise.
1544         (build_rtti_vtbl_entries): Likewise.
1545         * cp-tree.h (initialize_artificial_var): Take a VEC instead of a tree.
1546         * decl.c (initialize_artificial_var): Use build_constructor instead
1547         of build_constructor_from_list.
1548
1549 2010-06-03  H.J. Lu  <hongjiu.lu@intel.com>
1550
1551         PR c++/44294
1552         * class.c (layout_class_type): Check MAX_FIXED_MODE_SIZE on
1553         bit-field.
1554
1555 2010-06-02  Jonathan Wakely  <jwakely.gcc@gmail.com>
1556
1557         * parser.c (cp_parser_mem_initializer_list): Change error text.
1558
1559 2010-06-02  Jakub Jelinek  <jakub@redhat.com>
1560
1561         * cp-objcp-common.c (shadowed_var_for_decl): Change into
1562         tree_decl_map hashtab from tree_map.
1563         (decl_shadowed_for_var_lookup, decl_shadowed_for_var_insert): Adjust.
1564         (init_shadowed_var_for_decl): Adjust initialization.
1565
1566         PR c++/44361
1567         * cvt.c (convert_to_void): If implicit is NULL, call mark_rvalue_use
1568         instead of calling mark_exp_read only when not an assignment.
1569
1570         PR debug/44367
1571         * semantics.c (finalize_nrv): Don't copy DECL_ARTIFICIAL, DECL_IGNORED_P,
1572         DECL_SOURCE_LOCATION and DECL_ABSTRACT_ORIGIN from var to result.
1573         Set DECL_VALUE_EXPR on var.
1574
1575 2010-06-02  Jason Merrill  <jason@redhat.com>
1576
1577         * error.c (dump_type): Improve typedef handling.
1578
1579         PR c++/9726
1580         PR c++/23594
1581         PR c++/44333
1582         * name-lookup.c (same_entity_p): New.
1583         (ambiguous_decl): Multiple declarations of the same entity
1584         are not ambiguous.
1585
1586 2010-06-01  Jason Merrill  <jason@redhat.com>
1587
1588         DR 990
1589         * call.c (add_list_candidates): Prefer the default constructor.
1590         (build_aggr_conv): Treat missing initializers like { }.
1591         * typeck2.c (process_init_constructor_record): Likewise.
1592         * init.c (expand_default_init): Use digest_init for
1593         direct aggregate initialization, too.
1594
1595         * call.c (add_list_candidates): Split out...
1596         (build_user_type_conversion_1): ...from here.
1597         (build_new_method_call): And here.
1598         (implicit_conversion): Propagate LOOKUP_NO_NARROWING.
1599
1600         PR c++/44358
1601         * call.c (build_list_conv): Set list-initialization flags properly.
1602
1603 2010-06-01  Nathan Froyd  <froydnj@codesourcery.com>
1604
1605         * typeck2.c (build_x_arrow): Make types_memoized a VEC.
1606
1607 2010-06-01  Arnaud Charlet  <charlet@adacore.com>
1608             Matthew Gingell  <gingell@adacore.com>
1609
1610         * Make-lang.in (CXX_C_OBJS): Add c-ada-spec.o.
1611         * decl2.c: Include langhooks.h and c-ada-spec.h.
1612         (cpp_check, collect_source_refs, collect_ada_namespace,
1613         collect_all_refs): New functions.
1614         (cp_write_global_declarations): Add handling of -fdump-ada-spec.
1615         * lang-specs.h: Ditto.
1616
1617 2010-05-29  Nathan Froyd  <froydnj@codesourcery.com>
1618
1619         * cp-tree.h (cp_build_function_call_nary): Declare.
1620         * typeck.c (cp_build_function_call_nary): Define.
1621         * decl.c (register_dtor_fn): Use it instead of
1622         cp_build_function_call.
1623         (cxx_maybe_build_cleanup): Likewise.
1624         * decl2.c (generate_ctor_or_dtor_function): Likewise.
1625         * except.c (do_get_exception_ptr): Likewise.
1626         (do_begin_catch): Likewise.
1627         (do_allocate_exception): Likewise.
1628         (do_free_exception): Likewise.
1629         (build_throw): Likewise.  Use cp_build_function_call_vec instead
1630         of cp_build_function_call.
1631         (do_end_catch): Likewise.
1632
1633 2010-05-29  Nathan Froyd  <froydnj@codesourcery.com>
1634
1635         * cp-tree.h (struct cp_decl_specifier_seq): Move type_location field up.
1636         (struct cp_declarator): Move id_loc field up.
1637
1638 2010-05-29  Steven Bosscher  <steven@gcc.gnu.org>
1639
1640         * cp-tree.h (ATTRIBUTE_GCC_CXXDIAG): Remove.  Require that
1641         this file is included before c-common.h.  Define GCC_DIAG_STYLE
1642         before including diagnostic-core.h and toplev.h.
1643         (pedwarn_cxx98): Use ATTRIBUTE_GCC_DIAG.
1644         * pt.c: Include cp-tree.h before c-common.h.
1645
1646 2010-05-29  Steven Bosscher  <steven@gcc.gnu.org>
1647
1648         * tree.c (c_register_addr_space): Add stub.
1649
1650 2010-05-28  Joseph Myers  <joseph@codesourcery.com>
1651
1652         * g++spec.c (lang_specific_driver): Use fatal_error instead of
1653         fatal.
1654
1655 2010-05-28  Dodji Seketeli  <dodji@redhat.com>
1656
1657         Revert fix of PR c++/44188
1658         * cp-tree.h (typedef_variant_p): Revert moving this declaration to
1659         gcc/tree.h.
1660         * tree.c (typedef_variant_p): Revert moving this definition to
1661         gcc/tree.c.
1662         * decl.c (grokdeclarator): Revert naming typedef handling.
1663
1664 2010-05-27  Joseph Myers  <joseph@codesourcery.com>
1665
1666         * call.c: Include diagnostic-core.h instead of diagnostic.h.
1667         * cp-lang.c: Don't include diagnostic.h
1668         * name-lookup.c: Include diagnostic-core.h instead of
1669         diagnostic.h.
1670         (cp_emit_debug_info_for_using): Use seen_error.
1671         * optimize.c: Include diagnostic-core.h instead of diagnostic.h.
1672         * parser.c: Include diagnostic-core.h instead of diagnostic.h.
1673         * pt.c (iterative_hash_template_arg): Use seen_error.
1674         * repo.c: Include diagnostic-core.h instead of diagnostic.h.
1675         * typeck2.c: Include diagnostic-core.h instead of diagnostic.h.
1676         * Make-lang.in (cp/cp-lang.o, cp/typeck2.o, cp/call.o, cp/repo.o,
1677         cp/optimize.o, cp/parser.o, cp/name-lookup.o): Update
1678         dependencies.
1679
1680 2010-05-25  Dodji Seketeli  <dodji@redhat.com>
1681
1682         PR c++/44188
1683         * cp-tree.h (typedef_variant_p): Move this declaration to
1684         gcc/tree.h.
1685         * tree.c (typedef_variant_p): Move this definition to gcc/tree.c.
1686         * decl.c (grokdeclarator): Do not rename debug info of an
1687         anonymous tagged type named by a typedef.
1688
1689 2010-05-27  Jason Merrill  <jason@redhat.com>
1690
1691         PR c++/43555
1692         * decl.c (grokdeclarator) [cdk_pointer et al]: Force evaluation of
1693         anonymous VLA size.
1694
1695 2010-05-27  Kai Tietz  <kai.tietz@onevision.com>
1696
1697         PR bootstrap/44287
1698         * rtti.c (emit_support_tinfos): Check for NULL_TREE.
1699         * class.c (layout_class_type): Likewise.
1700         * decl.c (finish_enum): Likewise.
1701         * mangle.c (write_builitin_type): Likewise.
1702
1703 2010-05-26  Kai Tietz  <kai.tietz@onevision.com>
1704
1705         * cp-tree.h (cp_decl_specifier_seq): Add new bifield
1706         explicit_int128_p.
1707         * decl.c (grokdeclarator): Handle __int128.
1708         * parser.c (cp_lexer_next_token_is_decl_specifier_ke): Likewise.
1709         (cp_parser_simple_type_specifier): Likewise.
1710         * rtti.c (emit_support_tinfos): Add int128 nodes for rtti.
1711         * typeck.c (cp_common_type): Handle __int128.
1712         * mangle.c (integer_type_codes): Add itk_int128 and
1713         itk_unsigned_int128.
1714
1715 2010-05-26  Jason Merrill  <jason@redhat.com>
1716
1717         PR c++/43382
1718         * pt.c (tsubst_pack_expansion): Don't get confused by recursive
1719         unification.
1720
1721 2010-05-26  Steven Bosscher  <steven@gcc.gnu.org>
1722
1723         * cp-lang.c: Do not include expr.h.
1724
1725 2010-05-26  Steven Bosscher  <steven@gcc.gnu.org>
1726
1727         * decl.c: Do not include rtl.h
1728         * semantics.c: Likewise.
1729
1730 2010-05-25  Steven Bosscher  <steven@gcc.gnu.org>
1731
1732         * cp-tree.h: Do not include splay-tree.h.
1733         (struct prtmem_cst): Remove unused field and false comment.
1734         * typeck.c: Do not include rtl.h, expr.h, and tm_p.h.
1735         * optimize.c: Do not inclde rtl.h, insn-config.h, and integrate.h.
1736         * init.c: Do not include rtl.h and expr.h.
1737         * class.c: Do not include rtl.h.  Include splay-tree.h.
1738         (build_clone): Use plain NULL instead of NULL_RTX.
1739         * decl.c: Do not include expr.h.  Explain why rtl.h has to be
1740         included.  Include splay-tree.h.
1741         * method.c: Do not include rtl.h and expr.h.
1742         (use_thunk): Use plain NULL instead of NULL_RTX.
1743         * except.c: Do not include rtl.h, expr.h, and libfuncs.h.
1744         * tree.c: Do not include rtl.h, insn-config.h, integrate.h,
1745         and target.h.  Include splay-tree.h.
1746         * expr.c: Do not include rtl.h and expr.h.
1747         * pt.c: Do not include obstack.h and rtl.h.
1748         (tsubst_friend_function): Use plain NULL instead of NULL_RTX.
1749         (tsubst_decl): Likewise.
1750         (instantiate_decl): Likewise.
1751         * semantics.c: Do not include exprt.h and debug.h.  Explain why
1752         rtl.h has to be included.
1753         * decl2.c: Do not include rtl.h and expr.h.  Include splay-tree.h.
1754         * call.c: Do not include rtl.h and expr.h.
1755         * search.c: Do not include obstack.h and rtl.h.
1756         * friend.c: Do not include rtl.h and expr.h.
1757         * Make-lang.in: Update dependencies.
1758
1759 2010-05-25  Jakub Jelinek  <jakub@redhat.com>
1760
1761         PR c++/18249
1762         * parser.c (non_integral_constant): Add NIC_NONE.
1763         (required_token): Add RT_NONE.
1764         (cp_parser_unary_expression): Initialize non_constant_p
1765         to NIC_NONE.
1766         (cp_parser_asm_definition): Initialize missing to RT_NONE.
1767         (cp_parser_primary_expression, cp_parser_postfix_expression,
1768         cp_parser_cast_expression, cp_parser_binary_expression,
1769         cp_parser_functional_cast): Fix formatting.
1770
1771 2010-05-25  Shujing Zhao  <pearly.zhao@oracle.com>
1772
1773         PR c++/18249
1774         * parser.c: Remove inclusion of dyn-string.h.
1775         (non_integral_constant): New enum.
1776         (name_lookup_error): New enum.
1777         (required_token): New enum.
1778         (cp_parser_required_error): New function.
1779         (cp_parser_require): Change the type of variable token_desc to
1780         required_token and use cp_parser_required_error.
1781         (cp_parser_require_keyword): Likewise.
1782         (cp_parser_error): Use gmsgid as parameter.
1783         (cp_parser_name_lookup_error): Change the type of variable desired to
1784         name_lookup_error and put the diagnostic in the full sentences. Change
1785         caller.
1786         (cp_parser_non_integral_constant_expression): Change the type of the
1787         variable thing to non_integral_constant and put the diagnostics in
1788         full sentences. Change caller.
1789
1790 2010-05-24  Eric Botcazou  <ebotcazou@adacore.com>
1791
1792         PR middle-end/44100
1793         * typeck.c (cp_build_unary_op): Fold offsetof-like computations.
1794
1795 2010-05-24  Joseph Myers  <joseph@codesourcery.com>
1796
1797         * error.c (cp_diagnostic_starter): Update call to
1798         diagnostic_build_prefix.
1799         (cp_print_error_function,
1800         print_instantiation_partial_context_line): Check show_column flag
1801         in context.
1802
1803 2010-05-24  Jason Merrill  <jason@redhat.com>
1804
1805         PR c++/41510
1806         * decl.c (check_initializer): Don't wrap an init-list in a
1807         TREE_LIST.
1808         * init.c (build_aggr_init): Don't assume copy-initialization if
1809         init has CONSTRUCTOR_IS_DIRECT_INIT.
1810         * call.c (build_new_method_call): Sanity check.
1811
1812 2010-05-24  Nathan Froyd  <froydnj@codesourcery.com>
1813
1814         * rtti.c (tinfo_base_init): Use build_constructor instead of
1815         build_constructor_from_list.  Don't cons a tree node for
1816         returning.
1817         (generic_initializer): Use build_constructor_single instead of
1818         build_constructor_from_list.
1819         (ptr_initializer): Use build_constructor instead of
1820         build_constructor_from_list
1821         (ptm_initializer): Likewise.
1822         (class_initializer): Likewise.  Take varargs instead of TRAIL.
1823         (get_pseudo_ti_init): Adjust calls to class_initializer.  Use
1824         build_constructor instead of build_constructor_from_list.
1825
1826 2010-05-22  Steven Bosscher  <steven@gcc.gnu.org>
1827
1828         * semantics.c: Include bitmap.h.
1829         * Make-lang.in: Update dependencies.
1830
1831 2010-05-22  Jan Hubicka  <jh@suse.cz>
1832
1833         * decl2.c (maybe_emit_vtables): Produce same comdat group when outputting
1834         comdat vtables.
1835         (cxx_callgraph_analyze_expr): Remove code marking vtables needed.
1836
1837 2010-05-21  Joseph Myers  <joseph@codesourcery.com>
1838
1839         * cxx-pretty-print.c: Correct merge error.
1840
1841 2010-05-21  Joseph Myers  <joseph@codesourcery.com>
1842
1843         * error.c: Include tree-diagnostic.h and tree-pretty-print.h.
1844         (cp_print_error_function): Use diagnostic_abstract_origin macro.
1845         (cp_printer): Handle %K here using percent_K_format.
1846         * cxx-pretty-print.c: Include tree-pretty-print.h.
1847         * Make-lang.in (cp/error.o, cp/cxx-pretty-print.o): Update
1848         dependencies.
1849
1850 2010-05-21  Steven Bosscher  <steven@gcc.gnu.org>
1851
1852         * error.c, tree.c, typeck2.c, cxx-pretty-print.c, mangle.c:
1853         Clean up redundant includes.
1854
1855 2010-05-20  Paolo Carlini  <paolo.carlini@oracle.com>
1856
1857         PR c++/30298
1858         * decl.c (xref_basetypes): Return false in case of ill-formed
1859         redefinition.
1860
1861 2010-05-19  Jason Merrill  <jason@redhat.com>
1862
1863         * call.c (reference_binding): Use cp_build_qualified_type_real
1864         and cp_type_quals consistently.
1865         (add_function_candidate): Likewise.
1866         (build_conditional_expr): Likewise.
1867         (convert_like_real): Likewise.
1868         (type_passed_as): Likewise.
1869         * class.c (add_method): Likewise.
1870         (same_signature_p): Likewise.
1871         (layout_class_type): Likewise.
1872         * decl.c (cxx_init_decl_processing): Likewise.
1873         (cp_fname_init): Likewise.
1874         (grokdeclarator): Likewise.
1875         * decl2.c (cp_reconstruct_complex_type): Likewise.
1876         * init.c (build_new_1): Likewise.
1877         * method.c (do_build_copy_constructor): Likewise.
1878         (implicitly_declare_fn): Likewise.
1879         * pt.c (tsubst_aggr_type): Likewise.
1880         (tsubst): Likewise.
1881         * rtti.c (init_rtti_processing): Likewise.
1882         (build_headof): Likewise.
1883         (build_dynamic_cast_1): Likewise.
1884         (tinfo_base_init): Likewise.
1885         (emit_support_tinfos): Likewise.
1886         * semantics.c (capture_decltype): Likewise.
1887         * tree.c (cv_unqualified): Likewise.
1888         * typeck.c (composite_pointer_type): Likewise.
1889         (string_conv_p): Likewise.
1890
1891         * mangle.c (write_CV_qualifiers_for_type): Tweak.
1892
1893         * call.c (initialize_reference): Use CP_TYPE_CONST_P.
1894         * decl.c (start_decl): Likewise.
1895         * semantics.c (finish_compound_literal): Likewise.
1896         * typeck.c (check_return_expr): Use CP_TYPE_VOLATILE_P.
1897         (cp_type_readonly): Remove.
1898         * cp-tree.h: Remove declaration.
1899
1900         * typeck.c (merge_types): Preserve memfn quals.
1901
1902         * decl.c (grokdeclarator): Don't check quals on fn type.
1903         * typeck.c (cp_apply_type_quals_to_decl): Likewise.
1904         * tree.c (cp_build_qualified_type_real): Simplify qualifier checking.
1905
1906         PR c++/44193
1907         * typeck.c (type_memfn_quals): New fn.
1908         (apply_memfn_quals): New fn.
1909         (cp_type_quals): Return TYPE_UNQUALIFIED for FUNCTION_TYPE.
1910         (cp_type_readonly): Use cp_type_quals.
1911         * cp-tree.h: Add declarations.
1912         * tree.c (cp_build_qualified_type_real): Don't set, but do
1913         preserve, quals on FUNCTION_TYPE.
1914         (strip_typedefs): Use apply_memfn_quals and type_memfn_quals.
1915         * decl.c (build_ptrmem_type): Likewise.
1916         (grokdeclarator): Likewise.
1917         (static_fn_type): Likewise.
1918         * decl2.c (change_return_type): Likewise.
1919         (cp_reconstruct_complex_type): Likewise.
1920         * pt.c (tsubst_function_type): Likewise.
1921         (unify): Likewise.
1922         (tsubst): Likewise.  Drop special FUNCTION_TYPE substitution code.
1923
1924 2010-05-18  Nathan Froyd  <froydnj@codesourcery.com>
1925
1926         * tree.c (build_min_non_dep_call_vec): Update comment.
1927
1928 2010-05-17  Jason Merrill  <jason@redhat.com>
1929
1930         * call.c (struct z_candidate): Add explicit_targs field.
1931         (add_template_candidate_real): Set it.
1932         (build_over_call): Use it to control init-list warning.
1933
1934         PR c++/44157
1935         * call.c (build_over_call): Limit init-list deduction warning to
1936         cases where the argument is actually an init-list.
1937
1938         PR c++/44158
1939         * call.c (build_over_call): Don't do bitwise copy for move ctor.
1940
1941 2010-05-17  Dodji Seketeli  <dodji@redhat.com>
1942             Jason Merrill  <jason@redhat.com>
1943
1944         PR c++/44108
1945         * decl.c (compute_array_index_type): Call mark_rvalue_use.
1946
1947 2010-05-15  Jason Merrill  <jason@redhat.com>
1948
1949         * cp-tree.h (TYPE_NOEXCEPT_P): New macro.
1950         * except.c (begin_eh_spec_block): Use MUST_NOT_THROW_EXPR if
1951         TYPE_NOEXCEPT_P.
1952         (finish_eh_spec_block): Adjust.
1953
1954 2010-05-15  Jakub Jelinek  <jakub@redhat.com>
1955
1956         PR c++/44148
1957         * pt.c (tsubst): Unshare template argument.
1958
1959 2010-05-15  Steven Bosscher  <steven@gcc.gnu.org>
1960
1961         * decl.c: Include tree-iterator.h, as fixup for tree-inline.h changes.
1962         * Make-lang.in: Fix dependencies accordingly.
1963
1964 2010-05-14  Jason Merrill  <jason@redhat.com>
1965
1966         C++ DR 475
1967         * except.c (build_throw): Simplify, adjust for DR 475.
1968
1969         PR c++/44127
1970         * except.c (dtor_nothrow): Return nonzero for type with
1971         trivial destructor.
1972
1973         PR c++/44127
1974         * cp-gimplify.c (gimplify_must_not_throw_expr): Use
1975         gimple_build_eh_must_not_throw.
1976
1977 2010-05-14  Martin Jambor  <mjambor@suse.cz>
1978
1979         * cp-lang.c (LANG_HOOKS_FOLD_OBJ_TYPE_REF): Remove both its undef
1980         and define.
1981
1982 2010-05-14  Jonathan Wakely  <jwakely.gcc@gmail.com>
1983
1984         * call.c (build_new_method_call): Change warning text.
1985         * typeck2.c (build_functional_cast): Change error text.
1986
1987 2010-05-14  Shujing Zhao  <pearly.zhao@oracle.com>
1988
1989         PR c++/30566
1990         * name-lookup.c (pushdecl_maybe_friend): Avoid the warnings about
1991         shadowing the outer parameter or variables by the declaration of
1992         nested function in nested structure or class. Warn the shadowing by
1993         the declaration of nested lambda expression.
1994
1995 2010-05-13  Jason Merrill  <jason@redhat.com>
1996
1997         * typeck.c (cp_build_array_ref): Factor out from...
1998         (build_array_ref): ...here.  Drop complain parm.
1999         (build_new_op): Adjust.
2000         * class.c (build_vtbl_ref_1): Adjust.
2001         * decl2.c (grok_array_decl): Adjust.
2002         * cp-tree.h: Adjust prototypes.
2003
2004 2010-05-13  Jan Hubicka  <jh@suse.cz>
2005
2006         * decl.c (cp_finish_decl): Do not worry about used attribute.
2007
2008 2010-05-12  Jason Merrill  <jason@redhat.com>
2009
2010         * typeck.c (build_array_ref): Take complain parm.
2011         * cp-tree.h: Add it to prototype.
2012         * call.c (build_new_op): Pass it.
2013         * class.c (build_vtbl_ref): Pass it.
2014         * decl2.c (grok_array_decl): Pass it.
2015
2016         PR bootstrap/44048
2017         PR target/44099
2018         * cp-tree.def (NULLPTR_TYPE): Remove.
2019         * cp-tree.h (NULLPTR_TYPE_P): New.
2020         (SCALAR_TYPE_P): Use it.
2021         (nullptr_type_node): New.
2022         (cp_tree_index): Add CPTI_NULLPTR_TYPE.
2023         * decl.c (cxx_init_decl_processing): Call record_builtin_type on
2024         nullptr_type_node.
2025         * cvt.c (ocp_convert): Use NULLPTR_TYPE_P instead of NULLPTR_TYPE.
2026         * cxx-pretty-print.c (pp_cxx_constant): Likewise.
2027         * error.c (dump_type, dump_type_prefix, dump_type_suffix): Likewise.
2028         * mangle.c (write_type): Likewise.
2029         * name-lookup.c (arg_assoc_type): Likewise.
2030         * typeck.c (build_reinterpret_cast_1): Likewise.
2031         * rtti.c (typeinfo_in_lib_p): Likewise.
2032         (emit_support_tinfos): Remove local nullptr_type_node.
2033
2034         * cp-tree.h (UNKNOWN_TYPE): Remove.
2035         * decl.c (cxx_init_decl_processing): Use LANG_TYPE instead.
2036         * error.c (dumy_type, dump_type_prefix, dump_type_suffix): Likewise.
2037         * typeck2.c (cxx_incomplete_type_diagnostic): Likewise.
2038         * class.c (instantiate_type): Check unknown_type_node rather than
2039         UNKNOWN_TYPE.
2040         * name-lookup.c (maybe_push_decl): Likewise.
2041         * rtti.c (get_tinfo_decl_dynamic): Likewise.
2042         (get_typeid): Likewise.
2043         * semantics.c (finish_offsetof): Likewise.
2044
2045         PR c++/20669
2046         * call.c (add_template_candidate_real): If deduction fails, still
2047         add the template as a non-viable candidate.
2048         (equal_functions): Handle template candidates.
2049         (print_z_candidate): Likewise.
2050         (print_z_candidates): Likewise.
2051         (build_new_function_call): Likewise.
2052
2053         * cp-tree.h (LOOKUP_LIST_ONLY): New.
2054         * call.c (add_candidates): Enforce it.
2055         (build_new_method_call): Try non-list ctor if no viable list ctor.
2056         (build_user_type_conversion_1): Likewise.
2057
2058         * call.c (add_candidates): Distinguish between type(x) and
2059         x.operator type().
2060         (convert_class_to_reference): Set LOOKUP_NO_CONVERSION.
2061         (build_new_method_call): Give better error for conversion op.
2062
2063         * call.c (add_candidates): Add first_arg and return_type parms.
2064         Add special constructor/conversion op handling.
2065         (convert_class_to_reference): Use it.
2066         (build_user_type_conversion_1): Likewise.
2067         (build_op_call): Likewise.
2068         (build_new_method_call): Likewise.
2069         (build_new_op): Adjust.
2070         (perform_overload_resolution): Adjust.
2071
2072 2010-05-11  Paolo Carlini  <paolo.carlini@oracle.com>
2073
2074         PR c++/34272
2075         PR c++/43630
2076         PR c++/34491
2077         * pt.c (process_partial_specialization): Return error_mark_node
2078         in case of unused template parameters in partial specialization.
2079
2080 2010-05-11  Jakub Jelinek  <jakub@redhat.com>
2081
2082         PR c++/44062
2083         * semantics.c (finish_expr_stmt): Don't call mark_exp_read here...
2084         * cvt.c (convert_to_void): ... but here.  If expr is a COMPOUND_EXPR,
2085         look at its second operand.
2086
2087 2010-05-10  Jason Merrill  <jason@redhat.com>
2088
2089         PR c++/44017
2090         * semantics.c (baselink_for_fns): Revert earlier change.
2091
2092         PR c++/44045
2093         * typeck.c (cp_build_modify_expr): Complain about assignment to
2094         array from init list.
2095
2096 2010-05-10  Fabien Chêne  <fabien.chene@gmail.com>
2097
2098         PR c++/43719
2099         * decl.c (check_initializer): strip array type before checking for
2100         uninitialized const or ref members.
2101
2102 2010-05-07  Fabien Chêne  <fabien.chene@gmail.com>
2103
2104         PR c++/43951
2105         * init.c (diagnose_uninitialized_cst_or_ref_member_1): Returns the
2106         error count. Emit errors only if compain is true.
2107         (build_new_1): Do not return error_mark_node if
2108         diagnose_uninitialized_cst_or_ref_member_1 does not diagnose any
2109         errors. Delay the check for user-provided constructor.
2110         (perform_member_init): Adjust.
2111         * cp-tree.h (diagnose_uninitialized_cst_or_ref_member): Change the
2112         prototype.
2113
2114 2010-05-06  Magnus Fromreide  <magfr@lysator.liu.se>
2115             Jason Merrill  <jason@redhat.com>
2116
2117         Add support for C++0x nullptr.
2118         * cp-tree.def: Add NULLPTR_TYPE.
2119         * cp-tree.h: Add nullptr_node.
2120         (cp_tree_index): Add CPTI_NULLPTR.
2121         (SCALAR_TYPE_P): Add NULLPTR_TYPE.
2122         * call.c (null_ptr_cst_p): Handle nullptr.
2123         (standard_conversion): Likewise.
2124         (convert_arg_to_ellipsis): Likewise.
2125         * mangle.c (write_type): Likewise.
2126         * name-lookup.c (arg_assoc_type): Likewise.
2127         * parser.c (cp_parser_primary_expression): Likewise.
2128         * typeck.c (cp_build_binary_op): Likewise.
2129         (build_reinterpret_cast_1): Likewise.
2130         * error.c (dump_type): Likewise.
2131         (dump_type_prefix, dump_type_suffix): Likewise.
2132         * decl.c (cxx_init_decl_processing): Likewise.
2133         * cxx-pretty-print.c (pp_cxx_constant): Likewise.
2134         * cvt.c (ocp_convert): Likewise.
2135         * rtti.c (typeinfo_in_lib_p, emit_support_tinfos): Put
2136         nullptr_t tinfo in libsupc++.
2137
2138 2010-05-06  Jason Merrill  <jason@redhat.com>
2139
2140         * semantics.c (simplify_aggr_init_expr): Use INIT_EXPR.
2141
2142 2010-04-22  Jakub Jelinek <jakub@redhat.com>
2143             Dodji Seketeli <dodji@redhat.com>
2144
2145         PR c/18624
2146         * cp-tree.h (mark_exp_read, rvalue_use, lvalue_use, type_use):
2147         Declare ...
2148         * expr.c (mark_exp_read, rvalue_use, lvalue_use, type_use): ... new fns.
2149         * typeck.c (cxx_sizeof_expr, cxx_alignof_expr): Call type_use.
2150         (decay_conversion, perform_integral_promotions): Call rvalue_use.
2151         (cp_build_unary_op): Call lvalue_use.
2152         * decl.c (unused_but_set_errorcount): New variable.
2153         (poplevel): Issue -Wunused-but-set-variable diagnostics.
2154         (duplicate_decls): Merge DECL_READ_P flags.
2155         (start_cleanup_fn): Set DECL_READ_P flag.
2156         (finish_function): Issue -Wunused-but-set-parameter diagnostics.
2157         * tree.c (rvalue): Call rvalue_use.
2158         * pt.c (convert_nontype_argument): Likewise.
2159         * semantics.c (finish_expr_stmt, finish_asm_stmt, finish_typeof,
2160         finish_decltype_type): Likewise.
2161         * call.c (convert_like_real) <ck_identity, ck_user>: Call rvalue use.
2162         (build_x_va_arg, build_new_method_call, build_over_call): Call lvalue_use
2163         or rvalue_use depending on the expr.
2164         * init.c (build_new, build_delete): Likewise.
2165         * rtti.c (build_typeid, build_dynamic_cast_1): Likewise.
2166
2167 2010-05-05  Jason Merrill  <jason@redhat.com>
2168
2169         PR c++/43787
2170         * cp-gimplify.c (cp_gimplify_expr): Remove copies of empty classes.
2171         * call.c (build_over_call): Don't try to avoid INIT_EXPR copies here.
2172
2173 2010-05-04  Paolo Carlini  <paolo.carlini@oracle.com>
2174
2175         PR c++/43028
2176         * pt.c (unify): Check each elt for error_mark_node.
2177
2178 2010-05-04  Jason Merrill  <jason@redhat.com>
2179
2180         PR c++/38064
2181         * typeck.c (cp_build_binary_op): Allow enums for <> as well.
2182
2183 2010-05-04  Paolo Carlini  <paolo.carlini@oracle.com>
2184
2185         PR c++/43705
2186         * call.c (build_new_method_call): Return error_mark_node if fns is
2187         NULL_TREE.
2188
2189 2010-05-03  Dodji Seketeli  <dodji@redhat.com>
2190
2191         PR c++/43953
2192         * pt.c (most_specialized_class): Pretend we are processing
2193         a template decl during the call to coerce_template_parms.
2194
2195 2010-05-03  Jason Merrill  <jason@redhat.com>
2196
2197         PR c++/42810
2198         PR c++/43680
2199         * decl.c (finish_enum): Use the TYPE_MIN_VALUE and TYPE_MAX_VALUE
2200         from the selected underlying type unless -fstrict-enums.  Set
2201         ENUM_UNDERLYING_TYPE to have the restricted range.
2202         * cvt.c (type_promotes_to): Use ENUM_UNDERLYING_TYPE.
2203         * class.c (check_bitfield_decl): Likewise.
2204
2205 2010-05-01  H.J. Lu  <hongjiu.lu@intel.com>
2206
2207         PR c++/43951
2208         * init.c (build_new_1): Revert the accidental checkin in
2209         revision 158918.
2210
2211 2010-04-30  Jason Merrill  <jason@redhat.com>
2212
2213         PR c++/43868
2214         * cxx-pretty-print.c (pp_cxx_decl_specifier_seq): Move pmf handling...
2215         (pp_cxx_type_specifier_seq): ...here.
2216
2217 2010-04-30  Steven Bosscher  <steven@gcc.gnu.org>
2218
2219         * optimize.c, parser.c, mangle.c, cp-tree.h: Do not include varray.h.
2220         * Make-lang.in: Don't include varray.h dependency in CXX_TREE_H.
2221
2222 2010-04-30  Shujing Zhao  <pearly.zhao@oracle.com>
2223
2224         PR c++/43779
2225         * typeck.c (warn_args_num): New function.
2226         (convert_arguments): Use warn_args_num to print the diagnostic
2227         messages.
2228
2229 2010-04-29  Fabien Chêne  <fabien.chene@gmail.com>
2230
2231         PR c++/43890
2232         * init.c (diagnose_uninitialized_cst_or_ref_member): check for
2233         user-provided constructor while recursing.
2234
2235 2010-04-28  Manuel López-Ibáñez  <manu@gcc.gnu.org>
2236
2237         PR c++/9335
2238         * error.c (print_instantiation_partial_context_line): Handle
2239         recursive instantiation.
2240         (print_instantiation_partial_context): Likewise.
2241
2242 2010-04-27  Jason Merrill  <jason@redhat.com>
2243
2244         * init.c (perform_member_init): Check CLASS_TYPE_P.
2245
2246 2010-04-27  Fabien Chêne  <fabien.chene@gmail.com>
2247
2248         PR c++/29043
2249         * init.c (perform_member_init): check for uninitialized const or
2250         reference members, including array types.
2251
2252 2010-04-24  Jason Merrill  <jason@redhat.com>
2253
2254         * tree.c (get_fns): Split out from get_first_fn.
2255         * cp-tree.h: Declare it.
2256         * search.c (shared_member_p): Use it.
2257         * semantics.c (finish_qualified_id_expr): Simplify.
2258         (finish_id_expression): Simplify.
2259
2260         * semantics.c (finish_non_static_data_member): Call maybe_dummy_object
2261         whenever object is NULL_TREE.  Don't do 'this' capture here.
2262         (finish_qualified_id_expr): Pass NULL_TREE.
2263         (finish_id_expression): Likewise.
2264         (lambda_expr_this_capture): Likewise.
2265
2266         * semantics.c (finish_qualified_id_expr): Use maybe_dummy_object
2267         rather than checking current_class_ref directly.
2268         (finish_call_expr): Likewise.
2269
2270         PR c++/43856
2271         * name-lookup.c (qualify_lookup): Disqualify lambda op().
2272         * class.c (current_nonlambda_class_type): New fn.
2273         * semantics.c (nonlambda_method_basetype): New.
2274         * cp-tree.h: Declare them.
2275         * tree.c (maybe_dummy_object): Handle implicit 'this' capture.
2276
2277         * semantics.c (baselink_for_fns): Correct BASELINK_BINFO.
2278
2279         PR c++/43875
2280         * semantics.c (lambda_return_type): Complain about
2281         braced-init-list.
2282
2283         PR c++/43790
2284         * tree.c (cv_unqualified): Handle error_mark_node.
2285
2286         PR c++/41468
2287         * call.c (convert_like_real) [ck_ambig]: Just return error_mark_node
2288         if we don't want errors.
2289
2290         PR c++/41468
2291         * class.c (convert_to_base): Add complain parameter.  Pass
2292         ba_quiet to lookup_base if we don't want errors.
2293         (build_vfield_ref): Pass complain to convert_to_base.
2294         * call.c (convert_like_real): Likewise.
2295         (initialize_reference): Likewise.
2296         (perform_direct_initialization_if_possible): Pass complain to
2297         convert_like_real.
2298         * cp-tree.h: Adjust.
2299
2300 2010-04-27  Fabien Chêne  <fabien.chene@gmail.com>
2301             Jason Merrill  <jason@redhat.com>
2302
2303         PR c++/42844
2304         * decl.c (check_for_uninitialized_const_var): Handle classes that need
2305         constructing, too.
2306         (check_initializer): Call it for classes that need constructing, too.
2307         * class.c (in_class_defaulted_default_constructor): New.
2308         * cp-tree.h: Declare it.
2309
2310 2010-04-20  Jason Merrill  <jason@redhat.com>
2311
2312         PR c++/9335
2313         * init.c (constant_value_1): Treat error_mark_node as a constant
2314         if DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P is set.
2315         * cvt.c (ocp_convert): Handle getting error_mark_node from
2316         integral_constant_value.
2317         * decl.c (compute_array_index_type): Likewise.
2318
2319 2010-04-20  Dodji Seketeli  <dodji@redhat.com>
2320
2321         PR c++/43800
2322         PR c++/43704
2323         * typeck.c (incompatible_dependent_types_p): If one of the
2324         compared types if not a typedef then honour their main variant
2325         equivalence.
2326
2327 2010-04-20  Jakub Jelinek  <jakub@redhat.com>
2328
2329         * cp-tree.h (TYPE_REF_IS_RVALUE): Remove.
2330
2331 2010-04-19  Dodji Seketeli  <dodji@redhat.com>
2332
2333         PR c++/43704
2334         * typeck.c (structural_comptypes): Test dependent typedefs
2335         incompatibility before testing for their main variant based
2336         equivalence.
2337
2338 2010-04-19  Jakub Jelinek  <jakub@redhat.com>
2339
2340         * cp-tree.h (SCOPED_ENUM_P, UNSCOPED_ENUM_P, SET_SCOPED_ENUM_P): Use
2341         ENUM_IS_SCOPED bit instead of TYPE_LANG_FLAG_5.
2342
2343 2010-04-18  Eric Botcazou  <ebotcazou@adacore.com>
2344
2345         * decl.c (cxx_init_decl_processing): Remove second argument in call to
2346         build_common_tree_nodes.
2347
2348 2010-04-14  Jason Merrill  <jason@redhat.com>
2349
2350         PR c++/36625
2351         * parser.c (cp_parser_parenthesized_expression_list): Change
2352         is_attribute_list parm to int to indicate whether or not to
2353         handle initial identifier specially.
2354         (cp_parser_attribute_list): Use attribute_takes_identifier_p.
2355
2356 2010-04-13  Jason Merrill  <jason@redhat.com>
2357
2358         * call.c (type_decays_to): Check MAYBE_CLASS_TYPE_P instead of
2359         CLASS_TYPE_P.
2360         * parser.c (cp_parser_lambda_expression): Complain about lambda in
2361         unevaluated context.
2362         * pt.c (iterative_hash_template_arg): Don't crash on lambda.
2363
2364 2010-04-12  Jason Merrill  <jason@redhat.com>
2365
2366         PR c++/43641
2367         * semantics.c (maybe_add_lambda_conv_op): Use build_call_a and tweak
2368         return value directly.
2369
2370         * call.c (type_decays_to): Call cv_unqualified for non-class type.
2371
2372 2010-04-12  Fabien Chene  <fabien.chene@gmail.com>
2373
2374         PR c++/25811
2375         * cp-tree.h (diagnose_uninitialized_cst_or_ref_member): Declare.
2376         * init.c (build_new_1): Check for uninitialized const members and
2377         uninitialized reference members, when using new without
2378         new-initializer. Call diagnose_uninitialized_cst_or_ref_member.
2379         (diagnose_uninitialized_cst_or_ref_member): Define, call
2380         diagnose_uninitialized_cst_or_ref_member_1.
2381         (diagnose_uninitialized_cst_or_ref_member_1): New function.
2382
2383 2010-04-12  Richard Guenther  <rguenther@suse.de>
2384
2385         PR c++/43611
2386         * semantics.c (expand_or_defer_fn_1): Do not keep extern
2387         template inline functions.
2388
2389 2010-04-09  Manuel López-Ibáñez  <manu@gcc.gnu.org>
2390
2391         PR c++/28584
2392         * typeck.c (cp_build_c_cast): Warn for casting integer to larger
2393         pointer type.
2394
2395 2010-04-07  Jason Merrill  <jason@redhat.com>
2396
2397         PR c++/43016
2398         * decl.c (start_preparsed_function): Do defer nested functions.
2399
2400         PR c++/11094, DR 408
2401         * cp-tree.h (VAR_HAD_UNKNOWN_BOUND, SET_VAR_HAD_UNKNOWN_BOUND): New.
2402         * decl2.c (finish_static_data_member_decl): Set it.
2403         * decl.c (duplicate_decls): Propagate it.
2404         * pt.c (tsubst_decl): Don't substitute the domain of an array
2405         VAR_DECL if it's set.
2406         (regenerate_decl_from_template): Substitute it here.
2407         (type_dependent_expression_p): Return true if it's set.
2408         * semantics.c (finish_decltype_type): Instantiate such a variable.
2409         * typeck.c (cxx_sizeof_expr): Likewise.
2410         (strip_array_domain): New.
2411
2412         PR c++/43145
2413         * name-lookup.c (current_decl_namespace): Non-static.
2414         (pop_nested_namespace): Sanity check.
2415         * cp-tree.h: Declare current_decl_namespace.
2416         * decl.c (grokvardecl): Use it instead of current_namespace.
2417         (grokfndecl): Likewise.
2418
2419         PR c++/38392
2420         * pt.c (tsubst_friend_function): Instatiate a friend that has already
2421         been used.
2422
2423         * pt.c (print_template_statistics): New.
2424         * cp-tree.h: Declare it.
2425         * tree.c (cxx_print_statistics): Call it.
2426
2427         PR c++/41970
2428         * decl.c (grokvardecl): Tweak warning message.
2429         (grokfndecl): Likewise.
2430
2431 2010-04-07  Dodji Seketeli  <dodji@redhat.com>
2432
2433         PR c++/42697
2434         *pt.c (tsubst_decl): Get the arguments of a specialization from
2435         the specialization template, not from the most general template.
2436
2437 2010-04-07  Dodji Seketeli  <dodji@redhat.com>
2438
2439         PR c++/40239
2440         * typeck2.c (process_init_constructor_record):
2441         value-initialize members that are are not explicitely
2442         initialized.
2443
2444 2010-04-07  Jie Zhang  <jie@codesourcery.com>
2445
2446         PR c++/42556
2447         * typeck2.c (split_nonconstant_init_1): Drop empty CONSTRUCTOR
2448         when all of its elements are non-constant and have been split out.
2449
2450 2010-04-06  Taras Glek  <taras@mozilla.com>
2451             Jason Merrill  <jason@redhat.com>
2452
2453         * parser.c (cp_parser_class_specifier): Set class location to that
2454         of IDENTIFIER_NODE instead of '{' when possible.
2455         * semantics.c (begin_class_definition): Do not overide locations
2456         with less precise ones.
2457
2458 2010-04-06  Jason Merrill  <jason@redhat.com>
2459
2460         PR c++/43648
2461         * name-lookup.c (constructor_name_p): Allow X::~X even for typedefs.
2462
2463         PR c++/43621
2464         * pt.c (maybe_update_decl_type): Check the return value from
2465         push_scope.
2466
2467 2010-04-01  Jason Merrill  <jason@redhat.com>
2468
2469         * decl.c (next_initializable_field): No longer static.
2470         * cp-tree.h: Declare it.
2471         * call.c (build_aggr_conv): Fail if there are more initializers
2472         than initializable fields.
2473
2474         * semantics.c (maybe_add_lambda_conv_op): Use null_pointer_node
2475         instead of void_zero_node.
2476
2477 2010-03-31  Dodji Seketeli  <dodji@redhat.com>
2478
2479         PR c++/43558
2480         * cp-tree.h (TEMPLATE_TYPE_PARM_SIBLING_PARMS): New accessor macro.
2481         * pt.c (end_template_parm_list): Store sibling template parms of
2482         each TEMPLATE_TYPE_PARMs into its TEMPLATE_TYPE_PARM_SIBLING_PARMS.
2483         (push_template_decl_real): Don't store the containing template decl
2484         into the DECL_CONTEXT of TEMPLATE_TYPE_PARMs anymore.
2485         * typeck.c (get_template_parms_of_dependent_type): Get sibling parms
2486         of a TEMPLATE_TYPE_PARM from TEMPLATE_TYPE_PARM_SIBLING_PARMS.
2487         Simplify the logic.
2488
2489 2010-03-30  Jason Merrill  <jason@redhat.com>
2490
2491         PR c++/43076
2492         * pt.c (push_template_decl_real): Deal better with running out of
2493         scopes before running out of template parms.
2494
2495         PR c++/41185
2496         PR c++/41786
2497         * parser.c (cp_parser_direct_declarator): Don't allow VLAs in
2498         function parameter context.  Don't print an error if parsing
2499         tentatively.
2500
2501         PR c++/43559
2502         * pt.c (more_specialized_fn): Don't control cv-qualifier check
2503         with same_type_p.
2504
2505 2010-03-26  Jason Merrill  <jason@redhat.com>
2506
2507         PR c++/43509
2508         * parser.c (cp_parser_qualifying_entity): Do accept enum names in
2509         c++0x mode, but not other type-names.
2510
2511 2010-03-26  Dodji Seketeli  <dodji@redhat.com>
2512
2513         PR c++/43327
2514         * pt.c (add_to_template_args): Support NULL ARGS;
2515         (most_specialized_class): call coerce_template_parms on
2516         template arguments passed to get_class_bindings. Use
2517         add_to_template_args.
2518         (unify): Handle VAR_DECLs.
2519
2520 2010-03-26  Dodji Seketeli  <dodji@redhat.com>
2521
2522         * cp-tree.h (get_template_parms_at_level): Change unsigned parm
2523         into int.
2524         * pt.c (get_template_parms_at_level): Adjust.
2525
2526 2010-03-25  Dodji Seketeli  <dodji@redhat.com>
2527
2528         PR c++/43206
2529         * cp-tree.h (get_template_parms_at_level): Declare ...
2530         * pt.c (get_template_parms_at_level): ... new function.
2531         * typeck.c (get_template_parms_of_dependent_type): If a template
2532         type parm's DECL_CONTEXT isn't yet set, get its siblings from
2533         current_template_parms. Use get_template_parms_at_level. Remove
2534         useless test.
2535         (incompatible_dependent_types_p): If we get empty parms from just one
2536         of the template type parms we are comparing then the template parms are
2537         incompatible.
2538
2539 2010-03-24  Jason Merrill  <jason@redhat.com>
2540
2541         PR c++/43502
2542         * parser.c (make_declarator): Initialize id_loc.
2543         (cp_parser_lambda_declarator_opt): And set it.
2544
2545 2010-03-23  Jason Merrill  <jason@redhat.com>
2546
2547         Make lambda conversion op and op() non-static.
2548         * semantics.c (maybe_add_lambda_conv_op): Make non-static.
2549         Also add the thunk function returned by the conversion op.
2550         Mark the conversion deleted if the op() is variadic.
2551         * decl2.c (mark_used): Give helpful message about deleted conversion.
2552         * parser.c (cp_parser_lambda_declarator_opt): Don't make op() static.
2553         * semantics.c (finish_this_expr): Adjust.
2554         * mangle.c (write_closure_type_name): Adjust.
2555         * decl.c (grok_op_properties): Don't allow it.
2556         * call.c (build_user_type_conversion_1): No static conversion ops.
2557         (build_op_call): Or op().
2558
2559         * decl2.c (change_return_type): Fix 'this' quals.
2560
2561 2010-03-22  Jason Merrill  <jason@redhat.com>
2562
2563         PR c++/43333
2564         * tree.c (pod_type_p): Use old meaning in C++98 mode.
2565
2566         PR c++/43281
2567         * pt.c (contains_auto_r): New fn.
2568         (do_auto_deduction): Use it.
2569         (tsubst): Don't look at TREE_TYPE of a TEMPLATE_TYPE_PARM.
2570
2571 2010-03-20  Simon Martin  <simartin@users.sourceforge.net>
2572
2573         PR c++/43081:
2574         * decl2.c (grokfield): Handle invalid initializers for member
2575         functions.
2576
2577 2010-03-20  Dodji Seketeli  <dodji@redhat.com>
2578
2579         PR c++/43375
2580         * method.c (make_alias_for): Avoid crashing when DECL_LANG_SPECIFIC
2581         is NULL.
2582         * decl2.c (vague_linkage_p): Likewise.
2583
2584 2010-03-18  Paolo Carlini  <paolo.carlini@oracle.com>
2585
2586         PR c++/43418
2587         * parser.c (cp_parser_for_init_statement): Use NULL_TREE, not
2588         false, in the cp_parser_expression_statement call.
2589
2590 2010-03-05  Jason Merrill  <jason@redhat.com>
2591
2592         * mangle.c (mangle_decl): Give name collision error even without
2593         ASM_OUTPUT_DEF.
2594
2595 2010-03-04  Marco Poletti  <poletti.marco@gmail.com>
2596
2597         * pt.c (process_partial_specialization): Use error_n instead of
2598         error.
2599
2600 2010-03-03  Jason Merrill  <jason@redhat.com>
2601
2602         PR c++/12909
2603         * mangle.c (mangle_decl): Handle VAR_DECL, too.
2604
2605 2010-03-03  Jason Merrill  <jason@redhat.com>
2606
2607         PR c++/12909
2608         * mangle.c: Include cgraph.h.
2609         (mangle_decl): If the mangled name will change in a later
2610         ABI version, make the later mangled name an alias.
2611         * method.c (make_alias_for): Copy DECL_ARGUMENTS.
2612         * Make-lang.in (mangle.o): Depend on cgraph.h.
2613         * method.c (make_alias_for): Handle VAR_DECL, too.
2614         * decl2.c (vague_linkage_p): Rename from vague_linkage_fn_p.
2615         * tree.c (no_linkage_check): Adjust.
2616         * decl.c (maybe_commonize_var): Adjust.
2617         * cp-tree.h: Adjust.
2618
2619 2010-03-01  Marco Poletti  <poletti.marco@gmail.com>
2620
2621         * pt.c (redeclare_class_template): Use error_n and inform_n.
2622
2623 2010-02-27  Mark Mitchell  <mark@codesourcery.com>
2624
2625         PR c++/42748
2626         * cp-tree.h (push_tinst_level): Declare.
2627         (pop_tinst_level): Likewise.
2628         * pt.c (push_tinst_level): Give it external linkage.
2629         (pop_tinst_level): Likewise.
2630         * mangle.c (mangle_decl_string): Set the source location to that
2631         of the decl while mangling.
2632
2633 2010-02-27  Simon Martin  <simartin@users.sourceforge.net>
2634
2635         PR c++/42054
2636         * pt.c (redeclare_class_template): Return false if there are erroneous
2637         template parameters.
2638
2639 2010-02-24  Manuel López-Ibáñez  <manu@gcc.gnu.org>
2640
2641         * pt.c (push_tinst_level): Replace -ftemplate-depth- with
2642         -ftemplate-depth=.
2643
2644 2010-02-24  Jason Merrill  <jason@redhat.com>
2645
2646         PR c++/12909
2647         * mangle.c (write_type): Give -Wabi warning for old vector mangling.
2648
2649         * class.c (layout_class_type): Don't give -Wabi warning for a bug
2650         in a previous ABI version.
2651
2652 2010-02-23  Jason Merrill  <jason@redhat.com>
2653
2654         PR c++/43143
2655         * typeck2.c (digest_init_r): Accept value init of array.
2656
2657 2010-02-22  Manuel López-Ibáñez  <manu@gcc.gnu.org>
2658
2659         PR c++/43126
2660         * typeck.c (convert_arguments): Update error message.
2661
2662 2010-02-22  Mike Stump  <mikestump@comcast.net>
2663
2664         PR c++/43125
2665         * decl.c (duplicate_decls): Merge DECL_PRESERVE_P.
2666
2667 2010-02-21  Manuel López-Ibáñez  <manu@gcc.gnu.org>
2668
2669         PR c++/23510
2670         * error.c (print_instantiation_partial_context_line): New.
2671         (print_instantiation_partial_context): Print at most 12 contexts,
2672         skip the rest with a message.
2673
2674 2010-02-21  Dodji Seketeli  <dodji@redhat.com>
2675
2676         PR c++/42824
2677         * pt.c (lookup_template_class): Better support of specialization
2678         of member of class template implicit instantiation.
2679
2680 2010-02-20  Manuel López-Ibáñez  <manu@gcc.gnu.org>
2681
2682         PR c++/35669
2683         * call.c (conversion_null_warnings): Replace -Wconversion with
2684         -Wconversion-null.
2685         * cvt.c (build_expr_type_conversion): Likewise.
2686
2687 2010-02-18  Jason Merrill  <jason@redhat.com>
2688
2689         PR c++/42837
2690         * class.c (create_vtable_ptr): Set DECL_PACKED if type is packed.
2691
2692         PR c++/43108
2693         * typeck.c (cp_build_binary_op): Adapt mixed complex/non handling from
2694         C build_binary_op.
2695         * cp-tree.h (WANT_VECTOR_OR_COMPLEX): Rename from WANT_VECTOR.
2696         * cvt.c (build_expr_type_conversion): Allow COMPLEX_TYPE.
2697
2698         PR c++/43070
2699         * semantics.c (finish_goto_stmt): Don't call decay_conversion.
2700
2701         PR c++/26261
2702         PR c++/43101
2703         * pt.c (tsubst_qualified_id): Do normal lookup in non-dependent scope.
2704         (maybe_update_decl_type): New fn.
2705         * parser.c (cp_parser_init_declarator): Use it.
2706
2707         PR c++/43109
2708         * semantics.c (begin_class_definition): Don't crash on unnamed ns.
2709
2710 2010-02-17  Jason Merrill  <jason@redhat.com>
2711
2712         PR c++/43075
2713         * call.c (build_over_call): Don't create zero-sized assignments.
2714         * cp-gimplify.c (cp_genericize_r): Don't remove them here.
2715         * cp-objcp-common.c (cp_expr_size): Remove.
2716         * cp-tree.h: Remove prototype.
2717
2718         PR c++/43069
2719         * name-lookup.c (set_decl_namespace): Don't copy DECL_CONTEXT if the
2720         decl we looked up doesn't match.
2721
2722         PR c++/43093
2723         * cp-gimplify.c (cp_gimplify_expr) [INIT_EXPR]: Return if we don't
2724         have an INIT_EXPR anymore.
2725
2726         PR c++/43079
2727         * pt.c (convert_nontype_argument): Change assert to test.
2728
2729 2010-02-16  Jason Merrill  <jason@redhat.com>
2730
2731         * cp-gimplify.c (cp_gimplify_expr): Fix error recovery.
2732
2733         PR c++/43031
2734         * cp-gimplify.c (cp_gimplify_expr) [MODIFY_EXPR]: Use
2735         VIEW_CONVERT_EXPR for conversions between structural equality types
2736         that the back end can't tell are the same.
2737
2738         PR c++/43036
2739         * tree.c (build_cplus_array_type): Set TYPE_MAIN_VARIANT to strip
2740         cv-quals from element here.
2741         (cp_build_qualified_type_real): Not here.  Preserve typedef name.
2742
2743 2010-02-14  Jason Merrill  <jason@redhat.com>
2744
2745         PR c++/41997
2746         * semantics.c (finish_compound_literal): Use
2747         cp_apply_type_quals_to_decl when creating a static variable.
2748
2749 2010-02-12  Jason Merrill  <jason@redhat.com>
2750
2751         PR c++/43024
2752         * name-lookup.h (current_binding_level): Check for null
2753         cp_function_chain.
2754
2755 2010-02-12  Jason Merrill  <jason@redhat.com>
2756
2757         PR c++/43054
2758         * tree.c (cp_tree_equal): Correct CALL_EXPR logic.
2759
2760 2010-02-12  Jakub Jelinek  <jakub@redhat.com>
2761
2762         PR c++/43033
2763         * name-lookup.c (pushdecl_maybe_friend): Check default args of t
2764         instead of x.
2765
2766 2010-02-10  Jason Merrill  <jason@redhat.com>
2767
2768         PR c++/41896
2769         * semantics.c (outer_lambda_capture_p): Revert.
2770         (add_capture): Only finish_member_declaration if
2771         we're in the lambda class.
2772         (register_capture_members): New.
2773         * cp-tree.h: Declare it.
2774         * parser.c (cp_parser_lambda_expression): Call it.
2775
2776 2010-02-10  Jason Merrill  <jason@redhat.com>
2777
2778         PR c++/41896
2779         * semantics.c (outer_lambda_capture_p): Use current_function_decl
2780         instead of current_class_type.
2781
2782 2010-02-10  Jason Merrill  <jason@redhat.com>
2783
2784         PR c++/42983, core issue 906
2785         * method.c (defaultable_fn_check): Check virtualness.
2786
2787 2010-02-10  Jason Merrill  <jason@redhat.com>
2788
2789         PR c++/43016
2790         * semantics.c (maybe_add_lambda_conv_op): Set DECL_INTERFACE_KNOWN.
2791
2792 2010-02-10  Shujing Zhao  <pearly.zhao@oracle.com>
2793
2794         * Make-lang.in (cp/cvt.o, cp/parser.o, cp/search.o): Depend on intl.h.
2795         * cvt.c (warn_ref_binding): Wrap the messages into G_() for easy
2796         translation.
2797         * parser.c (cp_parser_postfix_expression, cp_parser_new_type_id)
2798         (cp_parser_cast_expression, cp_parser_condition, cp_parser_decltype)
2799         (cp_parser_parameter_declaration)
2800         (cp_parser_exception_specification_opt)
2801         (cp_parser_exception_declaration): Likewise.
2802         * pt.c (check_default_tmpl_args): Likewise.
2803         * search.c (lookup_field_r): Likewise.
2804
2805 2010-02-09  Jason Merrill  <jason@redhat.com>
2806
2807         PR c++/42399
2808         * pt.c (tsubst_copy_and_build): Propagate LAMBDA_EXPR_LOCATION.
2809
2810 2010-02-09  Jason Merrill  <jason@redhat.com>
2811
2812         PR c++/42370
2813         * decl2.c (change_return_type): New fn.
2814         * semantics.c (apply_lambda_return_type): Use it.
2815         * cp-tree.h: Declare it.
2816
2817 2010-02-05  Richard Guenther  <rguenther@suse.de>
2818
2819         * Make-lang.in (cp/cp-lang.o): Depend on gt-cp-cp-lang.h.
2820         * cp-lang.c: Include gt-cp-cp-lang.h.
2821         * config-lang.in (gtfiles): Add cp/cp-lang.c.
2822
2823 2010-02-05  Dodji Seketeli  <dodji@redhat.com>
2824
2825         PR c++/42915
2826         * typeck.c (get_template_parms_of_dependent_type): Try getting
2827         the template parameters fromt the type itself first.
2828
2829 2010-02-03  Jason Merrill  <jason@redhat.com>
2830
2831         PR c++/4926
2832         PR c++/38600
2833         * mangle.c (write_unqualified_id): Split out from write_expression.
2834         (write_unqualified_name): Call it.
2835         (write_member_name): Likewise.
2836         (write_expression): Support TEMPLATE_ID_EXPR.
2837         Disambiguate operator names.
2838
2839         PR c++/12909
2840         * mangle.c (write_type) [VECTOR_TYPE]: Change mangling with
2841         -fabi-version=4.
2842
2843 2010-02-02  Jason Merrill  <jason@redhat.com>
2844
2845         PR c++/41090
2846         * decl.c (cp_finish_decl): Add local statics to cfun->local_decls.
2847         * optimize.c (clone_body): Remap their initializers when making base
2848         variants.
2849         (maybe_clone_body): Complain if multiple clones aren't safe.
2850
2851 2010-01-29  Dodji Seketeli  <dodji@redhat.com>
2852
2853         PR c++/42758
2854         PR c++/42634
2855         PR c++/42336
2856         PR c++/42797
2857         PR c++/42880
2858         * cp-tree.h (NON_DEFAULT_TEMPLATE_ARGS_COUNT,
2859         SET_NON_DEFAULT_TEMPLATE_ARGS_COUNT,
2860         GET_NON_DEFAULT_TEMPLATE_ARGS_COUNT): New accessor macros.
2861         * pt.c (coerce_template_parms, type_unification_real,
2862         expand_template_argument_pack, coerce_template_parameter_pack):
2863         Set the non default template args count.
2864         (current_template_args): Always set non defaulted
2865         template args count when compiled with --enable-checking
2866         (tsubst_template_args, type_unification_real): Propagate the non
2867         defaulted template args count.
2868         * error.c (get_non_default_template_args_count): Renamed
2869         count_non_default_template_args into this. Don't calculate the
2870         non default template argument count anymore. Use the new
2871         accessor macros above to get it.
2872         (dump_template_argument_list, dump_type, dump_decl,
2873         dump_template_parms): Adjust.
2874         * parser.c (cp_parser_template_argument_list): Always set defaulted
2875         template args count when compiled with --enable-checking.
2876
2877 2010-01-29  Shujing Zhao  <pearly.zhao@oracle.com>
2878
2879         * decl.c (redeclaration_error_message): Wrap the return messages into
2880         G_() for easy translation.
2881
2882 2010-01-28  Jason Merrill  <jason@redhat.com>
2883
2884         PR c++/42880
2885         * semantics.c (begin_class_definition): Don't use type_as_string.
2886
2887 2010-01-28  Dodji Seketeli  <dodji@redhat.com>
2888
2889         PR c++/42713
2890         PR c++/42820
2891         * typeck.c (get_template_parms_of_dependent_type): Factorized
2892         this out of incompatible_template_type_parms_p
2893         (incompatible_dependent_types_p): Renamed
2894         incompatible_template_type_parms_p into this. Make it detect
2895         two incompatible dependent typedefs too.
2896         (structural_comptypes): Use incompatible_dependent_types_p.
2897         * pt.c (get_template_info):
2898         Handle BOUND_TEMPLATE_TEMPLATE_PARAM.
2899
2900 2010-01-20  Janis Johnson  <janis187@us.ibm.com>
2901             Jason Merrill  <jason@redhat.com>
2902
2903         * mangle.c (write_type): Mangle transparent record as member type.
2904         * semantics.c (begin_class_definition): Recognize decimal classes
2905         and set TYPE_TRANSPARENT_AGGR.
2906
2907 2010-01-20  Jason Merrill  <jason@redhat.com>
2908
2909         PR c++/42338
2910         * mangle.c (write_expression): Handle tree codes that have extra
2911         arguments in the middle-end.
2912
2913 2010-01-20  Paolo Carlini  <paolo.carlini@oracle.com>
2914
2915         PR c++/42038
2916         * except.c (expand_start_catch_block): Deal correctly with
2917         do_begin_catch returning error_mark_node.
2918
2919 2010-01-20  Jason Merrill  <jason@redhat.com>
2920
2921         PR c++/41788
2922         * class.c (layout_class_type): Set packed_maybe_necessary for packed
2923         non-PODs.
2924
2925         PR c++/41920
2926         * semantics.c (build_lambda_object): Call mark_used on captured
2927         variables.
2928
2929         PR c++/40750
2930         * decl.c (grokdeclarator): Clear type_quals for a member function
2931         declared using a typedef.  Don't complain about adding cv-quals
2932         to a function typedef in C++0x mode.
2933
2934 2010-01-20  Jakub Jelinek  <jakub@redhat.com>
2935
2936         * decl.c (create_array_type_for_decl): Remove set but not used
2937         variable error_msg.  Remove break stmts after return stmts.
2938
2939 2010-01-19  Dodji Seketeli  <dodji@redhat.com>
2940
2941         * error.c (dump_template_parms, count_non_default_template_args):
2942         Revert fix of PR c++/42634.
2943
2944 2010-01-18  Dodji Seketeli  <dodji@redhat.com>
2945
2946         PR c++/42634
2947         * error.c (dump_template_parms): Use innermost template
2948         arguments before calling count_non_default_template_args.
2949         (count_non_default_template_args): We are being called with
2950         template innermost arguments now. There is no need to ensure
2951         that again.
2952
2953 2010-01-18  Dodji Seketeli  <dodji@redhat.com>
2954
2955         PR c++/42766
2956         * cvt.c (build_expr_type_conversion): Look through OVERLOAD.
2957
2958 2010-01-17  Dodji Seketeli  <dodji@redhat.com>
2959
2960         PR c++/42697
2961         *pt.c (tsubst_decl):  Revert commit for PR c++/42697.
2962
2963 2010-01-17  Dodji Seketeli  <dodji@redhat.com>
2964
2965         PR c++/42697
2966         *pt.c (tsubst_decl): Get the arguments of a specialization from
2967         the specialization template, not from the most general template.
2968
2969 2010-01-16  Jason Merrill  <jason@redhat.com>
2970
2971         PR c++/42761
2972         * semantics.c (finish_decltype_type): Within a template, treat
2973         unresolved CALL_EXPR as dependent.
2974
2975 2010-01-15  Dodji Seketeli  <dodji@redhat.com>
2976
2977         * error.c (dump_template_parms,count_non_default_template_args):
2978         Revert changes of PR c++/42634.
2979
2980 2010-01-14  Jakub Jelinek  <jakub@redhat.com>
2981
2982         PR middle-end/42674
2983         * decl.c (finish_function): Don't emit -Wreturn-type warnings in
2984         functions with noreturn attribute.
2985
2986 2010-01-14  Jason Merrill  <jason@redhat.com>
2987
2988         PR c++/42701
2989         * call.c (build_new_method_call): Don't free the vec here.
2990
2991         PR c++/42655
2992         * call.c (convert_like_real): Do full decay_conversion for ck_rvalue.
2993
2994 2010-01-13  Dodji Seketeli  <dodji@redhat.com>
2995
2996         PR c++/42634
2997         * error.c (dump_template_parms): Use innermost template
2998         arguments before calling count_non_default_template_args.
2999         (count_non_default_template_args): We are being called with
3000         template innermost arguments now. There is no need to ensure
3001         that again.
3002
3003 2010-01-07  Dodji Seketeli  <dodji@redhat.com>
3004
3005         c++/40155
3006         * pt.c (unify_pack_expansion): In non-deduced contexts, re-use template
3007         arguments that were previously deduced.
3008
3009 2010-01-05  Jason Merrill  <jason@redhat.com>
3010
3011         * pt.c (unify_pack_expansion): Handle deduction from init-list.
3012         * call.c (build_over_call): Don't complain about it.
3013
3014 2010-01-04  Jason Merrill  <jason@redhat.com>
3015
3016         PR c++/42555
3017         * pt.c (tsubst_decl): Don't apply type attributes in place.
3018
3019         PR c++/42567
3020         * semantics.c (describable_type): Remove decltype comment and
3021         semantics.
3022
3023
3024 \f
3025 Copyright (C) 2010 Free Software Foundation, Inc.
3026
3027 Copying and distribution of this file, with or without modification,
3028 are permitted in any medium without royalty provided the copyright
3029 notice and this notice are preserved.
3030