gcc/cp/ChangeLog

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