gcc/cp/ChangeLog

   1 2011-10-11  Jason Merrill  <jason@redhat.com>
   2
   3         PR c++/49855
   4         PR c++/49896
   5         * cp-tree.def (IMPLICIT_CONV_EXPR): New.
   6         * call.c (perform_implicit_conversion_flags): Build it
   7         instead of NOP_EXPR.
   8         * cp-objcp-common.c (cp_common_init_ts): It's typed.
   9         * cxx-pretty-print.c (pp_cxx_cast_expression): Handle it.
  10         (pp_cxx_expression): Likewise.
  11         * error.c (dump_expr): Likewise.
  12         * semantics.c (potential_constant_expression_1): Likewise.
  13         * tree.c (cp_tree_equal): Likewise.
  14         (cp_walk_subtrees): Likewise.
  15         * pt.c (iterative_hash_template_arg): Likewise.
  16         (for_each_template_parm_r): Likewise.
  17         (type_dependent_expression_p): Likewise.
  18         (tsubst_copy, tsubst_copy_and_build): Handle IMPLICIT_CONV_EXPR
  19         and CONVERT_EXPR.
  20         * cp-tree.h (IMPLICIT_CONV_EXPR_DIRECT_INIT): New.
  21
  22 2011-10-11  Paolo Carlini  <paolo.carlini@oracle.com>
  23
  24         PR c++/50611
  25         * pt.c (tsubst_copy_and_build): If (complain & tf_error) is false
  26         do not call unqualified_name_lookup_error.
  27
  28 2011-10-10  Paolo Carlini  <paolo.carlini@oracle.com>
  29
  30         PR c++/50660
  31         * call.c (conversion_null_warnings): Don't look through references.
  32
  33 2011-10-09  Paolo Carlini  <paolo.carlini@oracle.com>
  34
  35         PR c++/38980
  36         * init.c (constant_value_1): Add bool parameter.
  37         (decl_constant_value_safe): Add.
  38         (integral_constant_value): Adjust.
  39         (decl_constant_value): Adjust.
  40         * cp-tree.h (decl_constant_value_safe): Declare.
  41         * typeck.c (decay_conversion): Use decl_constant_value_safe.
  42         * call.c (convert_like_real): Likewise.
  43
  44 2011-10-09  Jakub Jelinek  <jakub@redhat.com>
  45             Diego Novillo  <dnovillo@google.com>
  46
  47         * pt.c (reregister_specialization): Use htab_find instead of
  48         htab_find_slot with INSERT.
  49         (maybe_process_partial_specialization, lookup_template_class_1): Change
  50         slot variable type to void ** to avoid aliasing problems.
  51         (register_specialization): Likewise.  Use slot != NULL instead of
  52         more expensive !optimize_specialization_lookup_p (tmpl) test.
  53
  54 2011-10-08  Paolo Carlini  <paolo.carlini@oracle.com>
  55
  56         PR c++/34927
  57         * typeck2.c (abstract_virtuals_error_sfinae): Don't produce duplicate
  58         inform messages in case of cloned destructor.
  59
  60 2011-10-06  Jason Merrill  <jason@redhat.com>
  61
  62         PR c++/39164
  63         * decl.c (grokfndecl): Diagnose redefinition of defaulted fn.
  64
  65 2011-10-02  Jason Merrill  <jason@redhat.com>
  66
  67         * pt.c (tsubst_pack_expansion): Re-use ARGUMENT_PACK_SELECTs.
  68         Change unsubstituted_packs to bool.
  69
  70         * parser.c (cp_parser_range_for): Don't try to deduce from {}
  71         in a template.
  72
  73         PR c++/35722
  74         Implement N2555 (expanding pack expansion to fixed parm list)
  75         * pt.c (coerce_template_parms): Allow expanding a pack expansion
  76         to a fixed-length argument list.
  77         (unify_pack_expansion): Handle explicit args properly.
  78         (unify) [TREE_VEC]: Handle pack expansions here.
  79         [TYPE_ARGUMENT_PACK]: Not here.
  80         (tsubst_pack_expansion): Don't try to do partial substitution.
  81         (pack_deducible_p): New.
  82         (fn_type_unification): Use it.
  83         (find_parameter_packs_r): Take the TYPE_MAIN_VARIANT
  84         of a type parameter.
  85         (check_non_deducible_conversion): Split from type_unification_real.
  86         (unify_one_argument): Split from type_unification_real...
  87         (unify_pack_expansion): ...and here.  Drop call_args_p parm.
  88         (type_unification_real, unify, more_specialized_fn): Adjust.
  89
  90         * class.c (fixed_type_or_null): Handle NSDMI.
  91         * method.c (walk_field_subobs): Disable NSDMI noexcept checking
  92         for now.
  93
  94 2011-09-30  Jason Merrill  <jason@redhat.com>
  95
  96         * cp-tree.h (TREE_NEGATED_INT): Remove.
  97         * semantics.c (finish_unary_op_expr): Don't set it.
  98
  99 2011-09-30  Janis Johnson  <janisjo@codesourcery.com>
 100
 101         PR c++/44473
 102         * mangle.c (write_type): Handle CV qualifiers for decimal classes.
 103
 104 2011-09-26   Andi Kleen <ak@linux.intel.com>
 105
 106         * repo.c (finish_repo): Use HOST_WIDE_INT_PRINT_HEX_PURE.
 107
 108 2011-09-28  Paolo Carlini  <paolo.carlini@oracle.com>
 109
 110         PR c++/45278
 111         * typeck.c (cp_build_binary_op): With -Wextra, warn for ordered
 112         comparison of pointer with zero.
 113
 114 2011-09-27  Paolo Carlini  <paolo.carlini@oracle.com>
 115
 116         PR c++/31489
 117         * parser.c (cp_parser_elaborated_type_specifier): For RECORD_TYPE,
 118         set CLASSTYPE_DECLARED_CLASS.
 119
 120 2011-09-27  Jakub Jelinek  <jakub@redhat.com>
 121
 122         * decl.c (duplicate_decls): If compatible stpcpy prototype
 123         is seen, set implicit_built_in_decls[BUILT_IN_STPCPY].
 124
 125 2011-09-26  Jason Merrill  <jason@redhat.com>
 126
 127         PR c++/45012
 128         * pt.c (tsubst_copy_and_build) [CONST_DECL]: Don't pull out
 129         constant value if we're still in a template.
 130
 131         PR c++/46105
 132         * typeck.c (structural_comptypes): Ignore cv-quals on typename scope.
 133
 134         PR c++/50508
 135         * semantics.c (cxx_eval_logical_expression): Use tree_int_cst_equal
 136         rather than ==.
 137
 138 2011-09-26  Paolo Carlini  <paolo.carlini@oracle.com>
 139
 140         PR c++/45487
 141         * error.c (dump_template_bindings): Separate bindings with semicolons
 142         instead of commas.
 143
 144 2011-09-26  Jason Merrill  <jason@redhat.com>
 145
 146         PR c++/50512
 147         * call.c (compare_ics): Only consider rvaluedness_matches_p
 148         if the target type is the same or it too differs in rvalueness.
 149
 150         PR c++/50523
 151         * call.c (implicit_conversion): Mask out inappropriate LOOKUP
 152         flags at the top of the function.
 153
 154         * pt.c (tsubst_copy) [PARM_DECL]: Handle 'this' in NSDMI.
 155
 156 2011-09-26  Paolo Carlini  <paolo.carlini@oracle.com>
 157
 158         * pt.c (convert_nontype_argument): Handle NULLPTR_TYPE.
 159
 160 2011-09-26  Paolo Carlini  <paolo.carlini@oracle.com>
 161
 162         PR c++/26747
 163         * cp-gimplify.c (get_bc_label): Remove obsolete diagnostics.
 164
 165 2011-09-25  Jason Merrill  <jason@redhat.com>
 166
 167         * parser.c (inject_this_parameter): Split out from
 168         cp_parser_late_return_type_opt.
 169         (cp_parser_class_specifier_1): Use it for NSDMIs.
 170         * tree.c (bot_replace): Replace NSDMI 'this' with real 'this'.
 171
 172 2011-09-24  Jason Merrill  <jason@redhat.com>
 173
 174         * except.c (expr_noexcept_p): Split out from finish_noexcept_expr.
 175         * cp-tree.h: Declare it.
 176         * method.c (walk_field_subobs): Use it.
 177
 178         * init.c (perform_member_init): Instantiate NSDMI here.
 179         * pt.c (tsubst_decl) [FIELD_DECL]: Not here.
 180
 181         Handle deferred parsing of NSDMIs.
 182         * parser.h (cp_unparsed_functions_entry): Add nsdmis field.
 183         * parser.c (unparsed_nsdmis, cp_parser_save_nsdmi): New.
 184         (cp_parser_late_parse_one_default_arg): Split out from
 185         cp_parser_late_parsing_default_args.
 186         (cp_parser_late_parsing_nsdmi): New.
 187         (push_unparsed_function_queues): Set it.
 188         (cp_parser_parameter_declaration): Save the '=' token.
 189         (cp_parser_template_parameter): Likewise.
 190         (cp_parser_default_argument): Call cp_parser_initializer
 191         rather than cp_parser_initializer_clause.
 192         (cp_parser_class_specifier_1): Parse unparsed_nsdmis.
 193         (cp_parser_member_declaration): Handle nsdmis.
 194         * decl2.c (grokfield): Handle DEFAULT_ARG for a function.
 195
 196         Implement C++11 non-static data member initializers.
 197         * cp-tree.h (enum cpp_warn_str): Add CPP0X_NSDMI.
 198         * error.c (maybe_warn_cpp0x): Handle it.
 199         * call.c (convert_like_real) [ck_user]: Don't complain about
 200         using an explicit constructor for direct-initialization.
 201         * class.c (check_field_decl): Fix ancient typo.
 202         (check_field_decls): NSDMIs make the default ctor non-trivial.
 203         * decl.c (cp_finish_decl): Record NSDMI.
 204         (grokdeclarator): Allow NSDMI.
 205         * decl2.c (grokfield): Allow NSDMI.  Correct LOOKUP flags.
 206         * init.c (perform_member_init): Use NSDMI.
 207         * method.c (walk_field_subobs): Check for NSDMI.
 208         * parser.c (cp_parser_member_declaration): Parse { } init.
 209         * semantics.c (register_constexpr_fundef): Don't talk about
 210         a return statement in a constexpr constructor.
 211         (cxx_eval_call_expression): Check DECL_INITIAL instead of
 212         DECL_SAVED_TREE.
 213
 214 2011-09-24  Paolo Carlini  <paolo.carlini@oracle.com>
 215
 216         PR c++/44267
 217         * class.c (build_base_path): Add a tsubst_flags_t parameter.
 218         (convert_to_base): Adjust call.
 219         * typeck.c (build_class_member_access_expr,
 220         get_member_function_from_ptrfunc, build_static_cast_1): Likewise.
 221         * init.c (dfs_initialize_vtbl_ptrs, emit_mem_initializers): Likewise.
 222         * method.c (do_build_copy_constructor, do_build_copy_assign): Likewise.
 223         * rtti.c (build_dynamic_cast_1): Likewise.
 224         * typeck2.c (build_scoped_ref, build_m_component_ref): Likewise.
 225         * call.c (build_over_call, build_special_member_call): Likewise.
 226         * cvt.c (cp_convert_to_pointer, convert_to_pointer_force,
 227         build_up_reference): Likewise.
 228         * cp-tree.h (build_base_path): Adjust declaration.
 229
 230 2011-09-23  Jason Merrill  <jason@redhat.com>
 231
 232         Core 253 - allow const objects with no initializer or
 233         user-provided default constructor if the defaulted constructor
 234         initializes all the subobjects.
 235         PR c++/20039
 236         PR c++/42844
 237         * class.c (default_init_uninitialized_part): New.
 238         * cp-tree.h: Declare it.
 239         * decl.c (check_for_uninitialized_const_var): Use it.
 240         * init.c (perform_member_init): Likewise.
 241         (build_new_1): Likewise.
 242         * method.c (walk_field_subobs): Likewise.
 243
 244 2011-09-23  Paolo Carlini  <paolo.carlini@oracle.com>
 245
 246         PR c++/50258
 247         * decl.c (check_static_variable_definition): Allow in-class
 248         initialization of static data member of non-integral type in
 249         permissive mode.
 250
 251 2011-09-22  Paolo Carlini  <paolo.carlini@oracle.com>
 252
 253         PR c++/50491
 254         * semantics.c (potential_constant_expression_1): Handle USING_DECL.
 255
 256 2011-09-22  Paolo Carlini  <paolo.carlini@oracle.com>
 257
 258         PR c++/50371
 259         * pt.c (invalid_nontype_parm_type_p): Handle NULLPTR_TYPE.
 260
 261 2011-09-22  Jonathan Wakely  <jwakely.gcc@gmail.com>
 262             Paolo Carlini  <paolo.carlini@oracle.com>
 263
 264         PR c++/50344
 265         * friend.c (make_friend_class): cv-qualification is ok in a
 266         friend declaration.
 267
 268 2011-09-21  Paolo Carlini  <paolo.carlini@oracle.com>
 269
 270         PR c++/50454
 271         * decl.c (grokdeclarator): Consistently handle both __int128
 272         and unsigned __int128 with -pedantic; suppress diagnostic in
 273         system headers.
 274
 275 2011-09-20  Jason Merrill  <jason@redhat.com>
 276
 277         * cp-tree.h (DECL_TEMPLOID_INSTANTIATION): New.
 278         (DECL_GENERATED_P): New.
 279         * class.c (finalize_literal_type_property): Use them.
 280         * semantics.c (is_instantiation_of_constexpr): Likewise.
 281         (register_constexpr_fundef): Likewise.
 282
 283         * call.c (convert_default_arg): Avoid redundant copy.
 284         * tree.c (bot_manip): Copy everything.
 285
 286 2011-09-20 Roberto Agostino Vitillo <ravitillo@lbl.gov>
 287
 288         * call.c (build_new_method_call_1): Use non-virtual lookup
 289         for final virtual functions.
 290
 291 2011-09-16  Jason Merrill  <jason@redhat.com>
 292
 293         PR c++/50424
 294         * call.c (set_flags_from_callee): Split out from build_call_a.
 295         * cp-tree.h: Declare it.
 296         * tree.c (bot_manip): Call it.
 297
 298 2011-09-15  Jason Merrill  <jason@redhat.com>
 299
 300         PR c++/50365
 301         * parser.c (cp_parser_late_return_type_opt): Check quals parameter
 302         for clearing current_class_ptr, too.
 303
 304 2011-09-14   Diego Novillo  <dnovillo@google.com>
 305
 306         * name-lookup.c (lookup_arg_dependent): Use conditional
 307         timevars.
 308         * decl.c (xref_tag): Likewise.
 309
 310 2011-09-14  Paolo Carlini  <paolo.carlini@oracle.com>
 311
 312         PR c++/50391
 313         * pt.c (regenerate_decl_from_template): Don't pass an error_mark_node
 314         to build_exception_variant.
 315
 316 2011-09-13  Dodji Seketeli  <dodji@redhat.com>
 317
 318         PR c++/48320
 319         * pt.c (template_parameter_pack_p): Support TEMPLATE_PARM_INDEX
 320         nodes.  Add a comment.
 321         (arg_from_parm_pack_p):  New static function, factorized out from
 322         tsubst_pack_expansion and extended to support non-type parameter
 323         packs represented with TEMPLATE_PARM_INDEX nodes.
 324         (tsubst_pack_expansion): Use arg_from_parm_pack_p.
 325
 326 2011-09-12  Jason Merrill  <jason@redhat.com>
 327
 328         * pt.c (type_unification_real): Fix handling of DEDUCE_CONV
 329         with no deducible template parameters.
 330         * call.c (rejection_reason_code): Add rr_template_conversion.
 331         (print_z_candidate): Handle it.
 332         (template_conversion_rejection): New.
 333         (build_user_type_conversion_1): Use it.
 334
 335         * call.c (merge_conversion_sequences): Set bad_p and user_conv_p
 336         on all of the second conversion sequence.
 337         (build_user_type_conversion_1): Set bad_p on the ck_user conv.
 338         (convert_like_real): Handle bad ck_ref_bind with user_conv_p in the
 339         first section.  Fix loop logic.
 340         (initialize_reference): Call convert_like for diagnostics when
 341         we have a (bad) conversion.
 342
 343         * call.c (convert_class_to_reference)
 344         (convert_class_to_reference_1): Remove.
 345         (reference_binding): Use build_user_type_conversion_1 instead.
 346
 347         * call.c (initialize_reference): Add flags parm.
 348         * decl.c (grok_reference_init): Likewise.
 349         (check_initializer): Pass it.
 350         * typeck.c (convert_for_initialization): Likewise.
 351         * cp-tree.h: Adjust.
 352
 353         * cp-tree.h (LOOKUP_NO_RVAL_BIND): New.
 354         * call.c (conditional_conversion): Use it.
 355         (reference_binding): Fix handling of xvalues.
 356
 357 2011-09-09  Jason Merrill  <jason@redhat.com>
 358
 359         * call.c (implicit_conversion): Check BRACE_ENCLOSED_INITIALIZER_P
 360         before forcing instantiation.
 361
 362 2011-09-08  Paolo Carlini  <paolo.carlini@oracle.com>
 363
 364         PR c++/50324
 365         * typeck2.c (digest_init_r): Call complete_type_or_maybe_complain
 366         instead of complete_type_or_else.
 367
 368 2011-09-08  Dodji Seketeli  <dodji@redhat.com>
 369
 370         PR c++/33255 - Support -Wunused-local-typedefs warning
 371         * name-lookup.c (pushdecl_maybe_friend_1): Use the new
 372         record_locally_defined_typedef.
 373         * decl.c (finish_function): Use the new
 374         maybe_warn_unused_local_typedefs.
 375         (grokfield): Use the new record_locally_defined_typedef.
 376         * parser.c (lookup_name): Use the new maybe_record_typedef_use.
 377
 378 2011-09-07  Paolo Carlini  <paolo.carlini@oracle.com>
 379
 380         PR c++/50309
 381         * decl.c (grokdeclarator): Check u.function.exception_specification
 382         for error_mark_node.
 383
 384 2011-09-07  Jason Merrill  <jason@redhat.com>
 385
 386         PR c++/50298
 387         * parser.c (cp_parser_member_declaration): Don't require a constant
 388         rvalue here in C++0x.
 389
 390         * pt.c (type_unification_real): Correct complain arg for tsubsting
 391         default template args.
 392
 393         * pt.c (tsubst_aggr_type): Check TYPE_P before tsubsting.
 394
 395 2011-09-06  Jason Merrill  <jason@redhat.com>
 396
 397         PR c++/50296
 398         * semantics.c (register_constexpr_fundef): Call is_valid_constexpr_fn.
 399         (cx_check_missing_mem_inits): Handle bases and empty trivial members.
 400         (validate_constexpr_fundecl): Remove.
 401         * decl.c (start_preparsed_function): Don't call it.
 402         * cp-tree.h: Don't declare it.
 403
 404 2011-09-04  Jason Merrill  <jason@redhat.com>
 405
 406         PR c++/49267
 407         * call.c (reference_binding): Don't set is_lvalue for an rvalue
 408         reference rfrom.
 409
 410         PR c++/49267
 411         PR c++/49458
 412         DR 1328
 413         * call.c (reference_binding): Set rvaluedness_matches_p properly
 414         for reference to function conversion ops.
 415         (compare_ics): Adjust.
 416
 417         * class.c (trivial_default_constructor_is_constexpr): Rename from
 418         synthesized_default_constructor_is_constexpr.
 419         (type_has_constexpr_default_constructor): Adjust.
 420         (add_implicitly_declared_members): Call it instead.
 421         (explain_non_literal_class): Explain about non-constexpr default ctor.
 422         * cp-tree.h: Adjust.
 423         * method.c (synthesized_method_walk): Adjust.
 424         * semantics.c (explain_invalid_constexpr_fn): Handle defaulted
 425         functions, too.
 426
 427         PR c++/50248
 428         Core 1358
 429         * init.c (perform_member_init): Don't diagnose missing inits here.
 430         (emit_mem_initializers): Or here.
 431         * method.c (process_subob_fn): Don't instantiate constexpr ctors.
 432         * semantics.c (cx_check_missing_mem_inits): New.
 433         (explain_invalid_constexpr_fn): Call it.
 434         (register_constexpr_fundef): Likewise.  Leave
 435         DECL_DECLARED_CONSTEXPR_P set when the body is unsuitable.
 436         (cxx_eval_call_expression): Adjust diagnostics.
 437         (cxx_eval_constant_expression): Catch use of 'this' in a constructor.
 438
 439 2011-08-30  Jason Merrill  <jason@redhat.com>
 440
 441         PR c++/50084
 442         * cp-tree.h (cp_decl_specifier_seq): Rename user_defined_type_p
 443         to type_definition_p.
 444         * parser.c (cp_parser_set_decl_spec_type): Likewise.
 445         * decl.c (grokdeclarator): Check it.
 446
 447         PR c++/50089
 448         * semantics.c (finish_id_expression): Use
 449         current_nonlambda_class_type for qualified-ids.
 450
 451         PR c++/50114
 452         * decl.c (poplevel): Disable for scope compatibility hack
 453         in C++11 mode.
 454
 455         PR c++/50220
 456         * semantics.c (add_capture): Call complete_type for copy.
 457
 458         PR c++/50234
 459         * semantics.c (cxx_eval_component_reference): Handle
 460         value-initialization for omitted initializers.
 461
 462 2011-08-29  Jason Merrill  <jason@redhat.com>
 463
 464         PR c++/50224
 465         * semantics.c (finish_id_expression): Mark captured variables used.
 466
 467 2011-08-29  Jakub Jelinek  <jakub@redhat.com>
 468             Jason Merrill  <jason@redhat.com>
 469
 470         PR c++/50207
 471         * class.c (finish_struct_1): Complain if the first field is
 472         artificial.
 473
 474 2011-08-29  Jason Merrill  <jason@redhat.com>
 475
 476         PR c++/50209
 477         Core DR 994
 478         * parser.c (cp_parser_default_argument): Use
 479         cp_parser_initializer_clause.
 480         (cp_parser_late_parsing_default_args): Likewise.
 481
 482 2011-08-26  Jason Merrill  <jason@redhat.com>
 483
 484         Core DR 342
 485         PR c++/48582
 486         * pt.c (check_valid_ptrmem_cst_expr): A null member pointer value
 487         is valid in C++11.
 488         (convert_nontype_argument): Likewise.  Implicitly convert nullptr
 489         and do constant folding.
 490         * mangle.c (write_template_arg_literal): Mangle null member
 491         pointer values as 0.
 492         * call.c (null_member_pointer_value_p): New.
 493         * cp-tree.h: Declare it.
 494
 495 2011-08-25  Jason Merrill  <jason@redhat.com>
 496
 497         * call.c (convert_like_real): Remove redundant complain checks.
 498
 499         PR c++/50157
 500         * call.c (convert_like_real): Exit early if bad and !tf_error.
 501
 502 2011-08-23  Jason Merrill  <jason@redhat.com>
 503
 504         * typeck2.c (build_functional_cast): Don't try to avoid calling
 505         build_value_init.
 506         * pt.c (instantiate_class_template_1): Don't copy TYPE_HAS_* flags.
 507
 508 2011-08-23  Jason Merrill  <jason@redhat.com>
 509
 510         PR c++/49045
 511         Core 1321
 512         * tree.c (dependent_name): New.
 513         (cp_tree_equal): Two calls with the same dependent name are
 514         equivalent even if the overload sets are different.
 515
 516 2011-08-23  Jason Merrill  <jason@redhat.com>
 517
 518         * tree.c (build_target_expr): Set TREE_CONSTANT on
 519         literal TARGET_EXPR if the value is constant.
 520         * typeck2.c (build_functional_cast): Don't set it here.
 521
 522 2011-08-23  Jason Merrill  <jason@redhat.com>
 523
 524         Core 903 (partial)
 525         * call.c (null_ptr_cst_p): Only 0 qualifies in C++11.
 526
 527 2011-08-23  Jason Merrill  <jason@redhat.com>
 528
 529         Core 975
 530         * decl.c (cxx_init_decl_processing): Initialize
 531         dependent_lambda_return_type_node.
 532         * cp-tree.h (cp_tree_index): Add CPTI_DEPENDENT_LAMBDA_RETURN_TYPE.
 533         (dependent_lambda_return_type_node): Define.
 534         (DECLTYPE_FOR_LAMBDA_RETURN): Remove.
 535         * semantics.c (lambda_return_type): Handle overloaded function.
 536         Use dependent_lambda_return_type_node instead of
 537         DECLTYPE_FOR_LAMBDA_RETURN.
 538         (apply_lambda_return_type): Don't check dependent_type_p.
 539         * pt.c (tsubst_copy_and_build): Handle lambda return type deduction.
 540         (instantiate_class_template_1): Likewise.
 541         (tsubst): Don't use DECLTYPE_FOR_LAMBDA_RETURN.
 542         * mangle.c (write_type): Likewise.
 543         * typeck.c (structural_comptypes): Likewise.
 544         (check_return_expr): Handle dependent_lambda_return_type_node.
 545
 546 2011-08-23  Jason Merrill  <jason@redhat.com>
 547
 548         PR c++/50024
 549         * semantics.c (maybe_constant_value): Don't try to fold { }.
 550         * pt.c (build_non_dependent_expr): Don't wrap { }.
 551         * init.c (build_value_init): Allow scalar value-init in templates.
 552
 553 2011-08-23  Jason Merrill  <jason@redhat.com>
 554
 555         * semantics.c (potential_constant_expression_1): Allow 'this'.
 556
 557 2011-08-23  Jakub Jelinek  <jakub@redhat.com>
 558
 559         PR c++/50158
 560         * typeck.c (cp_build_modify_expr): Call mark_rvalue_use on rhs
 561         if it has side-effects and needs to be preevaluated.
 562
 563 2011-08-23  Siddhesh Poyarekar  <siddhesh.poyarekar@gmail.com>
 564
 565         PR c++/50055
 566         * except.c (begin_eh_spec_block): Build EH_SPEC block on the
 567         same line as the function.
 568
 569 2011-08-23  Jakub Jelinek  <jakub@redhat.com>
 570
 571         PR c++/46862
 572         * class.c (finish_struct_1): If TYPE_TRANSPARENT_AGGR is set on a type
 573         which doesn't have any fields, clear it and diagnose.
 574
 575 2011-08-18  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
 576             Marc Glisse  <marc.glisse@normalesup.org>
 577
 578         PR libstdc++-v3/1773
 579         * mangle.c (decl_mangling_context): Call
 580         targetm.cxx.decl_mangling_context.
 581         (write_unscoped_name): Use decl_mangling_context.
 582
 583 2011-08-18  Dodji Seketeli  <dodji@redhat.com>
 584
 585         PR c++/45625
 586         * pt.c (parameter_of_template_p): Handle comparison with DECLs of
 587         template parameters as created by process_template_parm.
 588
 589 2011-08-16  Jason Merrill  <jason@redhat.com>
 590
 591         PR c++/50086
 592         * pt.c (unify_pack_expansion): Correct overloaded unification
 593         logic.
 594
 595         * pt.c (instantiate_class_template_1): If DECL_PRESERVE_P is set
 596         on a member function or static data member, call mark_used.
 597
 598         PR c++/50054
 599         * typeck2.c (cxx_incomplete_type_diagnostic): Handle
 600         init_list_type_node.
 601
 602 2011-08-13  Jason Merrill  <jason@redhat.com>
 603
 604         PR c++/50075
 605         * name-lookup.c (local_bindings_p): New.
 606         * name-lookup.h: Declare it.
 607         * lex.c (unqualified_name_lookup_error): Use it.
 608
 609         PR c++/50059
 610         * error.c (dump_expr): Handle MODIFY_EXPR properly.
 611
 612         * decl.c (grok_reference_init): Handle constexpr here.
 613         * call.c (initialize_reference): Not here.
 614
 615 2011-08-12  David Li  <davidxl@google.com>
 616
 617         * class.c (update_vtable_entry_for_fn): Set
 618         LOST_PRIMARY bit properly.
 619
 620 2011-08-12  Jason Merrill  <jason@redhat.com>
 621
 622         PR c++/50034
 623         * call.c (convert_arg_to_ellipsis): force_rvalue only in
 624         potentially evaluated context.
 625
 626 2011-08-12  Richard Guenther  <rguenther@suse.de>
 627
 628         * call.c (build_over_call): Instead of memcpy use an
 629         assignment of two MEM_REFs.
 630
 631 2011-08-11  Romain Geissler  <romain.geissler@gmail.com>
 632             Brian Hackett  <bhackett1024@gmail.com>
 633
 634         * decl.c (cp_finish_decl): Invoke callbacks on finish_decl event.
 635
 636 2011-08-10  Richard Guenther  <rguenther@suse.de>
 637
 638         * call.c (build_over_call): Call memcpy unconditionally.
 639
 640 2011-08-08  Jason Merrill  <jason@redhat.com>
 641
 642         PR c++/50020
 643         * semantics.c (finish_call_expr): Don't look at 'this' if we
 644         had an explicit object argument.
 645
 646         PR c++/50011
 647         * typeck2.c (check_narrowing): Fix integer logic.
 648
 649 2011-08-08  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
 650
 651         * Make-lang.in (g++$(exeext)): Add $(EXTRA_GCC_LIBS).
 652
 653 2011-08-05  Jason Merrill  <jason@redhat.com>
 654
 655         PR c++/48993
 656         * semantics.c (potential_constant_expression_1) [CALL_EXPR]: Sorry
 657         on 'this' in a constructor.
 658
 659         PR c++/49921
 660         * semantics.c (finish_decltype_type): Call invalid_nonstatic_memfn_p.
 661
 662         PR c++/49669
 663         * init.c (perform_member_init): Handle invalid array initializer.
 664
 665         PR c++/49988
 666         * semantics.c (cxx_eval_array_reference): Handle failure to
 667         reduce the array operand to something we can work with.
 668
 669 2011-08-05  Gabriel Charette  <gchare@google.com>
 670
 671         * decl.c (finish_function): Remove unecessary line 0 hack.
 672
 673 2011-08-05  Jason Merrill  <jason@redhat.com>
 674
 675         PR c++/47453
 676         * typeck.c (build_x_compound_expr_from_list): Also complain
 677         about ({...}).
 678
 679         PR c++/49812
 680         * typeck.c (cp_build_unary_op) [POSTINCREMENT_EXPR]: Strip cv-quals.
 681
 682         PR c++/49983
 683         * parser.c (cp_parser_range_for): Only do auto deduction in
 684         template if the range is non-dependent.
 685
 686         * init.c (perform_member_init): Always build_aggr_init
 687         for a class member with an explicit mem-initializer.
 688
 689         * pt.c (unify) [TEMPLATE_TYPE_PARM]: Allow VLA for C++0x 'auto'.
 690
 691 2011-08-04  Jakub Jelinek  <jakub@redhat.com>
 692
 693         PR middle-end/49905
 694         * decl.c (cxx_init_decl_processing): Add alloc_size (1) attribute
 695         for operator new and operator new [].  Call init_attributes.
 696
 697 2011-08-02  Jason Merrill  <jason@redhat.com>
 698
 699         PR c++/43886
 700         * parser.c (cp_parser_lambda_body): Clear local_variables_forbidden_p.
 701
 702         PR c++/49577
 703         * typeck2.c (check_narrowing): Check unsigned mismatch.
 704         * semantics.c (finish_compound_literal): check_narrowing.
 705
 706         PR c++/49593
 707         * pt.c (find_parameter_packs_r): Handle CONSTRUCTOR.
 708
 709         PR c++/49803
 710         * init.c (sort_mem_initializers): Initialize uses_unions_p here.
 711         (build_field_list): Not here.
 712
 713         PR c++/49834
 714         * parser.c (build_range_temp): Split out from...
 715         (cp_convert_range_for): ...here.
 716         (do_range_for_auto_deduction): New.
 717         (cp_parser_range_for): Use it.
 718
 719 2011-08-02  Jakub Jelinek  <jakub@redhat.com>
 720
 721         * cp-tree.h (finish_omp_atomic): Adjust prototype.
 722         (cxx_omp_const_qual_no_mutable): New prototype.
 723         (finish_omp_taskyield): New prototype.
 724         * parser.c (cp_parser_omp_atomic): (cp_parser_omp_atomic): Handle
 725         parsing OpenMP 3.1 atomics.  Adjust finish_omp_atomic caller.
 726         (cp_parser_omp_clause_name): Handle final and mergeable clauses.
 727         (cp_parser_omp_clause_final, cp_parser_omp_clause_mergeable): New
 728         functions.
 729         (cp_parser_omp_all_clauses): Handle PRAGMA_OMP_CLAUSE_FINAL
 730         and PRAGMA_OMP_CLAUSE_MERGEABLE.
 731         (OMP_TASK_CLAUSE_MASK): Allow final and mergeable clauses.
 732         (cp_parser_omp_taskyield): New function.
 733         (cp_parser_pragma): Handle PRAGMA_OMP_TASKYIELD.
 734         (cp_parser_omp_clause_reduction): Handle min and max.
 735         * pt.c (tsubst_expr) <case OMP_ATOMIC>: Handle OpenMP 3.1 atomics.
 736         (tsubst_omp_clauses): Handle OMP_CLAUSE_FINAL and
 737         OMP_CLAUSE_MERGEABLE.
 738         * semantics.c (finish_omp_atomic): Add OPCODE, V, LHS1 and RHS1
 739         arguments.  Handle OpenMP 3.1 atomics.  Adjust c_finish_omp_atomic
 740         caller.
 741         (finish_omp_clauses): Don't complain about const qualified
 742         predetermined vars and static data members in firstprivate clause.
 743         Handle OMP_CLAUSE_FINAL and OMP_CLAUSE_MERGEABLE. Handle MIN_EXPR
 744         and MAX_EXPR.
 745         (finish_omp_taskyield): New function.
 746         * cp-gimplify.c (cxx_omp_const_qual_no_mutable): New function.
 747         (cxx_omp_predetermined_sharing): Use it.
 748
 749 2011-08-02  Jason Merrill  <jason@redhat.com>
 750
 751         * call.c (build_call_a): Also check at_function_scope_p.
 752
 753 2011-08-01  Jason Merrill  <jason@redhat.com>
 754
 755         PR c++/49932
 756         * mangle.c (write_prefix): Handle decltype.
 757
 758         PR c++/49924
 759         * semantics.c (cxx_eval_vec_init_1): Fix logic.
 760
 761         PR c++/49813
 762         * semantics.c (potential_constant_expression_1): Allow any builtin.
 763         (morally_constexpr_builtin_function_p): Remove.
 764
 765 2011-07-29  Jason Merrill  <jason@redhat.com>
 766
 767         PR c++/49867
 768         * parser.c (cp_parser_lambda_expression): Also clear in_statement
 769         and in_switch_statement_p.
 770         (cp_parser_class_specifier): Likewise.
 771
 772 2011-07-28  Jason Merrill  <jason@redhat.com>
 773
 774         PR c++/49808
 775         * pt.c (tsubst) [TEMPLATE_PARM_INDEX]: Call convert_from_reference.
 776         (convert_nontype_argument, tsubst_template_arg): Handle its output.
 777
 778 2011-07-28  Paolo Carlini  <paolo.carlini@oracle.com>
 779
 780         PR c++/49813
 781         * semantics.c (potential_constant_expression_1):  Handle FMA_EXPR.
 782
 783 2011-07-27  Jeffrey Yasskin  <jyasskin@google.com>
 784
 785         * pt.c (build_template_decl): Copy the function_decl's
 786         source location to the new template_decl.
 787
 788 2011-07-26  Paolo Carlini  <paolo.carlini@oracle.com>
 789
 790         PR c++/49776
 791         * typeck.c (cp_build_modify_expr): Check digest_init return value
 792         for error_mark_node.
 793
 794 2011-07-25  Paolo Carlini  <paolo.carlini@oracle.com>
 795
 796         PR bootstrap/49845
 797         * parser.c (cp_parser_perform_range_for_lookup): Always assign *being
 798         and *end before returning.
 799
 800 2011-07-25  Paolo Carlini  <paolo.carlini@oracle.com>
 801
 802         PR c++/49838
 803         * parser.c (cp_parser_perform_range_for_lookup): Early return if
 804         error_operand_p (range).
 805
 806 2011-07-23  Jason Merrill  <jason@redhat.com>
 807
 808         PR c++/49823
 809         * parser.c (cp_parser_qualifying_entity): Handle templates.
 810
 811 2011-07-22  Jason Merrill  <jason@redhat.com>
 812
 813         PR c++/49793
 814         * typeck2.c (check_narrowing): Downgrade permerror to pedwarn.
 815         Make conditional on -Wnarrowing.
 816
 817 2011-07-22  Ville Voutilainen  <ville.voutilainen@gmail.com>
 818
 819         Warn about the use of final/override in non-c++0x mode, and
 820         add __final for non-c++0x mode.
 821         * cp-tree.h (cpp0x_warn_str): Add CPP0X_OVERRIDE_CONTROLS.
 822         * error.c (maybe_warn_cpp0x): Adjust.
 823         * parser.c (cp_parser_virt_specifier_seq_opt): Use it. Add
 824         '__final' as a non-c++0x alternative for 'final'.
 825
 826 2011-07-22  Jason Merrill  <jason@redhat.com>
 827             Mark Glisse  <marc.glisse@normalesup.org>
 828
 829         PR c++/30112
 830         * decl.c (cp_finish_decl): Apply pragma redefine_extname in
 831         other namespaces as well.
 832         * name-lookup.c (c_linkage_bindings): Define.
 833         (lookup_extern_c_fun_in_all_ns): Rename from
 834         lookup_extern_c_fun_binding_in_all_ns.  Return tree.
 835         (pushdecl_maybe_friend_1): Adjust.  Copy DECL_ASSEMBLER_NAME.
 836
 837 2011-07-20  Jason Merrill  <jason@redhat.com>
 838
 839         * parser.c (cp_parser_initializer_list): Handle C99 .id= and [N]=
 840         designated initializer syntax.
 841         * decl.c (check_array_designated_initializer): Add index parm.
 842         (maybe_deduce_size_from_array_init): Pass it.
 843         (reshape_init_array_1): Likewise.
 844
 845         PR c++/6709 (DR 743)
 846         PR c++/42603 (DR 950)
 847         * parser.c (token_is_decltype, cp_lexer_next_token_is_decltype): New.
 848         (cp_parser_nested_name_specifier_opt): Allow decltype.
 849         (cp_parser_qualifying_entity): Likewise.
 850         (cp_parser_decltype): Replace source tokens with CPP_DECLTYPE.
 851         (cp_parser_simple_type_specifier): Handle decltype as scope.
 852         (cp_parser_base_specifier): Allow decltype.
 853         (cp_parser_base_clause): Don't crash on null base.
 854         * parser.h (CPP_KEYWORD, CPP_TEMPLATE_ID): Move to c-common.h.
 855         (CPP_NESTED_NAME_SPECIFIER, N_CP_TTYPES): Likewise.
 856
 857 2011-07-19  Jason Merrill  <jason@redhat.com>
 858
 859         PR c++/49785
 860         * pt.c (coerce_template_parms): Handle non-pack after pack.
 861
 862 2011-07-19  Richard Guenther  <rguenther@suse.de>
 863
 864         * call.c (build_special_member_call): Use fold_build_pointer_plus.
 865         * class.c (build_base_path): Likewise.
 866         (convert_to_base_statically): Likewise.
 867         (dfs_accumulate_vtbl_inits): Likewise.
 868         * cp-gimplify.c (cxx_omp_clause_apply_fn): Likewise.
 869         * except.c (expand_start_catch_block): Likewise.
 870         * init.c (expand_virtual_init): Likewise.
 871         (build_new_1): Likewise.
 872         (build_vec_delete_1): Likewise.
 873         (build_vec_delete): Likewise.
 874         * rtti.c (build_headof): Likewise.
 875         (tinfo_base_init): Likewise.
 876         * typeck.c (get_member_function_from_ptrfunc): Likewise.
 877         (cp_build_addr_expr_1): Likewise.
 878         * typeck2.c (build_m_component_ref): Likewise.
 879
 880 2011-07-18  Martin Jambor  <mjambor@suse.cz>
 881
 882         * parser.c (cp_parser_parameter_declaration_list): Initialize
 883         parenthesized_p.
 884
 885 2011-07-16  Jason Merrill  <jason@redhat.com>
 886
 887         * pt.c (tinst_level_tick, last_template_error_tick): Replace with
 888         last_error_tinst_level.
 889         (push_tinst_level, pop_tinst_level): Adjust.
 890         (problematic_instantiation_changed): Adjust.
 891         (record_last_problematic_instantiation): Adjust.
 892         * error.c (cp_print_error_function): Don't print
 893         current_function_decl if we're in a template instantiation context.
 894         (print_instantiation_full_context): Always print first line.
 895
 896 2011-07-16  Nathan Froyd  <froydnj@codesourcery.com>
 897             Jason Merrill  <jason@redhat.com>
 898
 899         PR c++/45329
 900         PR c++/48934
 901         * cp-tree.h (fn_type_unification): Add `bool' parameter.
 902         * pt.c (enum template_base_result): Define.
 903         (unify_success, unify_unknown): Define.
 904         (unify_parameter_deduction_failure): Define.
 905         (unify_invalid, unify_cv_qual_mismatch, unify_type_mismatch): Define.
 906         (unify_parameter_pack_mismatch): Define.
 907         (unify_parameter_pack_inconsistent): Define.
 908         (unify_ptrmem_cst_mismatch, unify_vla_arg): Define.
 909         (unify_expression_unequal, unify_inconsistency): Define.
 910         (unify_method_type_error, unify_arity): Likewise.
 911         (unify_too_many_parameters, unify_too_few_parameters): Define.
 912         (unify_arg_conversion, unify_no_common_base): Define.
 913         (unify_illformed_ptrmem_cst_expr): Define.
 914         (unify_substitution_failure): Define.
 915         (unify_inconsistent_template_template_parameters): Define.
 916         (unify_template_deduction_failure): Define.
 917         (unify_template_argument_mismatch): Define.
 918         (unify_overload_resolution_failure): Define.
 919         (comp_template_args_with_info): New function, split out from...
 920         (comp_template_args): ...here.  Call it.
 921         (deduction_tsubst_fntype): Add `complain' parameter'.  Pass it
 922         to tsubst.
 923         (unify): Add `explain_p' parameter.  Pass to all relevant calls.
 924         Call above status functions when appropriate.
 925         (resolve_overloaded_unification, try_one_overload): Likewise.
 926         (type_unification, type_unification_real): Likewise.
 927         (unify_pack_expansion): Likewise.
 928         (get_template_base, try_class_unification): Likewise.
 929         (get_bindings, more_specialized_fn): Pass false to unification
 930         calls.
 931         (get_class_bindings, do_auto_deduction): Likewise.
 932         (convert_nontype_argument): Likewise.
 933         (fn_type_unification): Likewise.  Pass tf_warning_or_error if
 934         explain_p.
 935         (get_template_base): Add `explain_p' parameter and pass it to
 936         try_class_unification.  Return an enum template_base_result.
 937         * class.c (resolve_address_of_overloaded_function): Pass false to
 938         fn_type_unification.
 939         * call.c (enum rejection_reason_code): Add new codes.
 940         (struct rejection_reason): Add template_unification field.
 941         Add template_instantiation field.
 942         (template_unification_rejection): Define.
 943         (template_unification_error_rejection): Define.
 944         (template_instantiation_rejection): Define.
 945         (invalid_copy_with_fn_template_rejection): Define.
 946         (add_template_candidate): Pass false to unify.
 947         Provide more rejection reasons when possible.
 948         (print_template_unification_rejection): Define.
 949         (print_arity_rejection): Define, split out from...
 950         (print_z_candidate): ...here.  Add cases for new rejection
 951         reasons.
 952
 953 2011-07-15  Jason Merrill  <jason@redhat.com>
 954
 955         * Make-lang.in (check-g++-strict-gc): New.
 956         (cp/except.o): Depend on gt-cp-except.h
 957         * except.c: Include gt-cp-except.h.
 958         * config-lang.in (gtfiles): Add cp/except.c.
 959         * decl2.c (mark_used): Adjust constexpr condition, set
 960         function_depth around template instantiation.
 961         * parser.c (cp_parser_lambda_body): Set function_depth.
 962         * semantics.c (maybe_add_lambda_conv_op): Likewise.
 963
 964         PR testsuite/49741
 965         * Make-lang.in (check-c++0x): Use --extra_opts instead of--tool_opts.
 966
 967 2011-07-13  Jason Merrill  <jason@redhat.com>
 968
 969         * Make-lang.in (check-c++0x): New.
 970
 971 2011-07-13  Richard Sandiford  <richard.sandiford@linaro.org>
 972
 973         * typeck2.c (split_nonconstant_init_1): Pass the initializer directly,
 974         rather than a pointer to it.  Return true if the whole of the value
 975         was initialized by the generated statements.  Use
 976         complete_ctor_at_level_p instead of count_type_elements.
 977
 978 2011-07-12   Diego Novillo  <dnovillo@google.com>
 979
 980         * name-lookup.h (cp_binding_level): Rename from cxx_scope.
 981         Update all users.
 982         (struct cp_binding_level): Fix indentation.
 983
 984 2011-07-11  Jason Merrill  <jason@redhat.com>
 985
 986         PR c++/49672
 987         * pt.c (extract_fnparm_pack): Split out from...
 988         (make_fnparm_pack): ...here.
 989         (instantiate_decl): Handle non-pack parms after a pack.
 990         * semantics.c (maybe_add_lambda_conv_op): Don't in a template.
 991
 992         * decl2.c (decl_constant_var_p): Use decl_maybe_constant_var_p.
 993
 994         PR c++/44609
 995         * cp-tree.h (struct tinst_level): Add errors field.
 996         * pt.c (neglectable_inst_p, limit_bad_template_recurson): New.
 997         (push_tinst_level): Don't start another decl in that case.
 998         (reopen_tinst_level): Adjust errors field.
 999         * decl2.c (cp_write_global_declarations): Don't complain about
