gcc/cp/ChangeLog

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