gcc/cp/ChangeLog

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