1000         undefined inline if its template was defined.
1001         * mangle.c (mangle_decl_string): Handle failure from push_tinst_level.
1002
1003 2011-07-10  Jason Merrill  <jason@redhat.com>
1004
1005         PR c++/49691
1006         * parser.c (cp_parser_late_return_type_opt): Check quals parameter
1007         rather than current_class_type to determine whether to set 'this'.
1008         (cp_parser_direct_declarator): Pass -1 to quals if member_p is false.
1009         (cp_parser_init_declarator): Pass down member_p.
1010
1011 2011-07-09  Jason Merrill  <jason@redhat.com>
1012
1013         * tree.c (build_vec_init_elt): Strip TARGET_EXPR.
1014
1015 2011-07-08  Jason Merrill  <jason@redhat.com>
1016
1017         PR c++/45437
1018         * typeck.c (cp_build_modify_expr): Preevaluate RHS.
1019
1020         * method.c (use_thunk): Use cgraph_add_to_same_comdat_group.
1021         * optimize.c (maybe_clone_body): Likewise.
1022         * semantics.c (maybe_add_lambda_conv_op): Likewise.
1023
1024         PR c++/45603
1025         * decl.c (expand_static_init): Don't get confused by user
1026         declaration of __cxa_guard_acquire.
1027
1028         * typeck.c (cp_apply_type_quals_to_decl): Don't check
1029         COMPLETE_TYPE_P either.
1030
1031         PR c++/49673
1032         * typeck.c (cp_apply_type_quals_to_decl): Don't check
1033         TYPE_NEEDS_CONSTRUCTING.
1034
1035 2011-07-07  Jason Merrill  <jason@redhat.com>
1036
1037         PR c++/49663
1038         * pt.c (push_deduction_access_scope): Preserve
1039         processing_template_decl across push_to_top_level.
1040         And revert:
1041         * class.c (pushclass): Accept NULL argument.
1042         (popclass): Deal with popping null class.
1043         * pt.c (push_access_scope, pop_access_scope): Use them rather than
1044         push_to_top_level/pop_from_top_level.
1045         * name-lookup.c (lookup_name_real_1): Check current_class_type.
1046
1047 2011-07-07  Jakub Jelinek  <jakub@redhat.com>
1048
1049         PR c/49644
1050         * typeck.c (cp_build_binary_op): For MULT_EXPR and TRUNC_DIV_EXPR with
1051         one non-complex and one complex argument, call save_expr on both
1052         operands.
1053
1054 2011-07-06  Jason Merrill  <jason@redhat.com>
1055
1056         PR c++/49353
1057         * semantics.c (expand_or_defer_fn_1): Clear DECL_EXTERNAL
1058         on kept inlines.
1059
1060         PR c++/49568
1061         * method.c (make_thunk, use_thunk): Copy DECL_COMDAT.
1062
1063 2011-07-05  Jason Merrill  <jason@redhat.com>
1064
1065         PR c++/48157
1066         * pt.c (tsubst_qualified_id): Preserve TEMPLATE_ID_EXPR in
1067         partial instantiation.
1068
1069         PR c++/49598
1070         * semantics.c (finish_id_expression): convert_from_reference.
1071
1072 2011-07-05  Richard Guenther  <rguenther@suse.de>
1073
1074         * decl.c (cxx_init_decl_processing): Defer building common
1075         tree nodes to c_common_nodes_and_builtins.
1076
1077 2011-07-04  Jason Merrill  <jason@redhat.com>
1078
1079         DR 1207
1080         PR c++/49589
1081         * mangle.c (write_expression): Handle 'this'.
1082         * parser.c (cp_parser_postfix_dot_deref_expression): Allow
1083         incomplete *this.
1084         * semantics.c (potential_constant_expression_1): Check that
1085         DECL_CONTEXT is set on 'this'.
1086
1087         * error.c (dump_template_bindings): Don't print typenames
1088         for a partial instantiation.
1089         (dump_function_decl): If we aren't printing function arguments,
1090         print template arguments as <args> rather than [with ...].
1091         (dump_expr): Don't print return type or template header.
1092         [BASELINK]: Use BASELINK_FUNCTIONS rather than get_first_fn.
1093         * pt.c (dependent_template_arg_p): Handle null arg.
1094
1095         * error.c (type_to_string): Avoid redundant akas.
1096
1097 2011-07-01  Jonathan Wakely  <jwakely.gcc@gmail.com>
1098
1099         PR c++/49605
1100         * init.c (build_delete): Only warn for sfk_deleting_destructor.
1101
1102 2011-07-01  Jakub Jelinek  <jakub@redhat.com>
1103
1104         * Make-lang.in (cp/decl.o): Depend on pointer-set.h.
1105         (cp/class.o): Likewise.
1106         (cp/error.o): Likewise.
1107         (cp/name-lookup.o): Likewise.
1108         (cp/decl2.o): Likewise.  Don't depend on $(POINTER_SET_H).
1109
1110 2011-07-01  Jason Merrill  <jason@redhat.com>
1111
1112         PR c++/48261
1113         * pt.c (lookup_template_function): Handle non-function.
1114
1115         PR c++/48593
1116         * pt.c (tsubst_qualified_id): Check PTRMEM_OK_P.
1117         * tree.c (build_qualified_name): Set PTRMEM_OK_P.
1118         * semantics.c (finish_parenthesized_expr): Clear PTRMEM_OK_P on
1119         SCOPE_REF, too.
1120         * cp-tree.h (PTRMEM_OK_P): Apply to SCOPE_REF, too.
1121         (QUALIFIED_NAME_IS_TEMPLATE): Switch to lang flag 1.
1122
1123         PR c++/48883
1124         PR c++/49609
1125         * pt.c (resolve_nondeduced_context): Call mark_used.
1126
1127         PR c++/49085
1128         * semantics.c (finish_offsetof): Complain about incomplete type.
1129
1130 2011-06-30  Jason Merrill  <jason@redhat.com>
1131
1132         PR c++/49387
1133         * rtti.c (get_tinfo_decl): Call complete_type.
1134
1135         PR c++/49569
1136         * method.c (implicitly_declare_fn): Set DECL_PARM_LEVEL and
1137         DECL_PARM_INDEX on rhs parm.
1138
1139         * pt.c (iterative_hash_template_arg): Use cp_tree_operand_length.
1140
1141         PR c++/49355
1142         * tree.c (stabilize_init): Handle aggregate initialization.
1143
1144         PR c++/48481
1145         * name-lookup.c (struct arg_lookup): Add fn_set.
1146         (add_function): Check it.
1147         (lookup_arg_dependent_1): Initialize it.
1148
1149 2011-06-29  Jason Merrill  <jason@redhat.com>
1150
1151         PR c++/49216
1152         * init.c (build_new_1): Pass {} down to build_vec_init.
1153         (build_vec_init): Handle it.
1154
1155         DR 1207
1156         PR c++/49003
1157         * cp-tree.h (struct saved_scope): Add x_current_class_ptr,
1158         x_current_class_ref.
1159         (current_class_ptr, current_class_ref): Use them.
1160         * decl.c (build_this_parm): Handle getting the class type.
1161         * parser.c (cp_parser_late_return_type_opt): Set up 'this'
1162         for use within the trailing return type.
1163
1164         * pt.c (tsubst_decl) [VAR_DECL]: In unevaluated operand,
1165         don't tsubst DECL_INITIAL unless our type use auto.
1166
1167         PR c++/49520
1168         * semantics.c (constexpr_fn_retval): Handle CLEANUP_POINT_EXPR here.
1169         (massage_constexpr_body): Not here.
1170
1171         PR c++/49554
1172         * semantics.c (lambda_proxy_type): New.
1173         (build_capture_proxy): Use it.
1174         * cp-tree.h (DECLTYPE_FOR_LAMBDA_PROXY): New.
1175         * pt.c (tsubst) [DECLTYPE_TYPE]: Use them.
1176
1177         PR c++/45923
1178         * class.c (explain_non_literal_class): New.
1179         (finalize_literal_type_property): Call it.
1180         * cp-tree.h: Declare it.
1181         * semantics.c (ensure_literal_type_for_constexpr_object): Call it.
1182         (is_valid_constexpr_fn): Likewise.
1183         (massage_constexpr_body): Split out from...
1184         (register_constexpr_fundef): ...here.
1185         (is_instantiation_of_constexpr): New.
1186         (expand_or_defer_fn_1): Leave DECL_SAVED_TREE alone in that case.
1187         (explain_invalid_constexpr_fn): New.
1188         (cxx_eval_call_expression): Call it.
1189         (potential_constant_expression_1): Likewise.  Avoid redundant errors.
1190         * method.c (process_subob_fn): Diagnose non-constexpr.
1191         (walk_field_subobs): Likewise.
1192         (synthesized_method_walk): Don't shortcut if we want diagnostics.
1193         (explain_implicit_non_constexpr): New.
1194         (defaulted_late_check): Use it.
1195         * call.c (build_cxx_call): Remember location.
1196
1197         * method.c (maybe_explain_implicit_delete): Use pointer_set
1198         instead of htab.
1199
1200         * class.c (finalize_literal_type_property): Update conditions.
1201         * method.c (defaulted_late_check): Set TYPE_HAS_CONSTEXPR_CTOR.
1202
1203         * tree.c (build_vec_init_expr): Don't add TARGET_EXPR.
1204         * typeck2.c (digest_init_r): Handle VEC_INIT_EXPR.
1205         * semantics.c (cxx_eval_vec_init_1): Correct type.
1206
1207         * init.c (build_value_init): Decide whether or not to zero-initialize
1208         based on user-providedness of default ctor, not any ctor.
1209         (build_value_init_noctor): Adjust assert.
1210
1211         DR 990
1212         * call.c (convert_like_real) [ck_user]: Handle value-initialization.
1213         (build_new_method_call_1): Likewise.
1214         * init.c (expand_default_init): Handle direct list-initialization
1215         of aggregates.
1216
1217 2011-06-27  Jakub Jelinek  <jakub@redhat.com>
1218
1219         * cp-tree.h (union lang_tree_node): Use it in chain_next expression.
1220
1221 2011-06-26  Jason Merrill  <jason@redhat.com>
1222
1223         PR c++/49528
1224         * semantics.c (potential_constant_expression_1): Check
1225         for non-literality rather than cleanup.
1226         (cxx_eval_constant_expression): Likewise.
1227
1228         PR c++/49528
1229         * semantics.c (potential_constant_expression_1): A TARGET_EXPR
1230         with a cleanup isn't constant.
1231         (cxx_eval_constant_expression): Likewise.
1232         * init.c (expand_default_init): Use maybe_constant_init.
1233
1234 2011-06-24  Jakub Jelinek  <jakub@redhat.com>
1235
1236         PR c++/46400
1237         * cp-tree.h (union lang_tree_node): Use TYPE_NEXT_VARIANT
1238         instead of TYPE_CHAIN for chain_next for types.
1239
1240 2011-06-23  Gabriel Charette  <gchare@google.com>
1241
1242         * name-lookup.h (cp_binding_level): Removed unused
1243         member names_size. Update all users.
1244
1245 2011-06-23  Jason Merrill  <jason@redhat.com>
1246
1247         * typeck2.c (build_functional_cast): Strip cv-quals for value init.
1248         * init.c (build_zero_init_1): Not here.
1249
1250         PR c++/35255
1251         * pt.c (resolve_overloaded_unification): Fix DR 115 handling.
1252
1253 2011-06-23  Paolo Carlini  <paolo.carlini@oracle.com>
1254
1255         PR c++/44625
1256         * decl2.c (build_anon_union_vars): Early return error_mark_node
1257         for a nested anonymous struct.
1258
1259 2011-06-23  Jason Merrill  <jason@redhat.com>
1260
1261         PR c++/49507
1262         * decl2.c (mark_used): Don't call synthesize_method for
1263         functions defaulted outside the class.
1264
1265         * optimize.c (maybe_clone_body): Set linkage flags before
1266         cgraph_same_body_alias.
1267
1268         PR c++/49440
1269         * class.c (set_linkage_according_to_type): Hand off to
1270         determine_visibility.
1271
1272         PR c++/49395
1273         * init.c (build_zero_init_1): Strip cv-quals from scalar types.
1274
1275         PR c++/36435
1276         * pt.c (most_specialized_instantiation): Do check return types.
1277
1278 2011-06-22  Jason Merrill  <jason@redhat.com>
1279
1280         PR c++/49260
1281         * call.c (build_call_a): Set cp_function_chain->can_throw here.
1282         (build_cxx_call): Not here.
1283
1284 2011-06-21  Jason Merrill  <jason@redhat.com>
1285
1286         PR c++/49172
1287         * decl.c (cp_finish_decl): Adjust init_const_expr_p for refs.
1288         (grokdeclarator): constexpr doesn't apply const for refs.
1289         * parser.c (cp_parser_initializer_clause): Don't call
1290         maybe_constant_value here.
1291         * call.c (initialize_reference): Handle constexpr.
1292
1293         PR c++/49482
1294         * semantics.c (maybe_add_lambda_conv_op): Call mark_exp_read for
1295         static fn parameters.
1296
1297         * call.c (add_builtin_candidates): Use cv_unqualified rather than
1298         TYPE_MAIN_VARIANT.
1299         * pt.c (tsubst_arg_types): Likewise.
1300         * except.c (build_throw): Use cv_unqualified.
1301
1302         PR c++/49418
1303         * call.c (cxx_type_promotes_to): Don't strip cv-quals.
1304         * semantics.c (lambda_return_type): Strip them here.
1305
1306 2011-06-21  Andrew MacLeod  <amacleod@redhat.com>
1307
1308         * semantics.c: Add sync_ or SYNC__ to builtin names.
1309
1310 2011-06-20  Jason Merrill  <jason@redhat.com>
1311
1312         PR c++/49216
1313         * init.c (build_vec_init): Don't try to use a CONSTRUCTOR when
1314         base is a pointer.
1315         * typeck2.c (process_init_constructor_array): Use {} for classes,
1316         too.
1317         * call.c (convert_like_real): Handle substitution failure.
1318
1319         PR c++/48138
1320         * pt.c (canonicalize_type_argument): New.
1321         (convert_template_argument, unify): Use it.
1322
1323         PR c++/47080
1324         * call.c (rejection_reason_code): Add rr_explicit_conversion.
1325         (print_z_candidate): Handle it.
1326         (explicit_conversion_rejection): New.
1327         (build_user_type_conversion_1): Reject an explicit conversion
1328         function that requires more than a qualification conversion.
1329
1330         PR c++/47635
1331         * decl.c (grokdeclarator): Don't set ctype to an ENUMERAL_TYPE.
1332
1333         PR c++/48138
1334         * tree.c (strip_typedefs): Use build_aligned_type.
1335
1336         PR c++/49205
1337         * call.c (sufficient_parms_p): Allow parameter packs too.
1338
1339         PR c++/43321
1340         * semantics.c (describable_type): Remove.
1341         * cp-tree.h: Likewise.
1342         * decl.c (cp_finish_decl): Don't call it.
1343         * init.c (build_new): Likewise.
1344         * parser.c (cp_parser_omp_for_loop): Likewise.
1345         * pt.c (tsubst_decl): Likewise.
1346         (do_auto_deduction): If we fail in a template, try again
1347         at instantiation time.
1348
1349         PR c++/43831
1350         * parser.c (cp_parser_lambda_introducer): Complain about redundant
1351         captures.
1352         * semantics.c (add_capture): Likewise.
1353         (register_capture_members): Clear IDENTIFIER_MARKED.
1354
1355 2011-06-17  Jason Merrill  <jason@redhat.com>
1356
1357         PR c++/49458
1358         * call.c (convert_class_to_reference_1): Allow binding function
1359         lvalue to rvalue reference.
1360
1361         PR c++/43912
1362         Generate proxy VAR_DECLs for better lambda debug info.
1363         * cp-tree.h (FUNCTION_NEEDS_BODY_BLOCK): Add lambda operator().
1364         (LAMBDA_EXPR_PENDING_PROXIES): New.
1365         (struct tree_lambda_expr): Add pending_proxies.
1366         * name-lookup.c (pushdecl_maybe_friend_1): Handle capture shadowing.
1367         (qualify_lookup): Use is_lambda_ignored_entity.
1368         * parser.c (cp_parser_lambda_expression): Don't adjust field names.
1369         Call insert_pending_capture_proxies.
1370         (cp_parser_lambda_introducer): Use this_identifier.
1371         (cp_parser_lambda_declarator_opt): Call the object parameter
1372         of the op() "__closure" instead of "this".
1373         (cp_parser_lambda_body): Call build_capture_proxy.
1374         * semantics.c (build_capture_proxy, is_lambda_ignored_entity): New.
1375         (insert_pending_capture_proxies, insert_capture_proxy): New.
1376         (is_normal_capture_proxy, is_capture_proxy): New.
1377         (add_capture): Add __ to field names here, return capture proxy.
1378         (add_default_capture): Use this_identifier, adjust to expect
1379         add_capture to return a capture proxy.
1380         (outer_lambda_capture_p, thisify_lambda_field): Remove.
1381         (finish_id_expression, lambda_expr_this_capture): Adjust.
1382         (build_lambda_expr): Initialize LAMBDA_EXPR_PENDING_PROXIES.
1383         * pt.c (tsubst_copy_and_build): Check that LAMBDA_EXPR_PENDING_PROXIES
1384         is null.
1385
1386         * name-lookup.c (pushdecl_maybe_friend_1): Do check for shadowing
1387         of artificial locals.
1388
1389         * parser.c (cp_parser_lambda_expression): Clear
1390         LAMBDA_EXPR_THIS_CAPTURE after parsing.
1391         * pt.c (tsubst_copy_and_build): Make sure it isn't set.
1392
1393         * cp-tree.h (struct tree_lambda_expr): Change common to typed.
1394         Move non-pointers to end of struct.
1395
1396         * pt.c (tsubst_decl): Handle DECL_VALUE_EXPR on reference.
1397         * decl.c (check_initializer): Handle DECL_VALUE_EXPR_P.
1398
1399         * semantics.c (finish_non_static_data_member): Preserve dereference
1400         in template.
1401
1402 2011-06-16  Jason Merrill  <jason@redhat.com>
1403
1404         PR c++/44160
1405         * parser.c (cp_parser_lambda_body): Share code between
1406         simple and complex cases instead of using cp_parser_function_body.
1407
1408         PR c++/45378
1409         * decl.c (check_initializer): Check narrowing.
1410
1411         PR c++/49229
1412         * pt.c (tsubst_decl) [FUNCTION_DECL]: Handle substitution failure.
1413
1414         PR c++/49251
1415         * semantics.c (finish_id_expression): Mark even dependent
1416         variables as used.
1417
1418         PR c++/49420
1419         * error.c (dump_template_argument): Don't try to omit default
1420         template args from an argument pack.
1421
1422 2011-06-15  H.J. Lu  <hongjiu.lu@intel.com>
1423
1424         PR c++/49412
1425         * decl.c (get_dso_handle_node): Mark __dso_handle hidden if
1426         assembler supports hidden visibility.
1427
1428 2011-06-14  Jason Merrill  <jason@redhat.com>
1429
1430         PR c++/49107
1431         * cp-tree.h (DEFERRED_NOEXCEPT_SPEC_P): Handle overload.
1432         * method.c (defaulted_late_check): Only maybe_instantiate_noexcept
1433         if the declaration had an exception-specifier.
1434         (process_subob_fn): Don't maybe_instantiate_noexcept.
1435         * pt.c (maybe_instantiate_noexcept): Handle overload.
1436         * typeck2.c (nothrow_spec_p_uninst): New.
1437         (merge_exception_specifiers): Add 'fn' parm.  Build up overload.
1438         * typeck.c (merge_types): Adjust.
1439
1440         * pt.c (deduction_tsubst_fntype): Don't save input_location.
1441         (maybe_instantiate_noexcept): Likewise.
1442
1443 2011-06-14  Joseph Myers  <joseph@codesourcery.com>
1444
1445         * Make-lang.in (cp/method.o): Update dependencies.
1446         * method.c: Include common/common-target.h.
1447         (use_thunk): Use targetm_common.have_named_sections.
1448
1449 2011-06-14  Steve Ellcey  <sje@cup.hp.com>
1450
1451         * decl.c (cxx_init_decl_processing): Use ptr_mode instead of Pmode.
1452
1453 2011-06-14  Jason Merrill  <jason@redhat.com>
1454
1455         * error.c (type_to_string): Print typedef-stripped version too.
1456
1457         PR c++/49117
1458         * call.c (perform_implicit_conversion_flags): Print source type as
1459         well as expression.
1460
1461         PR c++/49389
1462         * typeck2.c (build_m_component_ref): Preserve rvalueness.
1463
1464         PR c++/49369
1465         * class.c (build_base_path): Fix cv-quals in unevaluated context.
1466
1467         PR c++/49290
1468         * semantics.c (cxx_fold_indirect_ref): Local, more permissive copy
1469         of fold_indirect_ref_1.
1470         (cxx_eval_indirect_ref): Use it.
1471
1472 2011-06-11  Jan Hubicka  <jh@suse.cz>
1473
1474         * decl2.c (cp_write_global_declarations): Process aliases; look trhough
1475         same body aliases.
1476
1477 2011-06-10  Paolo Carlini  <paolo.carlini@oracle.com>
1478
1479         PR c++/41769
1480         * decl.c (grokdeclarator): Reject operator names in parameters.
1481
1482 2011-06-10  Jan Hubicka  <jh@suse.cz>
1483
1484         * decl2.c (clear_decl_external): New functoin.
1485         (cp_write_global_declarations): Use it.
1486
1487 2011-06-10  Paolo Carlini  <paolo.carlini@oracle.com>
1488
1489         * cp-tree.h (error_operand_p): Remove.
1490
1491 2011-06-09  David Krauss  <potswa@mac.com>
1492
1493         PR c++/49118
1494         * typeck2.c (build_x_arrow): Push fake template context
1495         to produce diagnostic on acyclic endless operator-> drill-down.
1496         * call.c (build_new_op): Change Boolean overload status
1497         value to a pointer to the overload function.
1498         * cp-tree.h: Likewise.
1499         * typeck.c: Likewise.
1500         * parser.c: Likewise.
1501         * decl2.c: Likewise.
1502         * pt.c: Likewise.
1503
1504 2011-06-09  Jason Merrill  <jason@redhat.com>
1505
1506         * semantics.c (maybe_constant_value): Handle overflowed input.
1507         (non_const_var_error): Handle non-constant DECL_INITIAL.
1508
1509         * pt.c (build_non_dependent_expr): Use fold_non_dependent_expr_sfinae.
1510
1511         * parser.c (cp_parser_constant_expression): Just return the
1512         non-constant expression.
1513
1514         * semantics.c (finish_compound_literal): Set TREE_HAS_CONSTRUCTOR.
1515
1516 2011-06-09  Paolo Carlini  <paolo.carlini@oracle.com>
1517
1518         PR c++/29003
1519         * decl.c (grokdeclarator): Reject operator names in typedefs.
1520
1521 2011-06-08  Jason Merrill  <jason@redhat.com>
1522
1523         PR c++/49107
1524         * cp-tree.def (DEFERRED_NOEXCEPT): New.
1525         * cp-tree.h (struct tree_deferred_noexcept): New.
1526         (DEFERRED_NOEXCEPT_PATTERN, DEFERRED_NOEXCEPT_ARGS): New.
1527         (DEFERRED_NOEXCEPT_SPEC_P): New.
1528         (enum cp_tree_node_structure_enum): Add TS_CP_DEFERRED_NOEXCEPT.
1529         (union lang_tree_node): Add tree_deferred_noexcept.
1530         (maybe_instantiate_noexcept): Declare.
1531         * cp-objcp-common.c (cp_tree_size): Handle DEFERRED_NOEXCEPT.
1532         * error.c (dump_exception_spec): Likewise.
1533         * cxx-pretty-print.c (pp_cxx_exception_specification): Likewise.
1534         * ptree.c (cxx_print_xnode): Likewise.
1535         * tree.c (cp_tree_equal): Likewise.
1536         * decl.c (cp_tree_node_structure): Likewise.
1537         (duplicate_decls): Call maybe_instantiate_noexcept.
1538         * except.c (build_noexcept_spec): Handle DEFERRED_NOEXCEPT.
1539         (nothrow_spec_p, type_noexcept_p, type_throw_all_p): Check
1540         DEFERRED_NOEXCEPT_SPEC_P.
1541         * typeck2.c (merge_exception_specifiers): Likewise.
1542         * decl2.c (mark_used): Call maybe_instantiate_noexcept.
1543         * method.c (process_subob_fn, defaulted_late_check): Likewise.
1544         * pt.c (tsubst_exception_specification): Add defer_ok parm.
1545         Build DEFERRED_NOEXCEPT.
1546         (maybe_instantiate_noexcept): New.
1547         (tsubst, regenerate_decl_from_template, instantiate_decl): Adjust.
1548         * search.c (check_final_overrider): Call maybe_instantiate_noexcept.
1549
1550         * semantics.c (potential_constant_expression_1): Handle destructor
1551         call.
1552
1553 2011-06-08  Jakub Jelinek  <jakub@redhat.com>
1554
1555         * cp-tree.h (struct tinst_level): Add chain_next GTY
1556         markup.
1557
1558 2011-06-08  Jason Merrill  <jason@redhat.com>
1559
1560         PR c++/49322
1561         * pt.c (deduction_tsubst_fntype): Don't free the tinst entry
1562         if a pending_template entry is pointing at it.
1563
1564 2011-06-07  Jason Merrill  <jason@redhat.com>
1565
1566         PR c++/48969
1567         PR c++/44175
1568         * error.c (subst_to_string): New.
1569         (cp_printer): Use it for 'S'.
1570         (print_instantiation_partial_context_line): Handle subst context.
1571         * pt.c (push_tinst_level): Handle subst context.
1572         (deduction_tsubst_fntype): Don't track specific substitutions.
1573         Use push_tinst_level.
1574
1575         * pt.c (deduction_tsubst_fntype): Use push_deduction_access_scope.
1576         (fn_type_unification): Don't call push_deduction_access_scope here.
1577
1578 2011-06-06  Jason Merrill  <jason@redhat.com>
1579
1580         PR c++/48780
1581         * typeck.c (perform_integral_promotions): Don't promote scoped enums.
1582         * call.c (convert_arg_to_ellipsis): Promote them here in old ABI.
1583
1584 2011-06-06  Nicola Pero  <nicola.pero@meta-innovation.com>,
1585
1586         PR obj-c++/48275
1587         * parser.c (cp_parser_objc_at_property_declaration): Allow setter
1588         and getter names to use all the allowed method names.
1589
1590 2011-06-06  Jason Merrill  <jason@redhat.com>
1591
1592         PR c++/49298
1593         * semantics.c (potential_constant_expression_1): Handle FIELD_DECL.
1594
1595         PR objc++/49221
1596         * decl.c (cp_finish_decl): Check DECL_FUNCTION_SCOPE_P rather than
1597         at_function_scope_p.
1598
1599         PR c++/49134
1600         * tree.c (build_target_expr): Deal with ARM ABI tweaks.
1601
1602 2011-06-04  Jonathan Wakely  <jwakely.gcc@gmail.com>
1603
1604         * init.c (build_delete): Warn when deleting type with non-virtual
1605         destructor.
1606
1607 2011-06-03  Jakub Jelinek  <jakub@redhat.com>
1608
1609         PR c++/49276
1610         * mangle.c (write_nested_name): Use CP_DECL_CONTEXT instead of
1611         DECL_CONTEXT.
1612
1613 2011-06-01  Jason Merrill  <jason@redhat.com>
1614
1615         * pt.c (build_non_dependent_expr): Remove special handling of
1616         REFERENCE_REF_P.
1617
1618         PR c++/44175
1619         * pt.c (template_args_equal): Handle one arg being NULL_TREE.
1620         (deduction_tsubst_fntype): Handle excessive non-infinite recursion.
1621
1622         PR c++/49253
1623         * typeck2.c (build_x_arrow): Don't use build_min_nt.
1624
1625 2010-05-31  Fabien Chêne  <fabien@gcc.gnu.org>
1626
1627         PR c++/48010
1628         * name-lookup.c (supplement_binding_1): If the old binding was a
1629         type name, also check that the DECL actually refers to the same
1630         type or is not a type.
1631
1632 2011-05-31  Jason Merrill  <jason@redhat.com>
1633
1634         PR c++/44870
1635         * tree.c (lvalue_kind): Recurse on NON_DEPENDENT_EXPR.  Handle
1636         ARROW_EXPR, TYPEID_EXPR, and arbitrary class-valued expressions.
1637         (build_min_non_dep): Preserve reference refs.
1638         (build_min_non_dep_call_vec): Likewise
1639
1640 2011-05-30  Jakub Jelinek  <jakub@redhat.com>
1641
1642         PR c++/49223
1643         * semantics.c (finish_omp_clauses): Call require_complete_type
1644         even for copyin/copyprivate clauses.  Only call
1645         cxx_omp_create_clause_info if inner_type is COMPLETE_TYPE_P.
1646
1647 2011-05-28  Jason Merrill  <jason@redhat.com>
1648
1649         PR c++/46124
1650         * parser.c (cp_parser_lambda_expression): Improve error recovery.
1651         (cp_parser_lambda_declarator_opt): Likewise.  Return bool.
1652
1653 2011-05-27  Jason Merrill  <jason@redhat.com>
1654
1655         PR c++/47277
1656         * parser.c (cp_parser_pseudo_destructor_name): Commit to parse
1657         after we see the ~.
1658
1659         * mangle.c (mangle_decl_string): Make sure we don't try to mangle
1660         templates.
1661
1662         PR c++/47049
1663         * semantics.c (maybe_add_lambda_conv_op): Fix COMDAT sharing.
1664         * decl.c (start_preparsed_function): Don't call comdat_linkage for
1665         a template.
1666
1667         PR c++/47132
1668         * mangle.c (write_expression): Handle MODOP_EXPR.
1669
1670         PR c++/47277
1671         * parser.c (cp_parser_unqualified_id): Don't check
1672         constructor_name_p for enums.
1673
1674         PR c++/47687
1675         * pt.c (dependent_type_p_r): Avoid infinite recursion.
1676
1677         PR c++/48284
1678         * error.c (dump_expr) [COMPONENT_REF]: Use pp_cxx_dot
1679         with INDIRECT_REF of REFERENCE_TYPE.
1680
1681         PR c++/49181
1682         * pt.c (get_mostly_instantiated_function_type): Use push_access_scope.
1683
1684 2011-05-27  Nathan Froyd  <froydnj@codesourcery.com>
1685
1686         * cp-tree.h (building_stmt_tree): Delete.
1687         * decl.c (save_function_data): Tweak initializer for x_cur_stmt_list.
1688         (build_aggr_init_full_exprs): Call building_stmt_list_p
1689         instead of building_stmt_tree.
1690         (initialize_local_var): Likewise.
1691         (finish_function): Likewise.
1692         * decl2.c (finish_anon_union): Likewise.
1693         * init.c (begin_init_stmts): Likewise.
1694         (finish_init_stmts): Likewise.
1695         (expand_aggr_init_1): Likewise.
1696         * name-lookup.c (do_local_using_decl): Likewise.
1697         (do_namespace_alias): Likewise.
1698         (do_using_directive): Likewise.
1699         (cp_emit_debug_info_for_using): Likewise.
1700         * semantics.c (add_stmt): Assert that stmt_list_stack is non-empty.
1701
1702 2011-05-27  Paolo Carlini  <paolo.carlini@oracle.com>
1703
1704         PR c++/42056
1705         * typeck2.c (build_functional_cast): Complain early for invalid uses
1706         of 'auto' and set type to error_mark_node.
1707
1708 2011-05-26  Jason Merrill  <jason@redhat.com>
1709
1710         PR c++/47721
1711         * parser.c (cp_parser_member_declaration): Allow friend T.
1712         * friend.c (make_friend_class): Ignore non-classes.
1713         * pt.c (instantiate_class_template_1): Handle TEMPLATE_TYPE_PARM.
1714
1715         DR 1004
1716         * pt.c (convert_template_argument): Don't complain about using
1717         injected-class-name as template template argument.
1718
1719         PR c++/47956
1720         * decl.c (check_static_variable_definition): Now static.
1721         (cp_finish_decl): Call it here.
1722         (grokdeclarator): Not here.
1723         * pt.c (instantiate_class_template_1): Or here.
1724         * cp-tree.h: Don't declare it.
1725
1726 2011-05-26  Janis Johnson  <janis187@us.ibm.com>
1727             Nathan Froyd  <froydnj@codesourcery.com>
1728
1729         PR c++/2288
1730         PR c++/18770
1731         * name-lookup.h (enum scope_kind): Add sk_cond.
1732         * name-lookup.c (pushdecl_maybe_friend): Get scope of shadowed local.
1733         Detect and report error for redeclaration from for-init or if
1734         or switch condition.
1735         (begin_scope): Handle sk_cond.
1736         * semantics.c (begin_if_stmt): Use sk_cond.
1737         (begin switch_stmt): Ditto.
1738
1739 2011-05-26  Jason Merrill  <jason@redhat.com>
1740
1741         PR c++/48211
1742         * name-lookup.h (cp_class_binding): Make base a pointer.
1743         * name-lookup.c (new_class_binding): Adjust.
1744         (poplevel_class): Adjust.
1745
1746         PR c++/48424
1747         * decl.c (grokparms): Function parameter packs don't need to
1748         go at the end.
1749         * pt.c (type_unification_real): But they aren't deduced otherwise.
1750
1751 2011-05-25  Jason Merrill  <jason@redhat.com>
1752
1753         PR c++/48536
1754         * decl.c (build_enumerator): If incremented enumerator won't fit in
1755         previous integral type, find one it will fit in.
1756
1757         PR c++/48599
1758         * decl.c (create_array_type_for_decl): Complain about array of auto.
1759
1760         PR c++/44994
1761         PR c++/49156
1762         * error.c (dump_template_bindings): Set processing_template_decl
1763         for a partial instantiation.
1764
1765         PR c++/45401
1766         * decl.c (grokdeclarator): Don't change type when adding rvalue ref
1767         to another reference type.
1768
1769         PR c++/44311
1770         * decl.c (case_conversion): New.
1771         (finish_case_label): Use it.
1772
1773         * ptree.c (cxx_print_xnode): Handle ARGUMENT_PACK_SELECT.
1774
1775         PR c++/45698
1776         * pt.c (dependent_template_arg_p): See through ARGUMENT_PACK_SELECT.
1777
1778         PR c++/46005
1779         * decl.c (grokdeclarator): Complain about auto typedef.
1780
1781         PR c++/46245
1782         * decl.c (grokdeclarator): Complain later for auto parameter.
1783         * pt.c (splice_late_return_type): Handle use in a template
1784         type-parameter.
1785
1786         PR c++/46696
1787         * typeck.c (cp_build_modify_expr): Check DECL_DEFAULTED_FN.
1788
1789         PR c++/47184
1790         * parser.c (cp_parser_parameter_declaration): Recognize
1791         list-initialization.
1792         (cp_parser_direct_declarator): Check for the closing
1793         paren before parsing definitely.
1794
1795         PR c++/48935
1796         * parser.c (cp_parser_constructor_declarator_p): Don't check
1797         constructor_name_p for enums.
1798         (cp_parser_diagnose_invalid_type_name): Correct error message.
1799
1800         PR c++/45418
1801         * init.c (perform_member_init): Handle list-initialization
1802         of array of non-trivial class type.
1803
1804         PR c++/45080
1805         * pt.c (instantiate_class_template_1): Call maybe_add_lambda_conv_op.
1806         * semantics.c (lambda_function): Check COMPLETE_OR_OPEN_TYPE_P.
1807
1808         PR c++/48292
1809         * pt.c (tsubst_decl) [PARM_DECL]: Handle partial instantiation of
1810         function parameter pack.
1811         (tsubst_pack_expansion): Likewise.
1812
1813         * cp-objcp-common.c (cp_common_init_ts): TYPE_ARGUMENT_PACK has
1814         TS_COMMON.
1815
1816 2011-05-25  Jakub Jelinek  <jakub@redhat.com>
1817
1818         * cp-objcp-common.c (cp_common_init_ts): Mark CTOR_INITIALIZER
1819         as TS_TYPED.
1820
1821         PR c++/49136
1822         * semantics.c (cxx_eval_bit_field_ref): Handle the
1823         case when BIT_FIELD_REF doesn't cover only a single field.
1824
1825 2011-05-24  Jason Merrill  <jason@redhat.com>
1826
1827         PR c++/49042
1828         * pt.c (get_mostly_instantiated_function_type): Use
1829         push_deferring_access_checks rather than set flag_access_control.
1830
1831 2011-05-24  Nicola Pero  <nicola.pero@meta-innovation.com>,
1832
1833         * parser.c (cp_parser_objc_class_ivars): Deal gracefully with a
1834         syntax error in declaring an ObjC instance variable.
1835
1836 2011-05-24  Jason Merrill  <jason@redhat.com>
1837
1838         PR c++/48884
1839         * class.c (pushclass): Accept NULL argument.
1840         (popclass): Deal with popping null class.
1841         * pt.c (push_access_scope, pop_access_scope): Use them rather than
1842         push_to_top_level/pop_from_top_level.
1843         (push_deduction_access_scope, pop_defarg_context): New.
1844         (fn_type_unification): Use them.
1845         * name-lookup.c (lookup_name_real_1): Check current_class_type.
1846
1847 2011-05-24  Paolo Carlini  <paolo.carlini@oracle.com>
1848
1849         * decl.c (grokdeclarator): Use current_class_name.
1850
1851 2011-05-24  Joseph Myers  <joseph@codesourcery.com>
1852
1853         * Make-lang.in (GXX_OBJS): Remove prefix.o.
1854         (g++$(exeext)): Use libcommon-target.a.
1855         (CXX_C_OBJS): Remove prefix.o.
1856
1857 2011-05-23  Jason Merrill  <jason@redhat.com>
1858
1859         * pt.c (tsubst_copy_and_build): Use current_class_name.
1860
1861         PR c++/49102
1862         * call.c (convert_arg_to_ellipsis): Call force_rvalue.
1863
1864         PR c++/49105
1865         * typeck.c (cp_build_c_cast): Don't strip cv-quals when
1866         converting to reference.
1867         (build_static_cast_1): Update for glvalues.
1868
1869         PR c++/49105
1870         * typeck.c (build_const_cast_1): Handle rvalue references.
1871
1872         PR c++/47263
1873         * decl.c (use_eh_spec_block): Do use an EH spec block for a
1874         lambda op().
1875
1876         PR c++/49058
1877         * call.c (splice_viable): Be strict in templates.
1878
1879         PR c++/47336
1880         * error.c (dump_template_bindings): Suppress access control.
1881
1882         PR c++/47544
1883         * pt.c (instantiate_decl): Handle =default.
1884
1885         PR c++/48617
1886         * pt.c (invalid_nontype_parm_type_p): Allow DECLTYPE_TYPE.
1887
1888 2011-05-23  Nathan Froyd  <froydnj@codesourcery.com>
1889
1890         * call.c (build_over_call): Tweak call to check_function_arguments.
1891         * typeck.c (cp_build_function_call_vec): Likewise.
1892
1893 2011-05-23  Jonathan Wakely  <jwakely.gcc@gmail.com>
1894
1895         PR c++/18016
1896         * init.c (perform_member_init): Check for self-initialization.
1897
1898 2011-05-22  Jason Merrill  <jason@redhat.com>
1899
1900         PR c++/48647
1901         * typeck.c (composite_pointer_type_r): Return error_mark_node
1902         on error in SFINAE context.
1903
1904 2011-05-20  Jason Merrill  <jason@redhat.com>
1905
1906         PR c++/48945
1907         * decl.c (grokdeclarator): Don't add set const function-cv-qual
1908         for constexpr fns to memfn_quals, just add it to the type.
1909         (revert_static_member_fn): Don't complain about quals.
1910         (check_static_quals): New.
1911         (grokfndecl): Call it.
1912         (start_preparsed_function): Don't call revert_static_member_fn.
1913
1914         PR c++/48945
1915         * decl.c (revert_static_member_fn): Ignore const on constexpr fn.
1916
1917         PR c++/48780
1918         * cvt.c (type_promotes_to): Don't promote scoped enums.
1919
1920         PR c++/49066
1921         * decl.c (duplicate_decls): Preserve DECL_DELETED_FN.
1922
1923         PR c++/48873
1924         * tree.c (stabilize_expr): Fix typo.
1925
1926         DR 1073
1927         PR c++/49082
1928         * typeck.c (comp_except_specs): noexcept(false) is not compatible
1929         with throw(type-list).
1930         * typeck2.c (merge_exception_specifiers): noexcept(false)
1931         beats any more limited specification.
1932
1933         PR c++/24163
1934         PR c++/29131
1935         * pt.c (tsubst_copy_and_build) [CALL_EXPR]: Avoid repeating
1936         unqualified lookup.
1937         * semantics.c (perform_koenig_lookup): Add complain parm.
1938         * cp-tree.h: Adjust.
1939         * parser.c (cp_parser_postfix_expression): Adjust.
1940         (cp_parser_perform_range_for_lookup): Adjust.
1941
1942 2011-05-20  Jason Merrill  <jason@redhat.com>
1943
1944         * semantics.c (finish_call_expr): SET_EXPR_LOCATION.
1945
1946 2011-05-20  Joseph Myers  <joseph@codesourcery.com>
1947
1948         * Make-lang.in (GXX_OBJS): Remove intl.o and version.o.
1949
1950 2011-05-19  Jakub Jelinek  <jakub@redhat.com>
1951
1952         PR c++/49043
1953         * decl.c (check_omp_return): Stop searching on sk_function_parms.
1954
1955         PR c++/48869
1956         * method.c (get_dtor, get_copy_ctor): Add COMPLAIN argument,
1957         pass it down to locate_fn_flags.
1958         * cp-tree.h (get_dtor, get_copy_ctor): Adjust prototypes.
1959         * semantics.c (cxx_omp_create_clause_info): Adjust callers.
1960         * cp-gimplify.c: Include splay-tree.h.
1961         (splay_tree_compare_decl_uid, omp_var_to_track,
1962         omp_cxx_notice_variable): New functions.
1963         (struct cp_genericize_omp_taskreg): New type.
1964         (struct cp_genericize_data): Add omp_ctx field.
1965         (cp_genericize_r): Attempt to determine implicitly determined
1966         firstprivate class type variables.
1967         (cp_genericize): Clear omp_ctx.
1968         * Make-lang.in (cp/cp-gimplify.o): Depend on $(SPLAY_TREE_H).
1969
1970 2011-05-18  Jason Merrill  <jason@redhat.com>
1971
1972         PR c++/48948
1973         PR c++/49015
1974         * class.c (finalize_literal_type_property): Do check
1975         for constexpr member functions of non-literal class.
1976         (finish_struct): Don't call check_deferred_constexpr_decls.
1977         * cp-tree.h: Don't declare it.
1978         (DECL_DEFERRED_CONSTEXPR_CHECK): Remove.
1979         * decl.c (grok_special_member_properties): Don't check it
1980         (grokfnedcl): Don't call validate_constexpr_fundecl.
1981         (start_preparsed_function): Do call it.
1982         * pt.c (tsubst_decl): Don't call it.
1983         (instantiate_class_template_1): Don't call
1984         check_deferred_constexpr_decls.
1985         * semantics.c (literal_type_p): Check for any incompleteness.
1986         (ensure_literal_type_for_constexpr_object): Likewise.
1987         (is_valid_constexpr_fn): Revert deferral changes.
1988         (validate_constexpr_fundecl): Likewise.
1989         (register_constexpr_fundef): Likewise.
1990         (check_deferred_constexpr_decls): Remove.
1991
1992 2011-05-16  Jason Merrill  <jason@redhat.com>
1993
1994         PR c++/48969
1995         * pt.c (deduction_tsubst_fntype): Use a VEC initially.
1996
1997 2011-05-15  Paolo Carlini  <paolo.carlini@oracle.com>
1998
1999         * cxx-pretty-print.c: Update comment.
2000         * semantics.c (trait_expr_value, finish_trait_expr):
2001         Reorder the cases.
2002         * parser.c (cp_parser_primary_expression): Likewise.
2003
2004 2011-05-15  Jonathan Wakely  <jwakely.gcc@gmail.com>
2005
2006         PR c++/48994
2007         * parser.c (cp_parser_perform_range_for_lookup): Call complete_type.
2008
2009 2011-05-13  Ville Voutilainen  <ville.voutilainen@gmail.com>
2010
2011         Implement final on class.
2012         * class.c (check_bases): Diagnose derivation from a final class.
2013         * cp-tree.h (lang_type_class): Add is_final and adjust dummy.
2014         (CLASSTYPE_FINAL): New.
2015         * parser.c (cp_parser_class_head): Parse class-virt-specifier, set
2016         CLASSTYPE_FINAL.
2017         * pt.c (instantiate_class_template_1): Copy CLASSTYPE_FINAL.
2018
2019 2011-05-13  Jason Merrill  <jason@redhat.com>
2020
2021         PR c++/48969
2022         * pt.c (deduction_tsubst_fntype): New.
2023         (fn_type_unification): Use it.
2024         (init_template_processing): Initialize hash table.
2025         (print_template_statistics): Print hash table stats.
2026
2027         * call.c (build_op_call): Use timevar_cond_start/stop.
2028         (build_user_type_conversion): Likewise.
2029
2030 2011-05-12  Jason Merrill  <jason@redhat.com>
2031
2032         * cp-tree.h (DECL_DEFERRED_CONSTEXPR_CHECK): New.
2033         * semantics.c (validate_constexpr_fundecl): Set it.
2034         (check_deferred_constexpr_decls): Clear it.
2035         (register_constexpr_fundef): Make sure it isn't set.
2036         * decl.c (grok_special_member_properties): Check it.
2037
2038 2011-05-11  Jason Merrill  <jason@redhat.com>
2039
2040         PR c++/48948
2041         * semantics.c (validate_constexpr_fundecl): Defer checking if
2042         an argument type is being defined.
2043         (is_valid_constexpr_fn): Add defer_ok parm.
2044         (cxx_eval_call_expression): Adjust.
2045         (check_deferred_constexpr_decls): New.
2046         (literal_type_p): Make sure type isn't being defined.
2047         (ensure_literal_type_for_constexpr_object): Handle type being defined.
2048         * cp-tree.h: Declare check_deferred_constexpr_decls.
2049         * decl.c (grokfndecl): Call validate_constexpr_fundecl here.
2050         (start_preparsed_function, cp_finish_decl): Not here.
2051         * class.c (finalize_literal_type_property): Don't call
2052         validate_constexpr_fundecl.
2053         (finish_struct): Call check_deferred_constexpr_decls.
2054         * pt.c (tsubst_decl): Call validate_constexpr_fundecl.
2055         (instantiate_class_template): Call check_deferred_constexpr_decls.
2056
2057         * semantics.c (validate_constexpr_fundecl): Check DECL_TEMPLATE_INFO
2058         rather than DECL_TEMPLATE_INSTANTIATION.
2059         (cxx_eval_call_expression): Likewise.
2060
2061         * semantics.c (register_constexpr_fundef): Add to hash table here.
2062         (validate_constexpr_fundecl): Not here.
2063
2064         * decl.c (grokdeclarator): Only set DECL_DECLARED_CONSTEXPR_P once.
2065
2066         * pt.c (build_non_dependent_expr): Don't check null_ptr_cst_p,
2067         do call maybe_constant_value in C++0x mode.
2068         * semantics.c (cxx_eval_constant_expression): Handle TEMPLATE_DECL.
2069
2070         PR c++/48745
2071         * pt.c (value_dependent_expr_p): Handle CONSTRUCTOR.
2072
2073 2011-05-11  Nathan Froyd  <froydnj@codesourcery.com>
2074
2075         * cp-tree.h (TYPENAME_TYPE_FULLNAME, TYPEOF_TYPE_EXPR): Use
2076         TYPE_VALUES_RAW.
2077         (UNDERLYING_TYPE_TYPE, DECLTYPE_TYPE_EXPR): Likewise.
2078         (DECLTYPE_TYPE_ID_EXPR_OR_MEMBER_ACCESS_P): Likewise.
2079         (TEMPLATE_TYPE_PARM_INDEX): Likewise.
2080
2081 2011-05-10  Jason Merrill  <jason@redhat.com>
2082
2083         PR c++/48930
2084         * class.c (type_build_ctor_call): New.
2085         * cp-tree.h: Declare it.
2086         * decl.c (check_initializer): Use it instead of
2087         TYPE_NEEDS_CONSTRUCTING.
2088         * init.c (build_value_init, build_value_init_noctor): Likewise.
2089         (perform_member_init, expand_aggr_init_1, build_new_1): Likewise.
2090         (build_vec_init): Likewise.
2091         * typeck2.c (process_init_constructor_array): Likewise.
2092         (process_init_constructor_record): Likewise.
2093
2094         PR c++/48736
2095         * pt.c (tsubst_copy_and_build): Handle substitution of a pack
2096         expansion producing another expansion.
2097
2098 2011-05-10  Ville Voutilainen  <ville.voutilainen@gmail.com>
2099
2100         Fixes for override/final.
2101         * class.c (check_for_override): Diagnose final on a nonvirtual
2102         member function, diagnose override for a virtual with no matching
2103         override. Don't fiddle around with DECL_VINDEX.
2104
2105 2011-05-10  Nathan Froyd  <froydnj@codesourcery.com>
2106
2107         * cp-tree.def (EXPR_PACK_EXPANSION): Add an operand.
2108         * cp-objcp-common.c (cp_common_init_ts): Mark it as TS_TYPED.
2109         * cp-tree.h (PACK_EXPANSION_PARAMETER_PACKS): Use the new
2110         operand of EXPR_PACK_EXPANSION.
2111         (cp_tree_operand_length): Declare.
2112         * tree.c (cp_tree_operand_length): Define.
2113         (cp_tree_equal): Call it.
2114         * pt.c (value_dependent_expr_P): Likewise.
2115         * mangle.c (write_expression): Likewise.
2116
2117 2011-05-09  Paolo Carlini  <paolo.carlini@oracle.com>
2118
2119         PR c++/48737
2120         PR c++/48744
2121         * decl.c (reshape_init): Take a complain parameter and do
2122         not call error if tf_error is not set.
2123         (check_initializer, reshape_init_r, reshape_init_array,
2124         reshape_init_array_1, reshape_init_vector, reshape_init_class):
2125         Adjust.
2126         * typeck2.c (digest_init_r): Take a complain parameter and
2127         pass it to convert_for_initialization.
2128         (digest_init, digest_init_flags, process_init_constructor_array,
2129         process_init_constructor_record, process_init_constructor_union,
2130         process_init_constructor, digest_init_r): Adjust.
2131         * init.c (expand_default_init, build_new_1): Likewise.
2132         * typeck.c (cp_build_modify_expr): Likewise.
2133         * decl2.c (grokfield): Likewise.
2134         * call.c (convert_like_real, convert_default_arg): Likewise.
2135         * semantics.c (finish_compound_literal): Pass complain to
2136         reshape_init and digest_init.
2137         * cp-tree.h: Adjust declarations.
2138
2139 2011-05-07  Fabien Chêne  <fabien@gcc.gnu.org>
2140
2141         PR c++/48859
2142         * init.c (diagnose_uninitialized_cst_or_ref_member_1): stop the
2143         recursion if there is user defined constructor.
2144
2145 2011-05-09  Jason Merrill  <jason@redhat.com>
2146
2147         PR c++/34772
2148         * decl.c (initialize_local_var): Use DECL_INITIAL for simple
2149         initialization.
2150
2151 2011-05-08  Ville Voutilainen  <ville.voutilainen@gmail.com>
2152
2153         Implement final/override for member functions.
2154         * class.c (check_for_override): Check for DECL_OVERRIDE_P.
2155         * cp-tree.h (DECL_OVERRIDE_P, DECL_FINAL_P): New.
2156         (cp_virt_specifiers, enum virt_specifier): New.
2157         * decl.c (set_virt_specifiers): New.
2158         (grokdeclarator): Use them. Diagnose virt-specifiers on non-fields.
2159         * parser.c (make_call_declarator): add virt-specifiers parameter.
2160         (cp_parser_lambda_declarator_opt): Adjust.
2161         (cp_parser_direct_declarator): Likewise.
2162         (cp_parser_virt_specifier_seq_opt): New.
2163         * search.c (check_final_overrider): Diagnose attempts to override
2164         a final member function.
2165
2166 2011-05-09  Dodji Seketeli  <dodji@redhat.com>
2167
2168         PR c++/48574
2169         * class.c (fixed_type_or_null): Use type_dependent_p_push to test
2170         if the instance has a dependent initializer.
2171
2172 2011-05-08  Paolo Carlini  <paolo.carlini@oracle.com>
2173
2174         PR c++/48816
2175         * cxx-pretty-print.c (pp_cxx_template_declaration): Remove
2176         effectively unused variable.
2177
2178 2011-05-07  Eric Botcazou  <ebotcazou@adacore.com>
2179
2180         * name-lookup.h (global_bindings_p): Adjust prototype.
2181         * name-lookup.c (global_bindings_p): Return bool.
2182
2183 2011-05-06  Jason Merrill  <jason@redhat.com>
2184
2185         * decl.c (stabilize_save_expr_r): Set *walk_subtrees as
2186         appropriate.
2187
2188         PR c++/48909
2189         * semantics.c (cxx_eval_conditional_expression): Check
2190         integer_zerop instead.
2191         (potential_constant_expression_1): Likewise.
2192
2193         PR c++/48911
2194         * semantics.c (cxx_eval_array_reference): Handle implicit
2195         initializers.
2196
2197 2011-05-06  Nathan Froyd  <froydnj@codesourcery.com>
2198
2199         * cp-tree.h (type_of_this_parm, class_of_this_parm): New functions.
2200         * call.c (standard_conversion): Call class_of_this_parm.
2201         * cxx-pretty-print.c (pp_cxx_implicit_parameter_type): Likewise.
2202         (pp_cxx_direct_abstract_declarator): Likewise.
2203         * decl2.c (change_return_type): Likewise.
2204         (cp_reconstruct_complex_type): Likewise.
2205         * error.c (dump_type_suffix, dump_function_decl): Likewise.
2206         * mangle.c (write_function_type): Likewise.
2207         * pt.c (unify): Likewise.
2208         * typeck.c (merge_types, type_memfn_quals): Likewise.
2209         * decl.c (build_this_parm): Call type_of_this_parm.
2210
2211 2011-05-06  Dodji Seketeli  <dodji@redhat.com>
2212
2213         PR c++/48838
2214         * cp-tree.h (non_static_member_function_p): Declare new function.
2215         * tree.c (non_static_member_function_p): Define it.
2216         * semantics.c (finish_call_expr): Use it.
2217
2218 2011-05-05  Nathan Froyd  <froydnj@codesourcery.com>
2219
2220         * decl.c (finish_case_label): Omit the loc argument to
2221         build_case_label.
2222
2223 2011-05-05  Jason Merrill  <jason@redhat.com>
2224
2225         * cp-tree.h (REFERENCE_REF_P): Just check the type.
2226         * cvt.c (convert_from_reference): Adjust.
2227         * pt.c (build_non_dependent_expr): Adjust.
2228         * semantics.c (finish_offsetof): Adjust.
2229         * tree.c (lvalue_kind): Use it.
2230
2231         PR c++/48873
2232         * tree.c (stabilize_expr): Don't make gratuitous copies of classes.
2233
2234 2011-05-05  Eric Botcazou  <ebotcazou@adacore.com>
2235
2236         * decl.c (start_preparsed_function): Do not set
2237         dont_save_pending_sizes_p.
2238
2239 2011-05-05  Joseph Myers  <joseph@codesourcery.com>
2240
2241         * parser.c (cp_parser_objc_method_definition_list): Update call to
2242         objc_start_method_definition.
2243
2244 2011-05-04  Jason Merrill  <jason@redhat.com>
2245
2246         PR c++/48749
2247         * class.c (resolves_to_fixed_type_p): Don't look closely
2248         in templates.
2249
2250 2011-05-03  Paolo Carlini  <paolo.carlini@oracle.com>
2251
2252         PR c++/28501
2253         * call.c (add_builtin_candidate): Handle REALPART_EXPR and
2254         IMAGPART_EXPR.
2255
2256 2011-05-02  Lawrence Crowl  <crowl@google.com>
2257
2258         * decl.c: (push_local_name): Change TV_NAME_LOOKUP to start/stop.
2259         (poplevel): Refactor POP_TIMEVAR_AND_RETURN to plain code.
2260         Change TV_NAME_LOOKUP to start/stop.
2261         (define_label): Refactor timevar calls out to a wrapper function.
2262         Change TV_NAME_LOOKUP to start/stop.
2263         (xref_tag): Likewise.
2264         (lookup_label): Refactor timevar calls out to a wrapper function.
2265         Change TV_NAME_LOOKUP to start_cond/stop_cond.
2266
2267         * pt.c: (instantiate_class_template): Add a wrapper to push/pop new
2268         TV_TEMPLATE_INST.
2269         (instantiate_template): Add a wrapper to push/pop new TV_TEMPLATE_INST.
2270         (lookup_template_class): Refactor timevar calls out to a wrapper
2271         function.  Change use of TV_NAME_LOOKUP to TV_TEMPLATE_INST.
2272         (instantiate_decl): Change TV_PARSE to TV_TEMPLATE_INST.
2273
2274         * name-lookup.c: (store_bindings): Change TV_NAME_LOOKUP to start/stop.
2275         (poplevel_class): Change TV_NAME_LOOKUP to start_cond/stop_cond.
2276         (push_namespace): Likewise.
2277         (pop_nested_namespace): Likewise.
2278         (pushdecl_namespace_level): Likewise.
2279         (store_class_bindings): Likewise.
2280         (push_to_top_level): Likewise.
2281         (identifier_type_value): Refactor timevar calls out to a wrapper
2282         function.  Change TV_NAME_LOOKUP to start/stop.
2283         (find_binding): Likewise.
2284         (push_using_decl): Likewise.
2285         (lookup_arg_dependent): Likewise.
2286         (push_using_directive): Likewise.
2287         (qualified_lookup_using_namespace): Refactor POP_TIMEVAR_AND_RETURN
2288         to plain code.  Change TV_NAME_LOOKUP to start/stop.
2289         (lookup_type_current_level): Likewise.  Refactor inner return to
2290         break.
2291         (pushdecl_class_level): Refactor POP_TIMEVAR_AND_RETURN to plain
2292         code.  Change TV_NAME_LOOKUP to start_cond/stop_cond.
2293         (pushdecl_top_level_1): Likewise.
2294         (lookup_using_namespace): Likewise.
2295         (pushdecl_with_scope): Refactor timevar calls out to a wrapper
2296         function.  Change TV_NAME_LOOKUP to start_cond/stop_cond.
2297         (push_overloaded_decl): Likewise.
2298         (push_class_level_binding): Likewise.
2299         (namespace_binding): Likewise.
2300         (set_namespace_binding): Likewise.
2301         (supplement_binding): Likewise.
2302         (unqualified_namespace_lookup): Likewise.
2303         (lookup_name_real): Likewise.
2304         (lookup_type_scope): Likewise.
2305         (namespace_ancestor): Likewise.
2306         (lookup_name_innermost_nonclass_level): Likewise.
2307         (pushtag): Likewise.
2308         (pop_from_top_level): Likewise.
2309         (pushdecl_maybe_friend): Refactor timevar calls out to a wrapper
2310         function.  Change TV_NAME_LOOKUP to start_cond/stop_cond.  Wrap long
2311         lines.
2312         (add_using_namespace): Refactor timevar calls out to a wrapper
2313         function.  Change TV_NAME_LOOKUP to start_cond/stop_cond.  Bypass
2314         wrapper on call to self.
2315
2316         * decl2.c: (cp_write_global_declarations):  Add start/stop of
2317         new TV_PHASE_DEFERRED, TV_PHASE_CGRAPH, TV_PHASE_CHECK_DBGINFO.
2318         Remove push/pop calls to TV_VARCONST.
2319
2320         * parser.c: Add include of "timevar.h".
2321         (cp_parser_explicit_instantiation): Add push/pop calls to
2322         TV_TEMPLATE_INST.
2323         (cp_parser_enum_specifier): Add push/pop calls to new TV_PARSE_ENUM.
2324         (cp_parser_class_specifier): Add wrapper to add push/pop calls to
2325         TV_PARSE_STRUCT.
2326         (cp_parser_function_definition_from_specifiers_and_declarator): Add
2327         push/pop calls to new TV_PARSE_FUNC or TV_PARSE_INLINE.
2328         (cp_parser_late_parsing_for_member):  Add push/pop calls to
2329         new TV_PARSE_INMETH.
2330
2331         * call.c: Add include of "timevar.h".
2332         (convert_class_to_reference): Wrap and add push/pop calls to
2333         TV_OVERLOAD.
2334         (build_op_call): Likewise.
2335         (build_conditional_expr): Likewise.
2336         (build_new_op): Likewise.
2337         (build_new_method_call): Likewise.
2338         (build_user_type_conversion): Reorganize to single return and add
2339         push/pop calls to TV_OVERLOAD.
2340         (perform_overload_resolution): Likewise.
2341
2342         * Make-lang.in: Add dependence of call.o and parser.o on $(TIMEVAR_H).
2343
2344 2011-05-02  Jason Merrill  <jason@redhat.com>
2345
2346         * tree.c (build_vec_init_expr): Take complain parm.
2347         (build_vec_init_elt): Likewise.  Free arg vector.
2348         (diagnose_non_constexpr_vec_init, build_array_copy): Adjust.
2349         * cp-tree.h (VEC_INIT_EXPR_SLOT): Use VEC_INIT_EXPR_CHECK.
2350         (VEC_INIT_EXPR_INIT): Likewise.
2351         Adjust build_vec_init_expr declaration.
2352         * init.c (perform_member_init): Adjust.
2353
2354         Revert:
2355         PR c++/40975
2356         * cp-tree.def (VEC_INIT_EXPR): Add third operand.
2357         * cp-tree.h (VEC_INIT_EXPR_NELTS): New.
2358         * cp-gimplify.c (cp_gimplify_expr) [VEC_INIT_EXPR]: Handle it.
2359         * tree.c (build_vec_init_expr): Handle getting pointer/nelts.
2360         (build_vec_init_elt): Don't expect an array type.
2361         (build_array_copy): Adjust.
2362         * init.c (perform_member_init): Adjust.
2363         (build_new_1): Use build_vec_init_expr.
2364
2365         PR c++/48834
2366         * tree.c (build_vec_init_expr): Set TREE_SIDE_EFFECTS.
2367         Protect an explicit target.
2368
2369         PR c++/48446
2370         * decl.c (stabilize_save_expr_r, stabilize_vla_size): New.
2371         (compute_array_index_type): Revert earlier 48446 changes.
2372         (grokdeclarator): Use stabilize_vla_size.
2373
2374 2011-05-02  Dmitry Gorbachev  <d.g.gorbachev@gmail.com>
2375             Eric Botcazou <ebotcazou@adacore.com>
2376
2377         * parser.c (cp_parser_init_declarator): Set pushed_scope to NULL_TREE
2378         instead of inappropriate zero values.
2379
2380 2011-05-02  Paolo Carlini  <paolo.carlini@oracle.com>
2381
2382         PR c++/47969
2383         * decl.c (compute_array_index_type): Check build_expr_type_conversion
2384         return value for NULL_TREE.
2385
2386 2011-04-29  Paolo Carlini  <paolo.carlini@oracle.com>
2387
2388         PR c++/48606
2389         * init.c (perform_member_init): Check build_value_init return
2390         value for error_mark_node.
2391
2392 2011-04-29  Diego Novillo  <dnovillo@google.com>
2393             Le-Chun Wu  <lcwu@google.com>
2394
2395         * call.c (conversion_null_warnings): Also handle assignments
2396         when warning about NULL conversions.
2397
2398 2011-04-29  Le-Chun Wu  <lcwu@google.com>
2399
2400         * cp-tree.h (LOOKUP_EXPLICIT_TMPL_ARGS): Define.
2401         * call.c (build_new_function_call): Set it for TEMPLATE_ID_EXPRs.
2402         (build_over_call): Use it to determine whether to emit a NULL
2403         warning for template function instantiations.
2404         (build_new_method_call): Set LOOKUP_EXPLICIT_TMPL_ARGS if
2405         EXPLICIT_TARGS is set.
2406
2407 2011-04-29  Nicola Pero  <nicola.pero@meta-innovation.com>,
2408             Mike Stump <mikestump@comcast.net>
2409
2410         * Make-lang.in ($(srcdir)/cp/cfns.h): Enable the dependency only
2411         in maintainer mode.  Use the --output-file option of gperf instead
2412         of > to prevent creating an empty cp/cfns.h when gperf is not
2413         available.
2414
2415 2011-04-28  Paolo Carlini  <paolo.carlini@oracle.com>
2416
2417         PR c++/48798
2418         * semantics.c (finish_base_specifier): cv-qualified base class
2419         is fine, per DR 484.
2420
2421 2011-04-28  Dodji Seketeli  <dodji@redhat.com>
2422
2423         PR c++/48656
2424         * semantics.c (finish_call_expr): Don't forget BASELINK nodes when
2425         considering call expressions involving a member function.
2426
2427 2011-04-28  Paolo Carlini  <paolo.carlini@oracle.com>
2428
2429         PR c++/48530
2430         * tree.c (build_cplus_new): Check build_target_expr return
2431         value for error_mark_node.
2432
2433 2011-04-28  Paolo Carlini  <paolo.carlini@oracle.com>
2434
2435         PR c++/48771
2436         * semantics.c (literal_type_p): Reference types are literal types,
2437         per the FDIS.
2438         (valid_type_in_constexpr_fundecl_p): Remove.
2439         (is_valid_constexpr_fn): Adjust.
2440
2441 2011-04-27  Jason Merrill  <jason@redhat.com>
2442
2443         PR libstdc++/48760
2444         Implement list-initialization of _Complex.
2445         * decl.c (reshape_init_r): Allow {real,imag} for _Complex.
2446         (check_initializer): Likewise.
2447         * call.c (build_complex_conv): New.
2448         (implicit_conversion): Call it.
2449         (convert_like_real): Handle it.
2450         * typeck2.c (check_narrowing): Handle it.
2451
2452         * init.c (build_vec_delete_1): Look for sfk_deleting_destructor to
2453         decide whether to delete.
2454         (build_vec_init): Pass sfk_complete_destructor.
2455
2456         PR c++/40975
2457         * cp-tree.def (VEC_INIT_EXPR): Add third operand.
2458         * cp-tree.h (VEC_INIT_EXPR_NELTS): New.
2459         * cp-gimplify.c (cp_gimplify_expr) [VEC_INIT_EXPR]: Handle it.
2460         * tree.c (build_vec_init_expr): Handle getting pointer/nelts.
2461         (build_vec_init_elt): Don't expect an array type.
2462         (build_array_copy): Adjust.
2463         * init.c (perform_member_init): Adjust.
2464         (build_new_1): Use build_vec_init_expr.
2465
2466         * class.c (resolve_address_of_overloaded_function): Don't
2467         change OVERLOAD to TREE_LIST.
2468         * pt.c (print_candidates_1): Remove nonsensical assert.
2469
2470         PR c++/48046
2471         * parser.c (cp_parser_diagnose_invalid_type_name): Commit
2472         to tentative parse sooner.
2473
2474 2011-04-26  Jason Merrill  <jason@redhat.com>
2475
2476         PR c++/42687
2477         * parser.c (cp_parser_primary_expression): Set *idk to
2478         CP_ID_KIND_NONE for a parenthesized identifier.
2479
2480         * ptree.c (cxx_print_type) [TYPENAME_TYPE]: Dump fullname.
2481         (cxx_print_identifier): Correct indentation.
2482
2483         PR c++/48530
2484         * decl.c (cxx_maybe_build_cleanup): Add complain parm.
2485         * tree.c (force_target_expr): Add complain parm.
2486         (build_target_expr_with_type): Likewise.
2487         (get_target_expr_sfinae): Split out.
2488         (build_vec_init_expr, bot_manip): Adjust.
2489         * init.c (build_vec_delete, build_vec_delete_1): Add complain parm.
2490         (build_delete, build_dtor_call): Likewise.
2491         (perform_direct_initialization_if_possible): Adjust.
2492         (build_vec_init): Handle error return.
2493         * cvt.c (force_rvalue): Add complain parm.
2494         Call build_special_member_call directly.
2495         * decl2.c (delete_sanity): Add complain parm.
2496         (build_cleanup): Adjust.
2497         * pt.c (tsubst_copy_and_build, tsubst_expr): Adjust.
2498         * semantics.c (finish_stmt_expr_expr): Adjust.
2499         (finish_compound_literal): Adjust.
2500         * parser.c (cp_parser_delete_expression): Adjust.
2501         * typeck2.c (build_functional_cast): Adjust.
2502         * cp-tree.h: Adjust.
2503
2504 2011-04-26  Martin Jambor  <mjambor@suse.cz>
2505
2506         * class.c (cp_fold_obj_type_ref): Remove.
2507         * cp-tree.h (cp_fold_obj_type_ref): Remove declaration.
2508
2509 2011-04-25  Paolo Carlini  <paolo.carlini@oracle.com>
2510
2511         * cp-tree.def: Add a new UNDERLYING_TYPE tree code.
2512         * cp-tree.h (enum cp_trait_kind): Add CPTK_UNDERLYING_TYPE, tidy.
2513         (UNDERLYING_TYPE_TYPE): Add.
2514         * cp-objcp-common.c (cp_common_init_ts): Mark UNDERLYING_TYPE
2515         as TS_COMMON.
2516         * parser.c (cp_lexer_next_token_is_decl_specifier_keyword,
2517         cp_parser_simple_type_specifier): Handle UNDERLYING_TYPE.
2518         (cp_parser_trait_expr): Deal with RID_UNDERLYING_TYPE; tidy.
2519         * semantics.c (finish_underlying_type): New.
2520         * typeck.c (structural_comptypes): Handle UNDERLYING_TYPE.
2521         * error.c (dump_type, dump_type_prefix, dump_type_suffix): Likewise.
2522         * cxx-pretty-print.c (p_cxx_type_id): Likewise.
2523         * tree.c (cp_walk_subtrees): Likewise.
2524         * pt.c (for_each_template_parm_r, tsubst, unify,
2525         dependent_type_p_r): Likewise.
2526         * mangle.c (write_type): Sorry for __underlying_type.
2527
2528 2011-04-25  Jason Merrill  <jason@redhat.com>
2529
2530         PR c++/48707
2531         * decl.c (type_dependent_init_p): New.
2532         (cp_finish_decl): Check it.
2533         * pt.c (any_type_dependent_elements_p): New.
2534         * cp-tree.h: Declare it.
2535
2536 2011-04-20  Jason Merrill  <jason@redhat.com>
2537
2538         * semantics.c (finish_compound_literal): Don't put an array
2539         with a dtor in a static variable.
2540
2541         * call.c (build_over_call): Handle trivial dtor.
2542
2543         * search.c (lookup_fnfields_slot): Call complete_type.
2544
2545         PR c++/48594
2546         * decl2.c (build_offset_ref_call_from_tree): Move
2547         non-dependency of object outside condition.
2548
2549         PR c++/48657
2550         * decl.c (cp_finish_decl): Simplify template handling.
2551
2552 2011-04-20  Jim Meyering  <meyering@redhat.com>
2553
2554         * tree.c (cxx_printable_name_internal): Remove useless if-before-free.
2555
2556 2011-04-19  Jason Merrill  <jason@redhat.com>
2557
2558         PR c++/46304
2559         * typeck.c (cp_build_binary_op): Fold COMPLEX_EXPR.
2560
2561         PR c++/45267
2562         * decl.c (duplicate_decls): Keep always_inline attribute
2563         in sync with DECL_DISREGARD_INLINE_LIMITS.
2564
2565 2011-04-18  Jason Merrill  <jason@redhat.com>
2566
2567         PR c++/48569
2568         * typeck2.c (build_functional_cast): Handle VOID_TYPE.
2569
2570         PR c++/48537
2571         * init.c (build_value_init): Handle UNION_TYPE the same.
2572
2573 2011-04-18  Jakub Jelinek  <jakub@redhat.com>
2574
2575         PR c++/48632
2576         * parser.c (cp_parser_omp_for_loop): Don't use cp_parser_omp_for_incr
2577         for type dependent pointers.
2578
2579 2011-04-18  Jim Meyering  <meyering@redhat.com>
2580
2581         * pt.c (type_unification_real): Fix typo in comment: s/in in/in/.
2582
2583 2011-04-17  Jan Hubicka  <jh@suse.cz>
2584
2585         * semantics.c (finish_goto_stmt): Do set UNINLINABLE flag on computed
2586         gotos.
2587
2588 2011-04-17  Jason Merrill  <jason@redhat.com>
2589
2590         PR c++/48531
2591         * typeck2.c (build_functional_cast): Disallow array type.
2592
2593         * tree.c (get_target_expr): Handle VEC_INIT_EXPR.
2594
2595 2011-04-17  Jan Hubicka  <jh@suse.cz>
2596
2597         * class.c (cp_fold_obj_type_ref): Drop vtable_method.
2598
2599 2011-04-15  Rodrigo Rivas Costa <rodrigorivascosta@gmail.com>
2600
2601         Implement N3271
2602         * parser.c (cp_convert_range_for): Split into
2603         cp_parser_perform_range_for_lookup.
2604         (cp_parser_perform_range_for_lookup): New.
2605         (cp_parser_range_for_member_function): New.
2606         (cp_parser_for_init_statement): Correct error message.
2607         * semantics.c (finish_call_expr): Accept COMPONENT_REF.
2608
2609 2011-04-14  Nicola Pero  <nicola.pero@meta-innovation.com>
2610
2611         * parser.c (cp_parser_objc_protocol_declaration): Updated for
2612         change from objc_declare_protocols() to objc_declare_protocol().
2613
2614 2011-04-14  Nathan Froyd  <froydnj@codesourcery.com>
2615
2616         PR objc++/48479
2617         * typeck.c (cxx_mark_addressable) [CONST_DECL]: Mark addressable
2618         and return immediately.
2619
2620 2011-04-14  Nathan Froyd  <froydnj@codesourcery.com>
2621
2622         * cp-tree.def (SWITCH_STMT): Add an extra operand.
2623         * cp-objcp-common.c (cp_common_init_ts): Mark it as TS_TYPED.
2624         * cp-tree.h (SWITCH_STMT_SCOPE): Define.
2625         * semantics.c (begin_switch__stmt): Pass scope to build_stmt.
2626         (finish_switch_stmt): Use SWITCH_STMT_SCOPE instead of TREE_CHAIN.
2627
2628 2011-04-14  Nathan Froyd  <froydnj@codesourcery.com>
2629
2630         * cp-tree.def (IF_STMT): Add an extra operand.
2631         * cp-objcp-common.c (cp_common_init_ts): Mark it as TS_TYPED.
2632         * cp-tree.h (IF_SCOPE): Define.
2633         * semantics.c (begin_if_stmt): Pass scope to build_stmt.
2634         (finish_if_stmt): Use IF_SCOPE instead of TREE_CHAIN.
2635
2636 2011-04-14  Nathan Froyd  <froydnj@codesourcery.com>
2637
2638         * cp-tree.def (FOR_STMT, RANGE_FOR_STMT): Add an extra operand.
2639         * cp-objcp-common.c (cp_common_init_ts): Mark them as TS_TYPED.
2640         * cp-tree.h (FOR_SCOPE, RANGE_FOR_SCOPE): Define.
2641         * semantics.c (begin_for_stmt): Pass an extra arg to build_stmt.
2642         Use FOR_SCOPE instead of TREE_CHAIN.
2643         (begin_range_for_stmt): Likewise, with RANGE_FOR_SCOPE.
2644         (finish_for_stmt): Likewise.
2645
2646 2011-04-14  Jason Merrill  <jason@redhat.com>
2647
2648         * parser.c (cp_parser_postfix_expression): Fix flags passed to
2649         build_new_method_call.
2650         * semantics.c (finish_call_expr): Likewise.
2651
2652         PR c++/48531
2653         * init.c (build_value_init_noctor): Check complain consistently.
2654
2655         PR c++/48557
2656         * typeck.c (cp_build_binary_op): Don't decay void operands.
2657
2658         PR c++/48446
2659         * decl.c (compute_array_index_type): Use get_temp_regvar instead
2660         of variable_size.
2661         * init.c (get_temp_regvar): No longer static.
2662         * cp-tree.h: Declare it.
2663
2664 2011-04-14  Nicola Pero  <nicola.pero@meta-innovation.com>
2665
2666         * parser.c (cp_parser_objc_class_declaration): Updated for change
2667         in objc_declare_class().
2668
2669 2011-04-14  Nathan Froyd  <froydnj@codesourcery.com>
2670
2671         * decl.c (poplevel): Use block_chainon.
2672
2673 2011-04-13  Jason Merrill  <jason@redhat.com>
2674
2675         PR c++/48594
2676         * decl2.c (build_offset_ref_call_from_tree): Fix calling a functor
2677         or pointer to (non-member) function.
2678
2679 2011-04-13  Jakub Jelinek  <jakub@redhat.com>
2680
2681         PR c++/48570
2682         * semantics.c (cxx_eval_array_reference): Handle reading from
2683         wchar_t, char16_t and char32_t STRING_CST.
2684
2685 2011-04-13  Dodji Seketeli  <dodji@redhat.com>
2686
2687         PR c++/48574
2688         * class.c (fixed_type_or_null): We cannot determine the dynamic
2689         type of a reference variable if its initializer is dependent.
2690
2691 2011-04-13  Jason Merrill  <jason@redhat.com>
2692
2693         PR c++/48581
2694         * pt.c (tsubst_copy_and_build) [CALL_EXPR]: Don't complain about
2695         unqualified lookup failing if we're still in a template.
2696
2697 2011-04-12  Nathan Froyd  <froydnj@codesourcery.com>
2698
2699         * cp-lang.c (cp_init_ts): Call cp_common_init_ts.  Move
2700         tree_contains_struct initialization to...
2701         * cp-objcp-common.c (cp_common_init_ts): ...here.  Use MARK_*
2702         macros.
2703         * cp-objcp-common.h (cp_common_init_ts): Declare.
2704         * cp-tree.h (union lang_tree_node): Check for TS_COMMON before
2705         calling TREE_CHAIN.
2706
2707 2011-04-12  Nicola Pero  <nicola.pero@meta-innovation.com>
2708
2709         * parser.c (cp_parser_objc_message_expression): Updated call
2710         to objc_build_message_expr.
2711
2712 2011-04-12  Martin Jambor  <mjambor@suse.cz>
2713
2714         * class.c (cp_fold_obj_type_ref): Call cgraph_get_node instead of
2715         cgraph_get_create_node.
2716         * decl2.c (cp_write_global_declarations): Call cgraph_get_node
2717         instead of cgraph_get_create_node.
2718         * method.c (make_alias_for_thunk): Call cgraph_get_node
2719         instead of cgraph_get_create_node, assert it returns non-NULL.
2720         (use_thunk): Likewise.
2721         * optimize.c (maybe_clone_body): Call cgraph_same_body_alias only
2722         when flag_syntax_only is not set.  Call cgraph_get_node instead of
2723         cgraph_get_create_node.
2724         (maybe_clone_body): Call cgraph_get_node instead of
2725         cgraph_get_create_node.
2726
2727 2011-04-12  Martin Jambor  <mjambor@suse.cz>
2728
2729         * class.c (cp_fold_obj_type_ref): Call cgraph_get_create_node
2730         instead of cgraph_node.
2731         * decl2.c (cxx_callgraph_analyze_expr): Likewise.
2732         (cp_write_global_declarations): Likewise.
2733         * optimize.c (maybe_clone_body): Likewise.
2734         * semantics.c (maybe_add_lambda_conv_op): Likewise.
2735         * mangle.c (mangle_decl): Likewise.
2736         * method.c (make_alias_for_thunk): Likewise.
2737         (use_thunk): Likewise.
2738
2739 2011-04-11  Jason Merrill  <jason@redhat.com>
2740
2741         PR c++/48535
2742         * decl.c (cp_complete_array_type_or_error): New.
2743         * semantics.c (finish_compound_literal): Use it.
2744         * cp-tree.h: Declare it.
2745
2746         PR c++/48535
2747         * semantics.c (finish_compound_literal): Handle references.
2748
2749         PR c++/48535
2750         * semantics.c (finish_compound_literal): Take complain parm.
2751         (build_lambda_object): Adjust.
2752         * cp-tree.h: Adjust.
2753         * call.c (convert_like_real): Adjust.
2754         * decl.c (check_initializer): Adjust.
2755         * parser.c (cp_parser_postfix_expression): Adjust.
2756         (cp_parser_functional_cast): Adjust.
2757         * pt.c (tsubst_copy_and_build): Adjust.
2758         * typeck2.c (process_init_constructor_record): Adjust.
2759
2760         PR c++/48534
2761         * cvt.c (ocp_convert): Use build_nop to convert to underlying type
2762         of scoped enum.
2763
2764         PR c++/48523
2765         * tree.c (maybe_dummy_object): Use build_x_indirect_ref rather
2766         than cp_build_indirect_ref.
2767
2768         PR c++/48457, Core 1238
2769         * call.c (reference_binding): Allow rvalue reference to bind to
2770         function lvalue.
2771         * tree.c (lvalue_kind): Functions are always lvalues.
2772
2773 2011-04-07  Jason Merrill  <jason@redhat.com>
2774
2775         PR c++/48500
2776         * semantics.c (potential_constant_expression_1) [CALL_EXPR]: Check
2777         arguments even if we don't know the function.
2778
2779         PR c++/48481
2780         * tree.c (build_overload): Allow an unwrapped FUNCTION_DECL
2781         at the end of the chain.
2782         * pt.c (dependent_template_p): Use OVL_CURRENT/NEXT.
2783         (iterative_hash_template_arg): Likewise.
2784
2785         PR c++/48481
2786         * cp-tree.h (OVL_ARG_DEPENDENT): New.
2787         * name-lookup.c (add_function): Set it.
2788         * semantics.c (finish_call_expr): Free OVERLOADs if it's set.
2789
2790         PR c++/48481
2791         * call.c (build_user_type_conversion_1): Use lookup_fnfields_slot.
2792         Release unused vector.
2793
2794         PR c++/48451
2795         * pt.c (fn_type_unification): Don't clear incomplete pack flag.
2796         (type_unification_real): Clear it here instead.
2797
2798         PR c++/48468
2799         * except.c (build_noexcept_spec): Propagate error_mark_node.
2800         (finish_noexcept_expr): Likewise.
2801
2802         PR c++/48452
2803         * typeck.c (build_x_compound_expr_from_list): Return error_mark_node
2804         in SFINAE context.
2805
2806         PR c++/48450
2807         * call.c (resolve_args): Take complain.
2808         (build_new_function_call, build_operator_new_call): Pass it.
2809         (build_op_call, build_new_op, build_new_method_call): Pass it.
2810
2811         PR c++/48450
2812         * typeck.c (check_for_casting_away_constness): Take complain.
2813         (build_static_cast_1, build_reinterpret_cast_1): Pass it.
2814         (build_const_cast_1): Pass it.  Take full complain parm.
2815         (build_const_cast, cp_build_c_cast): Adjust.
2816
2817         * tree.c (build_aggr_init_expr): Always return error_mark_node
2818         on abstract violation.
2819
2820         PR c++/48450
2821         * tree.c (build_cplus_new, build_aggr_init_expr): Take complain.
2822         (bot_manip): Adjust.
2823         * cp-tree.h: Adjust.
2824         * call.c (convert_like_real, build_cxx_call): Adjust.
2825         (perform_direct_initialization_if_possible): Adjust.
2826         * cvt.c (ocp_convert): Adjust.
2827         * init.c (build_value_init): Adjust.
2828         * semantics.c (maybe_add_lambda_conv_op): Adjust.
2829         * typeck.c (unary_complex_lvalue, cp_build_modify_expr): Adjust.
2830         * typeck2.c (build_functional_cast): Adjust.
2831
2832         * init.c (build_value_init_noctor): Handle REFERENCE_TYPE at top
2833         level.
2834         (perform_member_init): Not here.
2835         * typeck2.c (build_functional_cast): Limit REFERENCE_TYPE special
2836         case to templates.
2837         (abstract_virtuals_error_sfinae): Remove RESULT_DECL special case.
2838
2839         PR c++/48449
2840         * typeck2.c (build_functional_cast): Check complain consistently.
2841         Use build_value_init and abstract_virtuals_error_sfinae.
2842         (abstract_virtuals_error_sfinae): Split out.
2843         * cp-tree.h: Declare it.
2844         * init.c (build_new_1): Use it.
2845         (build_value_init_noctor): Handle FUNCTION_TYPE.
2846
2847         * semantics.c (finish_decltype_type): Simplify handling of unknown
2848         type.
2849
2850         * semantics.c (finish_decltype_type): Add complain parm.
2851         * cp-tree.h: Adjust.
2852         * parser.c (cp_parser_decltype): Adjust.
2853         * pt.c (tsubst): Adjust.
2854
2855         PR c++/48450
2856         * cvt.c (ocp_convert): Handle converting scoped enum to bool.
2857
2858 2011-03-31  Jason Merrill  <jason@redhat.com>
2859
2860         PR c++/48277
2861         * semantics.c (finish_call_expr): Remove assert.
2862
2863         PR c++/48280
2864         * method.c (defaultable_fn_check): Templates are not defaultable.
2865
2866         * parser.c (cp_parser_init_declarator): Avoid redundant
2867         cp_finish_decl for member declarations.
2868
2869 2011-03-30  Jason Merrill  <jason@redhat.com>
2870
2871         PR c++/48212
2872         * semantics.c (non_const_var_error): Just return if DECL_INITIAL
2873         is error_mark_node.
2874
2875 2011-03-30  Jason Merrill  <jason@redhat.com>
2876
2877         PR c++/48369
2878         * semantics.c (potential_constant_expression_1): Handle
2879         UNORDERED_EXPR and ORDERED_EXPR.
2880
2881         PR c++/48281
2882         * semantics.c (finish_compound_literal): Do put static/constant
2883         arrays in static variables.
2884
2885         * call.c (convert_like_real) [ck_list]: Build up the
2886         initializer_list object directly.
2887         * decl.c (build_init_list_var_init): Adjust.
2888
2889         * call.c (convert_like_real): Correct TREE_CONSTANT on CONSTRUCTOR.
2890         * decl.c (reshape_init_array_1): Likewise.
2891
2892 2011-03-29  Jason Merrill  <jason@redhat.com>
2893
2894         PR c++/48265
2895         * pt.c (value_dependent_expression_p) [VAR_DECL]: Make sure
2896         the variable is constant before looking at its initializer.
2897
2898         PR c++/48319
2899         * pt.c (value_dependent_expression_p): Handle TEMPLATE_ID_EXPR.
2900
2901         PR c++/48089
2902         * semantics.c (potential_constant_expression_1): Change error about
2903         use of *this in constructor into sorry.
2904
2905         PR c++/48296
2906         * decl.c (cp_finish_decl): Defer validation of constexpr member
2907         functions.
2908         * class.c (finalize_literal_type_property): Validate them here.
2909         * semantics.c (is_valid_constexpr_fn): Don't check completeness.
2910
2911         * semantics.c (is_valid_constexpr_fn): Specify input location.
2912
2913 2011-03-28  Jason Merrill  <jason@redhat.com>
2914
2915         PR c++/48313
2916         * pt.c (maybe_adjust_types_for_deduction): Handle T&& deduction
2917         from overloaded function.
2918
2919         Core 1232
2920         * call.c (build_array_conv): New.
2921         (implicit_conversion): Use it.
2922
2923         * call.c (reference_binding): Allow direct binding to an array
2924         rvalue.
2925
2926         Core 898
2927         * parser.c (cp_parser_compound_statement): Add function_body parm.
2928         Complain about non-body compound-stmt in constexpr fn.
2929         (cp_parser_primary_expression, cp_parser_statement): Adjust.
2930         (cp_parser_implicitly_scoped_statement): Adjust.
2931         (cp_parser_function_body, cp_parser_try_block): Adjust.
2932         (cp_parser_handler, cp_parser_objc_synchronized_statement): Adjust.
2933         (cp_parser_objc_try_catch_finally_statement): Adjust.
2934
2935         Core 898
2936         * semantics.c (constexpr_fn_retval): New.  Allow using-declaration
2937         and using-definition.
2938         (register_constexpr_fundef): Call it.
2939
2940         * except.c (build_noexcept_spec): Call cxx_constant_value after
2941         converting to bool.
2942
2943 2011-03-25  Kai Tietz  <ktietz@redhat.com>
2944
2945         * lex.c (interface_strcmp): Handle dos-paths.
2946         (handle_pragma_implementation): Use filename_cmp instead of
2947         strcmp.
2948         (in_main_input_context): Likewise.
2949
2950 2011-03-25  Jason Merrill  <jason@redhat.com>
2951
2952         Core 1135
2953         * method.c (defaulted_late_check): Check for exception spec mismatch.
2954         (defaultable_fn_check): Allow exception spec and virtual.
2955         * class.c (check_for_override): A virtual dtor is non-trivial.
2956
2957         PR c++/48289
2958         * pt.c (build_non_dependent_expr): Keep dereferences outside the
2959         NON_DEPENDENT_EXPR.
2960
2961 2011-03-25  Kai Tietz  <ktietz@redhat.com>
2962
2963         * decl.c (decls_match): Replace target hook
2964         call of comp_type_attributes by version in tree.c file.
2965         * search.c (check_final_overrider): Likewise.
2966         * typeck.c (structural_comptypes): Likewise.
2967
2968 2011-03-21  Kai Tietz  <ktietz@redhat.com>
2969
2970         PR target/12171
2971         * cxx-pretty-print.c (pp_cxx_ptr_operator):
2972         Display allowed attributes for function pointer types.
2973         * error.c (dump_type_prefix): Likewise.
2974
2975         * tree.c (cxx_attribute_table): Adjust table.
2976
2977 2011-03-18  Jason Merrill  <jason@redhat.com>
2978
2979         PR c++/48162
2980         * semantics.c (finish_call_expr): Allow TARGET_EXPR for now.
2981
2982         PR c++/48118
2983         * call.c (build_over_call): Don't skip ck_rvalue.
2984
2985 2011-03-17  Jason Merrill  <jason@redhat.com>
2986
2987         PR c++/47504
2988         * semantics.c (cxx_eval_constant_expression) [NOP_EXPR]: Don't let
2989         the conversion set TREE_OVERFLOW.
2990
2991         Core 1212
2992         * semantics.c (finish_decltype_type): Return T&& for xvalue.
2993         * typeck.c (unlowered_expr_type): Preserve cv-quals.
2994
2995         PR c++/48166
2996         * decl.c (revert_static_member_fn): Strip function-cv-quals.
2997
2998 2011-03-16  Jason Merrill  <jason@redhat.com>
2999
3000         PR c++/48089
3001         * semantics.c (potential_constant_expression_1): Don't allow *this
3002         in a constructor.
3003         (register_constexpr_fundef): Use potential_rvalue_constant_expression.
3004
3005         PR c++/47301
3006         * decl.c (compute_array_index_type): Don't bother trying to deal
3007         with literal classes in ABI v1.
3008
3009         PR c++/46336
3010         * decl.c (duplicate_decls): Return NULL_TREE for clashing
3011         C functions.
3012
3013         PR c++/47570
3014         * semantics.c (cxx_eval_constant_expression) [COMPOUND_EXPR]: Don't
3015         use the generic binary expression handling.
3016
3017 2011-03-16  Diego Novillo  <dnovillo@google.com>
3018
3019         * Make-lang.in (CXX_PARSER_H): New.
3020         (cp/parser.o): Add dependency on CXX_PARSER_H.
3021         Add dependency on tree-pretty-print.h
3022         (cp/cp-lang.o): Add dependency on CXX_PARSER_H.
3023         * cp-lang.c: Include parser.h.
3024         * parser.c: Include parser.h.
3025         (struct cp_token): Add bitfield purged_p.
3026         Update all users.
3027         Move to parser.h.
3028         (CPP_PURGED): Remove.  Update all users.
3029         (struct cp_lexer): Change field buffer to be a VEC of cp_token.
3030         Remove field buffer_length.
3031         Update all users.
3032         Move to parser.h.
3033         (struct tree_check): Move to parser.h.
3034         (cp_token_position): Likewise.
3035         (struct cp_token_cache): Likewise.
3036         (CPP_KEYWORD): Likewise.
3037         (CPP_TEMPLATE_ID): Likewise.
3038         (CPP_NESTED_NAME_SPECIFIER): Likewise.
3039         (N_CP_TTYPES): Likewise.
3040         (enum cp_parser_status_kind): Likewise.
3041         (struct cp_parser_context): Likewise.
3042         (struct cp_default_arg_entry_d): Likewise.
3043         (struct cp_unparsed_functions_entry_d): Likewise.
3044         (struct cp_parser): Likewise.
3045         (cp_lexer_dump_tokens): New.
3046         (cp_lexer_debug_tokens): New.
3047         (cp_lexer_finished_p): New.
3048         (cp_lexer_alloc): Factor out of cp_lexer_new_main.
3049         (cp_lexer_new_main): Re-write main lexing loop to push
3050         tokens into the new VEC buffer.
3051         (cp_lexer_print_token): Improve printing of CPP_NUMBER tokens.
3052         Do not abort if the token type is not recognized, just print
3053         its code.
3054         * parser.h: New file.
3055         * config-lang.in (gtfiles): Add cp/parser.h.
3056
3057 2011-03-16  Jason Merrill  <jason@redhat.com>
3058
3059         Core 1148
3060         * typeck.c (check_return_expr): Fix conditions for setting
3061         LOOKUP_PREFER_RVALUE.
3062
3063         * call.c (build_over_call): Remove require_complete_type_sfinae call.
3064
3065         PR c++/48132
3066         * decl.c (check_array_designated_initializer): Allow integer index.
3067         (reshape_init_array_1): Set index on the elements.
3068
3069 2011-03-16  Jason Merrill  <jason@redhat.com>
3070
3071         PR c++/48113
3072         * typeck.c (convert_for_initialization): Use
3073         perform_implicit_conversion_flags.
3074         * call.c (standard_conversion): If LOOKUP_PREFER_RVALUE, set
3075         rvaluedness_matches_p on ck_rvalue.
3076         (convert_like_real) [ck_rvalue]: And restore it here.
3077
3078         PR c++/48115
3079         * call.c (convert_arg_to_ellipsis): Handle incomplete type.
3080
3081 2011-03-16  Jason Merrill  <jason@redhat.com>
3082
3083         * parser.c (cp_parser_abort_tentative_parse): Make sure we haven't
3084         committed to this tentative parse.
3085
3086         PR c++/47999
3087         * semantics.c (finish_call_expr): Preserve reference semantics
3088         in templates.
3089
3090         * call.c (convert_default_arg): Use LOOKUP_IMPLICIT.
3091
3092 2011-03-16  Jakub Jelinek  <jakub@redhat.com>
3093
3094         * cp-objcp-common.c (cp_function_decl_explicit_p): Don't crash if
3095         DECL_LANG_SPECIFIC is NULL.
3096
3097 2011-03-15  Jason Merrill  <jason@redhat.com>
3098
3099         Core 1074
3100         * pt.c (value_dependent_expression_p) [NOEXCEPT_EXPR]: Don't
3101         check value_dependent_expression_p on the operand.
3102
3103         * semantics.c (push_cx_call_context): Return bool.
3104         (cxx_eval_call_expression): Handle excess depth.
3105
3106         Core 1191
3107         * method.c (synthesized_method_walk): Cleanups don't affect the
3108         triviality of a constructor, but do affect deletion and exception
3109         specification.
3110
3111 2011-03-15  Rodrigo Rivas Costa  <rodrigorivascosta@gmail.com>
3112
3113         * decl2.c (cp_check_const_attributes): New.
3114         (cplus_decl_attributes): Call cp_check_const_attributes.
3115
3116 2011-03-15  Jason Merrill  <jason@redhat.com>
3117
3118         PR c++/34758
3119         * call.c (convert_default_arg): Use DECL_ORIGIN of fn.  Check for
3120         recursion first.
3121         (push_defarg_context, pop_defarg_context): New.
3122         * parser.c (cp_parser_late_parsing_default_args): Use them.
3123         * cp-tree.h: Declare them.
3124
3125 2011-03-11  Dodji Seketeli  <dodji@redhat.com>
3126
3127         * call.c (add_builtin_candidate)<case INDIRECT_REF>: The type of
3128         the argument of the indirection operator should not be dependent.
3129         Fix the comment.
3130
3131 2011-03-11  Jason Merrill  <jason@redhat.com>
3132
3133         PR c++/47125
3134         * pt.c (tsubst) [TYPENAME_TYPE]: Only give errors if tf_error.
3135
3136         PR c++/47144
3137         * parser.c (cp_parser_template_type_arg): Set
3138         type_definition_forbidden_message.
3139
3140         PR c++/47808
3141         * decl.c (compute_array_index_type): Discard folding
3142         if it didn't produce a constant.
3143
3144 2011-03-11  Jakub Jelinek  <jakub@redhat.com>
3145
3146         PR c++/48035
3147         * init.c (build_zero_init_1): Extracted from build_zero_init.
3148         Add FIELD_SIZE argument, if non-NULL and field bit_position
3149         as not smaller than that, don't add that field's initializer.
3150         Pass DECL_SIZE as last argument to build_zero_init_1
3151         for DECL_FIELD_IS_BASE fields.
3152         (build_zero_init): Use build_zero_init_1.
3153
3154 2011-03-10  Jason Merrill  <jason@redhat.com>
3155
3156         PR c++/48029
3157         * pt.c (iterative_hash_template_arg): Remove special case for
3158         ARRAY_TYPE.
3159
3160         PR c++/47198
3161         * parser.c (cp_parser_single_declaration): Just return if
3162         cp_parser_parse_and_diagnose_invalid_type_name complained.
3163
3164 2011-03-09  Jason Merrill  <jason@redhat.com>
3165
3166         PR c++/44629
3167         * pt.c (unify): An unresolved overload is a nondeduced context.
3168
3169 2011-03-09  Martin Jambor  <mjambor@suse.cz>
3170
3171         PR tree-optimization/47714
3172         * method.c (use_thunk): Clear addressable flag of thunk arguments.
3173
3174 2011-03-08  Dodji Seketeli  <dodji@redhat.com>
3175
3176         PR c++/47705
3177         * pt.c (convert_nontype_argument): Only call decay_conversion on
3178         arrays.
3179
3180 2011-03-08  Jason Merrill  <jason@redhat.com>
3181
3182         PR c++/47488
3183         * mangle.c (write_template_arg_literal) [STRING_CST]: Sorry.
3184
3185         PR c++/47705
3186         * pt.c (convert_nontype_argument): Don't crash on non-pointer
3187         argument to pointer parameter.
3188
3189         PR c++/45651
3190         * pt.c (instantiate_decl): Don't clear DECL_INTERFACE_KNOWN on
3191         !TREE_PUBLIC decls.
3192
3193 2011-03-08  Dodji Seketeli  <dodji@redhat.com>
3194
3195         PR c++/47957
3196         * name-lookup.c (binding_to_template_parms_of_scope_p): Only
3197         consider scopes of primary template definitions.  Adjust comments.
3198
3199 2011-03-07  Jason Merrill  <jason@redhat.com>
3200
3201         PR c++/48003
3202         * pt.c (convert_nontype_argument): Fix -fpermissive allowing
3203         integer overflow.
3204         * semantics.c (potential_constant_expression_1): Check TREE_OVERFLOW.
3205
3206         PR c++/48015
3207         * init.c (constant_value_1): Always require init to be TREE_CONSTANT.
3208
3209         PR c++/48008
3210         * mangle.c (write_type): Strip cv-quals from FUNCTION_TYPE here.
3211         (write_CV_qualifiers_for_type): Not here.
3212
3213 2011-03-06  Joseph Myers  <joseph@codesourcery.com>
3214
3215         * lang-specs.h: Match -save-temps* instead of -save-temps.
3216
3217 2011-03-05  Jason Merrill  <jason@redhat.com>
3218
3219         * mangle.c (write_expression): Change ABI v6 to v5.
3220         (write_type): Likewise.
3221
3222 2011-03-04  Jan Hubicka  <jh@suse.cz>
3223
3224         PR lto/47497
3225         * optimize.c (maybe_clone_body): Update call of cgraph_same_body_alias
3226         and cgraph_add_thunk.
3227         * method.c (make_alias_for_thunk, use_thunk): Likewise.
3228         * mangle.c (mangle_decl): Likewise.
3229
3230 2011-03-04  Jason Merrill  <jason@redhat.com>
3231
3232         PR c++/47971
3233         * pt.c (tsubst_copy_and_build) [PSEUDO_DTOR_EXPR]: Use tsubst for type.
3234         (tsubst_copy) [default]: Just return t if !ENABLE_CHECKING.
3235
3236         PR c++/46220
3237         * search.c (check_final_overrider): Allow pointer to same incomplete
3238         class type with different cv-quals.
3239
3240 2011-03-03  Paolo Carlini  <paolo.carlini@oracle.com>
3241
3242         PR c++/47974
3243         * pt.c (tsubst_template_args): Check argument t for error_mark_node.
3244
3245 2011-03-03  Jason Merrill  <jason@redhat.com>
3246
3247         PR c++/47950
3248         * pt.c (tsubst_copy_and_build) [TARGET_EXPR]: Retain TREE_CONSTANT.
3249
3250 2011-03-02  Jason Merrill  <jason@redhat.com>
3251
3252         PR c++/47950
3253         * parser.c (cp_parser_condition): Don't fold_non_dependent_expr here.
3254
3255         PR c++/47774
3256         * tree.c (build_vec_init_elt): Split out from...
3257         (build_vec_init_expr): ...here.
3258         (diagnose_non_constexpr_vec_init): New fn.
3259         * semantics.c (potential_constant_expression_1): Use it.
3260         * cp-tree.h: Declare it.
3261
3262 2011-03-01  Jason Merrill  <jason@redhat.com>
3263
3264         PR c++/46159
3265         * parser.c (cp_parser_primary_expression): Don't warn about a
3266         failed tentative parse.
3267
3268         PR c++/47200
3269         * semantics.c (cxx_bind_parameters_in_call): Don't call
3270         adjust_temp_type on non-constant args.
3271
3272         PR c++/47851
3273         * call.c (standard_conversion): Provide requested cv-quals on
3274         class rvalue conversion.
3275
3276         PR c++/46282
3277         * decl2.c (grokbitfield): Handle type-dependent width.
3278
3279 2011-02-28  Jason Merrill  <jason@redhat.com>
3280
3281         PR c++/47873
3282         * class.c (update_vtable_entry_for_fn): Check BINFO_LOST_PRIMARY_P
3283         after checking for a non-thunk.
3284
3285 2011-02-26  Jason Merrill  <jason@redhat.com>
3286
3287         PR c++/47904
3288         * tree.c (cp_tree_equal): Compare DECL_PARM_LEVEL.
3289         * pt.c (iterative_hash_template_arg): And hash it.
3290
3291         PR c++/47897
3292         * semantics.c (non_const_var_error): Split out from...
3293         (cxx_eval_constant_expression): ...here.
3294         (potential_constant_expression_1) [VAR_DECL]: Use it.
3295         Allow dependent variables.
3296
3297 2011-02-24  Jason Merrill  <jason@redhat.com>
3298
3299         * parser.c (cp_parser_constant_expression): Set
3300         non_integral_constant_expression correctly for C++0x too.
3301         (cp_parser_static_assert): Allow non-constant expression.
3302         (cp_parser_direct_declarator): Expect non_constant_p to be set
3303         properly for C++0x.
3304         * pt.c (value_dependent_expression_p): Handle TYPEID_EXPR.
3305         * semantics.c (maybe_constant_value): Check type_unknown_p too.
3306         (potential_rvalue_constant_expression): New.
3307         (require_potential_rvalue_constant_expression): New.
3308
3309 2011-02-23  Jason Merrill  <jason@redhat.com>
3310
3311         * cp-tree.h (DECL_PARM_LEVEL): New.
3312         (struct lang_decl_parm): Add level field.
3313         * name-lookup.c (function_parm_depth): New fn.
3314         * name-lookup.h: Declare it.
3315         * parser.c (cp_parser_parameter_declaration_list): Use it.
3316         * mangle.c (struct globals): Add parm_depth field.
3317         (write_bare_function_type): Adjust it.
3318         (write_expression): Include the level delta in PARM_DECL mangling
3319         for abi >= 6.
3320
3321         * semantics.c (finish_decltype_type): Remove shortcut for decltype
3322         of id-expression.
3323         * mangle.c (write_type) [DECLTYPE_TYPE]: Strip it here for abi < 6.
3324
3325 2011-02-23  Nathan Froyd  <froydnj@codesourcery.com>
3326
3327         PR c++/46868
3328         * parser.c (cp_parser_class_specifier): Require a closing brace
3329         to attempt error recovery.
3330
3331 2011-02-23  Jakub Jelinek  <jakub@redhat.com>
3332
3333         PR c++/47833
3334         * pt.c (struct pending_template): Add chain_next GTY option.
3335         * decl.c (struct named_label_use_entry): Likewise.
3336
3337 2011-02-22  Paolo Carlini  <paolo.carlini@oracle.com>
3338
3339         PR c++/47242
3340         * semantics.c (build_lambda_object): Bail out if a field is
3341         error_mark_node.
3342
3343 2011-02-22  Dodji Seketeli  <dodji@redhat.com>
3344
3345         PR c++/47666
3346         * class.c (dfs_declare_virt_assop_and_dtor)
3347         (declare_virt_assop_and_dtor): New static functions.
3348         (add_implicitly_declared_members): Use
3349         declare_virt_assop_and_dtor.
3350
3351 2011-02-21  Jason Merrill  <jason@redhat.com>
3352
3353         PR c++/47207
3354         * decl2.c (decl_constant_var_p): A constexpr var needs an
3355         initializer to be constant.
3356         * semantics.c (cxx_eval_constant_expression): Complain about
3357         constexpr var used in its own initializer.
3358         * call.c (set_up_extended_ref_temp): Set
3359         DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P too.
3360
3361 2011-02-20  Jason Merrill  <jason@redhat.com>
3362
3363         PR c++/47199
3364         * semantics.c (cxx_eval_call_expression): Call
3365         cxx_eval_constant_expression in trivial shortcut.
3366
3367         PR c++/46831
3368         * call.c (convert_class_to_reference): Don't try to set up a
3369         second conv sequence for non-viable candidates.
3370
3371         PR c++/47703
3372         * error.c (location_of): Handle non-tagged types.
3373
3374         PR c++/46472
3375         * method.c (process_subob_fn): Instantiate constexpr templates.
3376         * optimize.c (maybe_clone_body): Propagate DECL_DECLARED_CONSTEXPR_P.
3377
3378 2011-02-20  Dodji Seketeli  <dodji@redhat.com>
3379
3380         PR c++/46394
3381         * pt.c (tsubst_pack_expansion): do not use
3382         cp_tree_equal/same_type_p to detect an expansion of a parameter
3383         pack.
3384
3385 2011-02-19  Jason Merrill  <jason@redhat.com>
3386
3387         PR c++/47503
3388         * semantics.c (cxx_eval_call_expression): Shortcut trivial copy.
3389
3390 2011-02-18  Paolo Carlini  <paolo.carlini@oracle.com>
3391
3392         PR c++/47795
3393         * semantics.c (finish_non_static_data_member): Early return if
3394         object is error_mark_node.
3395
3396 2011-02-18  Dodji Seketeli  <dodji@redhat.com>
3397
3398         PR c++/47208
3399         * pt.c (do_auto_deduction): Do not mention error_mark_node in
3400         diagnostics.
3401         * semantics.c (finish_id_expression): Do not pass erroneous decl
3402         to decl_constant_var_p.
3403
3404 2011-02-17  Jakub Jelinek  <jakub@redhat.com>
3405
3406         PR c++/47783
3407         * cvt.c (convert_from_reference): Call mark_exp_read.
3408
3409 2011-02-11  Dodji Seketeli  <dodji@redhat.com>
3410
3411         PR c++/47172
3412         * pt.c (finish_call_expr): Consider a call expression that has a
3413         dependent "this" pointer as being dependent.  Add comments.
3414         (dependent_type_p, type_dependent_expression_p): Update comments.
3415
3416 2011-02-16  Dodji Seketeli  <dodji@redhat.com>
3417
3418         PR c++/47326
3419         * pt.c (tsubst_copy)<case SIZEOF_EXPR>: Ensure that even pack
3420         expansion arguments are not evaluated.
3421
3422 2011-02-16  Jakub Jelinek  <jakub@redhat.com>
3423
3424         PR c++/47704
3425         * cp-tree.h (ENUM_FIXED_UNDERLYING_TYPE_P): Use TYPE_LANG_FLAG_5
3426         instead of TYPE_LANG_FLAG_3.
3427         * pt.c (lookup_template_class): Copy over
3428         ENUM_FIXED_UNDERLYING_TYPE_P.
3429
3430 2011-02-15  Jason Merrill  <jason@redhat.com>
3431
3432         PR c++/46807
3433         * method.c (synthesized_method_walk): Always exit early for
3434         trivial fn in C++98 mode.
3435
3436 2011-02-14  Jason Merrill  <jason@redhat.com>
3437
3438         PR c++/47482
3439         * parser.c (cp_parser_enumerator_definition): Call
3440         fold_non_dependent_expr.
3441
3442 2011-02-09  Jason Merrill  <jason@redhat.com>
3443
3444         * decl.c (cp_make_fname_decl): Set DECL_THIS_STATIC at toplevel.
3445         * semantics.c (finish_fname): Only return the name if we're in
3446         a function.
3447
3448         * decl.c (build_enumerator): Don't perform integral promotions on
3449         non-integral constants.
3450
3451         * cvt.c (convert_to_void): Handle null op1.
3452
3453         * class.c (type_has_constexpr_default_constructor): Make sure the
3454         caller stripped an enclosing array.
3455         * init.c (perform_member_init): Strip arrays before calling it.
3456
3457         PR c++/47511
3458         * semantics.c (potential_constant_expression_1): Handle TEMPLATE_DECL.
3459
3460 2011-02-03  Dodji Seketeli  <dodji@redhat.com>
3461
3462         PR c++/47398
3463         * tree.c (cp_tree_equal)<TEMPLATE_PARM_INDEX>: Take the number of
3464         template parameters in account.
3465
3466 2011-02-03  Nathan Froyd  <froydnj@codesourcery.com>
3467
3468         PR c++/46890
3469         * parser.c (cp_parser_class_specifier): Fix setting of
3470         want_semicolon.
3471
3472 2011-01-31  Jakub Jelinek  <jakub@redhat.com>
3473
3474         PR c++/47416
3475         * semantics.c (build_data_member_initialization): Handle
3476         STATEMENT_LIST always instead of just for CLEANUP_BODY.
3477
3478 2011-01-31  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
3479
3480         * g++spec.c (lang_specific_driver) [HAVE_LD_STATIC_DYNAMIC] Use
3481         LD_STATIC_OPTION, LD_DYNAMIC_OPTION.
3482
3483 2011-01-29  Dodji Seketeli  <dodji@redhat.com>
3484
3485         PR c++/47311
3486         * cp-tree.h (fixup_template_parms): Declare.
3487         * pt.c (end_template_parm_list): Do not fixup template parms here.
3488         (fixup_template_parms): Remove static. Fix typo in the
3489         comments. Remove useless code statement.
3490         (fixup_template_parm): For a template template parameter, fixup
3491         its attributes before fixing up its type.
3492         * parser.c
3493         (cp_parser_template_declaration_after_export): After parsing
3494         template parameters fixup their types.
3495
3496 2011-01-26  Jakub Jelinek  <jakub@redhat.com>
3497
3498         PR c++/47476
3499         * semantics.c (potential_constant_expression_1): Handle
3500         TRUTH_XOR_EXPR.
3501
3502 2011-01-26  Dave Korn  <dave.korn.cygwin@gmail.com>
3503
3504         PR c++/43601
3505         * semantics.c (expand_or_defer_fn_1): Handle it.
3506         * decl2.c (decl_needed_p): Likewise.
3507
3508 2011-01-21  Jason Merrill  <jason@redhat.com>
3509
3510         PR c++/47041
3511         * semantics.c (build_constexpr_constructor_member_initializers):
3512         Handle trivial copy.
3513
3514 2011-01-21  Jakub Jelinek  <jakub@redhat.com>
3515
3516         PR c++/47388
3517         * semantics.c (begin_for_stmt): If -fno-for-scope, don't
3518         assume init must be NULL if scope is NULL.
3519         (begin_range_for_stmt): Likewise.
3520
3521 2011-01-21  Jason Merrill  <jason@redhat.com>
3522
3523         PR c++/46552
3524         * semantics.c (cxx_eval_constant_expression): Handle OFFSET_REF.
3525
3526         PR c++/46977
3527         * semantics.c (potential_constant_expression_1): Split out from
3528         potential_constant_expression.  Add want_rval parm.  Handle
3529         template expression forms.  Don't enforce restriction on address
3530         of automatic variable here.  Add a couple of diagnostics that
3531         had been missing.
3532         (require_potential_constant_expression): New entry point.
3533         (build_data_member_initialization, register_constexpr_fundef): Adjust.
3534         (maybe_constant_value): Check potential_constant_expression.
3535         * pt.c (fold_non_dependent_expr_sfinae): Likewise.
3536         * tree.c (build_vec_init_expr): Adjust.
3537
3538 2011-01-19  Jakub Jelinek  <jakub@redhat.com>
3539
3540         PR c++/47303
3541         * decl2.c (finish_anon_union): Only call mangle_decl if TREE_STATIC
3542         or DECL_EXTERNAL.
3543
3544 2011-01-17  Jason Merrill  <jason@redhat.com>
3545
3546         PR c++/47067
3547         * semantics.c (base_field_constructor_elt): New fn.
3548         (cxx_eval_bare_aggregate): Use it.
3549         (build_data_member_initialization): Leave COMPONENT_REF for
3550         vfield inits.
3551
3552 2011-01-14  Rodrigo Rivas Costa <rodrigorivascosta@gmail.com>
3553
3554         * parser.c (cp_parser_range_for): Remove the "unused variable" warning
3555         workaround.
3556
3557 2011-01-15  Giovanni Funchal  <gafunchal@gmail.com>
3558             Jonathan Wakely  <jwakely.gcc@gmail.com>
3559
3560         PR c++/33558
3561         * decl.c (grokdeclarator): Reject mutable reference members.
3562
3563 2011-01-14  Jason Merrill  <jason@redhat.com>
3564
3565         PR c++/47289
3566         * pt.c (coerce_template_parms): Fix error recovery.
3567
3568         PR c++/46903
3569         * typeck2.c (check_narrowing): Only check arithmetic types.
3570
3571         PR c++/46688
3572         * tree.c (build_vec_init_expr): Handle flexible array
3573         properly.
3574
3575 2011-01-13  Kai Tietz  <kai.tietz@onevision.com>
3576
3577         PR c++/47213
3578         * cp-tree.h (CLASSTYPE_VISIBILITY): Use
3579         TYPE_MAIN_DECL instead of TYPE_NAME.
3580         (CLASSTYPE_VISIBILITY_SPECIFIED): Likewise.
3581         * decl2.c (determine_visibility): Add check
3582         of CLASS_TYPE_P for underlying_type.
3583
3584 2011-01-12  Rodrigo Rivas Costa <rodrigorivascosta@gmail.com>
3585
3586         * cp-tree.h (begin_for_scope): New prototype.
3587         (begin_for_stmt): Update prototype.
3588         (begin_range_for_stmt): Update prototype.
3589         * init.c (build_vec_init): Update call to begin_for_stmt.
3590         * parser.c (cp_parser_for): New.
3591         (cp_parser_c_for): Add three new parameters.
3592         (cp_parser_range_for): Likewise. Most parsing code removed.
3593         (cp_parser_iteration_statement): Call cp_parser_for instead of
3594         cp_parser_c_for and cp_parser_range_for.
3595         (cp_parser_for_init_statement): Add new parameter and return type.
3596         (cp_parser_block_declaration): Update call to
3597         cp_parser_simple_declaration.
3598         (cp_parser_simple_declaration): Add new parameter.
3599         Update call to cp_parser_init_declarator.
3600         (cp_parser_init_declarator): Add new parameter.
3601         * pt.c (tsubst_expr): Update call to begin_for_stmt.
3602         * semantics.c (begin_for_scope): New.
3603         (begin_for_stmt): Add two new parameters.
3604         (begin_range_for_stmt): Likewise.
3605
3606 2011-01-12  Nicola Pero  <nicola.pero@meta-innovation.com>
3607
3608         * parser.c (cp_parser_objc_at_property_declaration): Improved
3609         error message.
3610
3611 2011-01-11  Dodji Seketeli  <dodji@redhat.com>
3612
3613         PR debug/46955
3614         * cp-lang.c (get_template_innermost_arguments_folded)
3615         (get_template_argument_pack_elems_folded)
3616         (template_arg_needs_folding, fold_cplus_constants): New static
3617         functions.
3618         (LANG_HOOKS_GET_INNERMOST_GENERIC_ARGS): Set this hook to
3619         get_template_innermost_arguments_folded.
3620         (LANG_HOOKS_GET_ARGUMENT_PACK_ELEMS): Set this hook to
3621         get_template_argument_pack_elems_folded.
3622
3623 2011-01-11  Jason Merrill  <jason@redhat.com>
3624
3625         PR c++/46658
3626         * init.c (build_new_1): Handle value-init in templates differently.
3627
3628         PR c++/45520
3629         * tree.c (maybe_dummy_object): Check current_class_ref against
3630         context, not current_class_type.
3631
3632 2011-01-08  Nicola Pero  <nicola.pero@meta-innovation.com>
3633
3634         PR objc/47078
3635         * parser.c (cp_parser_objc_typename): If the type is unknown, for
3636         error recovery purposes behave as if it was not specified so that
3637         the default type is used.
3638
3639 2011-01-07  Jakub Jelinek  <jakub@redhat.com>
3640
3641         PR c++/47022
3642         * pt.c (tsubst_copy_and_build): Use tsubst instead of tsubst_copy
3643         for the second build_x_va_arg argument.
3644
3645 2011-01-05  Tom Tromey  <tromey@redhat.com>
3646
3647         * typeck.c (cp_build_addr_expr_1): Update call to lvalue_error.
3648         (lvalue_or_else): Likewise.
3649
3650 2011-01-01  Kai Tietz  <kai.tietz@onevision.com>
3651
3652         PR target/38662
3653         * tree.c (cxx_type_hash_eq):
3654         Allow METHOD_TYPE, too.
3655
3656 \f
3657 Copyright (C) 2011 Free Software Foundation, Inc.
3658
3659 Copying and distribution of this file, with or without modification,
3660 are permitted in any medium without royalty provided the copyright
3661 notice and this notice are preserved.