gcc/cp/ChangeLog

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