gcc/cp/ChangeLog

   1 2011-06-29  Jason Merrill  <jason@redhat.com>
   2
   3         PR c++/49216
   4         * init.c (build_new_1): Pass {} down to build_vec_init.
   5         (build_vec_init): Handle it.
   6
   7         DR 1207
   8         PR c++/49003
   9         * cp-tree.h (struct saved_scope): Add x_current_class_ptr,
  10         x_current_class_ref.
  11         (current_class_ptr, current_class_ref): Use them.
  12         * decl.c (build_this_parm): Handle getting the class type.
  13         * parser.c (cp_parser_late_return_type_opt): Set up 'this'
  14         for use within the trailing return type.
  15
  16         * pt.c (tsubst_decl) [VAR_DECL]: In unevaluated operand,
  17         don't tsubst DECL_INITIAL unless our type use auto.
  18
  19         PR c++/49520
  20         * semantics.c (constexpr_fn_retval): Handle CLEANUP_POINT_EXPR here.
  21         (massage_constexpr_body): Not here.
  22
  23         PR c++/49554
  24         * semantics.c (lambda_proxy_type): New.
  25         (build_capture_proxy): Use it.
  26         * cp-tree.h (DECLTYPE_FOR_LAMBDA_PROXY): New.
  27         * pt.c (tsubst) [DECLTYPE_TYPE]: Use them.
  28
  29         PR c++/45923
  30         * class.c (explain_non_literal_class): New.
  31         (finalize_literal_type_property): Call it.
  32         * cp-tree.h: Declare it.
  33         * semantics.c (ensure_literal_type_for_constexpr_object): Call it.
  34         (is_valid_constexpr_fn): Likewise.
  35         (massage_constexpr_body): Split out from...
  36         (register_constexpr_fundef): ...here.
  37         (is_instantiation_of_constexpr): New.
  38         (expand_or_defer_fn_1): Leave DECL_SAVED_TREE alone in that case.
  39         (explain_invalid_constexpr_fn): New.
  40         (cxx_eval_call_expression): Call it.
  41         (potential_constant_expression_1): Likewise.  Avoid redundant errors.
  42         * method.c (process_subob_fn): Diagnose non-constexpr.
  43         (walk_field_subobs): Likewise.
  44         (synthesized_method_walk): Don't shortcut if we want diagnostics.
  45         (explain_implicit_non_constexpr): New.
  46         (defaulted_late_check): Use it.
  47         * call.c (build_cxx_call): Remember location.
  48
  49         * method.c (maybe_explain_implicit_delete): Use pointer_set
  50         instead of htab.
  51
  52         * class.c (finalize_literal_type_property): Update conditions.
  53         * method.c (defaulted_late_check): Set TYPE_HAS_CONSTEXPR_CTOR.
  54
  55         * tree.c (build_vec_init_expr): Don't add TARGET_EXPR.
  56         * typeck2.c (digest_init_r): Handle VEC_INIT_EXPR.
  57         * semantics.c (cxx_eval_vec_init_1): Correct type.
  58
  59         * init.c (build_value_init): Decide whether or not to zero-initialize
  60         based on user-providedness of default ctor, not any ctor.
  61         (build_value_init_noctor): Adjust assert.
  62
  63         DR 990
  64         * call.c (convert_like_real) [ck_user]: Handle value-initialization.
  65         (build_new_method_call_1): Likewise.
  66         * init.c (expand_default_init): Handle direct list-initialization
  67         of aggregates.
  68
  69 2011-06-27  Jakub Jelinek  <jakub@redhat.com>
  70
  71         * cp-tree.h (union lang_tree_node): Use it in chain_next expression.
  72
  73 2011-06-26  Jason Merrill  <jason@redhat.com>
  74
  75         PR c++/49528
  76         * semantics.c (potential_constant_expression_1): Check
  77         for non-literality rather than cleanup.
  78         (cxx_eval_constant_expression): Likewise.
  79
  80         PR c++/49528
  81         * semantics.c (potential_constant_expression_1): A TARGET_EXPR
  82         with a cleanup isn't constant.
  83         (cxx_eval_constant_expression): Likewise.
  84         * init.c (expand_default_init): Use maybe_constant_init.
  85
  86 2011-06-24  Jakub Jelinek  <jakub@redhat.com>
  87
  88         PR c++/46400
  89         * cp-tree.h (union lang_tree_node): Use TYPE_NEXT_VARIANT
  90         instead of TYPE_CHAIN for chain_next for types.
  91
  92 2011-06-23  Gabriel Charette  <gchare@google.com>
  93
  94         * name-lookup.h (cp_binding_level): Removed unused
  95         member names_size. Update all users.
  96
  97 2011-06-23  Jason Merrill  <jason@redhat.com>
  98
  99         * typeck2.c (build_functional_cast): Strip cv-quals for value init.
 100         * init.c (build_zero_init_1): Not here.
 101
 102         PR c++/35255
 103         * pt.c (resolve_overloaded_unification): Fix DR 115 handling.
 104
 105 2011-06-23  Paolo Carlini  <paolo.carlini@oracle.com>
 106
 107         PR c++/44625
 108         * decl2.c (build_anon_union_vars): Early return error_mark_node
 109         for a nested anonymous struct.
 110
 111 2011-06-23  Jason Merrill  <jason@redhat.com>
 112
 113         PR c++/49507
 114         * decl2.c (mark_used): Don't call synthesize_method for
 115         functions defaulted outside the class.
 116
 117         * optimize.c (maybe_clone_body): Set linkage flags before
 118         cgraph_same_body_alias.
 119
 120         PR c++/49440
 121         * class.c (set_linkage_according_to_type): Hand off to
 122         determine_visibility.
 123
 124         PR c++/49395
 125         * init.c (build_zero_init_1): Strip cv-quals from scalar types.
 126
 127         PR c++/36435
 128         * pt.c (most_specialized_instantiation): Do check return types.
 129
 130 2011-06-22  Jason Merrill  <jason@redhat.com>
 131
 132         PR c++/49260
 133         * call.c (build_call_a): Set cp_function_chain->can_throw here.
 134         (build_cxx_call): Not here.
 135
 136 2011-06-21  Jason Merrill  <jason@redhat.com>
 137
 138         PR c++/49172
 139         * decl.c (cp_finish_decl): Adjust init_const_expr_p for refs.
 140         (grokdeclarator): constexpr doesn't apply const for refs.
 141         * parser.c (cp_parser_initializer_clause): Don't call
 142         maybe_constant_value here.
 143         * call.c (initialize_reference): Handle constexpr.
 144
 145         PR c++/49482
 146         * semantics.c (maybe_add_lambda_conv_op): Call mark_exp_read for
 147         static fn parameters.
 148
 149         * call.c (add_builtin_candidates): Use cv_unqualified rather than
 150         TYPE_MAIN_VARIANT.
 151         * pt.c (tsubst_arg_types): Likewise.
 152         * except.c (build_throw): Use cv_unqualified.
 153
 154         PR c++/49418
 155         * call.c (cxx_type_promotes_to): Don't strip cv-quals.
 156         * semantics.c (lambda_return_type): Strip them here.
 157
 158 2011-06-21  Andrew MacLeod  <amacleod@redhat.com>
 159
 160         * semantics.c: Add sync_ or SYNC__ to builtin names.
 161
 162 2011-06-20  Jason Merrill  <jason@redhat.com>
 163
 164         PR c++/49216
 165         * init.c (build_vec_init): Don't try to use a CONSTRUCTOR when
 166         base is a pointer.
 167         * typeck2.c (process_init_constructor_array): Use {} for classes,
 168         too.
 169         * call.c (convert_like_real): Handle substitution failure.
 170
 171         PR c++/48138
 172         * pt.c (canonicalize_type_argument): New.
 173         (convert_template_argument, unify): Use it.
 174
 175         PR c++/47080
 176         * call.c (rejection_reason_code): Add rr_explicit_conversion.
 177         (print_z_candidate): Handle it.
 178         (explicit_conversion_rejection): New.
 179         (build_user_type_conversion_1): Reject an explicit conversion
 180         function that requires more than a qualification conversion.
 181
 182         PR c++/47635
 183         * decl.c (grokdeclarator): Don't set ctype to an ENUMERAL_TYPE.
 184
 185         PR c++/48138
 186         * tree.c (strip_typedefs): Use build_aligned_type.
 187
 188         PR c++/49205
 189         * call.c (sufficient_parms_p): Allow parameter packs too.
 190
 191         PR c++/43321
 192         * semantics.c (describable_type): Remove.
 193         * cp-tree.h: Likewise.
 194         * decl.c (cp_finish_decl): Don't call it.
 195         * init.c (build_new): Likewise.
 196         * parser.c (cp_parser_omp_for_loop): Likewise.
 197         * pt.c (tsubst_decl): Likewise.
 198         (do_auto_deduction): If we fail in a template, try again
 199         at instantiation time.
 200
 201         PR c++/43831
 202         * parser.c (cp_parser_lambda_introducer): Complain about redundant
 203         captures.
 204         * semantics.c (add_capture): Likewise.
 205         (register_capture_members): Clear IDENTIFIER_MARKED.
 206
 207 2011-06-17  Jason Merrill  <jason@redhat.com>
 208
 209         PR c++/49458
 210         * call.c (convert_class_to_reference_1): Allow binding function
 211         lvalue to rvalue reference.
 212
 213         PR c++/43912
 214         Generate proxy VAR_DECLs for better lambda debug info.
 215         * cp-tree.h (FUNCTION_NEEDS_BODY_BLOCK): Add lambda operator().
 216         (LAMBDA_EXPR_PENDING_PROXIES): New.
 217         (struct tree_lambda_expr): Add pending_proxies.
 218         * name-lookup.c (pushdecl_maybe_friend_1): Handle capture shadowing.
 219         (qualify_lookup): Use is_lambda_ignored_entity.
 220         * parser.c (cp_parser_lambda_expression): Don't adjust field names.
 221         Call insert_pending_capture_proxies.
 222         (cp_parser_lambda_introducer): Use this_identifier.
 223         (cp_parser_lambda_declarator_opt): Call the object parameter
 224         of the op() "__closure" instead of "this".
 225         (cp_parser_lambda_body): Call build_capture_proxy.
 226         * semantics.c (build_capture_proxy, is_lambda_ignored_entity): New.
 227         (insert_pending_capture_proxies, insert_capture_proxy): New.
 228         (is_normal_capture_proxy, is_capture_proxy): New.
 229         (add_capture): Add __ to field names here, return capture proxy.
 230         (add_default_capture): Use this_identifier, adjust to expect
 231         add_capture to return a capture proxy.
 232         (outer_lambda_capture_p, thisify_lambda_field): Remove.
 233         (finish_id_expression, lambda_expr_this_capture): Adjust.
 234         (build_lambda_expr): Initialize LAMBDA_EXPR_PENDING_PROXIES.
 235         * pt.c (tsubst_copy_and_build): Check that LAMBDA_EXPR_PENDING_PROXIES
 236         is null.
 237
 238         * name-lookup.c (pushdecl_maybe_friend_1): Do check for shadowing
 239         of artificial locals.
 240
 241         * parser.c (cp_parser_lambda_expression): Clear
 242         LAMBDA_EXPR_THIS_CAPTURE after parsing.
 243         * pt.c (tsubst_copy_and_build): Make sure it isn't set.
 244
 245         * cp-tree.h (struct tree_lambda_expr): Change common to typed.
 246         Move non-pointers to end of struct.
 247
 248         * pt.c (tsubst_decl): Handle DECL_VALUE_EXPR on reference.
 249         * decl.c (check_initializer): Handle DECL_VALUE_EXPR_P.
 250
 251         * semantics.c (finish_non_static_data_member): Preserve dereference
 252         in template.
 253
 254 2011-06-16  Jason Merrill  <jason@redhat.com>
 255
 256         PR c++/44160
 257         * parser.c (cp_parser_lambda_body): Share code between
 258         simple and complex cases instead of using cp_parser_function_body.
 259
 260         PR c++/45378
 261         * decl.c (check_initializer): Check narrowing.
 262
 263         PR c++/49229
 264         * pt.c (tsubst_decl) [FUNCTION_DECL]: Handle substitution failure.
 265
 266         PR c++/49251
 267         * semantics.c (finish_id_expression): Mark even dependent
 268         variables as used.
 269
 270         PR c++/49420
 271         * error.c (dump_template_argument): Don't try to omit default
 272         template args from an argument pack.
 273
 274 2011-06-15  H.J. Lu  <hongjiu.lu@intel.com>
 275
 276         PR c++/49412
 277         * decl.c (get_dso_handle_node): Mark __dso_handle hidden if
 278         assembler supports hidden visibility.
 279
 280 2011-06-14  Jason Merrill  <jason@redhat.com>
 281
 282         PR c++/49107
 283         * cp-tree.h (DEFERRED_NOEXCEPT_SPEC_P): Handle overload.
 284         * method.c (defaulted_late_check): Only maybe_instantiate_noexcept
 285         if the declaration had an exception-specifier.
 286         (process_subob_fn): Don't maybe_instantiate_noexcept.
 287         * pt.c (maybe_instantiate_noexcept): Handle overload.
 288         * typeck2.c (nothrow_spec_p_uninst): New.
 289         (merge_exception_specifiers): Add 'fn' parm.  Build up overload.
 290         * typeck.c (merge_types): Adjust.
 291
 292         * pt.c (deduction_tsubst_fntype): Don't save input_location.
 293         (maybe_instantiate_noexcept): Likewise.
 294
 295 2011-06-14  Joseph Myers  <joseph@codesourcery.com>
 296
 297         * Make-lang.in (cp/method.o): Update dependencies.
 298         * method.c: Include common/common-target.h.
 299         (use_thunk): Use targetm_common.have_named_sections.
 300
 301 2011-06-14  Steve Ellcey  <sje@cup.hp.com>
 302
 303         * decl.c (cxx_init_decl_processing): Use ptr_mode instead of Pmode.
 304
 305 2011-06-14  Jason Merrill  <jason@redhat.com>
 306
 307         * error.c (type_to_string): Print typedef-stripped version too.
 308
 309         PR c++/49117
 310         * call.c (perform_implicit_conversion_flags): Print source type as
 311         well as expression.
 312
 313         PR c++/49389
 314         * typeck2.c (build_m_component_ref): Preserve rvalueness.
 315
 316         PR c++/49369
 317         * class.c (build_base_path): Fix cv-quals in unevaluated context.
 318
 319         PR c++/49290
 320         * semantics.c (cxx_fold_indirect_ref): Local, more permissive copy
 321         of fold_indirect_ref_1.
 322         (cxx_eval_indirect_ref): Use it.
 323
 324 2011-06-11  Jan Hubicka  <jh@suse.cz>
 325
 326         * decl2.c (cp_write_global_declarations): Process aliases; look trhough
 327         same body aliases.
 328
 329 2011-06-10  Paolo Carlini  <paolo.carlini@oracle.com>
 330
 331         PR c++/41769
 332         * decl.c (grokdeclarator): Reject operator names in parameters.
 333
 334 2011-06-10  Jan Hubicka  <jh@suse.cz>
 335
 336         * decl2.c (clear_decl_external): New functoin.
 337         (cp_write_global_declarations): Use it.
 338
 339 2011-06-10  Paolo Carlini  <paolo.carlini@oracle.com>
 340
 341         * cp-tree.h (error_operand_p): Remove.
 342
 343 2011-06-09  David Krauss  <potswa@mac.com>
 344
 345         PR c++/49118
 346         * typeck2.c (build_x_arrow): Push fake template context
 347         to produce diagnostic on acyclic endless operator-> drill-down.
 348         * call.c (build_new_op): Change Boolean overload status
 349         value to a pointer to the overload function.
 350         * cp-tree.h: Likewise.
 351         * typeck.c: Likewise.
 352         * parser.c: Likewise.
 353         * decl2.c: Likewise.
 354         * pt.c: Likewise.
 355
 356 2011-06-09  Jason Merrill  <jason@redhat.com>
 357
 358         * semantics.c (maybe_constant_value): Handle overflowed input.
 359         (non_const_var_error): Handle non-constant DECL_INITIAL.
 360
 361         * pt.c (build_non_dependent_expr): Use fold_non_dependent_expr_sfinae.
 362
 363         * parser.c (cp_parser_constant_expression): Just return the
 364         non-constant expression.
 365
 366         * semantics.c (finish_compound_literal): Set TREE_HAS_CONSTRUCTOR.
 367
 368 2011-06-09  Paolo Carlini  <paolo.carlini@oracle.com>
 369
 370         PR c++/29003
 371         * decl.c (grokdeclarator): Reject operator names in typedefs.
 372
 373 2011-06-08  Jason Merrill  <jason@redhat.com>
 374
 375         PR c++/49107
 376         * cp-tree.def (DEFERRED_NOEXCEPT): New.
 377         * cp-tree.h (struct tree_deferred_noexcept): New.
 378         (DEFERRED_NOEXCEPT_PATTERN, DEFERRED_NOEXCEPT_ARGS): New.
 379         (DEFERRED_NOEXCEPT_SPEC_P): New.
 380         (enum cp_tree_node_structure_enum): Add TS_CP_DEFERRED_NOEXCEPT.
 381         (union lang_tree_node): Add tree_deferred_noexcept.
 382         (maybe_instantiate_noexcept): Declare.
 383         * cp-objcp-common.c (cp_tree_size): Handle DEFERRED_NOEXCEPT.
 384         * error.c (dump_exception_spec): Likewise.
 385         * cxx-pretty-print.c (pp_cxx_exception_specification): Likewise.
 386         * ptree.c (cxx_print_xnode): Likewise.
 387         * tree.c (cp_tree_equal): Likewise.
 388         * decl.c (cp_tree_node_structure): Likewise.
 389         (duplicate_decls): Call maybe_instantiate_noexcept.
 390         * except.c (build_noexcept_spec): Handle DEFERRED_NOEXCEPT.
 391         (nothrow_spec_p, type_noexcept_p, type_throw_all_p): Check
 392         DEFERRED_NOEXCEPT_SPEC_P.
 393         * typeck2.c (merge_exception_specifiers): Likewise.
 394         * decl2.c (mark_used): Call maybe_instantiate_noexcept.
 395         * method.c (process_subob_fn, defaulted_late_check): Likewise.
 396         * pt.c (tsubst_exception_specification): Add defer_ok parm.
 397         Build DEFERRED_NOEXCEPT.
 398         (maybe_instantiate_noexcept): New.
 399         (tsubst, regenerate_decl_from_template, instantiate_decl): Adjust.
 400         * search.c (check_final_overrider): Call maybe_instantiate_noexcept.
 401
 402         * semantics.c (potential_constant_expression_1): Handle destructor
 403         call.
 404
 405 2011-06-08  Jakub Jelinek  <jakub@redhat.com>
 406
 407         * cp-tree.h (struct tinst_level): Add chain_next GTY
 408         markup.
 409
 410 2011-06-08  Jason Merrill  <jason@redhat.com>
 411
 412         PR c++/49322
 413         * pt.c (deduction_tsubst_fntype): Don't free the tinst entry
 414         if a pending_template entry is pointing at it.
 415
 416 2011-06-07  Jason Merrill  <jason@redhat.com>
 417
 418         PR c++/48969
 419         PR c++/44175
 420         * error.c (subst_to_string): New.
 421         (cp_printer): Use it for 'S'.
 422         (print_instantiation_partial_context_line): Handle subst context.
 423         * pt.c (push_tinst_level): Handle subst context.
 424         (deduction_tsubst_fntype): Don't track specific substitutions.
 425         Use push_tinst_level.
 426
 427         * pt.c (deduction_tsubst_fntype): Use push_deduction_access_scope.
 428         (fn_type_unification): Don't call push_deduction_access_scope here.
 429
 430 2011-06-06  Jason Merrill  <jason@redhat.com>
 431
 432         PR c++/48780
 433         * typeck.c (perform_integral_promotions): Don't promote scoped enums.
 434         * call.c (convert_arg_to_ellipsis): Promote them here in old ABI.
 435
 436 2011-06-06  Nicola Pero  <nicola.pero@meta-innovation.com>,
 437
 438         PR obj-c++/48275
 439         * parser.c (cp_parser_objc_at_property_declaration): Allow setter
 440         and getter names to use all the allowed method names.
 441
 442 2011-06-06  Jason Merrill  <jason@redhat.com>
 443
 444         PR c++/49298
 445         * semantics.c (potential_constant_expression_1): Handle FIELD_DECL.
 446
 447         PR objc++/49221
 448         * decl.c (cp_finish_decl): Check DECL_FUNCTION_SCOPE_P rather than
 449         at_function_scope_p.
 450
 451         PR c++/49134
 452         * tree.c (build_target_expr): Deal with ARM ABI tweaks.
 453
 454 2011-06-04  Jonathan Wakely  <jwakely.gcc@gmail.com>
 455
 456         * init.c (build_delete): Warn when deleting type with non-virtual
 457         destructor.
 458
 459 2011-06-03  Jakub Jelinek  <jakub@redhat.com>
 460
 461         PR c++/49276
 462         * mangle.c (write_nested_name): Use CP_DECL_CONTEXT instead of
 463         DECL_CONTEXT.
 464
 465 2011-06-01  Jason Merrill  <jason@redhat.com>
 466
 467         * pt.c (build_non_dependent_expr): Remove special handling of
 468         REFERENCE_REF_P.
 469
 470         PR c++/44175
 471         * pt.c (template_args_equal): Handle one arg being NULL_TREE.
 472         (deduction_tsubst_fntype): Handle excessive non-infinite recursion.
 473
 474         PR c++/49253
 475         * typeck2.c (build_x_arrow): Don't use build_min_nt.
 476
 477 2010-05-31  Fabien Chêne  <fabien@gcc.gnu.org>
 478
 479         PR c++/48010
 480         * name-lookup.c (supplement_binding_1): If the old binding was a
 481         type name, also check that the DECL actually refers to the same
 482         type or is not a type.
 483
 484 2011-05-31  Jason Merrill  <jason@redhat.com>
 485
 486         PR c++/44870
 487         * tree.c (lvalue_kind): Recurse on NON_DEPENDENT_EXPR.  Handle
 488         ARROW_EXPR, TYPEID_EXPR, and arbitrary class-valued expressions.
 489         (build_min_non_dep): Preserve reference refs.
 490         (build_min_non_dep_call_vec): Likewise
 491
 492 2011-05-30  Jakub Jelinek  <jakub@redhat.com>
 493
 494         PR c++/49223
 495         * semantics.c (finish_omp_clauses): Call require_complete_type
 496         even for copyin/copyprivate clauses.  Only call
 497         cxx_omp_create_clause_info if inner_type is COMPLETE_TYPE_P.
 498
 499 2011-05-28  Jason Merrill  <jason@redhat.com>
 500
 501         PR c++/46124
 502         * parser.c (cp_parser_lambda_expression): Improve error recovery.
 503         (cp_parser_lambda_declarator_opt): Likewise.  Return bool.
 504
 505 2011-05-27  Jason Merrill  <jason@redhat.com>
 506
 507         PR c++/47277
 508         * parser.c (cp_parser_pseudo_destructor_name): Commit to parse
 509         after we see the ~.
 510
 511         * mangle.c (mangle_decl_string): Make sure we don't try to mangle
 512         templates.
 513
 514         PR c++/47049
 515         * semantics.c (maybe_add_lambda_conv_op): Fix COMDAT sharing.
 516         * decl.c (start_preparsed_function): Don't call comdat_linkage for
 517         a template.
 518
 519         PR c++/47132
 520         * mangle.c (write_expression): Handle MODOP_EXPR.
 521
 522         PR c++/47277
 523         * parser.c (cp_parser_unqualified_id): Don't check
 524         constructor_name_p for enums.
 525
 526         PR c++/47687
 527         * pt.c (dependent_type_p_r): Avoid infinite recursion.
 528
 529         PR c++/48284
 530         * error.c (dump_expr) [COMPONENT_REF]: Use pp_cxx_dot
 531         with INDIRECT_REF of REFERENCE_TYPE.
 532
 533         PR c++/49181
 534         * pt.c (get_mostly_instantiated_function_type): Use push_access_scope.
 535
 536 2011-05-27  Nathan Froyd  <froydnj@codesourcery.com>
 537
 538         * cp-tree.h (building_stmt_tree): Delete.
 539         * decl.c (save_function_data): Tweak initializer for x_cur_stmt_list.
 540         (build_aggr_init_full_exprs): Call building_stmt_list_p
 541         instead of building_stmt_tree.
 542         (initialize_local_var): Likewise.
 543         (finish_function): Likewise.
 544         * decl2.c (finish_anon_union): Likewise.
 545         * init.c (begin_init_stmts): Likewise.
 546         (finish_init_stmts): Likewise.
 547         (expand_aggr_init_1): Likewise.
 548         * name-lookup.c (do_local_using_decl): Likewise.
 549         (do_namespace_alias): Likewise.
 550         (do_using_directive): Likewise.
 551         (cp_emit_debug_info_for_using): Likewise.
 552         * semantics.c (add_stmt): Assert that stmt_list_stack is non-empty.
 553
 554 2011-05-27  Paolo Carlini  <paolo.carlini@oracle.com>
 555
 556         PR c++/42056
 557         * typeck2.c (build_functional_cast): Complain early for invalid uses
 558         of 'auto' and set type to error_mark_node.
 559
 560 2011-05-26  Jason Merrill  <jason@redhat.com>
 561
 562         PR c++/47721
 563         * parser.c (cp_parser_member_declaration): Allow friend T.
 564         * friend.c (make_friend_class): Ignore non-classes.
 565         * pt.c (instantiate_class_template_1): Handle TEMPLATE_TYPE_PARM.
 566
 567         DR 1004
 568         * pt.c (convert_template_argument): Don't complain about using
 569         injected-class-name as template template argument.
 570
 571         PR c++/47956
 572         * decl.c (check_static_variable_definition): Now static.
 573         (cp_finish_decl): Call it here.
 574         (grokdeclarator): Not here.
 575         * pt.c (instantiate_class_template_1): Or here.
 576         * cp-tree.h: Don't declare it.
 577
 578 2011-05-26  Janis Johnson  <janis187@us.ibm.com>
 579             Nathan Froyd  <froydnj@codesourcery.com>
 580
 581         PR c++/2288
 582         PR c++/18770
 583         * name-lookup.h (enum scope_kind): Add sk_cond.
 584         * name-lookup.c (pushdecl_maybe_friend): Get scope of shadowed local.
 585         Detect and report error for redeclaration from for-init or if
 586         or switch condition.
 587         (begin_scope): Handle sk_cond.
 588         * semantics.c (begin_if_stmt): Use sk_cond.
 589         (begin switch_stmt): Ditto.
 590
 591 2011-05-26  Jason Merrill  <jason@redhat.com>
 592
 593         PR c++/48211
 594         * name-lookup.h (cp_class_binding): Make base a pointer.
 595         * name-lookup.c (new_class_binding): Adjust.
 596         (poplevel_class): Adjust.
 597
 598         PR c++/48424
 599         * decl.c (grokparms): Function parameter packs don't need to
 600         go at the end.
 601         * pt.c (type_unification_real): But they aren't deduced otherwise.
 602
 603 2011-05-25  Jason Merrill  <jason@redhat.com>
 604
 605         PR c++/48536
 606         * decl.c (build_enumerator): If incremented enumerator won't fit in
 607         previous integral type, find one it will fit in.
 608
 609         PR c++/48599
 610         * decl.c (create_array_type_for_decl): Complain about array of auto.
 611
 612         PR c++/44994
 613         PR c++/49156
 614         * error.c (dump_template_bindings): Set processing_template_decl
 615         for a partial instantiation.
 616
 617         PR c++/45401
 618         * decl.c (grokdeclarator): Don't change type when adding rvalue ref
 619         to another reference type.
 620
 621         PR c++/44311
 622         * decl.c (case_conversion): New.
 623         (finish_case_label): Use it.
 624
 625         * ptree.c (cxx_print_xnode): Handle ARGUMENT_PACK_SELECT.
 626
 627         PR c++/45698
 628         * pt.c (dependent_template_arg_p): See through ARGUMENT_PACK_SELECT.
 629
 630         PR c++/46005
 631         * decl.c (grokdeclarator): Complain about auto typedef.
 632
 633         PR c++/46245
 634         * decl.c (grokdeclarator): Complain later for auto parameter.
 635         * pt.c (splice_late_return_type): Handle use in a template
 636         type-parameter.
 637
 638         PR c++/46696
 639         * typeck.c (cp_build_modify_expr): Check DECL_DEFAULTED_FN.
 640
 641         PR c++/47184
 642         * parser.c (cp_parser_parameter_declaration): Recognize
 643         list-initialization.
 644         (cp_parser_direct_declarator): Check for the closing
 645         paren before parsing definitely.
 646
 647         PR c++/48935
 648         * parser.c (cp_parser_constructor_declarator_p): Don't check
 649         constructor_name_p for enums.
 650         (cp_parser_diagnose_invalid_type_name): Correct error message.
 651
 652         PR c++/45418
 653         * init.c (perform_member_init): Handle list-initialization
 654         of array of non-trivial class type.
 655
 656         PR c++/45080
 657         * pt.c (instantiate_class_template_1): Call maybe_add_lambda_conv_op.
 658         * semantics.c (lambda_function): Check COMPLETE_OR_OPEN_TYPE_P.
 659
 660         PR c++/48292
 661         * pt.c (tsubst_decl) [PARM_DECL]: Handle partial instantiation of
 662         function parameter pack.
 663         (tsubst_pack_expansion): Likewise.
 664
 665         * cp-objcp-common.c (cp_common_init_ts): TYPE_ARGUMENT_PACK has
 666         TS_COMMON.
 667
 668 2011-05-25  Jakub Jelinek  <jakub@redhat.com>
 669
 670         * cp-objcp-common.c (cp_common_init_ts): Mark CTOR_INITIALIZER
 671         as TS_TYPED.
 672
 673         PR c++/49136
 674         * semantics.c (cxx_eval_bit_field_ref): Handle the
 675         case when BIT_FIELD_REF doesn't cover only a single field.
 676
 677 2011-05-24  Jason Merrill  <jason@redhat.com>
 678
 679         PR c++/49042
 680         * pt.c (get_mostly_instantiated_function_type): Use
 681         push_deferring_access_checks rather than set flag_access_control.
 682
 683 2011-05-24  Nicola Pero  <nicola.pero@meta-innovation.com>,
 684
 685         * parser.c (cp_parser_objc_class_ivars): Deal gracefully with a
 686         syntax error in declaring an ObjC instance variable.
 687
 688 2011-05-24  Jason Merrill  <jason@redhat.com>
 689
 690         PR c++/48884
 691         * class.c (pushclass): Accept NULL argument.
 692         (popclass): Deal with popping null class.
 693         * pt.c (push_access_scope, pop_access_scope): Use them rather than
 694         push_to_top_level/pop_from_top_level.
 695         (push_deduction_access_scope, pop_defarg_context): New.
 696         (fn_type_unification): Use them.
 697         * name-lookup.c (lookup_name_real_1): Check current_class_type.
 698
 699 2011-05-24  Paolo Carlini  <paolo.carlini@oracle.com>
 700
 701         * decl.c (grokdeclarator): Use current_class_name.
 702
 703 2011-05-24  Joseph Myers  <joseph@codesourcery.com>
 704
 705         * Make-lang.in (GXX_OBJS): Remove prefix.o.
 706         (g++$(exeext)): Use libcommon-target.a.
 707         (CXX_C_OBJS): Remove prefix.o.
 708
 709 2011-05-23  Jason Merrill  <jason@redhat.com>
 710
 711         * pt.c (tsubst_copy_and_build): Use current_class_name.
 712
 713         PR c++/49102
 714         * call.c (convert_arg_to_ellipsis): Call force_rvalue.
 715
 716         PR c++/49105
 717         * typeck.c (cp_build_c_cast): Don't strip cv-quals when
 718         converting to reference.
 719         (build_static_cast_1): Update for glvalues.
 720
 721         PR c++/49105
 722         * typeck.c (build_const_cast_1): Handle rvalue references.
 723
 724         PR c++/47263
 725         * decl.c (use_eh_spec_block): Do use an EH spec block for a
 726         lambda op().
 727
 728         PR c++/49058
 729         * call.c (splice_viable): Be strict in templates.
 730
 731         PR c++/47336
 732         * error.c (dump_template_bindings): Suppress access control.
 733
 734         PR c++/47544
 735         * pt.c (instantiate_decl): Handle =default.
 736
 737         PR c++/48617
 738         * pt.c (invalid_nontype_parm_type_p): Allow DECLTYPE_TYPE.
 739
 740 2011-05-23  Nathan Froyd  <froydnj@codesourcery.com>
 741
 742         * call.c (build_over_call): Tweak call to check_function_arguments.
 743         * typeck.c (cp_build_function_call_vec): Likewise.
 744
 745 2011-05-23  Jonathan Wakely  <jwakely.gcc@gmail.com>
 746
 747         PR c++/18016
 748         * init.c (perform_member_init): Check for self-initialization.
 749
 750 2011-05-22  Jason Merrill  <jason@redhat.com>
 751
 752         PR c++/48647
 753         * typeck.c (composite_pointer_type_r): Return error_mark_node
 754         on error in SFINAE context.
 755
 756 2011-05-20  Jason Merrill  <jason@redhat.com>
 757
 758         PR c++/48945
 759         * decl.c (grokdeclarator): Don't add set const function-cv-qual
 760         for constexpr fns to memfn_quals, just add it to the type.
 761         (revert_static_member_fn): Don't complain about quals.
 762         (check_static_quals): New.
 763         (grokfndecl): Call it.
 764         (start_preparsed_function): Don't call revert_static_member_fn.
 765
 766         PR c++/48945
 767         * decl.c (revert_static_member_fn): Ignore const on constexpr fn.
 768
 769         PR c++/48780
 770         * cvt.c (type_promotes_to): Don't promote scoped enums.
 771
 772         PR c++/49066
 773         * decl.c (duplicate_decls): Preserve DECL_DELETED_FN.
 774
 775         PR c++/48873
 776         * tree.c (stabilize_expr): Fix typo.
 777
 778         DR 1073
 779         PR c++/49082
 780         * typeck.c (comp_except_specs): noexcept(false) is not compatible
 781         with throw(type-list).
 782         * typeck2.c (merge_exception_specifiers): noexcept(false)
 783         beats any more limited specification.
 784
 785         PR c++/24163
 786         PR c++/29131
 787         * pt.c (tsubst_copy_and_build) [CALL_EXPR]: Avoid repeating
 788         unqualified lookup.
 789         * semantics.c (perform_koenig_lookup): Add complain parm.
 790         * cp-tree.h: Adjust.
 791         * parser.c (cp_parser_postfix_expression): Adjust.
 792         (cp_parser_perform_range_for_lookup): Adjust.
 793
 794 2011-05-20  Jason Merrill  <jason@redhat.com>
 795
 796         * semantics.c (finish_call_expr): SET_EXPR_LOCATION.
 797
 798 2011-05-20  Joseph Myers  <joseph@codesourcery.com>
 799
 800         * Make-lang.in (GXX_OBJS): Remove intl.o and version.o.
 801
 802 2011-05-19  Jakub Jelinek  <jakub@redhat.com>
 803
 804         PR c++/49043
 805         * decl.c (check_omp_return): Stop searching on sk_function_parms.
 806
 807         PR c++/48869
 808         * method.c (get_dtor, get_copy_ctor): Add COMPLAIN argument,
 809         pass it down to locate_fn_flags.
 810         * cp-tree.h (get_dtor, get_copy_ctor): Adjust prototypes.
 811         * semantics.c (cxx_omp_create_clause_info): Adjust callers.
 812         * cp-gimplify.c: Include splay-tree.h.
 813         (splay_tree_compare_decl_uid, omp_var_to_track,
 814         omp_cxx_notice_variable): New functions.
 815         (struct cp_genericize_omp_taskreg): New type.
 816         (struct cp_genericize_data): Add omp_ctx field.
 817         (cp_genericize_r): Attempt to determine implicitly determined
 818         firstprivate class type variables.
 819         (cp_genericize): Clear omp_ctx.
 820         * Make-lang.in (cp/cp-gimplify.o): Depend on $(SPLAY_TREE_H).
 821
 822 2011-05-18  Jason Merrill  <jason@redhat.com>
 823
 824         PR c++/48948
 825         PR c++/49015
 826         * class.c (finalize_literal_type_property): Do check
 827         for constexpr member functions of non-literal class.
 828         (finish_struct): Don't call check_deferred_constexpr_decls.
 829         * cp-tree.h: Don't declare it.
 830         (DECL_DEFERRED_CONSTEXPR_CHECK): Remove.
 831         * decl.c (grok_special_member_properties): Don't check it
 832         (grokfnedcl): Don't call validate_constexpr_fundecl.
 833         (start_preparsed_function): Do call it.
 834         * pt.c (tsubst_decl): Don't call it.
 835         (instantiate_class_template_1): Don't call
 836         check_deferred_constexpr_decls.
 837         * semantics.c (literal_type_p): Check for any incompleteness.
 838         (ensure_literal_type_for_constexpr_object): Likewise.
 839         (is_valid_constexpr_fn): Revert deferral changes.
 840         (validate_constexpr_fundecl): Likewise.
 841         (register_constexpr_fundef): Likewise.
 842         (check_deferred_constexpr_decls): Remove.
 843
 844 2011-05-16  Jason Merrill  <jason@redhat.com>
 845
 846         PR c++/48969
 847         * pt.c (deduction_tsubst_fntype): Use a VEC initially.
 848
 849 2011-05-15  Paolo Carlini  <paolo.carlini@oracle.com>
 850
 851         * cxx-pretty-print.c: Update comment.
 852         * semantics.c (trait_expr_value, finish_trait_expr):
 853         Reorder the cases.
 854         * parser.c (cp_parser_primary_expression): Likewise.
 855
 856 2011-05-15  Jonathan Wakely  <jwakely.gcc@gmail.com>
 857
 858         PR c++/48994
 859         * parser.c (cp_parser_perform_range_for_lookup): Call complete_type.
 860
 861 2011-05-13  Ville Voutilainen  <ville.voutilainen@gmail.com>
 862
 863         Implement final on class.
 864         * class.c (check_bases): Diagnose derivation from a final class.
 865         * cp-tree.h (lang_type_class): Add is_final and adjust dummy.
 866         (CLASSTYPE_FINAL): New.
 867         * parser.c (cp_parser_class_head): Parse class-virt-specifier, set
 868         CLASSTYPE_FINAL.
 869         * pt.c (instantiate_class_template_1): Copy CLASSTYPE_FINAL.
 870
 871 2011-05-13  Jason Merrill  <jason@redhat.com>
 872
 873         PR c++/48969
 874         * pt.c (deduction_tsubst_fntype): New.
 875         (fn_type_unification): Use it.
 876         (init_template_processing): Initialize hash table.
 877         (print_template_statistics): Print hash table stats.
 878
 879         * call.c (build_op_call): Use timevar_cond_start/stop.
 880         (build_user_type_conversion): Likewise.
 881
 882 2011-05-12  Jason Merrill  <jason@redhat.com>
 883
 884         * cp-tree.h (DECL_DEFERRED_CONSTEXPR_CHECK): New.
 885         * semantics.c (validate_constexpr_fundecl): Set it.
 886         (check_deferred_constexpr_decls): Clear it.
 887         (register_constexpr_fundef): Make sure it isn't set.
 888         * decl.c (grok_special_member_properties): Check it.
 889
 890 2011-05-11  Jason Merrill  <jason@redhat.com>
 891
 892         PR c++/48948
 893         * semantics.c (validate_constexpr_fundecl): Defer checking if
 894         an argument type is being defined.
 895         (is_valid_constexpr_fn): Add defer_ok parm.
 896         (cxx_eval_call_expression): Adjust.
 897         (check_deferred_constexpr_decls): New.
 898         (literal_type_p): Make sure type isn't being defined.
 899         (ensure_literal_type_for_constexpr_object): Handle type being defined.
 900         * cp-tree.h: Declare check_deferred_constexpr_decls.
 901         * decl.c (grokfndecl): Call validate_constexpr_fundecl here.
 902         (start_preparsed_function, cp_finish_decl): Not here.
 903         * class.c (finalize_literal_type_property): Don't call
 904         validate_constexpr_fundecl.
 905         (finish_struct): Call check_deferred_constexpr_decls.
 906         * pt.c (tsubst_decl): Call validate_constexpr_fundecl.
 907         (instantiate_class_template): Call check_deferred_constexpr_decls.
 908
 909         * semantics.c (validate_constexpr_fundecl): Check DECL_TEMPLATE_INFO
 910         rather than DECL_TEMPLATE_INSTANTIATION.
 911         (cxx_eval_call_expression): Likewise.
 912
 913         * semantics.c (register_constexpr_fundef): Add to hash table here.
 914         (validate_constexpr_fundecl): Not here.
 915
 916         * decl.c (grokdeclarator): Only set DECL_DECLARED_CONSTEXPR_P once.
 917
 918         * pt.c (build_non_dependent_expr): Don't check null_ptr_cst_p,
 919         do call maybe_constant_value in C++0x mode.
 920         * semantics.c (cxx_eval_constant_expression): Handle TEMPLATE_DECL.
 921
 922         PR c++/48745
 923         * pt.c (value_dependent_expr_p): Handle CONSTRUCTOR.
 924
 925 2011-05-11  Nathan Froyd  <froydnj@codesourcery.com>
 926
 927         * cp-tree.h (TYPENAME_TYPE_FULLNAME, TYPEOF_TYPE_EXPR): Use
 928         TYPE_VALUES_RAW.
 929         (UNDERLYING_TYPE_TYPE, DECLTYPE_TYPE_EXPR): Likewise.
 930         (DECLTYPE_TYPE_ID_EXPR_OR_MEMBER_ACCESS_P): Likewise.
 931         (TEMPLATE_TYPE_PARM_INDEX): Likewise.
 932
 933 2011-05-10  Jason Merrill  <jason@redhat.com>
 934
 935         PR c++/48930
 936         * class.c (type_build_ctor_call): New.
 937         * cp-tree.h: Declare it.
 938         * decl.c (check_initializer): Use it instead of
 939         TYPE_NEEDS_CONSTRUCTING.
 940         * init.c (build_value_init, build_value_init_noctor): Likewise.
 941         (perform_member_init, expand_aggr_init_1, build_new_1): Likewise.
 942         (build_vec_init): Likewise.
 943         * typeck2.c (process_init_constructor_array): Likewise.
 944         (process_init_constructor_record): Likewise.
 945
 946         PR c++/48736
 947         * pt.c (tsubst_copy_and_build): Handle substitution of a pack
 948         expansion producing another expansion.
 949
 950 2011-05-10  Ville Voutilainen  <ville.voutilainen@gmail.com>
 951
 952         Fixes for override/final.
 953         * class.c (check_for_override): Diagnose final on a nonvirtual
 954         member function, diagnose override for a virtual with no matching
 955         override. Don't fiddle around with DECL_VINDEX.
 956
 957 2011-05-10  Nathan Froyd  <froydnj@codesourcery.com>
 958
 959         * cp-tree.def (EXPR_PACK_EXPANSION): Add an operand.
 960         * cp-objcp-common.c (cp_common_init_ts): Mark it as TS_TYPED.
 961         * cp-tree.h (PACK_EXPANSION_PARAMETER_PACKS): Use the new
 962         operand of EXPR_PACK_EXPANSION.
 963         (cp_tree_operand_length): Declare.
 964         * tree.c (cp_tree_operand_length): Define.
 965         (cp_tree_equal): Call it.
 966         * pt.c (value_dependent_expr_P): Likewise.
 967         * mangle.c (write_expression): Likewise.
 968
 969 2011-05-09  Paolo Carlini  <paolo.carlini@oracle.com>
 970
 971         PR c++/48737
 972         PR c++/48744
 973         * decl.c (reshape_init): Take a complain parameter and do
 974         not call error if tf_error is not set.
 975         (check_initializer, reshape_init_r, reshape_init_array,
 976         reshape_init_array_1, reshape_init_vector, reshape_init_class):
 977         Adjust.
 978         * typeck2.c (digest_init_r): Take a complain parameter and
 979         pass it to convert_for_initialization.
 980         (digest_init, digest_init_flags, process_init_constructor_array,
 981         process_init_constructor_record, process_init_constructor_union,
 982         process_init_constructor, digest_init_r): Adjust.
 983         * init.c (expand_default_init, build_new_1): Likewise.
 984         * typeck.c (cp_build_modify_expr): Likewise.
 985         * decl2.c (grokfield): Likewise.
 986         * call.c (convert_like_real, convert_default_arg): Likewise.
 987         * semantics.c (finish_compound_literal): Pass complain to
 988         reshape_init and digest_init.
 989         * cp-tree.h: Adjust declarations.
 990
 991 2011-05-07  Fabien Chêne  <fabien@gcc.gnu.org>
 992
 993         PR c++/48859
 994         * init.c (diagnose_uninitialized_cst_or_ref_member_1): stop the
 995         recursion if there is user defined constructor.
 996
 997 2011-05-09  Jason Merrill  <jason@redhat.com>
 998
 999         PR c++/34772
