gcc/cp/ChangeLog

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