gcc/cp/ChangeLog

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