gcc/cp/ChangeLog

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