gcc/cp/ChangeLog

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