gcc/cp/ChangeLog

   1 2011-03-29  Jason Merrill  <jason@redhat.com>
   2
   3         * semantics.c (is_valid_constexpr_fn): Specify input location.
   4
   5 2011-03-28  Jason Merrill  <jason@redhat.com>
   6
   7         PR c++/48313
   8         * pt.c (maybe_adjust_types_for_deduction): Handle T&& deduction
   9         from overloaded function.
  10
  11         Core 1232
  12         * call.c (build_array_conv): New.
  13         (implicit_conversion): Use it.
  14
  15         * call.c (reference_binding): Allow direct binding to an array
  16         rvalue.
  17
  18         Core 898
  19         * parser.c (cp_parser_compound_statement): Add function_body parm.
  20         Complain about non-body compound-stmt in constexpr fn.
  21         (cp_parser_primary_expression, cp_parser_statement): Adjust.
  22         (cp_parser_implicitly_scoped_statement): Adjust.
  23         (cp_parser_function_body, cp_parser_try_block): Adjust.
  24         (cp_parser_handler, cp_parser_objc_synchronized_statement): Adjust.
  25         (cp_parser_objc_try_catch_finally_statement): Adjust.
  26
  27         Core 898
  28         * semantics.c (constexpr_fn_retval): New.  Allow using-declaration
  29         and using-definition.
  30         (register_constexpr_fundef): Call it.
  31
  32         * except.c (build_noexcept_spec): Call cxx_constant_value after
  33         converting to bool.
  34
  35 2011-03-25  Kai Tietz  <ktietz@redhat.com>
  36
  37         * lex.c (interface_strcmp): Handle dos-paths.
  38         (handle_pragma_implementation): Use filename_cmp instead of
  39         strcmp.
  40         (in_main_input_context): Likewise.
  41
  42 2011-03-25  Jason Merrill  <jason@redhat.com>
  43
  44         Core 1135
  45         * method.c (defaulted_late_check): Check for exception spec mismatch.
  46         (defaultable_fn_check): Allow exception spec and virtual.
  47         * class.c (check_for_override): A virtual dtor is non-trivial.
  48
  49         PR c++/48289
  50         * pt.c (build_non_dependent_expr): Keep dereferences outside the
  51         NON_DEPENDENT_EXPR.
  52
  53 2011-03-25  Kai Tietz  <ktietz@redhat.com>
  54
  55         * decl.c (decls_match): Replace target hook
  56         call of comp_type_attributes by version in tree.c file.
  57         * search.c (check_final_overrider): Likewise.
  58         * typeck.c (structural_comptypes): Likewise.
  59
  60 2011-03-21  Kai Tietz  <ktietz@redhat.com>
  61
  62         PR target/12171
  63         * cxx-pretty-print.c (pp_cxx_ptr_operator):
  64         Display allowed attributes for function pointer types.
  65         * error.c (dump_type_prefix): Likewise.
  66
  67         * tree.c (cxx_attribute_table): Adjust table.
  68
  69 2011-03-18  Jason Merrill  <jason@redhat.com>
  70
  71         PR c++/48162
  72         * semantics.c (finish_call_expr): Allow TARGET_EXPR for now.
  73
  74         PR c++/48118
  75         * call.c (build_over_call): Don't skip ck_rvalue.
  76
  77 2011-03-17  Jason Merrill  <jason@redhat.com>
  78
  79         PR c++/47504
  80         * semantics.c (cxx_eval_constant_expression) [NOP_EXPR]: Don't let
  81         the conversion set TREE_OVERFLOW.
  82
  83         Core 1212
  84         * semantics.c (finish_decltype_type): Return T&& for xvalue.
  85         * typeck.c (unlowered_expr_type): Preserve cv-quals.
  86
  87         PR c++/48166
  88         * decl.c (revert_static_member_fn): Strip function-cv-quals.
  89
  90 2011-03-16  Jason Merrill  <jason@redhat.com>
  91
  92         PR c++/48089
  93         * semantics.c (potential_constant_expression_1): Don't allow *this
  94         in a constructor.
  95         (register_constexpr_fundef): Use potential_rvalue_constant_expression.
  96
  97         PR c++/47301
  98         * decl.c (compute_array_index_type): Don't bother trying to deal
  99         with literal classes in ABI v1.
 100
 101         PR c++/46336
 102         * decl.c (duplicate_decls): Return NULL_TREE for clashing
 103         C functions.
 104
 105         PR c++/47570
 106         * semantics.c (cxx_eval_constant_expression) [COMPOUND_EXPR]: Don't
 107         use the generic binary expression handling.
 108
 109 2011-03-16  Diego Novillo  <dnovillo@google.com>
 110
 111         * Make-lang.in (CXX_PARSER_H): New.
 112         (cp/parser.o): Add dependency on CXX_PARSER_H.
 113         Add dependency on tree-pretty-print.h
 114         (cp/cp-lang.o): Add dependency on CXX_PARSER_H.
 115         * cp-lang.c: Include parser.h.
 116         * parser.c: Include parser.h.
 117         (struct cp_token): Add bitfield purged_p.
 118         Update all users.
 119         Move to parser.h.
 120         (CPP_PURGED): Remove.  Update all users.
 121         (struct cp_lexer): Change field buffer to be a VEC of cp_token.
 122         Remove field buffer_length.
 123         Update all users.
 124         Move to parser.h.
 125         (struct tree_check): Move to parser.h.
 126         (cp_token_position): Likewise.
 127         (struct cp_token_cache): Likewise.
 128         (CPP_KEYWORD): Likewise.
 129         (CPP_TEMPLATE_ID): Likewise.
 130         (CPP_NESTED_NAME_SPECIFIER): Likewise.
 131         (N_CP_TTYPES): Likewise.
 132         (enum cp_parser_status_kind): Likewise.
 133         (struct cp_parser_context): Likewise.
 134         (struct cp_default_arg_entry_d): Likewise.
 135         (struct cp_unparsed_functions_entry_d): Likewise.
 136         (struct cp_parser): Likewise.
 137         (cp_lexer_dump_tokens): New.
 138         (cp_lexer_debug_tokens): New.
 139         (cp_lexer_finished_p): New.
 140         (cp_lexer_alloc): Factor out of cp_lexer_new_main.
 141         (cp_lexer_new_main): Re-write main lexing loop to push
 142         tokens into the new VEC buffer.
 143         (cp_lexer_print_token): Improve printing of CPP_NUMBER tokens.
 144         Do not abort if the token type is not recognized, just print
 145         its code.
 146         * parser.h: New file.
 147         * config-lang.in (gtfiles): Add cp/parser.h.
 148
 149 2011-03-16  Jason Merrill  <jason@redhat.com>
 150
 151         Core 1148
 152         * typeck.c (check_return_expr): Fix conditions for setting
 153         LOOKUP_PREFER_RVALUE.
 154
 155         * call.c (build_over_call): Remove require_complete_type_sfinae call.
 156
 157         PR c++/48132
 158         * decl.c (check_array_designated_initializer): Allow integer index.
 159         (reshape_init_array_1): Set index on the elements.
 160
 161 2011-03-16  Jason Merrill  <jason@redhat.com>
 162
 163         PR c++/48113
 164         * typeck.c (convert_for_initialization): Use
 165         perform_implicit_conversion_flags.
 166         * call.c (standard_conversion): If LOOKUP_PREFER_RVALUE, set
 167         rvaluedness_matches_p on ck_rvalue.
 168         (convert_like_real) [ck_rvalue]: And restore it here.
 169
 170         PR c++/48115
 171         * call.c (convert_arg_to_ellipsis): Handle incomplete type.
 172
 173 2011-03-16  Jason Merrill  <jason@redhat.com>
 174
 175         * parser.c (cp_parser_abort_tentative_parse): Make sure we haven't
 176         committed to this tentative parse.
 177
 178         PR c++/47999
 179         * semantics.c (finish_call_expr): Preserve reference semantics
 180         in templates.
 181
 182         * call.c (convert_default_arg): Use LOOKUP_IMPLICIT.
 183
 184 2011-03-16  Jakub Jelinek  <jakub@redhat.com>
 185
 186         * cp-objcp-common.c (cp_function_decl_explicit_p): Don't crash if
 187         DECL_LANG_SPECIFIC is NULL.
 188
 189 2011-03-15  Jason Merrill  <jason@redhat.com>
 190
 191         Core 1074
 192         * pt.c (value_dependent_expression_p) [NOEXCEPT_EXPR]: Don't
 193         check value_dependent_expression_p on the operand.
 194
 195         * semantics.c (push_cx_call_context): Return bool.
 196         (cxx_eval_call_expression): Handle excess depth.
 197
 198         Core 1191
 199         * method.c (synthesized_method_walk): Cleanups don't affect the
 200         triviality of a constructor, but do affect deletion and exception
 201         specification.
 202
 203 2011-03-15  Rodrigo Rivas Costa  <rodrigorivascosta@gmail.com>
 204
 205         * decl2.c (cp_check_const_attributes): New.
 206         (cplus_decl_attributes): Call cp_check_const_attributes.
 207
 208 2011-03-15  Jason Merrill  <jason@redhat.com>
 209
 210         PR c++/34758
 211         * call.c (convert_default_arg): Use DECL_ORIGIN of fn.  Check for
 212         recursion first.
 213         (push_defarg_context, pop_defarg_context): New.
 214         * parser.c (cp_parser_late_parsing_default_args): Use them.
 215         * cp-tree.h: Declare them.
 216
 217 2011-03-11  Dodji Seketeli  <dodji@redhat.com>
 218
 219         * call.c (add_builtin_candidate)<case INDIRECT_REF>: The type of
 220         the argument of the indirection operator should not be dependent.
 221         Fix the comment.
 222
 223 2011-03-11  Jason Merrill  <jason@redhat.com>
 224
 225         PR c++/47125
 226         * pt.c (tsubst) [TYPENAME_TYPE]: Only give errors if tf_error.
 227
 228         PR c++/47144
 229         * parser.c (cp_parser_template_type_arg): Set
 230         type_definition_forbidden_message.
 231
 232         PR c++/47808
 233         * decl.c (compute_array_index_type): Discard folding
 234         if it didn't produce a constant.
 235
 236 2011-03-11  Jakub Jelinek  <jakub@redhat.com>
 237
 238         PR c++/48035
 239         * init.c (build_zero_init_1): Extracted from build_zero_init.
 240         Add FIELD_SIZE argument, if non-NULL and field bit_position
 241         as not smaller than that, don't add that field's initializer.
 242         Pass DECL_SIZE as last argument to build_zero_init_1
 243         for DECL_FIELD_IS_BASE fields.
 244         (build_zero_init): Use build_zero_init_1.
 245
 246 2011-03-10  Jason Merrill  <jason@redhat.com>
 247
 248         PR c++/48029
 249         * pt.c (iterative_hash_template_arg): Remove special case for
 250         ARRAY_TYPE.
 251
 252         PR c++/47198
 253         * parser.c (cp_parser_single_declaration): Just return if
 254         cp_parser_parse_and_diagnose_invalid_type_name complained.
 255
 256 2011-03-09  Jason Merrill  <jason@redhat.com>
 257
 258         PR c++/44629
 259         * pt.c (unify): An unresolved overload is a nondeduced context.
 260
 261 2011-03-09  Martin Jambor  <mjambor@suse.cz>
 262
 263         PR tree-optimization/47714
 264         * method.c (use_thunk): Clear addressable flag of thunk arguments.
 265
 266 2011-03-08  Dodji Seketeli  <dodji@redhat.com>
 267
 268         PR c++/47705
 269         * pt.c (convert_nontype_argument): Only call decay_conversion on
 270         arrays.
 271
 272 2011-03-08  Jason Merrill  <jason@redhat.com>
 273
 274         PR c++/47488
 275         * mangle.c (write_template_arg_literal) [STRING_CST]: Sorry.
 276
 277         PR c++/47705
 278         * pt.c (convert_nontype_argument): Don't crash on non-pointer
 279         argument to pointer parameter.
 280
 281         PR c++/45651
 282         * pt.c (instantiate_decl): Don't clear DECL_INTERFACE_KNOWN on
 283         !TREE_PUBLIC decls.
 284
 285 2011-03-08  Dodji Seketeli  <dodji@redhat.com>
 286
 287         PR c++/47957
 288         * name-lookup.c (binding_to_template_parms_of_scope_p): Only
 289         consider scopes of primary template definitions.  Adjust comments.
 290
 291 2011-03-07  Jason Merrill  <jason@redhat.com>
 292
 293         PR c++/48003
 294         * pt.c (convert_nontype_argument): Fix -fpermissive allowing
 295         integer overflow.
 296         * semantics.c (potential_constant_expression_1): Check TREE_OVERFLOW.
 297
 298         PR c++/48015
 299         * init.c (constant_value_1): Always require init to be TREE_CONSTANT.
 300
 301         PR c++/48008
 302         * mangle.c (write_type): Strip cv-quals from FUNCTION_TYPE here.
 303         (write_CV_qualifiers_for_type): Not here.
 304
 305 2011-03-06  Joseph Myers  <joseph@codesourcery.com>
 306
 307         * lang-specs.h: Match -save-temps* instead of -save-temps.
 308
 309 2011-03-05  Jason Merrill  <jason@redhat.com>
 310
 311         * mangle.c (write_expression): Change ABI v6 to v5.
 312         (write_type): Likewise.
 313
 314 2011-03-04  Jan Hubicka  <jh@suse.cz>
 315
 316         PR lto/47497
 317         * optimize.c (maybe_clone_body): Update call of cgraph_same_body_alias
 318         and cgraph_add_thunk.
 319         * method.c (make_alias_for_thunk, use_thunk): Likewise.
 320         * mangle.c (mangle_decl): Likewise.
 321
 322 2011-03-04  Jason Merrill  <jason@redhat.com>
 323
 324         PR c++/47971
 325         * pt.c (tsubst_copy_and_build) [PSEUDO_DTOR_EXPR]: Use tsubst for type.
 326         (tsubst_copy) [default]: Just return t if !ENABLE_CHECKING.
 327
 328         PR c++/46220
 329         * search.c (check_final_overrider): Allow pointer to same incomplete
 330         class type with different cv-quals.
 331
 332 2011-03-03  Paolo Carlini  <paolo.carlini@oracle.com>
 333
 334         PR c++/47974
 335         * pt.c (tsubst_template_args): Check argument t for error_mark_node.
 336
 337 2011-03-03  Jason Merrill  <jason@redhat.com>
 338
 339         PR c++/47950
 340         * pt.c (tsubst_copy_and_build) [TARGET_EXPR]: Retain TREE_CONSTANT.
 341
 342 2011-03-02  Jason Merrill  <jason@redhat.com>
 343
 344         PR c++/47950
 345         * parser.c (cp_parser_condition): Don't fold_non_dependent_expr here.
 346
 347         PR c++/47774
 348         * tree.c (build_vec_init_elt): Split out from...
 349         (build_vec_init_expr): ...here.
 350         (diagnose_non_constexpr_vec_init): New fn.
 351         * semantics.c (potential_constant_expression_1): Use it.
 352         * cp-tree.h: Declare it.
 353
 354 2011-03-01  Jason Merrill  <jason@redhat.com>
 355
 356         PR c++/46159
 357         * parser.c (cp_parser_primary_expression): Don't warn about a
 358         failed tentative parse.
 359
 360         PR c++/47200
 361         * semantics.c (cxx_bind_parameters_in_call): Don't call
 362         adjust_temp_type on non-constant args.
 363
 364         PR c++/47851
 365         * call.c (standard_conversion): Provide requested cv-quals on
 366         class rvalue conversion.
 367
 368         PR c++/46282
 369         * decl2.c (grokbitfield): Handle type-dependent width.
 370
 371 2011-02-28  Jason Merrill  <jason@redhat.com>
 372
 373         PR c++/47873
 374         * class.c (update_vtable_entry_for_fn): Check BINFO_LOST_PRIMARY_P
 375         after checking for a non-thunk.
 376
 377 2011-02-26  Jason Merrill  <jason@redhat.com>
 378
 379         PR c++/47904
 380         * tree.c (cp_tree_equal): Compare DECL_PARM_LEVEL.
 381         * pt.c (iterative_hash_template_arg): And hash it.
 382
 383         PR c++/47897
 384         * semantics.c (non_const_var_error): Split out from...
 385         (cxx_eval_constant_expression): ...here.
 386         (potential_constant_expression_1) [VAR_DECL]: Use it.
 387         Allow dependent variables.
 388
 389 2011-02-24  Jason Merrill  <jason@redhat.com>
 390
 391         * parser.c (cp_parser_constant_expression): Set
 392         non_integral_constant_expression correctly for C++0x too.
 393         (cp_parser_static_assert): Allow non-constant expression.
 394         (cp_parser_direct_declarator): Expect non_constant_p to be set
 395         properly for C++0x.
 396         * pt.c (value_dependent_expression_p): Handle TYPEID_EXPR.
 397         * semantics.c (maybe_constant_value): Check type_unknown_p too.
 398         (potential_rvalue_constant_expression): New.
 399         (require_potential_rvalue_constant_expression): New.
 400
 401 2011-02-23  Jason Merrill  <jason@redhat.com>
 402
 403         * cp-tree.h (DECL_PARM_LEVEL): New.
 404         (struct lang_decl_parm): Add level field.
 405         * name-lookup.c (function_parm_depth): New fn.
 406         * name-lookup.h: Declare it.
 407         * parser.c (cp_parser_parameter_declaration_list): Use it.
 408         * mangle.c (struct globals): Add parm_depth field.
 409         (write_bare_function_type): Adjust it.
 410         (write_expression): Include the level delta in PARM_DECL mangling
 411         for abi >= 6.
 412
 413         * semantics.c (finish_decltype_type): Remove shortcut for decltype
 414         of id-expression.
 415         * mangle.c (write_type) [DECLTYPE_TYPE]: Strip it here for abi < 6.
 416
 417 2011-02-23  Nathan Froyd  <froydnj@codesourcery.com>
 418
 419         PR c++/46868
 420         * parser.c (cp_parser_class_specifier): Require a closing brace
 421         to attempt error recovery.
 422
 423 2011-02-23  Jakub Jelinek  <jakub@redhat.com>
 424
 425         PR c++/47833
 426         * pt.c (struct pending_template): Add chain_next GTY option.
 427         * decl.c (struct named_label_use_entry): Likewise.
 428
 429 2011-02-22  Paolo Carlini  <paolo.carlini@oracle.com>
 430
 431         PR c++/47242
 432         * semantics.c (build_lambda_object): Bail out if a field is
 433         error_mark_node.
 434
 435 2011-02-22  Dodji Seketeli  <dodji@redhat.com>
 436
 437         PR c++/47666
 438         * class.c (dfs_declare_virt_assop_and_dtor)
 439         (declare_virt_assop_and_dtor): New static functions.
 440         (add_implicitly_declared_members): Use
 441         declare_virt_assop_and_dtor.
 442
 443 2011-02-21  Jason Merrill  <jason@redhat.com>
 444
 445         PR c++/47207
 446         * decl2.c (decl_constant_var_p): A constexpr var needs an
 447         initializer to be constant.
 448         * semantics.c (cxx_eval_constant_expression): Complain about
 449         constexpr var used in its own initializer.
 450         * call.c (set_up_extended_ref_temp): Set
 451         DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P too.
 452
 453 2011-02-20  Jason Merrill  <jason@redhat.com>
 454
 455         PR c++/47199
 456         * semantics.c (cxx_eval_call_expression): Call
 457         cxx_eval_constant_expression in trivial shortcut.
 458
 459         PR c++/46831
 460         * call.c (convert_class_to_reference): Don't try to set up a
 461         second conv sequence for non-viable candidates.
 462
 463         PR c++/47703
 464         * error.c (location_of): Handle non-tagged types.
 465
 466         PR c++/46472
 467         * method.c (process_subob_fn): Instantiate constexpr templates.
 468         * optimize.c (maybe_clone_body): Propagate DECL_DECLARED_CONSTEXPR_P.
 469
 470 2011-02-20  Dodji Seketeli  <dodji@redhat.com>
 471
 472         PR c++/46394
 473         * pt.c (tsubst_pack_expansion): do not use
 474         cp_tree_equal/same_type_p to detect an expansion of a parameter
 475         pack.
 476
 477 2011-02-19  Jason Merrill  <jason@redhat.com>
 478
 479         PR c++/47503
 480         * semantics.c (cxx_eval_call_expression): Shortcut trivial copy.
 481
 482 2011-02-18  Paolo Carlini  <paolo.carlini@oracle.com>
 483
 484         PR c++/47795
 485         * semantics.c (finish_non_static_data_member): Early return if
 486         object is error_mark_node.
 487
 488 2011-02-18  Dodji Seketeli  <dodji@redhat.com>
 489
 490         PR c++/47208
 491         * pt.c (do_auto_deduction): Do not mention error_mark_node in
 492         diagnostics.
 493         * semantics.c (finish_id_expression): Do not pass erroneous decl
 494         to decl_constant_var_p.
 495
 496 2011-02-17  Jakub Jelinek  <jakub@redhat.com>
 497
 498         PR c++/47783
 499         * cvt.c (convert_from_reference): Call mark_exp_read.
 500
 501 2011-02-11  Dodji Seketeli  <dodji@redhat.com>
 502
 503         PR c++/47172
 504         * pt.c (finish_call_expr): Consider a call expression that has a
 505         dependent "this" pointer as being dependent.  Add comments.
 506         (dependent_type_p, type_dependent_expression_p): Update comments.
 507
 508 2011-02-16  Dodji Seketeli  <dodji@redhat.com>
 509
 510         PR c++/47326
 511         * pt.c (tsubst_copy)<case SIZEOF_EXPR>: Ensure that even pack
 512         expansion arguments are not evaluated.
 513
 514 2011-02-16  Jakub Jelinek  <jakub@redhat.com>
 515
 516         PR c++/47704
 517         * cp-tree.h (ENUM_FIXED_UNDERLYING_TYPE_P): Use TYPE_LANG_FLAG_5
 518         instead of TYPE_LANG_FLAG_3.
 519         * pt.c (lookup_template_class): Copy over
 520         ENUM_FIXED_UNDERLYING_TYPE_P.
 521
 522 2011-02-15  Jason Merrill  <jason@redhat.com>
 523
 524         PR c++/46807
 525         * method.c (synthesized_method_walk): Always exit early for
 526         trivial fn in C++98 mode.
 527
 528 2011-02-14  Jason Merrill  <jason@redhat.com>
 529
 530         PR c++/47482
 531         * parser.c (cp_parser_enumerator_definition): Call
 532         fold_non_dependent_expr.
 533
 534 2011-02-09  Jason Merrill  <jason@redhat.com>
 535
 536         * decl.c (cp_make_fname_decl): Set DECL_THIS_STATIC at toplevel.
 537         * semantics.c (finish_fname): Only return the name if we're in
 538         a function.
 539
 540         * decl.c (build_enumerator): Don't perform integral promotions on
 541         non-integral constants.
 542
 543         * cvt.c (convert_to_void): Handle null op1.
 544
 545         * class.c (type_has_constexpr_default_constructor): Make sure the
 546         caller stripped an enclosing array.
 547         * init.c (perform_member_init): Strip arrays before calling it.
 548
 549         PR c++/47511
 550         * semantics.c (potential_constant_expression_1): Handle TEMPLATE_DECL.
 551
 552 2011-02-03  Dodji Seketeli  <dodji@redhat.com>
 553
 554         PR c++/47398
 555         * tree.c (cp_tree_equal)<TEMPLATE_PARM_INDEX>: Take the number of
 556         template parameters in account.
 557
 558 2011-02-03  Nathan Froyd  <froydnj@codesourcery.com>
 559
 560         PR c++/46890
 561         * parser.c (cp_parser_class_specifier): Fix setting of
 562         want_semicolon.
 563
 564 2011-01-31  Jakub Jelinek  <jakub@redhat.com>
 565
 566         PR c++/47416
 567         * semantics.c (build_data_member_initialization): Handle
 568         STATEMENT_LIST always instead of just for CLEANUP_BODY.
 569
 570 2011-01-31  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
 571
 572         * g++spec.c (lang_specific_driver) [HAVE_LD_STATIC_DYNAMIC] Use
 573         LD_STATIC_OPTION, LD_DYNAMIC_OPTION.
 574
 575 2011-01-29  Dodji Seketeli  <dodji@redhat.com>
 576
 577         PR c++/47311
 578         * cp-tree.h (fixup_template_parms): Declare.
 579         * pt.c (end_template_parm_list): Do not fixup template parms here.
 580         (fixup_template_parms): Remove static. Fix typo in the
 581         comments. Remove useless code statement.
 582         (fixup_template_parm): For a template template parameter, fixup
 583         its attributes before fixing up its type.
 584         * parser.c
 585         (cp_parser_template_declaration_after_export): After parsing
 586         template parameters fixup their types.
 587
 588 2011-01-26  Jakub Jelinek  <jakub@redhat.com>
 589
 590         PR c++/47476
 591         * semantics.c (potential_constant_expression_1): Handle
 592         TRUTH_XOR_EXPR.
 593
 594 2011-01-26  Dave Korn  <dave.korn.cygwin@gmail.com>
 595
 596         PR c++/43601
 597         * semantics.c (expand_or_defer_fn_1): Handle it.
 598         * decl2.c (decl_needed_p): Likewise.
 599
 600 2011-01-21  Jason Merrill  <jason@redhat.com>
 601
 602         PR c++/47041
 603         * semantics.c (build_constexpr_constructor_member_initializers):
 604         Handle trivial copy.
 605
 606 2011-01-21  Jakub Jelinek  <jakub@redhat.com>
 607
 608         PR c++/47388
 609         * semantics.c (begin_for_stmt): If -fno-for-scope, don't
 610         assume init must be NULL if scope is NULL.
 611         (begin_range_for_stmt): Likewise.
 612
 613 2011-01-21  Jason Merrill  <jason@redhat.com>
 614
 615         PR c++/46552
 616         * semantics.c (cxx_eval_constant_expression): Handle OFFSET_REF.
 617
 618         PR c++/46977
 619         * semantics.c (potential_constant_expression_1): Split out from
 620         potential_constant_expression.  Add want_rval parm.  Handle
 621         template expression forms.  Don't enforce restriction on address
 622         of automatic variable here.  Add a couple of diagnostics that
 623         had been missing.
 624         (require_potential_constant_expression): New entry point.
 625         (build_data_member_initialization, register_constexpr_fundef): Adjust.
 626         (maybe_constant_value): Check potential_constant_expression.
 627         * pt.c (fold_non_dependent_expr_sfinae): Likewise.
 628         * tree.c (build_vec_init_expr): Adjust.
 629
 630 2011-01-19  Jakub Jelinek  <jakub@redhat.com>
 631
 632         PR c++/47303
 633         * decl2.c (finish_anon_union): Only call mangle_decl if TREE_STATIC
 634         or DECL_EXTERNAL.
 635
 636 2011-01-17  Jason Merrill  <jason@redhat.com>
 637
 638         PR c++/47067
 639         * semantics.c (base_field_constructor_elt): New fn.
 640         (cxx_eval_bare_aggregate): Use it.
 641         (build_data_member_initialization): Leave COMPONENT_REF for
 642         vfield inits.
 643
 644 2011-01-14  Rodrigo Rivas Costa <rodrigorivascosta@gmail.com>
 645
 646         * parser.c (cp_parser_range_for): Remove the "unused variable" warning
 647         workaround.
 648
 649 2011-01-15  Giovanni Funchal  <gafunchal@gmail.com>
 650             Jonathan Wakely  <jwakely.gcc@gmail.com>
 651
 652         PR c++/33558
 653         * decl.c (grokdeclarator): Reject mutable reference members.
 654
 655 2011-01-14  Jason Merrill  <jason@redhat.com>
 656
 657         PR c++/47289
 658         * pt.c (coerce_template_parms): Fix error recovery.
 659
 660         PR c++/46903
 661         * typeck2.c (check_narrowing): Only check arithmetic types.
 662
 663         PR c++/46688
 664         * tree.c (build_vec_init_expr): Handle flexible array
 665         properly.
 666
 667 2011-01-13  Kai Tietz  <kai.tietz@onevision.com>
 668
 669         PR c++/47213
 670         * cp-tree.h (CLASSTYPE_VISIBILITY): Use
 671         TYPE_MAIN_DECL instead of TYPE_NAME.
 672         (CLASSTYPE_VISIBILITY_SPECIFIED): Likewise.
 673         * decl2.c (determine_visibility): Add check
 674         of CLASS_TYPE_P for underlying_type.
 675
 676 2011-01-12  Rodrigo Rivas Costa <rodrigorivascosta@gmail.com>
 677
 678         * cp-tree.h (begin_for_scope): New prototype.
 679         (begin_for_stmt): Update prototype.
 680         (begin_range_for_stmt): Update prototype.
 681         * init.c (build_vec_init): Update call to begin_for_stmt.
 682         * parser.c (cp_parser_for): New.
 683         (cp_parser_c_for): Add three new parameters.
 684         (cp_parser_range_for): Likewise. Most parsing code removed.
 685         (cp_parser_iteration_statement): Call cp_parser_for instead of
 686         cp_parser_c_for and cp_parser_range_for.
 687         (cp_parser_for_init_statement): Add new parameter and return type.
 688         (cp_parser_block_declaration): Update call to
 689         cp_parser_simple_declaration.
 690         (cp_parser_simple_declaration): Add new parameter.
 691         Update call to cp_parser_init_declarator.
 692         (cp_parser_init_declarator): Add new parameter.
 693         * pt.c (tsubst_expr): Update call to begin_for_stmt.
 694         * semantics.c (begin_for_scope): New.
 695         (begin_for_stmt): Add two new parameters.
 696         (begin_range_for_stmt): Likewise.
 697
 698 2011-01-12  Nicola Pero  <nicola.pero@meta-innovation.com>
 699
 700         * parser.c (cp_parser_objc_at_property_declaration): Improved
 701         error message.
 702
 703 2011-01-11  Dodji Seketeli  <dodji@redhat.com>
 704
 705         PR debug/46955
 706         * cp-lang.c (get_template_innermost_arguments_folded)
 707         (get_template_argument_pack_elems_folded)
 708         (template_arg_needs_folding, fold_cplus_constants): New static
 709         functions.
 710         (LANG_HOOKS_GET_INNERMOST_GENERIC_ARGS): Set this hook to
 711         get_template_innermost_arguments_folded.
 712         (LANG_HOOKS_GET_ARGUMENT_PACK_ELEMS): Set this hook to
 713         get_template_argument_pack_elems_folded.
 714
 715 2011-01-11  Jason Merrill  <jason@redhat.com>
 716
 717         PR c++/46658
 718         * init.c (build_new_1): Handle value-init in templates differently.
 719
 720         PR c++/45520
 721         * tree.c (maybe_dummy_object): Check current_class_ref against
 722         context, not current_class_type.
 723
 724 2011-01-08  Nicola Pero  <nicola.pero@meta-innovation.com>
 725
 726         PR objc/47078
 727         * parser.c (cp_parser_objc_typename): If the type is unknown, for
 728         error recovery purposes behave as if it was not specified so that
 729         the default type is used.
 730
 731 2011-01-07  Jakub Jelinek  <jakub@redhat.com>
 732
 733         PR c++/47022
 734         * pt.c (tsubst_copy_and_build): Use tsubst instead of tsubst_copy
 735         for the second build_x_va_arg argument.
 736
 737 2011-01-05  Tom Tromey  <tromey@redhat.com>
 738
 739         * typeck.c (cp_build_addr_expr_1): Update call to lvalue_error.
 740         (lvalue_or_else): Likewise.
 741
 742 2011-01-01  Kai Tietz  <kai.tietz@onevision.com>
 743
 744         PR target/38662
 745         * tree.c (cxx_type_hash_eq):
 746         Allow METHOD_TYPE, too.
 747
 748 \f
 749 Copyright (C) 2011 Free Software Foundation, Inc.
 750
 751 Copying and distribution of this file, with or without modification,
 752 are permitted in any medium without royalty provided the copyright
 753 notice and this notice are preserved.