gcc/cp/ChangeLog

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