gcc/cp/ChangeLog

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