1000         * decl.c (initialize_local_var): Use DECL_INITIAL for simple
1001         initialization.
1002
1003 2011-05-08  Ville Voutilainen  <ville.voutilainen@gmail.com>
1004
1005         Implement final/override for member functions.
1006         * class.c (check_for_override): Check for DECL_OVERRIDE_P.
1007         * cp-tree.h (DECL_OVERRIDE_P, DECL_FINAL_P): New.
1008         (cp_virt_specifiers, enum virt_specifier): New.
1009         * decl.c (set_virt_specifiers): New.
1010         (grokdeclarator): Use them. Diagnose virt-specifiers on non-fields.
1011         * parser.c (make_call_declarator): add virt-specifiers parameter.
1012         (cp_parser_lambda_declarator_opt): Adjust.
1013         (cp_parser_direct_declarator): Likewise.
1014         (cp_parser_virt_specifier_seq_opt): New.
1015         * search.c (check_final_overrider): Diagnose attempts to override
1016         a final member function.
1017
1018 2011-05-09  Dodji Seketeli  <dodji@redhat.com>
1019
1020         PR c++/48574
1021         * class.c (fixed_type_or_null): Use type_dependent_p_push to test
1022         if the instance has a dependent initializer.
1023
1024 2011-05-08  Paolo Carlini  <paolo.carlini@oracle.com>
1025
1026         PR c++/48816
1027         * cxx-pretty-print.c (pp_cxx_template_declaration): Remove
1028         effectively unused variable.
1029
1030 2011-05-07  Eric Botcazou  <ebotcazou@adacore.com>
1031
1032         * name-lookup.h (global_bindings_p): Adjust prototype.
1033         * name-lookup.c (global_bindings_p): Return bool.
1034
1035 2011-05-06  Jason Merrill  <jason@redhat.com>
1036
1037         * decl.c (stabilize_save_expr_r): Set *walk_subtrees as
1038         appropriate.
1039
1040         PR c++/48909
1041         * semantics.c (cxx_eval_conditional_expression): Check
1042         integer_zerop instead.
1043         (potential_constant_expression_1): Likewise.
1044
1045         PR c++/48911
1046         * semantics.c (cxx_eval_array_reference): Handle implicit
1047         initializers.
1048
1049 2011-05-06  Nathan Froyd  <froydnj@codesourcery.com>
1050
1051         * cp-tree.h (type_of_this_parm, class_of_this_parm): New functions.
1052         * call.c (standard_conversion): Call class_of_this_parm.
1053         * cxx-pretty-print.c (pp_cxx_implicit_parameter_type): Likewise.
1054         (pp_cxx_direct_abstract_declarator): Likewise.
1055         * decl2.c (change_return_type): Likewise.
1056         (cp_reconstruct_complex_type): Likewise.
1057         * error.c (dump_type_suffix, dump_function_decl): Likewise.
1058         * mangle.c (write_function_type): Likewise.
1059         * pt.c (unify): Likewise.
1060         * typeck.c (merge_types, type_memfn_quals): Likewise.
1061         * decl.c (build_this_parm): Call type_of_this_parm.
1062
1063 2011-05-06  Dodji Seketeli  <dodji@redhat.com>
1064
1065         PR c++/48838
1066         * cp-tree.h (non_static_member_function_p): Declare new function.
1067         * tree.c (non_static_member_function_p): Define it.
1068         * semantics.c (finish_call_expr): Use it.
1069
1070 2011-05-05  Nathan Froyd  <froydnj@codesourcery.com>
1071
1072         * decl.c (finish_case_label): Omit the loc argument to
1073         build_case_label.
1074
1075 2011-05-05  Jason Merrill  <jason@redhat.com>
1076
1077         * cp-tree.h (REFERENCE_REF_P): Just check the type.
1078         * cvt.c (convert_from_reference): Adjust.
1079         * pt.c (build_non_dependent_expr): Adjust.
1080         * semantics.c (finish_offsetof): Adjust.
1081         * tree.c (lvalue_kind): Use it.
1082
1083         PR c++/48873
1084         * tree.c (stabilize_expr): Don't make gratuitous copies of classes.
1085
1086 2011-05-05  Eric Botcazou  <ebotcazou@adacore.com>
1087
1088         * decl.c (start_preparsed_function): Do not set
1089         dont_save_pending_sizes_p.
1090
1091 2011-05-05  Joseph Myers  <joseph@codesourcery.com>
1092
1093         * parser.c (cp_parser_objc_method_definition_list): Update call to
1094         objc_start_method_definition.
1095
1096 2011-05-04  Jason Merrill  <jason@redhat.com>
1097
1098         PR c++/48749
1099         * class.c (resolves_to_fixed_type_p): Don't look closely
1100         in templates.
1101
1102 2011-05-03  Paolo Carlini  <paolo.carlini@oracle.com>
1103
1104         PR c++/28501
1105         * call.c (add_builtin_candidate): Handle REALPART_EXPR and
1106         IMAGPART_EXPR.
1107
1108 2011-05-02  Lawrence Crowl  <crowl@google.com>
1109
1110         * decl.c: (push_local_name): Change TV_NAME_LOOKUP to start/stop.
1111         (poplevel): Refactor POP_TIMEVAR_AND_RETURN to plain code.
1112         Change TV_NAME_LOOKUP to start/stop.
1113         (define_label): Refactor timevar calls out to a wrapper function.
1114         Change TV_NAME_LOOKUP to start/stop.
1115         (xref_tag): Likewise.
1116         (lookup_label): Refactor timevar calls out to a wrapper function.
1117         Change TV_NAME_LOOKUP to start_cond/stop_cond.
1118
1119         * pt.c: (instantiate_class_template): Add a wrapper to push/pop new
1120         TV_TEMPLATE_INST.
1121         (instantiate_template): Add a wrapper to push/pop new TV_TEMPLATE_INST.
1122         (lookup_template_class): Refactor timevar calls out to a wrapper
1123         function.  Change use of TV_NAME_LOOKUP to TV_TEMPLATE_INST.
1124         (instantiate_decl): Change TV_PARSE to TV_TEMPLATE_INST.
1125
1126         * name-lookup.c: (store_bindings): Change TV_NAME_LOOKUP to start/stop.
1127         (poplevel_class): Change TV_NAME_LOOKUP to start_cond/stop_cond.
1128         (push_namespace): Likewise.
1129         (pop_nested_namespace): Likewise.
1130         (pushdecl_namespace_level): Likewise.
1131         (store_class_bindings): Likewise.
1132         (push_to_top_level): Likewise.
1133         (identifier_type_value): Refactor timevar calls out to a wrapper
1134         function.  Change TV_NAME_LOOKUP to start/stop.
1135         (find_binding): Likewise.
1136         (push_using_decl): Likewise.
1137         (lookup_arg_dependent): Likewise.
1138         (push_using_directive): Likewise.
1139         (qualified_lookup_using_namespace): Refactor POP_TIMEVAR_AND_RETURN
1140         to plain code.  Change TV_NAME_LOOKUP to start/stop.
1141         (lookup_type_current_level): Likewise.  Refactor inner return to
1142         break.
1143         (pushdecl_class_level): Refactor POP_TIMEVAR_AND_RETURN to plain
1144         code.  Change TV_NAME_LOOKUP to start_cond/stop_cond.
1145         (pushdecl_top_level_1): Likewise.
1146         (lookup_using_namespace): Likewise.
1147         (pushdecl_with_scope): Refactor timevar calls out to a wrapper
1148         function.  Change TV_NAME_LOOKUP to start_cond/stop_cond.
1149         (push_overloaded_decl): Likewise.
1150         (push_class_level_binding): Likewise.
1151         (namespace_binding): Likewise.
1152         (set_namespace_binding): Likewise.
1153         (supplement_binding): Likewise.
1154         (unqualified_namespace_lookup): Likewise.
1155         (lookup_name_real): Likewise.
1156         (lookup_type_scope): Likewise.
1157         (namespace_ancestor): Likewise.
1158         (lookup_name_innermost_nonclass_level): Likewise.
1159         (pushtag): Likewise.
1160         (pop_from_top_level): Likewise.
1161         (pushdecl_maybe_friend): Refactor timevar calls out to a wrapper
1162         function.  Change TV_NAME_LOOKUP to start_cond/stop_cond.  Wrap long
1163         lines.
1164         (add_using_namespace): Refactor timevar calls out to a wrapper
1165         function.  Change TV_NAME_LOOKUP to start_cond/stop_cond.  Bypass
1166         wrapper on call to self.
1167
1168         * decl2.c: (cp_write_global_declarations):  Add start/stop of
1169         new TV_PHASE_DEFERRED, TV_PHASE_CGRAPH, TV_PHASE_CHECK_DBGINFO.
1170         Remove push/pop calls to TV_VARCONST.
1171
1172         * parser.c: Add include of "timevar.h".
1173         (cp_parser_explicit_instantiation): Add push/pop calls to
1174         TV_TEMPLATE_INST.
1175         (cp_parser_enum_specifier): Add push/pop calls to new TV_PARSE_ENUM.
1176         (cp_parser_class_specifier): Add wrapper to add push/pop calls to
1177         TV_PARSE_STRUCT.
1178         (cp_parser_function_definition_from_specifiers_and_declarator): Add
1179         push/pop calls to new TV_PARSE_FUNC or TV_PARSE_INLINE.
1180         (cp_parser_late_parsing_for_member):  Add push/pop calls to
1181         new TV_PARSE_INMETH.
1182
1183         * call.c: Add include of "timevar.h".
1184         (convert_class_to_reference): Wrap and add push/pop calls to
1185         TV_OVERLOAD.
1186         (build_op_call): Likewise.
1187         (build_conditional_expr): Likewise.
1188         (build_new_op): Likewise.
1189         (build_new_method_call): Likewise.
1190         (build_user_type_conversion): Reorganize to single return and add
1191         push/pop calls to TV_OVERLOAD.
1192         (perform_overload_resolution): Likewise.
1193
1194         * Make-lang.in: Add dependence of call.o and parser.o on $(TIMEVAR_H).
1195
1196 2011-05-02  Jason Merrill  <jason@redhat.com>
1197
1198         * tree.c (build_vec_init_expr): Take complain parm.
1199         (build_vec_init_elt): Likewise.  Free arg vector.
1200         (diagnose_non_constexpr_vec_init, build_array_copy): Adjust.
1201         * cp-tree.h (VEC_INIT_EXPR_SLOT): Use VEC_INIT_EXPR_CHECK.
1202         (VEC_INIT_EXPR_INIT): Likewise.
1203         Adjust build_vec_init_expr declaration.
1204         * init.c (perform_member_init): Adjust.
1205
1206         Revert:
1207         PR c++/40975
1208         * cp-tree.def (VEC_INIT_EXPR): Add third operand.
1209         * cp-tree.h (VEC_INIT_EXPR_NELTS): New.
1210         * cp-gimplify.c (cp_gimplify_expr) [VEC_INIT_EXPR]: Handle it.
1211         * tree.c (build_vec_init_expr): Handle getting pointer/nelts.
1212         (build_vec_init_elt): Don't expect an array type.
1213         (build_array_copy): Adjust.
1214         * init.c (perform_member_init): Adjust.
1215         (build_new_1): Use build_vec_init_expr.
1216
1217         PR c++/48834
1218         * tree.c (build_vec_init_expr): Set TREE_SIDE_EFFECTS.
1219         Protect an explicit target.
1220
1221         PR c++/48446
1222         * decl.c (stabilize_save_expr_r, stabilize_vla_size): New.
1223         (compute_array_index_type): Revert earlier 48446 changes.
1224         (grokdeclarator): Use stabilize_vla_size.
1225
1226 2011-05-02  Dmitry Gorbachev  <d.g.gorbachev@gmail.com>
1227             Eric Botcazou <ebotcazou@adacore.com>
1228
1229         * parser.c (cp_parser_init_declarator): Set pushed_scope to NULL_TREE
1230         instead of inappropriate zero values.
1231
1232 2011-05-02  Paolo Carlini  <paolo.carlini@oracle.com>
1233
1234         PR c++/47969
1235         * decl.c (compute_array_index_type): Check build_expr_type_conversion
1236         return value for NULL_TREE.
1237
1238 2011-04-29  Paolo Carlini  <paolo.carlini@oracle.com>
1239
1240         PR c++/48606
1241         * init.c (perform_member_init): Check build_value_init return
1242         value for error_mark_node.
1243
1244 2011-04-29  Diego Novillo  <dnovillo@google.com>
1245             Le-Chun Wu  <lcwu@google.com>
1246
1247         * call.c (conversion_null_warnings): Also handle assignments
1248         when warning about NULL conversions.
1249
1250 2011-04-29  Le-Chun Wu  <lcwu@google.com>
1251
1252         * cp-tree.h (LOOKUP_EXPLICIT_TMPL_ARGS): Define.
1253         * call.c (build_new_function_call): Set it for TEMPLATE_ID_EXPRs.
1254         (build_over_call): Use it to determine whether to emit a NULL
1255         warning for template function instantiations.
1256         (build_new_method_call): Set LOOKUP_EXPLICIT_TMPL_ARGS if
1257         EXPLICIT_TARGS is set.
1258
1259 2011-04-29  Nicola Pero  <nicola.pero@meta-innovation.com>,
1260             Mike Stump <mikestump@comcast.net>
1261
1262         * Make-lang.in ($(srcdir)/cp/cfns.h): Enable the dependency only
1263         in maintainer mode.  Use the --output-file option of gperf instead
1264         of > to prevent creating an empty cp/cfns.h when gperf is not
1265         available.
1266
1267 2011-04-28  Paolo Carlini  <paolo.carlini@oracle.com>
1268
1269         PR c++/48798
1270         * semantics.c (finish_base_specifier): cv-qualified base class
1271         is fine, per DR 484.
1272
1273 2011-04-28  Dodji Seketeli  <dodji@redhat.com>
1274
1275         PR c++/48656
1276         * semantics.c (finish_call_expr): Don't forget BASELINK nodes when
1277         considering call expressions involving a member function.
1278
1279 2011-04-28  Paolo Carlini  <paolo.carlini@oracle.com>
1280
1281         PR c++/48530
1282         * tree.c (build_cplus_new): Check build_target_expr return
1283         value for error_mark_node.
1284
1285 2011-04-28  Paolo Carlini  <paolo.carlini@oracle.com>
1286
1287         PR c++/48771
1288         * semantics.c (literal_type_p): Reference types are literal types,
1289         per the FDIS.
1290         (valid_type_in_constexpr_fundecl_p): Remove.
1291         (is_valid_constexpr_fn): Adjust.
1292
1293 2011-04-27  Jason Merrill  <jason@redhat.com>
1294
1295         PR libstdc++/48760
1296         Implement list-initialization of _Complex.
1297         * decl.c (reshape_init_r): Allow {real,imag} for _Complex.
1298         (check_initializer): Likewise.
1299         * call.c (build_complex_conv): New.
1300         (implicit_conversion): Call it.
1301         (convert_like_real): Handle it.
1302         * typeck2.c (check_narrowing): Handle it.
1303
1304         * init.c (build_vec_delete_1): Look for sfk_deleting_destructor to
1305         decide whether to delete.
1306         (build_vec_init): Pass sfk_complete_destructor.
1307
1308         PR c++/40975
1309         * cp-tree.def (VEC_INIT_EXPR): Add third operand.
1310         * cp-tree.h (VEC_INIT_EXPR_NELTS): New.
1311         * cp-gimplify.c (cp_gimplify_expr) [VEC_INIT_EXPR]: Handle it.
1312         * tree.c (build_vec_init_expr): Handle getting pointer/nelts.
1313         (build_vec_init_elt): Don't expect an array type.
1314         (build_array_copy): Adjust.
1315         * init.c (perform_member_init): Adjust.
1316         (build_new_1): Use build_vec_init_expr.
1317
1318         * class.c (resolve_address_of_overloaded_function): Don't
1319         change OVERLOAD to TREE_LIST.
1320         * pt.c (print_candidates_1): Remove nonsensical assert.
1321
1322         PR c++/48046
1323         * parser.c (cp_parser_diagnose_invalid_type_name): Commit
1324         to tentative parse sooner.
1325
1326 2011-04-26  Jason Merrill  <jason@redhat.com>
1327
1328         PR c++/42687
1329         * parser.c (cp_parser_primary_expression): Set *idk to
1330         CP_ID_KIND_NONE for a parenthesized identifier.
1331
1332         * ptree.c (cxx_print_type) [TYPENAME_TYPE]: Dump fullname.
1333         (cxx_print_identifier): Correct indentation.
1334
1335         PR c++/48530
1336         * decl.c (cxx_maybe_build_cleanup): Add complain parm.
1337         * tree.c (force_target_expr): Add complain parm.
1338         (build_target_expr_with_type): Likewise.
1339         (get_target_expr_sfinae): Split out.
1340         (build_vec_init_expr, bot_manip): Adjust.
1341         * init.c (build_vec_delete, build_vec_delete_1): Add complain parm.
1342         (build_delete, build_dtor_call): Likewise.
1343         (perform_direct_initialization_if_possible): Adjust.
1344         (build_vec_init): Handle error return.
1345         * cvt.c (force_rvalue): Add complain parm.
1346         Call build_special_member_call directly.
1347         * decl2.c (delete_sanity): Add complain parm.
1348         (build_cleanup): Adjust.
1349         * pt.c (tsubst_copy_and_build, tsubst_expr): Adjust.
1350         * semantics.c (finish_stmt_expr_expr): Adjust.
1351         (finish_compound_literal): Adjust.
1352         * parser.c (cp_parser_delete_expression): Adjust.
1353         * typeck2.c (build_functional_cast): Adjust.
1354         * cp-tree.h: Adjust.
1355
1356 2011-04-26  Martin Jambor  <mjambor@suse.cz>
1357
1358         * class.c (cp_fold_obj_type_ref): Remove.
1359         * cp-tree.h (cp_fold_obj_type_ref): Remove declaration.
1360
1361 2011-04-25  Paolo Carlini  <paolo.carlini@oracle.com>
1362
1363         * cp-tree.def: Add a new UNDERLYING_TYPE tree code.
1364         * cp-tree.h (enum cp_trait_kind): Add CPTK_UNDERLYING_TYPE, tidy.
1365         (UNDERLYING_TYPE_TYPE): Add.
1366         * cp-objcp-common.c (cp_common_init_ts): Mark UNDERLYING_TYPE
1367         as TS_COMMON.
1368         * parser.c (cp_lexer_next_token_is_decl_specifier_keyword,
1369         cp_parser_simple_type_specifier): Handle UNDERLYING_TYPE.
1370         (cp_parser_trait_expr): Deal with RID_UNDERLYING_TYPE; tidy.
1371         * semantics.c (finish_underlying_type): New.
1372         * typeck.c (structural_comptypes): Handle UNDERLYING_TYPE.
1373         * error.c (dump_type, dump_type_prefix, dump_type_suffix): Likewise.
1374         * cxx-pretty-print.c (p_cxx_type_id): Likewise.
1375         * tree.c (cp_walk_subtrees): Likewise.
1376         * pt.c (for_each_template_parm_r, tsubst, unify,
1377         dependent_type_p_r): Likewise.
1378         * mangle.c (write_type): Sorry for __underlying_type.
1379
1380 2011-04-25  Jason Merrill  <jason@redhat.com>
1381
1382         PR c++/48707
1383         * decl.c (type_dependent_init_p): New.
1384         (cp_finish_decl): Check it.
1385         * pt.c (any_type_dependent_elements_p): New.
1386         * cp-tree.h: Declare it.
1387
1388 2011-04-20  Jason Merrill  <jason@redhat.com>
1389
1390         * semantics.c (finish_compound_literal): Don't put an array
1391         with a dtor in a static variable.
1392
1393         * call.c (build_over_call): Handle trivial dtor.
1394
1395         * search.c (lookup_fnfields_slot): Call complete_type.
1396
1397         PR c++/48594
1398         * decl2.c (build_offset_ref_call_from_tree): Move
1399         non-dependency of object outside condition.
1400
1401         PR c++/48657
1402         * decl.c (cp_finish_decl): Simplify template handling.
1403
1404 2011-04-20  Jim Meyering  <meyering@redhat.com>
1405
1406         * tree.c (cxx_printable_name_internal): Remove useless if-before-free.
1407
1408 2011-04-19  Jason Merrill  <jason@redhat.com>
1409
1410         PR c++/46304
1411         * typeck.c (cp_build_binary_op): Fold COMPLEX_EXPR.
1412
1413         PR c++/45267
1414         * decl.c (duplicate_decls): Keep always_inline attribute
1415         in sync with DECL_DISREGARD_INLINE_LIMITS.
1416
1417 2011-04-18  Jason Merrill  <jason@redhat.com>
1418
1419         PR c++/48569
1420         * typeck2.c (build_functional_cast): Handle VOID_TYPE.
1421
1422         PR c++/48537
1423         * init.c (build_value_init): Handle UNION_TYPE the same.
1424
1425 2011-04-18  Jakub Jelinek  <jakub@redhat.com>
1426
1427         PR c++/48632
1428         * parser.c (cp_parser_omp_for_loop): Don't use cp_parser_omp_for_incr
1429         for type dependent pointers.
1430
1431 2011-04-18  Jim Meyering  <meyering@redhat.com>
1432
1433         * pt.c (type_unification_real): Fix typo in comment: s/in in/in/.
1434
1435 2011-04-17  Jan Hubicka  <jh@suse.cz>
1436
1437         * semantics.c (finish_goto_stmt): Do set UNINLINABLE flag on computed
1438         gotos.
1439
1440 2011-04-17  Jason Merrill  <jason@redhat.com>
1441
1442         PR c++/48531
1443         * typeck2.c (build_functional_cast): Disallow array type.
1444
1445         * tree.c (get_target_expr): Handle VEC_INIT_EXPR.
1446
1447 2011-04-17  Jan Hubicka  <jh@suse.cz>
1448
1449         * class.c (cp_fold_obj_type_ref): Drop vtable_method.
1450
1451 2011-04-15  Rodrigo Rivas Costa <rodrigorivascosta@gmail.com>
1452
1453         Implement N3271
1454         * parser.c (cp_convert_range_for): Split into
1455         cp_parser_perform_range_for_lookup.
1456         (cp_parser_perform_range_for_lookup): New.
1457         (cp_parser_range_for_member_function): New.
1458         (cp_parser_for_init_statement): Correct error message.
1459         * semantics.c (finish_call_expr): Accept COMPONENT_REF.
1460
1461 2011-04-14  Nicola Pero  <nicola.pero@meta-innovation.com>
1462
1463         * parser.c (cp_parser_objc_protocol_declaration): Updated for
1464         change from objc_declare_protocols() to objc_declare_protocol().
1465
1466 2011-04-14  Nathan Froyd  <froydnj@codesourcery.com>
1467
1468         PR objc++/48479
1469         * typeck.c (cxx_mark_addressable) [CONST_DECL]: Mark addressable
1470         and return immediately.
1471
1472 2011-04-14  Nathan Froyd  <froydnj@codesourcery.com>
1473
1474         * cp-tree.def (SWITCH_STMT): Add an extra operand.
1475         * cp-objcp-common.c (cp_common_init_ts): Mark it as TS_TYPED.
1476         * cp-tree.h (SWITCH_STMT_SCOPE): Define.
1477         * semantics.c (begin_switch__stmt): Pass scope to build_stmt.
1478         (finish_switch_stmt): Use SWITCH_STMT_SCOPE instead of TREE_CHAIN.
1479
1480 2011-04-14  Nathan Froyd  <froydnj@codesourcery.com>
1481
1482         * cp-tree.def (IF_STMT): Add an extra operand.
1483         * cp-objcp-common.c (cp_common_init_ts): Mark it as TS_TYPED.
1484         * cp-tree.h (IF_SCOPE): Define.
1485         * semantics.c (begin_if_stmt): Pass scope to build_stmt.
1486         (finish_if_stmt): Use IF_SCOPE instead of TREE_CHAIN.
1487
1488 2011-04-14  Nathan Froyd  <froydnj@codesourcery.com>
1489
1490         * cp-tree.def (FOR_STMT, RANGE_FOR_STMT): Add an extra operand.
1491         * cp-objcp-common.c (cp_common_init_ts): Mark them as TS_TYPED.
1492         * cp-tree.h (FOR_SCOPE, RANGE_FOR_SCOPE): Define.
1493         * semantics.c (begin_for_stmt): Pass an extra arg to build_stmt.
1494         Use FOR_SCOPE instead of TREE_CHAIN.
1495         (begin_range_for_stmt): Likewise, with RANGE_FOR_SCOPE.
1496         (finish_for_stmt): Likewise.
1497
1498 2011-04-14  Jason Merrill  <jason@redhat.com>
1499
1500         * parser.c (cp_parser_postfix_expression): Fix flags passed to
1501         build_new_method_call.
1502         * semantics.c (finish_call_expr): Likewise.
1503
1504         PR c++/48531
1505         * init.c (build_value_init_noctor): Check complain consistently.
1506
1507         PR c++/48557
1508         * typeck.c (cp_build_binary_op): Don't decay void operands.
1509
1510         PR c++/48446
1511         * decl.c (compute_array_index_type): Use get_temp_regvar instead
1512         of variable_size.
1513         * init.c (get_temp_regvar): No longer static.
1514         * cp-tree.h: Declare it.
1515
1516 2011-04-14  Nicola Pero  <nicola.pero@meta-innovation.com>
1517
1518         * parser.c (cp_parser_objc_class_declaration): Updated for change
1519         in objc_declare_class().
1520
1521 2011-04-14  Nathan Froyd  <froydnj@codesourcery.com>
1522
1523         * decl.c (poplevel): Use block_chainon.
1524
1525 2011-04-13  Jason Merrill  <jason@redhat.com>
1526
1527         PR c++/48594
1528         * decl2.c (build_offset_ref_call_from_tree): Fix calling a functor
1529         or pointer to (non-member) function.
1530
1531 2011-04-13  Jakub Jelinek  <jakub@redhat.com>
1532
1533         PR c++/48570
1534         * semantics.c (cxx_eval_array_reference): Handle reading from
1535         wchar_t, char16_t and char32_t STRING_CST.
1536
1537 2011-04-13  Dodji Seketeli  <dodji@redhat.com>
1538
1539         PR c++/48574
1540         * class.c (fixed_type_or_null): We cannot determine the dynamic
1541         type of a reference variable if its initializer is dependent.
1542
1543 2011-04-13  Jason Merrill  <jason@redhat.com>
1544
1545         PR c++/48581
1546         * pt.c (tsubst_copy_and_build) [CALL_EXPR]: Don't complain about
1547         unqualified lookup failing if we're still in a template.
1548
1549 2011-04-12  Nathan Froyd  <froydnj@codesourcery.com>
1550
1551         * cp-lang.c (cp_init_ts): Call cp_common_init_ts.  Move
1552         tree_contains_struct initialization to...
1553         * cp-objcp-common.c (cp_common_init_ts): ...here.  Use MARK_*
1554         macros.
1555         * cp-objcp-common.h (cp_common_init_ts): Declare.
1556         * cp-tree.h (union lang_tree_node): Check for TS_COMMON before
1557         calling TREE_CHAIN.
1558
1559 2011-04-12  Nicola Pero  <nicola.pero@meta-innovation.com>
1560
1561         * parser.c (cp_parser_objc_message_expression): Updated call
1562         to objc_build_message_expr.
1563
1564 2011-04-12  Martin Jambor  <mjambor@suse.cz>
1565
1566         * class.c (cp_fold_obj_type_ref): Call cgraph_get_node instead of
1567         cgraph_get_create_node.
1568         * decl2.c (cp_write_global_declarations): Call cgraph_get_node
1569         instead of cgraph_get_create_node.
1570         * method.c (make_alias_for_thunk): Call cgraph_get_node
1571         instead of cgraph_get_create_node, assert it returns non-NULL.
1572         (use_thunk): Likewise.
1573         * optimize.c (maybe_clone_body): Call cgraph_same_body_alias only
1574         when flag_syntax_only is not set.  Call cgraph_get_node instead of
1575         cgraph_get_create_node.
1576         (maybe_clone_body): Call cgraph_get_node instead of
1577         cgraph_get_create_node.
1578
1579 2011-04-12  Martin Jambor  <mjambor@suse.cz>
1580
1581         * class.c (cp_fold_obj_type_ref): Call cgraph_get_create_node
1582         instead of cgraph_node.
1583         * decl2.c (cxx_callgraph_analyze_expr): Likewise.
1584         (cp_write_global_declarations): Likewise.
1585         * optimize.c (maybe_clone_body): Likewise.
1586         * semantics.c (maybe_add_lambda_conv_op): Likewise.
1587         * mangle.c (mangle_decl): Likewise.
1588         * method.c (make_alias_for_thunk): Likewise.
1589         (use_thunk): Likewise.
1590
1591 2011-04-11  Jason Merrill  <jason@redhat.com>
1592
1593         PR c++/48535
1594         * decl.c (cp_complete_array_type_or_error): New.
1595         * semantics.c (finish_compound_literal): Use it.
1596         * cp-tree.h: Declare it.
1597
1598         PR c++/48535
1599         * semantics.c (finish_compound_literal): Handle references.
1600
1601         PR c++/48535
1602         * semantics.c (finish_compound_literal): Take complain parm.
1603         (build_lambda_object): Adjust.
1604         * cp-tree.h: Adjust.
1605         * call.c (convert_like_real): Adjust.
1606         * decl.c (check_initializer): Adjust.
1607         * parser.c (cp_parser_postfix_expression): Adjust.
1608         (cp_parser_functional_cast): Adjust.
1609         * pt.c (tsubst_copy_and_build): Adjust.
1610         * typeck2.c (process_init_constructor_record): Adjust.
1611
1612         PR c++/48534
1613         * cvt.c (ocp_convert): Use build_nop to convert to underlying type
1614         of scoped enum.
1615
1616         PR c++/48523
1617         * tree.c (maybe_dummy_object): Use build_x_indirect_ref rather
1618         than cp_build_indirect_ref.
1619
1620         PR c++/48457, Core 1238
1621         * call.c (reference_binding): Allow rvalue reference to bind to
1622         function lvalue.
1623         * tree.c (lvalue_kind): Functions are always lvalues.
1624
1625 2011-04-07  Jason Merrill  <jason@redhat.com>
1626
1627         PR c++/48500
1628         * semantics.c (potential_constant_expression_1) [CALL_EXPR]: Check
1629         arguments even if we don't know the function.
1630
1631         PR c++/48481
1632         * tree.c (build_overload): Allow an unwrapped FUNCTION_DECL
1633         at the end of the chain.
1634         * pt.c (dependent_template_p): Use OVL_CURRENT/NEXT.
1635         (iterative_hash_template_arg): Likewise.
1636
1637         PR c++/48481
1638         * cp-tree.h (OVL_ARG_DEPENDENT): New.
1639         * name-lookup.c (add_function): Set it.
1640         * semantics.c (finish_call_expr): Free OVERLOADs if it's set.
1641
1642         PR c++/48481
1643         * call.c (build_user_type_conversion_1): Use lookup_fnfields_slot.
1644         Release unused vector.
1645
1646         PR c++/48451
1647         * pt.c (fn_type_unification): Don't clear incomplete pack flag.
1648         (type_unification_real): Clear it here instead.
1649
1650         PR c++/48468
1651         * except.c (build_noexcept_spec): Propagate error_mark_node.
1652         (finish_noexcept_expr): Likewise.
1653
1654         PR c++/48452
1655         * typeck.c (build_x_compound_expr_from_list): Return error_mark_node
1656         in SFINAE context.
1657
1658         PR c++/48450
1659         * call.c (resolve_args): Take complain.
1660         (build_new_function_call, build_operator_new_call): Pass it.
1661         (build_op_call, build_new_op, build_new_method_call): Pass it.
1662
1663         PR c++/48450
1664         * typeck.c (check_for_casting_away_constness): Take complain.
1665         (build_static_cast_1, build_reinterpret_cast_1): Pass it.
1666         (build_const_cast_1): Pass it.  Take full complain parm.
1667         (build_const_cast, cp_build_c_cast): Adjust.
1668
1669         * tree.c (build_aggr_init_expr): Always return error_mark_node
1670         on abstract violation.
1671
1672         PR c++/48450
1673         * tree.c (build_cplus_new, build_aggr_init_expr): Take complain.
1674         (bot_manip): Adjust.
1675         * cp-tree.h: Adjust.
1676         * call.c (convert_like_real, build_cxx_call): Adjust.
1677         (perform_direct_initialization_if_possible): Adjust.
1678         * cvt.c (ocp_convert): Adjust.
1679         * init.c (build_value_init): Adjust.
1680         * semantics.c (maybe_add_lambda_conv_op): Adjust.
1681         * typeck.c (unary_complex_lvalue, cp_build_modify_expr): Adjust.
1682         * typeck2.c (build_functional_cast): Adjust.
1683
1684         * init.c (build_value_init_noctor): Handle REFERENCE_TYPE at top
1685         level.
1686         (perform_member_init): Not here.
1687         * typeck2.c (build_functional_cast): Limit REFERENCE_TYPE special
1688         case to templates.
1689         (abstract_virtuals_error_sfinae): Remove RESULT_DECL special case.
1690
1691         PR c++/48449
1692         * typeck2.c (build_functional_cast): Check complain consistently.
1693         Use build_value_init and abstract_virtuals_error_sfinae.
1694         (abstract_virtuals_error_sfinae): Split out.
1695         * cp-tree.h: Declare it.
1696         * init.c (build_new_1): Use it.
1697         (build_value_init_noctor): Handle FUNCTION_TYPE.
1698
1699         * semantics.c (finish_decltype_type): Simplify handling of unknown
1700         type.
1701
1702         * semantics.c (finish_decltype_type): Add complain parm.
1703         * cp-tree.h: Adjust.
1704         * parser.c (cp_parser_decltype): Adjust.
1705         * pt.c (tsubst): Adjust.
1706
1707         PR c++/48450
1708         * cvt.c (ocp_convert): Handle converting scoped enum to bool.
1709
1710 2011-03-31  Jason Merrill  <jason@redhat.com>
1711
1712         PR c++/48277
1713         * semantics.c (finish_call_expr): Remove assert.
1714
1715         PR c++/48280
1716         * method.c (defaultable_fn_check): Templates are not defaultable.
1717
1718         * parser.c (cp_parser_init_declarator): Avoid redundant
1719         cp_finish_decl for member declarations.
1720
1721 2011-03-30  Jason Merrill  <jason@redhat.com>
1722
1723         PR c++/48212
1724         * semantics.c (non_const_var_error): Just return if DECL_INITIAL
1725         is error_mark_node.
1726
1727 2011-03-30  Jason Merrill  <jason@redhat.com>
1728
1729         PR c++/48369
1730         * semantics.c (potential_constant_expression_1): Handle
1731         UNORDERED_EXPR and ORDERED_EXPR.
1732
1733         PR c++/48281
1734         * semantics.c (finish_compound_literal): Do put static/constant
1735         arrays in static variables.
1736
1737         * call.c (convert_like_real) [ck_list]: Build up the
1738         initializer_list object directly.
1739         * decl.c (build_init_list_var_init): Adjust.
1740
1741         * call.c (convert_like_real): Correct TREE_CONSTANT on CONSTRUCTOR.
1742         * decl.c (reshape_init_array_1): Likewise.
1743
1744 2011-03-29  Jason Merrill  <jason@redhat.com>
1745
1746         PR c++/48265
1747         * pt.c (value_dependent_expression_p) [VAR_DECL]: Make sure
1748         the variable is constant before looking at its initializer.
1749
1750         PR c++/48319
1751         * pt.c (value_dependent_expression_p): Handle TEMPLATE_ID_EXPR.
1752
1753         PR c++/48089
1754         * semantics.c (potential_constant_expression_1): Change error about
1755         use of *this in constructor into sorry.
1756
1757         PR c++/48296
1758         * decl.c (cp_finish_decl): Defer validation of constexpr member
1759         functions.
1760         * class.c (finalize_literal_type_property): Validate them here.
1761         * semantics.c (is_valid_constexpr_fn): Don't check completeness.
1762
1763         * semantics.c (is_valid_constexpr_fn): Specify input location.
1764
1765 2011-03-28  Jason Merrill  <jason@redhat.com>
1766
1767         PR c++/48313
1768         * pt.c (maybe_adjust_types_for_deduction): Handle T&& deduction
1769         from overloaded function.
1770
1771         Core 1232
1772         * call.c (build_array_conv): New.
1773         (implicit_conversion): Use it.
1774
1775         * call.c (reference_binding): Allow direct binding to an array
1776         rvalue.
1777
1778         Core 898
1779         * parser.c (cp_parser_compound_statement): Add function_body parm.
1780         Complain about non-body compound-stmt in constexpr fn.
1781         (cp_parser_primary_expression, cp_parser_statement): Adjust.
1782         (cp_parser_implicitly_scoped_statement): Adjust.
1783         (cp_parser_function_body, cp_parser_try_block): Adjust.
1784         (cp_parser_handler, cp_parser_objc_synchronized_statement): Adjust.
1785         (cp_parser_objc_try_catch_finally_statement): Adjust.
1786
1787         Core 898
1788         * semantics.c (constexpr_fn_retval): New.  Allow using-declaration
1789         and using-definition.
1790         (register_constexpr_fundef): Call it.
1791
1792         * except.c (build_noexcept_spec): Call cxx_constant_value after
1793         converting to bool.
1794
1795 2011-03-25  Kai Tietz  <ktietz@redhat.com>
1796
1797         * lex.c (interface_strcmp): Handle dos-paths.
1798         (handle_pragma_implementation): Use filename_cmp instead of
1799         strcmp.
1800         (in_main_input_context): Likewise.
1801
1802 2011-03-25  Jason Merrill  <jason@redhat.com>
1803
1804         Core 1135
1805         * method.c (defaulted_late_check): Check for exception spec mismatch.
1806         (defaultable_fn_check): Allow exception spec and virtual.
1807         * class.c (check_for_override): A virtual dtor is non-trivial.
1808
1809         PR c++/48289
1810         * pt.c (build_non_dependent_expr): Keep dereferences outside the
1811         NON_DEPENDENT_EXPR.
1812
1813 2011-03-25  Kai Tietz  <ktietz@redhat.com>
1814
1815         * decl.c (decls_match): Replace target hook
1816         call of comp_type_attributes by version in tree.c file.
1817         * search.c (check_final_overrider): Likewise.
1818         * typeck.c (structural_comptypes): Likewise.
1819
1820 2011-03-21  Kai Tietz  <ktietz@redhat.com>
1821
1822         PR target/12171
1823         * cxx-pretty-print.c (pp_cxx_ptr_operator):
1824         Display allowed attributes for function pointer types.
1825         * error.c (dump_type_prefix): Likewise.
1826
1827         * tree.c (cxx_attribute_table): Adjust table.
1828
1829 2011-03-18  Jason Merrill  <jason@redhat.com>
1830
1831         PR c++/48162
1832         * semantics.c (finish_call_expr): Allow TARGET_EXPR for now.
1833
1834         PR c++/48118
1835         * call.c (build_over_call): Don't skip ck_rvalue.
1836
1837 2011-03-17  Jason Merrill  <jason@redhat.com>
1838
1839         PR c++/47504
1840         * semantics.c (cxx_eval_constant_expression) [NOP_EXPR]: Don't let
1841         the conversion set TREE_OVERFLOW.
1842
1843         Core 1212
1844         * semantics.c (finish_decltype_type): Return T&& for xvalue.
1845         * typeck.c (unlowered_expr_type): Preserve cv-quals.
1846
1847         PR c++/48166
1848         * decl.c (revert_static_member_fn): Strip function-cv-quals.
1849
1850 2011-03-16  Jason Merrill  <jason@redhat.com>
1851
1852         PR c++/48089
1853         * semantics.c (potential_constant_expression_1): Don't allow *this
1854         in a constructor.
1855         (register_constexpr_fundef): Use potential_rvalue_constant_expression.
1856
1857         PR c++/47301
1858         * decl.c (compute_array_index_type): Don't bother trying to deal
1859         with literal classes in ABI v1.
1860
1861         PR c++/46336
1862         * decl.c (duplicate_decls): Return NULL_TREE for clashing
1863         C functions.
1864
1865         PR c++/47570
1866         * semantics.c (cxx_eval_constant_expression) [COMPOUND_EXPR]: Don't
1867         use the generic binary expression handling.
1868
1869 2011-03-16  Diego Novillo  <dnovillo@google.com>
1870
1871         * Make-lang.in (CXX_PARSER_H): New.
1872         (cp/parser.o): Add dependency on CXX_PARSER_H.
1873         Add dependency on tree-pretty-print.h
1874         (cp/cp-lang.o): Add dependency on CXX_PARSER_H.
1875         * cp-lang.c: Include parser.h.
1876         * parser.c: Include parser.h.
1877         (struct cp_token): Add bitfield purged_p.
1878         Update all users.
1879         Move to parser.h.
1880         (CPP_PURGED): Remove.  Update all users.
1881         (struct cp_lexer): Change field buffer to be a VEC of cp_token.
1882         Remove field buffer_length.
1883         Update all users.
1884         Move to parser.h.
1885         (struct tree_check): Move to parser.h.
1886         (cp_token_position): Likewise.
1887         (struct cp_token_cache): Likewise.
1888         (CPP_KEYWORD): Likewise.
1889         (CPP_TEMPLATE_ID): Likewise.
1890         (CPP_NESTED_NAME_SPECIFIER): Likewise.
1891         (N_CP_TTYPES): Likewise.
1892         (enum cp_parser_status_kind): Likewise.
1893         (struct cp_parser_context): Likewise.
1894         (struct cp_default_arg_entry_d): Likewise.
1895         (struct cp_unparsed_functions_entry_d): Likewise.
1896         (struct cp_parser): Likewise.
1897         (cp_lexer_dump_tokens): New.
1898         (cp_lexer_debug_tokens): New.
1899         (cp_lexer_finished_p): New.
1900         (cp_lexer_alloc): Factor out of cp_lexer_new_main.
1901         (cp_lexer_new_main): Re-write main lexing loop to push
1902         tokens into the new VEC buffer.
1903         (cp_lexer_print_token): Improve printing of CPP_NUMBER tokens.
1904         Do not abort if the token type is not recognized, just print
1905         its code.
1906         * parser.h: New file.
1907         * config-lang.in (gtfiles): Add cp/parser.h.
1908
1909 2011-03-16  Jason Merrill  <jason@redhat.com>
1910
1911         Core 1148
1912         * typeck.c (check_return_expr): Fix conditions for setting
1913         LOOKUP_PREFER_RVALUE.
1914
1915         * call.c (build_over_call): Remove require_complete_type_sfinae call.
1916
1917         PR c++/48132
1918         * decl.c (check_array_designated_initializer): Allow integer index.
1919         (reshape_init_array_1): Set index on the elements.
1920
1921 2011-03-16  Jason Merrill  <jason@redhat.com>
1922
1923         PR c++/48113
1924         * typeck.c (convert_for_initialization): Use
1925         perform_implicit_conversion_flags.
1926         * call.c (standard_conversion): If LOOKUP_PREFER_RVALUE, set
1927         rvaluedness_matches_p on ck_rvalue.
1928         (convert_like_real) [ck_rvalue]: And restore it here.
1929
1930         PR c++/48115
1931         * call.c (convert_arg_to_ellipsis): Handle incomplete type.
1932
1933 2011-03-16  Jason Merrill  <jason@redhat.com>
1934
1935         * parser.c (cp_parser_abort_tentative_parse): Make sure we haven't
1936         committed to this tentative parse.
1937
1938         PR c++/47999
1939         * semantics.c (finish_call_expr): Preserve reference semantics
1940         in templates.
1941
1942         * call.c (convert_default_arg): Use LOOKUP_IMPLICIT.
1943
1944 2011-03-16  Jakub Jelinek  <jakub@redhat.com>
1945
1946         * cp-objcp-common.c (cp_function_decl_explicit_p): Don't crash if
1947         DECL_LANG_SPECIFIC is NULL.
1948
1949 2011-03-15  Jason Merrill  <jason@redhat.com>
1950
1951         Core 1074
1952         * pt.c (value_dependent_expression_p) [NOEXCEPT_EXPR]: Don't
1953         check value_dependent_expression_p on the operand.
1954
1955         * semantics.c (push_cx_call_context): Return bool.
1956         (cxx_eval_call_expression): Handle excess depth.
1957
1958         Core 1191
1959         * method.c (synthesized_method_walk): Cleanups don't affect the
1960         triviality of a constructor, but do affect deletion and exception
1961         specification.
1962
1963 2011-03-15  Rodrigo Rivas Costa  <rodrigorivascosta@gmail.com>
1964
1965         * decl2.c (cp_check_const_attributes): New.
1966         (cplus_decl_attributes): Call cp_check_const_attributes.
1967
1968 2011-03-15  Jason Merrill  <jason@redhat.com>
1969
1970         PR c++/34758
1971         * call.c (convert_default_arg): Use DECL_ORIGIN of fn.  Check for
1972         recursion first.
1973         (push_defarg_context, pop_defarg_context): New.
1974         * parser.c (cp_parser_late_parsing_default_args): Use them.
1975         * cp-tree.h: Declare them.
1976
1977 2011-03-11  Dodji Seketeli  <dodji@redhat.com>
1978
1979         * call.c (add_builtin_candidate)<case INDIRECT_REF>: The type of
1980         the argument of the indirection operator should not be dependent.
1981         Fix the comment.
1982
1983 2011-03-11  Jason Merrill  <jason@redhat.com>
1984
1985         PR c++/47125
1986         * pt.c (tsubst) [TYPENAME_TYPE]: Only give errors if tf_error.
1987
1988         PR c++/47144
1989         * parser.c (cp_parser_template_type_arg): Set
1990         type_definition_forbidden_message.
1991
1992         PR c++/47808
1993         * decl.c (compute_array_index_type): Discard folding
1994         if it didn't produce a constant.
1995
1996 2011-03-11  Jakub Jelinek  <jakub@redhat.com>
1997
1998         PR c++/48035
1999         * init.c (build_zero_init_1): Extracted from build_zero_init.
2000         Add FIELD_SIZE argument, if non-NULL and field bit_position
2001         as not smaller than that, don't add that field's initializer.
2002         Pass DECL_SIZE as last argument to build_zero_init_1
2003         for DECL_FIELD_IS_BASE fields.
2004         (build_zero_init): Use build_zero_init_1.
2005
2006 2011-03-10  Jason Merrill  <jason@redhat.com>
2007
2008         PR c++/48029
2009         * pt.c (iterative_hash_template_arg): Remove special case for
2010         ARRAY_TYPE.
2011
2012         PR c++/47198
2013         * parser.c (cp_parser_single_declaration): Just return if
2014         cp_parser_parse_and_diagnose_invalid_type_name complained.
2015
2016 2011-03-09  Jason Merrill  <jason@redhat.com>
2017
2018         PR c++/44629
2019         * pt.c (unify): An unresolved overload is a nondeduced context.
2020
2021 2011-03-09  Martin Jambor  <mjambor@suse.cz>
2022
2023         PR tree-optimization/47714
2024         * method.c (use_thunk): Clear addressable flag of thunk arguments.
2025
2026 2011-03-08  Dodji Seketeli  <dodji@redhat.com>
2027
2028         PR c++/47705
2029         * pt.c (convert_nontype_argument): Only call decay_conversion on
2030         arrays.
2031
2032 2011-03-08  Jason Merrill  <jason@redhat.com>
2033
2034         PR c++/47488
2035         * mangle.c (write_template_arg_literal) [STRING_CST]: Sorry.
2036
2037         PR c++/47705
2038         * pt.c (convert_nontype_argument): Don't crash on non-pointer
2039         argument to pointer parameter.
2040
2041         PR c++/45651
2042         * pt.c (instantiate_decl): Don't clear DECL_INTERFACE_KNOWN on
2043         !TREE_PUBLIC decls.
2044
2045 2011-03-08  Dodji Seketeli  <dodji@redhat.com>
2046
2047         PR c++/47957
2048         * name-lookup.c (binding_to_template_parms_of_scope_p): Only
2049         consider scopes of primary template definitions.  Adjust comments.
2050
2051 2011-03-07  Jason Merrill  <jason@redhat.com>
2052
2053         PR c++/48003
2054         * pt.c (convert_nontype_argument): Fix -fpermissive allowing
2055         integer overflow.
2056         * semantics.c (potential_constant_expression_1): Check TREE_OVERFLOW.
2057
2058         PR c++/48015
2059         * init.c (constant_value_1): Always require init to be TREE_CONSTANT.
2060
2061         PR c++/48008
2062         * mangle.c (write_type): Strip cv-quals from FUNCTION_TYPE here.
2063         (write_CV_qualifiers_for_type): Not here.
2064
2065 2011-03-06  Joseph Myers  <joseph@codesourcery.com>
2066
2067         * lang-specs.h: Match -save-temps* instead of -save-temps.
2068
2069 2011-03-05  Jason Merrill  <jason@redhat.com>
2070
2071         * mangle.c (write_expression): Change ABI v6 to v5.
2072         (write_type): Likewise.
2073
2074 2011-03-04  Jan Hubicka  <jh@suse.cz>
2075
2076         PR lto/47497
2077         * optimize.c (maybe_clone_body): Update call of cgraph_same_body_alias
2078         and cgraph_add_thunk.
2079         * method.c (make_alias_for_thunk, use_thunk): Likewise.
2080         * mangle.c (mangle_decl): Likewise.
2081
2082 2011-03-04  Jason Merrill  <jason@redhat.com>
2083
2084         PR c++/47971
2085         * pt.c (tsubst_copy_and_build) [PSEUDO_DTOR_EXPR]: Use tsubst for type.
2086         (tsubst_copy) [default]: Just return t if !ENABLE_CHECKING.
2087
2088         PR c++/46220
2089         * search.c (check_final_overrider): Allow pointer to same incomplete
2090         class type with different cv-quals.
2091
2092 2011-03-03  Paolo Carlini  <paolo.carlini@oracle.com>
2093
2094         PR c++/47974
2095         * pt.c (tsubst_template_args): Check argument t for error_mark_node.
2096
2097 2011-03-03  Jason Merrill  <jason@redhat.com>
2098
2099         PR c++/47950
2100         * pt.c (tsubst_copy_and_build) [TARGET_EXPR]: Retain TREE_CONSTANT.
2101
2102 2011-03-02  Jason Merrill  <jason@redhat.com>
2103
2104         PR c++/47950
2105         * parser.c (cp_parser_condition): Don't fold_non_dependent_expr here.
2106
2107         PR c++/47774
2108         * tree.c (build_vec_init_elt): Split out from...
2109         (build_vec_init_expr): ...here.
2110         (diagnose_non_constexpr_vec_init): New fn.
2111         * semantics.c (potential_constant_expression_1): Use it.
2112         * cp-tree.h: Declare it.
2113
2114 2011-03-01  Jason Merrill  <jason@redhat.com>
2115
2116         PR c++/46159
2117         * parser.c (cp_parser_primary_expression): Don't warn about a
2118         failed tentative parse.
2119
2120         PR c++/47200
2121         * semantics.c (cxx_bind_parameters_in_call): Don't call
2122         adjust_temp_type on non-constant args.
2123
2124         PR c++/47851
2125         * call.c (standard_conversion): Provide requested cv-quals on
2126         class rvalue conversion.
2127
2128         PR c++/46282
2129         * decl2.c (grokbitfield): Handle type-dependent width.
2130
2131 2011-02-28  Jason Merrill  <jason@redhat.com>
2132
2133         PR c++/47873
2134         * class.c (update_vtable_entry_for_fn): Check BINFO_LOST_PRIMARY_P
2135         after checking for a non-thunk.
2136
2137 2011-02-26  Jason Merrill  <jason@redhat.com>
2138
2139         PR c++/47904
2140         * tree.c (cp_tree_equal): Compare DECL_PARM_LEVEL.
2141         * pt.c (iterative_hash_template_arg): And hash it.
2142
2143         PR c++/47897
2144         * semantics.c (non_const_var_error): Split out from...
2145         (cxx_eval_constant_expression): ...here.
2146         (potential_constant_expression_1) [VAR_DECL]: Use it.
2147         Allow dependent variables.
2148
2149 2011-02-24  Jason Merrill  <jason@redhat.com>
2150
2151         * parser.c (cp_parser_constant_expression): Set
2152         non_integral_constant_expression correctly for C++0x too.
2153         (cp_parser_static_assert): Allow non-constant expression.
2154         (cp_parser_direct_declarator): Expect non_constant_p to be set
2155         properly for C++0x.
2156         * pt.c (value_dependent_expression_p): Handle TYPEID_EXPR.
2157         * semantics.c (maybe_constant_value): Check type_unknown_p too.
2158         (potential_rvalue_constant_expression): New.
2159         (require_potential_rvalue_constant_expression): New.
2160
2161 2011-02-23  Jason Merrill  <jason@redhat.com>
2162
2163         * cp-tree.h (DECL_PARM_LEVEL): New.
2164         (struct lang_decl_parm): Add level field.
2165         * name-lookup.c (function_parm_depth): New fn.
2166         * name-lookup.h: Declare it.
2167         * parser.c (cp_parser_parameter_declaration_list): Use it.
2168         * mangle.c (struct globals): Add parm_depth field.
2169         (write_bare_function_type): Adjust it.
2170         (write_expression): Include the level delta in PARM_DECL mangling
2171         for abi >= 6.
2172
2173         * semantics.c (finish_decltype_type): Remove shortcut for decltype
2174         of id-expression.
2175         * mangle.c (write_type) [DECLTYPE_TYPE]: Strip it here for abi < 6.
2176
2177 2011-02-23  Nathan Froyd  <froydnj@codesourcery.com>
2178
2179         PR c++/46868
2180         * parser.c (cp_parser_class_specifier): Require a closing brace
2181         to attempt error recovery.
2182
2183 2011-02-23  Jakub Jelinek  <jakub@redhat.com>
2184
2185         PR c++/47833
2186         * pt.c (struct pending_template): Add chain_next GTY option.
2187         * decl.c (struct named_label_use_entry): Likewise.
2188
2189 2011-02-22  Paolo Carlini  <paolo.carlini@oracle.com>
2190
2191         PR c++/47242
2192         * semantics.c (build_lambda_object): Bail out if a field is
2193         error_mark_node.
2194
2195 2011-02-22  Dodji Seketeli  <dodji@redhat.com>
2196
2197         PR c++/47666
2198         * class.c (dfs_declare_virt_assop_and_dtor)
2199         (declare_virt_assop_and_dtor): New static functions.
2200         (add_implicitly_declared_members): Use
2201         declare_virt_assop_and_dtor.
2202
2203 2011-02-21  Jason Merrill  <jason@redhat.com>
2204
2205         PR c++/47207
2206         * decl2.c (decl_constant_var_p): A constexpr var needs an
2207         initializer to be constant.
2208         * semantics.c (cxx_eval_constant_expression): Complain about
2209         constexpr var used in its own initializer.
2210         * call.c (set_up_extended_ref_temp): Set
2211         DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P too.
2212
2213 2011-02-20  Jason Merrill  <jason@redhat.com>
2214
2215         PR c++/47199
2216         * semantics.c (cxx_eval_call_expression): Call
2217         cxx_eval_constant_expression in trivial shortcut.
2218
2219         PR c++/46831
2220         * call.c (convert_class_to_reference): Don't try to set up a
2221         second conv sequence for non-viable candidates.
2222
2223         PR c++/47703
2224         * error.c (location_of): Handle non-tagged types.
2225
2226         PR c++/46472
2227         * method.c (process_subob_fn): Instantiate constexpr templates.
2228         * optimize.c (maybe_clone_body): Propagate DECL_DECLARED_CONSTEXPR_P.
2229
2230 2011-02-20  Dodji Seketeli  <dodji@redhat.com>
2231
2232         PR c++/46394
2233         * pt.c (tsubst_pack_expansion): do not use
2234         cp_tree_equal/same_type_p to detect an expansion of a parameter
2235         pack.
2236
2237 2011-02-19  Jason Merrill  <jason@redhat.com>
2238
2239         PR c++/47503
2240         * semantics.c (cxx_eval_call_expression): Shortcut trivial copy.
2241
2242 2011-02-18  Paolo Carlini  <paolo.carlini@oracle.com>
2243
2244         PR c++/47795
2245         * semantics.c (finish_non_static_data_member): Early return if
2246         object is error_mark_node.
2247
2248 2011-02-18  Dodji Seketeli  <dodji@redhat.com>
2249
2250         PR c++/47208
2251         * pt.c (do_auto_deduction): Do not mention error_mark_node in
2252         diagnostics.
2253         * semantics.c (finish_id_expression): Do not pass erroneous decl
2254         to decl_constant_var_p.
2255
2256 2011-02-17  Jakub Jelinek  <jakub@redhat.com>
2257
2258         PR c++/47783
2259         * cvt.c (convert_from_reference): Call mark_exp_read.
2260
2261 2011-02-11  Dodji Seketeli  <dodji@redhat.com>
2262
2263         PR c++/47172
2264         * pt.c (finish_call_expr): Consider a call expression that has a
2265         dependent "this" pointer as being dependent.  Add comments.
2266         (dependent_type_p, type_dependent_expression_p): Update comments.
2267
2268 2011-02-16  Dodji Seketeli  <dodji@redhat.com>
2269
2270         PR c++/47326
2271         * pt.c (tsubst_copy)<case SIZEOF_EXPR>: Ensure that even pack
2272         expansion arguments are not evaluated.
2273
2274 2011-02-16  Jakub Jelinek  <jakub@redhat.com>
2275
2276         PR c++/47704
2277         * cp-tree.h (ENUM_FIXED_UNDERLYING_TYPE_P): Use TYPE_LANG_FLAG_5
2278         instead of TYPE_LANG_FLAG_3.
2279         * pt.c (lookup_template_class): Copy over
2280         ENUM_FIXED_UNDERLYING_TYPE_P.
2281
2282 2011-02-15  Jason Merrill  <jason@redhat.com>
2283
2284         PR c++/46807
2285         * method.c (synthesized_method_walk): Always exit early for
2286         trivial fn in C++98 mode.
2287
2288 2011-02-14  Jason Merrill  <jason@redhat.com>
2289
2290         PR c++/47482
2291         * parser.c (cp_parser_enumerator_definition): Call
2292         fold_non_dependent_expr.
2293
2294 2011-02-09  Jason Merrill  <jason@redhat.com>
2295
2296         * decl.c (cp_make_fname_decl): Set DECL_THIS_STATIC at toplevel.
2297         * semantics.c (finish_fname): Only return the name if we're in
2298         a function.
2299
2300         * decl.c (build_enumerator): Don't perform integral promotions on
2301         non-integral constants.
2302
2303         * cvt.c (convert_to_void): Handle null op1.
2304
2305         * class.c (type_has_constexpr_default_constructor): Make sure the
2306         caller stripped an enclosing array.
2307         * init.c (perform_member_init): Strip arrays before calling it.
2308
2309         PR c++/47511
2310         * semantics.c (potential_constant_expression_1): Handle TEMPLATE_DECL.
2311
2312 2011-02-03  Dodji Seketeli  <dodji@redhat.com>
2313
2314         PR c++/47398
2315         * tree.c (cp_tree_equal)<TEMPLATE_PARM_INDEX>: Take the number of
2316         template parameters in account.
2317
2318 2011-02-03  Nathan Froyd  <froydnj@codesourcery.com>
2319
2320         PR c++/46890
2321         * parser.c (cp_parser_class_specifier): Fix setting of
2322         want_semicolon.
2323
2324 2011-01-31  Jakub Jelinek  <jakub@redhat.com>
2325
2326         PR c++/47416
2327         * semantics.c (build_data_member_initialization): Handle
2328         STATEMENT_LIST always instead of just for CLEANUP_BODY.
2329
2330 2011-01-31  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
2331
2332         * g++spec.c (lang_specific_driver) [HAVE_LD_STATIC_DYNAMIC] Use
2333         LD_STATIC_OPTION, LD_DYNAMIC_OPTION.
2334
2335 2011-01-29  Dodji Seketeli  <dodji@redhat.com>
2336
2337         PR c++/47311
2338         * cp-tree.h (fixup_template_parms): Declare.
2339         * pt.c (end_template_parm_list): Do not fixup template parms here.
2340         (fixup_template_parms): Remove static. Fix typo in the
2341         comments. Remove useless code statement.
2342         (fixup_template_parm): For a template template parameter, fixup
2343         its attributes before fixing up its type.
2344         * parser.c
2345         (cp_parser_template_declaration_after_export): After parsing
2346         template parameters fixup their types.
2347
2348 2011-01-26  Jakub Jelinek  <jakub@redhat.com>
2349
2350         PR c++/47476
2351         * semantics.c (potential_constant_expression_1): Handle
2352         TRUTH_XOR_EXPR.
2353
2354 2011-01-26  Dave Korn  <dave.korn.cygwin@gmail.com>
2355
2356         PR c++/43601
2357         * semantics.c (expand_or_defer_fn_1): Handle it.
2358         * decl2.c (decl_needed_p): Likewise.
2359
2360 2011-01-21  Jason Merrill  <jason@redhat.com>
2361
2362         PR c++/47041
2363         * semantics.c (build_constexpr_constructor_member_initializers):
2364         Handle trivial copy.
2365
2366 2011-01-21  Jakub Jelinek  <jakub@redhat.com>
2367
2368         PR c++/47388
2369         * semantics.c (begin_for_stmt): If -fno-for-scope, don't
2370         assume init must be NULL if scope is NULL.
2371         (begin_range_for_stmt): Likewise.
2372
2373 2011-01-21  Jason Merrill  <jason@redhat.com>
2374
2375         PR c++/46552
2376         * semantics.c (cxx_eval_constant_expression): Handle OFFSET_REF.
2377
2378         PR c++/46977
2379         * semantics.c (potential_constant_expression_1): Split out from
2380         potential_constant_expression.  Add want_rval parm.  Handle
2381         template expression forms.  Don't enforce restriction on address
2382         of automatic variable here.  Add a couple of diagnostics that
2383         had been missing.
2384         (require_potential_constant_expression): New entry point.
2385         (build_data_member_initialization, register_constexpr_fundef): Adjust.
2386         (maybe_constant_value): Check potential_constant_expression.
2387         * pt.c (fold_non_dependent_expr_sfinae): Likewise.
2388         * tree.c (build_vec_init_expr): Adjust.
2389
2390 2011-01-19  Jakub Jelinek  <jakub@redhat.com>
2391
2392         PR c++/47303
2393         * decl2.c (finish_anon_union): Only call mangle_decl if TREE_STATIC
2394         or DECL_EXTERNAL.
2395
2396 2011-01-17  Jason Merrill  <jason@redhat.com>
2397
2398         PR c++/47067
2399         * semantics.c (base_field_constructor_elt): New fn.
2400         (cxx_eval_bare_aggregate): Use it.
2401         (build_data_member_initialization): Leave COMPONENT_REF for
2402         vfield inits.
2403
2404 2011-01-14  Rodrigo Rivas Costa <rodrigorivascosta@gmail.com>
2405
2406         * parser.c (cp_parser_range_for): Remove the "unused variable" warning
2407         workaround.
2408
2409 2011-01-15  Giovanni Funchal  <gafunchal@gmail.com>
2410             Jonathan Wakely  <jwakely.gcc@gmail.com>
2411
2412         PR c++/33558
2413         * decl.c (grokdeclarator): Reject mutable reference members.
2414
2415 2011-01-14  Jason Merrill  <jason@redhat.com>
2416
2417         PR c++/47289
2418         * pt.c (coerce_template_parms): Fix error recovery.
2419
2420         PR c++/46903
2421         * typeck2.c (check_narrowing): Only check arithmetic types.
2422
2423         PR c++/46688
2424         * tree.c (build_vec_init_expr): Handle flexible array
2425         properly.
2426
2427 2011-01-13  Kai Tietz  <kai.tietz@onevision.com>
2428
2429         PR c++/47213
2430         * cp-tree.h (CLASSTYPE_VISIBILITY): Use
2431         TYPE_MAIN_DECL instead of TYPE_NAME.
2432         (CLASSTYPE_VISIBILITY_SPECIFIED): Likewise.
2433         * decl2.c (determine_visibility): Add check
2434         of CLASS_TYPE_P for underlying_type.
2435
2436 2011-01-12  Rodrigo Rivas Costa <rodrigorivascosta@gmail.com>
2437
2438         * cp-tree.h (begin_for_scope): New prototype.
2439         (begin_for_stmt): Update prototype.
2440         (begin_range_for_stmt): Update prototype.
2441         * init.c (build_vec_init): Update call to begin_for_stmt.
2442         * parser.c (cp_parser_for): New.
2443         (cp_parser_c_for): Add three new parameters.
2444         (cp_parser_range_for): Likewise. Most parsing code removed.
2445         (cp_parser_iteration_statement): Call cp_parser_for instead of
2446         cp_parser_c_for and cp_parser_range_for.
2447         (cp_parser_for_init_statement): Add new parameter and return type.
2448         (cp_parser_block_declaration): Update call to
2449         cp_parser_simple_declaration.
2450         (cp_parser_simple_declaration): Add new parameter.
2451         Update call to cp_parser_init_declarator.
2452         (cp_parser_init_declarator): Add new parameter.
2453         * pt.c (tsubst_expr): Update call to begin_for_stmt.
2454         * semantics.c (begin_for_scope): New.
2455         (begin_for_stmt): Add two new parameters.
2456         (begin_range_for_stmt): Likewise.
2457
2458 2011-01-12  Nicola Pero  <nicola.pero@meta-innovation.com>
2459
2460         * parser.c (cp_parser_objc_at_property_declaration): Improved
2461         error message.
2462
2463 2011-01-11  Dodji Seketeli  <dodji@redhat.com>
2464
2465         PR debug/46955
2466         * cp-lang.c (get_template_innermost_arguments_folded)
2467         (get_template_argument_pack_elems_folded)
2468         (template_arg_needs_folding, fold_cplus_constants): New static
2469         functions.
2470         (LANG_HOOKS_GET_INNERMOST_GENERIC_ARGS): Set this hook to
2471         get_template_innermost_arguments_folded.
2472         (LANG_HOOKS_GET_ARGUMENT_PACK_ELEMS): Set this hook to
2473         get_template_argument_pack_elems_folded.
2474
2475 2011-01-11  Jason Merrill  <jason@redhat.com>
2476
2477         PR c++/46658
2478         * init.c (build_new_1): Handle value-init in templates differently.
2479
2480         PR c++/45520
2481         * tree.c (maybe_dummy_object): Check current_class_ref against
2482         context, not current_class_type.
2483
2484 2011-01-08  Nicola Pero  <nicola.pero@meta-innovation.com>
2485
2486         PR objc/47078
2487         * parser.c (cp_parser_objc_typename): If the type is unknown, for
2488         error recovery purposes behave as if it was not specified so that
2489         the default type is used.
2490
2491 2011-01-07  Jakub Jelinek  <jakub@redhat.com>
2492
2493         PR c++/47022
2494         * pt.c (tsubst_copy_and_build): Use tsubst instead of tsubst_copy
2495         for the second build_x_va_arg argument.
2496
2497 2011-01-05  Tom Tromey  <tromey@redhat.com>
2498
2499         * typeck.c (cp_build_addr_expr_1): Update call to lvalue_error.
2500         (lvalue_or_else): Likewise.
2501
2502 2011-01-01  Kai Tietz  <kai.tietz@onevision.com>
2503
2504         PR target/38662
2505         * tree.c (cxx_type_hash_eq):
2506         Allow METHOD_TYPE, too.
2507
2508 \f
2509 Copyright (C) 2011 Free Software Foundation, Inc.
2510
2511 Copying and distribution of this file, with or without modification,
2512 are permitted in any medium without royalty provided the copyright
2513 notice and this notice are preserved.