gcc/cp/ChangeLog

   1 2011-04-18  Jason Merrill  <jason@redhat.com>
   2
   3         PR c++/48537
   4         * init.c (build_value_init): Handle UNION_TYPE the same.
   5
   6 2011-04-18  Jakub Jelinek  <jakub@redhat.com>
   7
   8         PR c++/48632
   9         * parser.c (cp_parser_omp_for_loop): Don't use cp_parser_omp_for_incr
  10         for type dependent pointers.
  11
  12 2011-04-18  Jim Meyering  <meyering@redhat.com>
  13
  14         * pt.c (type_unification_real): Fix typo in comment: s/in in/in/.
  15
  16 2011-04-17  Jan Hubicka  <jh@suse.cz>
  17
  18         * semantics.c (finish_goto_stmt): Do set UNINLINABLE flag on computed
  19         gotos.
  20
  21 2011-04-17  Jason Merrill  <jason@redhat.com>
  22
  23         PR c++/48531
  24         * typeck2.c (build_functional_cast): Disallow array type.
  25
  26         * tree.c (get_target_expr): Handle VEC_INIT_EXPR.
  27
  28 2011-04-17  Jan Hubicka  <jh@suse.cz>
  29
  30         * class.c (cp_fold_obj_type_ref): Drop vtable_method.
  31
  32 2011-04-15  Rodrigo Rivas Costa <rodrigorivascosta@gmail.com>
  33
  34         Implement N3271
  35         * parser.c (cp_convert_range_for): Split into
  36         cp_parser_perform_range_for_lookup.
  37         (cp_parser_perform_range_for_lookup): New.
  38         (cp_parser_range_for_member_function): New.
  39         (cp_parser_for_init_statement): Correct error message.
  40         * semantics.c (finish_call_expr): Accept COMPONENT_REF.
  41
  42 2011-04-14  Nicola Pero  <nicola.pero@meta-innovation.com>
  43
  44         * parser.c (cp_parser_objc_protocol_declaration): Updated for
  45         change from objc_declare_protocols() to objc_declare_protocol().
  46
  47 2011-04-14  Nathan Froyd  <froydnj@codesourcery.com>
  48
  49         PR objc++/48479
  50         * typeck.c (cxx_mark_addressable) [CONST_DECL]: Mark addressable
  51         and return immediately.
  52
  53 2011-04-14  Nathan Froyd  <froydnj@codesourcery.com>
  54
  55         * cp-tree.def (SWITCH_STMT): Add an extra operand.
  56         * cp-objcp-common.c (cp_common_init_ts): Mark it as TS_TYPED.
  57         * cp-tree.h (SWITCH_STMT_SCOPE): Define.
  58         * semantics.c (begin_switch__stmt): Pass scope to build_stmt.
  59         (finish_switch_stmt): Use SWITCH_STMT_SCOPE instead of TREE_CHAIN.
  60
  61 2011-04-14  Nathan Froyd  <froydnj@codesourcery.com>
  62
  63         * cp-tree.def (IF_STMT): Add an extra operand.
  64         * cp-objcp-common.c (cp_common_init_ts): Mark it as TS_TYPED.
  65         * cp-tree.h (IF_SCOPE): Define.
  66         * semantics.c (begin_if_stmt): Pass scope to build_stmt.
  67         (finish_if_stmt): Use IF_SCOPE instead of TREE_CHAIN.
  68
  69 2011-04-14  Nathan Froyd  <froydnj@codesourcery.com>
  70
  71         * cp-tree.def (FOR_STMT, RANGE_FOR_STMT): Add an extra operand.
  72         * cp-objcp-common.c (cp_common_init_ts): Mark them as TS_TYPED.
  73         * cp-tree.h (FOR_SCOPE, RANGE_FOR_SCOPE): Define.
  74         * semantics.c (begin_for_stmt): Pass an extra arg to build_stmt.
  75         Use FOR_SCOPE instead of TREE_CHAIN.
  76         (begin_range_for_stmt): Likewise, with RANGE_FOR_SCOPE.
  77         (finish_for_stmt): Likewise.
  78
  79 2011-04-14  Jason Merrill  <jason@redhat.com>
  80
  81         * parser.c (cp_parser_postfix_expression): Fix flags passed to
  82         build_new_method_call.
  83         * semantics.c (finish_call_expr): Likewise.
  84
  85         PR c++/48531
  86         * init.c (build_value_init_noctor): Check complain consistently.
  87
  88         PR c++/48557
  89         * typeck.c (cp_build_binary_op): Don't decay void operands.
  90
  91         PR c++/48446
  92         * decl.c (compute_array_index_type): Use get_temp_regvar instead
  93         of variable_size.
  94         * init.c (get_temp_regvar): No longer static.
  95         * cp-tree.h: Declare it.
  96
  97 2011-04-14  Nicola Pero  <nicola.pero@meta-innovation.com>
  98
  99         * parser.c (cp_parser_objc_class_declaration): Updated for change
 100         in objc_declare_class().
 101
 102 2011-04-14  Nathan Froyd  <froydnj@codesourcery.com>
 103
 104         * decl.c (poplevel): Use block_chainon.
 105
 106 2011-04-13  Jason Merrill  <jason@redhat.com>
 107
 108         PR c++/48594
 109         * decl2.c (build_offset_ref_call_from_tree): Fix calling a functor
 110         or pointer to (non-member) function.
 111
 112 2011-04-13  Jakub Jelinek  <jakub@redhat.com>
 113
 114         PR c++/48570
 115         * semantics.c (cxx_eval_array_reference): Handle reading from
 116         wchar_t, char16_t and char32_t STRING_CST.
 117
 118 2011-04-13  Dodji Seketeli  <dodji@redhat.com>
 119
 120         PR c++/48574
 121         * class.c (fixed_type_or_null): We cannot determine the dynamic
 122         type of a reference variable if its initializer is dependent.
 123
 124 2011-04-13  Jason Merrill  <jason@redhat.com>
 125
 126         PR c++/48581
 127         * pt.c (tsubst_copy_and_build) [CALL_EXPR]: Don't complain about
 128         unqualified lookup failing if we're still in a template.
 129
 130 2011-04-12  Nathan Froyd  <froydnj@codesourcery.com>
 131
 132         * cp-lang.c (cp_init_ts): Call cp_common_init_ts.  Move
 133         tree_contains_struct initialization to...
 134         * cp-objcp-common.c (cp_common_init_ts): ...here.  Use MARK_*
 135         macros.
 136         * cp-objcp-common.h (cp_common_init_ts): Declare.
 137         * cp-tree.h (union lang_tree_node): Check for TS_COMMON before
 138         calling TREE_CHAIN.
 139
 140 2011-04-12  Nicola Pero  <nicola.pero@meta-innovation.com>
 141
 142         * parser.c (cp_parser_objc_message_expression): Updated call
 143         to objc_build_message_expr.
 144
 145 2011-04-12  Martin Jambor  <mjambor@suse.cz>
 146
 147         * class.c (cp_fold_obj_type_ref): Call cgraph_get_node instead of
 148         cgraph_get_create_node.
 149         * decl2.c (cp_write_global_declarations): Call cgraph_get_node
 150         instead of cgraph_get_create_node.
 151         * method.c (make_alias_for_thunk): Call cgraph_get_node
 152         instead of cgraph_get_create_node, assert it returns non-NULL.
 153         (use_thunk): Likewise.
 154         * optimize.c (maybe_clone_body): Call cgraph_same_body_alias only
 155         when flag_syntax_only is not set.  Call cgraph_get_node instead of
 156         cgraph_get_create_node.
 157         (maybe_clone_body): Call cgraph_get_node instead of
 158         cgraph_get_create_node.
 159
 160 2011-04-12  Martin Jambor  <mjambor@suse.cz>
 161
 162         * class.c (cp_fold_obj_type_ref): Call cgraph_get_create_node
 163         instead of cgraph_node.
 164         * decl2.c (cxx_callgraph_analyze_expr): Likewise.
 165         (cp_write_global_declarations): Likewise.
 166         * optimize.c (maybe_clone_body): Likewise.
 167         * semantics.c (maybe_add_lambda_conv_op): Likewise.
 168         * mangle.c (mangle_decl): Likewise.
 169         * method.c (make_alias_for_thunk): Likewise.
 170         (use_thunk): Likewise.
 171
 172 2011-04-11  Jason Merrill  <jason@redhat.com>
 173
 174         PR c++/48535
 175         * decl.c (cp_complete_array_type_or_error): New.
 176         * semantics.c (finish_compound_literal): Use it.
 177         * cp-tree.h: Declare it.
 178
 179         PR c++/48535
 180         * semantics.c (finish_compound_literal): Handle references.
 181
 182         PR c++/48535
 183         * semantics.c (finish_compound_literal): Take complain parm.
 184         (build_lambda_object): Adjust.
 185         * cp-tree.h: Adjust.
 186         * call.c (convert_like_real): Adjust.
 187         * decl.c (check_initializer): Adjust.
 188         * parser.c (cp_parser_postfix_expression): Adjust.
 189         (cp_parser_functional_cast): Adjust.
 190         * pt.c (tsubst_copy_and_build): Adjust.
 191         * typeck2.c (process_init_constructor_record): Adjust.
 192
 193         PR c++/48534
 194         * cvt.c (ocp_convert): Use build_nop to convert to underlying type
 195         of scoped enum.
 196
 197         PR c++/48523
 198         * tree.c (maybe_dummy_object): Use build_x_indirect_ref rather
 199         than cp_build_indirect_ref.
 200
 201         PR c++/48457, Core 1238
 202         * call.c (reference_binding): Allow rvalue reference to bind to
 203         function lvalue.
 204         * tree.c (lvalue_kind): Functions are always lvalues.
 205
 206 2011-04-07  Jason Merrill  <jason@redhat.com>
 207
 208         PR c++/48500
 209         * semantics.c (potential_constant_expression_1) [CALL_EXPR]: Check
 210         arguments even if we don't know the function.
 211
 212         PR c++/48481
 213         * tree.c (build_overload): Allow an unwrapped FUNCTION_DECL
 214         at the end of the chain.
 215         * pt.c (dependent_template_p): Use OVL_CURRENT/NEXT.
 216         (iterative_hash_template_arg): Likewise.
 217
 218         PR c++/48481
 219         * cp-tree.h (OVL_ARG_DEPENDENT): New.
 220         * name-lookup.c (add_function): Set it.
 221         * semantics.c (finish_call_expr): Free OVERLOADs if it's set.
 222
 223         PR c++/48481
 224         * call.c (build_user_type_conversion_1): Use lookup_fnfields_slot.
 225         Release unused vector.
 226
 227         PR c++/48451
 228         * pt.c (fn_type_unification): Don't clear incomplete pack flag.
 229         (type_unification_real): Clear it here instead.
 230
 231         PR c++/48468
 232         * except.c (build_noexcept_spec): Propagate error_mark_node.
 233         (finish_noexcept_expr): Likewise.
 234
 235         PR c++/48452
 236         * typeck.c (build_x_compound_expr_from_list): Return error_mark_node
 237         in SFINAE context.
 238
 239         PR c++/48450
 240         * call.c (resolve_args): Take complain.
 241         (build_new_function_call, build_operator_new_call): Pass it.
 242         (build_op_call, build_new_op, build_new_method_call): Pass it.
 243
 244         PR c++/48450
 245         * typeck.c (check_for_casting_away_constness): Take complain.
 246         (build_static_cast_1, build_reinterpret_cast_1): Pass it.
 247         (build_const_cast_1): Pass it.  Take full complain parm.
 248         (build_const_cast, cp_build_c_cast): Adjust.
 249
 250         * tree.c (build_aggr_init_expr): Always return error_mark_node
 251         on abstract violation.
 252
 253         PR c++/48450
 254         * tree.c (build_cplus_new, build_aggr_init_expr): Take complain.
 255         (bot_manip): Adjust.
 256         * cp-tree.h: Adjust.
 257         * call.c (convert_like_real, build_cxx_call): Adjust.
 258         (perform_direct_initialization_if_possible): Adjust.
 259         * cvt.c (ocp_convert): Adjust.
 260         * init.c (build_value_init): Adjust.
 261         * semantics.c (maybe_add_lambda_conv_op): Adjust.
 262         * typeck.c (unary_complex_lvalue, cp_build_modify_expr): Adjust.
 263         * typeck2.c (build_functional_cast): Adjust.
 264
 265         * init.c (build_value_init_noctor): Handle REFERENCE_TYPE at top
 266         level.
 267         (perform_member_init): Not here.
 268         * typeck2.c (build_functional_cast): Limit REFERENCE_TYPE special
 269         case to templates.
 270         (abstract_virtuals_error_sfinae): Remove RESULT_DECL special case.
 271
 272         PR c++/48449
 273         * typeck2.c (build_functional_cast): Check complain consistently.
 274         Use build_value_init and abstract_virtuals_error_sfinae.
 275         (abstract_virtuals_error_sfinae): Split out.
 276         * cp-tree.h: Declare it.
 277         * init.c (build_new_1): Use it.
 278         (build_value_init_noctor): Handle FUNCTION_TYPE.
 279
 280         * semantics.c (finish_decltype_type): Simplify handling of unknown
 281         type.
 282
 283         * semantics.c (finish_decltype_type): Add complain parm.
 284         * cp-tree.h: Adjust.
 285         * parser.c (cp_parser_decltype): Adjust.
 286         * pt.c (tsubst): Adjust.
 287
 288         PR c++/48450
 289         * cvt.c (ocp_convert): Handle converting scoped enum to bool.
 290
 291 2011-03-31  Jason Merrill  <jason@redhat.com>
 292
 293         PR c++/48277
 294         * semantics.c (finish_call_expr): Remove assert.
 295
 296         PR c++/48280
 297         * method.c (defaultable_fn_check): Templates are not defaultable.
 298
 299         * parser.c (cp_parser_init_declarator): Avoid redundant
 300         cp_finish_decl for member declarations.
 301
 302 2011-03-30  Jason Merrill  <jason@redhat.com>
 303
 304         PR c++/48212
 305         * semantics.c (non_const_var_error): Just return if DECL_INITIAL
 306         is error_mark_node.
 307
 308 2011-03-30  Jason Merrill  <jason@redhat.com>
 309
 310         PR c++/48369
 311         * semantics.c (potential_constant_expression_1): Handle
 312         UNORDERED_EXPR and ORDERED_EXPR.
 313
 314         PR c++/48281
 315         * semantics.c (finish_compound_literal): Do put static/constant
 316         arrays in static variables.
 317
 318         * call.c (convert_like_real) [ck_list]: Build up the
 319         initializer_list object directly.
 320         * decl.c (build_init_list_var_init): Adjust.
 321
 322         * call.c (convert_like_real): Correct TREE_CONSTANT on CONSTRUCTOR.
 323         * decl.c (reshape_init_array_1): Likewise.
 324
 325 2011-03-29  Jason Merrill  <jason@redhat.com>
 326
 327         PR c++/48265
 328         * pt.c (value_dependent_expression_p) [VAR_DECL]: Make sure
 329         the variable is constant before looking at its initializer.
 330
 331         PR c++/48319
 332         * pt.c (value_dependent_expression_p): Handle TEMPLATE_ID_EXPR.
 333
 334         PR c++/48089
 335         * semantics.c (potential_constant_expression_1): Change error about
 336         use of *this in constructor into sorry.
 337
 338         PR c++/48296
 339         * decl.c (cp_finish_decl): Defer validation of constexpr member
 340         functions.
 341         * class.c (finalize_literal_type_property): Validate them here.
 342         * semantics.c (is_valid_constexpr_fn): Don't check completeness.
 343
 344         * semantics.c (is_valid_constexpr_fn): Specify input location.
 345
 346 2011-03-28  Jason Merrill  <jason@redhat.com>
 347
 348         PR c++/48313
 349         * pt.c (maybe_adjust_types_for_deduction): Handle T&& deduction
 350         from overloaded function.
 351
 352         Core 1232
 353         * call.c (build_array_conv): New.
 354         (implicit_conversion): Use it.
 355
 356         * call.c (reference_binding): Allow direct binding to an array
 357         rvalue.
 358
 359         Core 898
 360         * parser.c (cp_parser_compound_statement): Add function_body parm.
 361         Complain about non-body compound-stmt in constexpr fn.
 362         (cp_parser_primary_expression, cp_parser_statement): Adjust.
 363         (cp_parser_implicitly_scoped_statement): Adjust.
 364         (cp_parser_function_body, cp_parser_try_block): Adjust.
 365         (cp_parser_handler, cp_parser_objc_synchronized_statement): Adjust.
 366         (cp_parser_objc_try_catch_finally_statement): Adjust.
 367
 368         Core 898
 369         * semantics.c (constexpr_fn_retval): New.  Allow using-declaration
 370         and using-definition.
 371         (register_constexpr_fundef): Call it.
 372
 373         * except.c (build_noexcept_spec): Call cxx_constant_value after
 374         converting to bool.
 375
 376 2011-03-25  Kai Tietz  <ktietz@redhat.com>
 377
 378         * lex.c (interface_strcmp): Handle dos-paths.
 379         (handle_pragma_implementation): Use filename_cmp instead of
 380         strcmp.
 381         (in_main_input_context): Likewise.
 382
 383 2011-03-25  Jason Merrill  <jason@redhat.com>
 384
 385         Core 1135
 386         * method.c (defaulted_late_check): Check for exception spec mismatch.
 387         (defaultable_fn_check): Allow exception spec and virtual.
 388         * class.c (check_for_override): A virtual dtor is non-trivial.
 389
 390         PR c++/48289
 391         * pt.c (build_non_dependent_expr): Keep dereferences outside the
 392         NON_DEPENDENT_EXPR.
 393
 394 2011-03-25  Kai Tietz  <ktietz@redhat.com>
 395
 396         * decl.c (decls_match): Replace target hook
 397         call of comp_type_attributes by version in tree.c file.
 398         * search.c (check_final_overrider): Likewise.
 399         * typeck.c (structural_comptypes): Likewise.
 400
 401 2011-03-21  Kai Tietz  <ktietz@redhat.com>
 402
 403         PR target/12171
 404         * cxx-pretty-print.c (pp_cxx_ptr_operator):
 405         Display allowed attributes for function pointer types.
 406         * error.c (dump_type_prefix): Likewise.
 407
 408         * tree.c (cxx_attribute_table): Adjust table.
 409
 410 2011-03-18  Jason Merrill  <jason@redhat.com>
 411
 412         PR c++/48162
 413         * semantics.c (finish_call_expr): Allow TARGET_EXPR for now.
 414
 415         PR c++/48118
 416         * call.c (build_over_call): Don't skip ck_rvalue.
 417
 418 2011-03-17  Jason Merrill  <jason@redhat.com>
 419
 420         PR c++/47504
 421         * semantics.c (cxx_eval_constant_expression) [NOP_EXPR]: Don't let
 422         the conversion set TREE_OVERFLOW.
 423
 424         Core 1212
 425         * semantics.c (finish_decltype_type): Return T&& for xvalue.
 426         * typeck.c (unlowered_expr_type): Preserve cv-quals.
 427
 428         PR c++/48166
 429         * decl.c (revert_static_member_fn): Strip function-cv-quals.
 430
 431 2011-03-16  Jason Merrill  <jason@redhat.com>
 432
 433         PR c++/48089
 434         * semantics.c (potential_constant_expression_1): Don't allow *this
 435         in a constructor.
 436         (register_constexpr_fundef): Use potential_rvalue_constant_expression.
 437
 438         PR c++/47301
 439         * decl.c (compute_array_index_type): Don't bother trying to deal
 440         with literal classes in ABI v1.
 441
 442         PR c++/46336
 443         * decl.c (duplicate_decls): Return NULL_TREE for clashing
 444         C functions.
 445
 446         PR c++/47570
 447         * semantics.c (cxx_eval_constant_expression) [COMPOUND_EXPR]: Don't
 448         use the generic binary expression handling.
 449
 450 2011-03-16  Diego Novillo  <dnovillo@google.com>
 451
 452         * Make-lang.in (CXX_PARSER_H): New.
 453         (cp/parser.o): Add dependency on CXX_PARSER_H.
 454         Add dependency on tree-pretty-print.h
 455         (cp/cp-lang.o): Add dependency on CXX_PARSER_H.
 456         * cp-lang.c: Include parser.h.
 457         * parser.c: Include parser.h.
 458         (struct cp_token): Add bitfield purged_p.
 459         Update all users.
 460         Move to parser.h.
 461         (CPP_PURGED): Remove.  Update all users.
 462         (struct cp_lexer): Change field buffer to be a VEC of cp_token.
 463         Remove field buffer_length.
 464         Update all users.
 465         Move to parser.h.
 466         (struct tree_check): Move to parser.h.
 467         (cp_token_position): Likewise.
 468         (struct cp_token_cache): Likewise.
 469         (CPP_KEYWORD): Likewise.
 470         (CPP_TEMPLATE_ID): Likewise.
 471         (CPP_NESTED_NAME_SPECIFIER): Likewise.
 472         (N_CP_TTYPES): Likewise.
 473         (enum cp_parser_status_kind): Likewise.
 474         (struct cp_parser_context): Likewise.
 475         (struct cp_default_arg_entry_d): Likewise.
 476         (struct cp_unparsed_functions_entry_d): Likewise.
 477         (struct cp_parser): Likewise.
 478         (cp_lexer_dump_tokens): New.
 479         (cp_lexer_debug_tokens): New.
 480         (cp_lexer_finished_p): New.
 481         (cp_lexer_alloc): Factor out of cp_lexer_new_main.
 482         (cp_lexer_new_main): Re-write main lexing loop to push
 483         tokens into the new VEC buffer.
 484         (cp_lexer_print_token): Improve printing of CPP_NUMBER tokens.
 485         Do not abort if the token type is not recognized, just print
 486         its code.
 487         * parser.h: New file.
 488         * config-lang.in (gtfiles): Add cp/parser.h.
 489
 490 2011-03-16  Jason Merrill  <jason@redhat.com>
 491
 492         Core 1148
 493         * typeck.c (check_return_expr): Fix conditions for setting
 494         LOOKUP_PREFER_RVALUE.
 495
 496         * call.c (build_over_call): Remove require_complete_type_sfinae call.
 497
 498         PR c++/48132
 499         * decl.c (check_array_designated_initializer): Allow integer index.
 500         (reshape_init_array_1): Set index on the elements.
 501
 502 2011-03-16  Jason Merrill  <jason@redhat.com>
 503
 504         PR c++/48113
 505         * typeck.c (convert_for_initialization): Use
 506         perform_implicit_conversion_flags.
 507         * call.c (standard_conversion): If LOOKUP_PREFER_RVALUE, set
 508         rvaluedness_matches_p on ck_rvalue.
 509         (convert_like_real) [ck_rvalue]: And restore it here.
 510
 511         PR c++/48115
 512         * call.c (convert_arg_to_ellipsis): Handle incomplete type.
 513
 514 2011-03-16  Jason Merrill  <jason@redhat.com>
 515
 516         * parser.c (cp_parser_abort_tentative_parse): Make sure we haven't
 517         committed to this tentative parse.
 518
 519         PR c++/47999
 520         * semantics.c (finish_call_expr): Preserve reference semantics
 521         in templates.
 522
 523         * call.c (convert_default_arg): Use LOOKUP_IMPLICIT.
 524
 525 2011-03-16  Jakub Jelinek  <jakub@redhat.com>
 526
 527         * cp-objcp-common.c (cp_function_decl_explicit_p): Don't crash if
 528         DECL_LANG_SPECIFIC is NULL.
 529
 530 2011-03-15  Jason Merrill  <jason@redhat.com>
 531
 532         Core 1074
 533         * pt.c (value_dependent_expression_p) [NOEXCEPT_EXPR]: Don't
 534         check value_dependent_expression_p on the operand.
 535
 536         * semantics.c (push_cx_call_context): Return bool.
 537         (cxx_eval_call_expression): Handle excess depth.
 538
 539         Core 1191
 540         * method.c (synthesized_method_walk): Cleanups don't affect the
 541         triviality of a constructor, but do affect deletion and exception
 542         specification.
 543
 544 2011-03-15  Rodrigo Rivas Costa  <rodrigorivascosta@gmail.com>
 545
 546         * decl2.c (cp_check_const_attributes): New.
 547         (cplus_decl_attributes): Call cp_check_const_attributes.
 548
 549 2011-03-15  Jason Merrill  <jason@redhat.com>
 550
 551         PR c++/34758
 552         * call.c (convert_default_arg): Use DECL_ORIGIN of fn.  Check for
 553         recursion first.
 554         (push_defarg_context, pop_defarg_context): New.
 555         * parser.c (cp_parser_late_parsing_default_args): Use them.
 556         * cp-tree.h: Declare them.
 557
 558 2011-03-11  Dodji Seketeli  <dodji@redhat.com>
 559
 560         * call.c (add_builtin_candidate)<case INDIRECT_REF>: The type of
 561         the argument of the indirection operator should not be dependent.
 562         Fix the comment.
 563
 564 2011-03-11  Jason Merrill  <jason@redhat.com>
 565
 566         PR c++/47125
 567         * pt.c (tsubst) [TYPENAME_TYPE]: Only give errors if tf_error.
 568
 569         PR c++/47144
 570         * parser.c (cp_parser_template_type_arg): Set
 571         type_definition_forbidden_message.
 572
 573         PR c++/47808
 574         * decl.c (compute_array_index_type): Discard folding
 575         if it didn't produce a constant.
 576
 577 2011-03-11  Jakub Jelinek  <jakub@redhat.com>
 578
 579         PR c++/48035
 580         * init.c (build_zero_init_1): Extracted from build_zero_init.
 581         Add FIELD_SIZE argument, if non-NULL and field bit_position
 582         as not smaller than that, don't add that field's initializer.
 583         Pass DECL_SIZE as last argument to build_zero_init_1
 584         for DECL_FIELD_IS_BASE fields.
 585         (build_zero_init): Use build_zero_init_1.
 586
 587 2011-03-10  Jason Merrill  <jason@redhat.com>
 588
 589         PR c++/48029
 590         * pt.c (iterative_hash_template_arg): Remove special case for
 591         ARRAY_TYPE.
 592
 593         PR c++/47198
 594         * parser.c (cp_parser_single_declaration): Just return if
 595         cp_parser_parse_and_diagnose_invalid_type_name complained.
 596
 597 2011-03-09  Jason Merrill  <jason@redhat.com>
 598
 599         PR c++/44629
 600         * pt.c (unify): An unresolved overload is a nondeduced context.
 601
 602 2011-03-09  Martin Jambor  <mjambor@suse.cz>
 603
 604         PR tree-optimization/47714
 605         * method.c (use_thunk): Clear addressable flag of thunk arguments.
 606
 607 2011-03-08  Dodji Seketeli  <dodji@redhat.com>
 608
 609         PR c++/47705
 610         * pt.c (convert_nontype_argument): Only call decay_conversion on
 611         arrays.
 612
 613 2011-03-08  Jason Merrill  <jason@redhat.com>
 614
 615         PR c++/47488
 616         * mangle.c (write_template_arg_literal) [STRING_CST]: Sorry.
 617
 618         PR c++/47705
 619         * pt.c (convert_nontype_argument): Don't crash on non-pointer
 620         argument to pointer parameter.
 621
 622         PR c++/45651
 623         * pt.c (instantiate_decl): Don't clear DECL_INTERFACE_KNOWN on
 624         !TREE_PUBLIC decls.
 625
 626 2011-03-08  Dodji Seketeli  <dodji@redhat.com>
 627
 628         PR c++/47957
 629         * name-lookup.c (binding_to_template_parms_of_scope_p): Only
 630         consider scopes of primary template definitions.  Adjust comments.
 631
 632 2011-03-07  Jason Merrill  <jason@redhat.com>
 633
 634         PR c++/48003
 635         * pt.c (convert_nontype_argument): Fix -fpermissive allowing
 636         integer overflow.
 637         * semantics.c (potential_constant_expression_1): Check TREE_OVERFLOW.
 638
 639         PR c++/48015
 640         * init.c (constant_value_1): Always require init to be TREE_CONSTANT.
 641
 642         PR c++/48008
 643         * mangle.c (write_type): Strip cv-quals from FUNCTION_TYPE here.
 644         (write_CV_qualifiers_for_type): Not here.
 645
 646 2011-03-06  Joseph Myers  <joseph@codesourcery.com>
 647
 648         * lang-specs.h: Match -save-temps* instead of -save-temps.
 649
 650 2011-03-05  Jason Merrill  <jason@redhat.com>
 651
 652         * mangle.c (write_expression): Change ABI v6 to v5.
 653         (write_type): Likewise.
 654
 655 2011-03-04  Jan Hubicka  <jh@suse.cz>
 656
 657         PR lto/47497
 658         * optimize.c (maybe_clone_body): Update call of cgraph_same_body_alias
 659         and cgraph_add_thunk.
 660         * method.c (make_alias_for_thunk, use_thunk): Likewise.
 661         * mangle.c (mangle_decl): Likewise.
 662
 663 2011-03-04  Jason Merrill  <jason@redhat.com>
 664
 665         PR c++/47971
 666         * pt.c (tsubst_copy_and_build) [PSEUDO_DTOR_EXPR]: Use tsubst for type.
 667         (tsubst_copy) [default]: Just return t if !ENABLE_CHECKING.
 668
 669         PR c++/46220
 670         * search.c (check_final_overrider): Allow pointer to same incomplete
 671         class type with different cv-quals.
 672
 673 2011-03-03  Paolo Carlini  <paolo.carlini@oracle.com>
 674
 675         PR c++/47974
 676         * pt.c (tsubst_template_args): Check argument t for error_mark_node.
 677
 678 2011-03-03  Jason Merrill  <jason@redhat.com>
 679
 680         PR c++/47950
 681         * pt.c (tsubst_copy_and_build) [TARGET_EXPR]: Retain TREE_CONSTANT.
 682
 683 2011-03-02  Jason Merrill  <jason@redhat.com>
 684
 685         PR c++/47950
 686         * parser.c (cp_parser_condition): Don't fold_non_dependent_expr here.
 687
 688         PR c++/47774
 689         * tree.c (build_vec_init_elt): Split out from...
 690         (build_vec_init_expr): ...here.
 691         (diagnose_non_constexpr_vec_init): New fn.
 692         * semantics.c (potential_constant_expression_1): Use it.
 693         * cp-tree.h: Declare it.
 694
 695 2011-03-01  Jason Merrill  <jason@redhat.com>
 696
 697         PR c++/46159
 698         * parser.c (cp_parser_primary_expression): Don't warn about a
 699         failed tentative parse.
 700
 701         PR c++/47200
 702         * semantics.c (cxx_bind_parameters_in_call): Don't call
 703         adjust_temp_type on non-constant args.
 704
 705         PR c++/47851
 706         * call.c (standard_conversion): Provide requested cv-quals on
 707         class rvalue conversion.
 708
 709         PR c++/46282
 710         * decl2.c (grokbitfield): Handle type-dependent width.
 711
 712 2011-02-28  Jason Merrill  <jason@redhat.com>
 713
 714         PR c++/47873
 715         * class.c (update_vtable_entry_for_fn): Check BINFO_LOST_PRIMARY_P
 716         after checking for a non-thunk.
 717
 718 2011-02-26  Jason Merrill  <jason@redhat.com>
 719
 720         PR c++/47904
 721         * tree.c (cp_tree_equal): Compare DECL_PARM_LEVEL.
 722         * pt.c (iterative_hash_template_arg): And hash it.
 723
 724         PR c++/47897
 725         * semantics.c (non_const_var_error): Split out from...
 726         (cxx_eval_constant_expression): ...here.
 727         (potential_constant_expression_1) [VAR_DECL]: Use it.
 728         Allow dependent variables.
 729
 730 2011-02-24  Jason Merrill  <jason@redhat.com>
 731
 732         * parser.c (cp_parser_constant_expression): Set
 733         non_integral_constant_expression correctly for C++0x too.
 734         (cp_parser_static_assert): Allow non-constant expression.
 735         (cp_parser_direct_declarator): Expect non_constant_p to be set
 736         properly for C++0x.
 737         * pt.c (value_dependent_expression_p): Handle TYPEID_EXPR.
 738         * semantics.c (maybe_constant_value): Check type_unknown_p too.
 739         (potential_rvalue_constant_expression): New.
 740         (require_potential_rvalue_constant_expression): New.
 741
 742 2011-02-23  Jason Merrill  <jason@redhat.com>
 743
 744         * cp-tree.h (DECL_PARM_LEVEL): New.
 745         (struct lang_decl_parm): Add level field.
 746         * name-lookup.c (function_parm_depth): New fn.
 747         * name-lookup.h: Declare it.
 748         * parser.c (cp_parser_parameter_declaration_list): Use it.
 749         * mangle.c (struct globals): Add parm_depth field.
 750         (write_bare_function_type): Adjust it.
 751         (write_expression): Include the level delta in PARM_DECL mangling
 752         for abi >= 6.
 753
 754         * semantics.c (finish_decltype_type): Remove shortcut for decltype
 755         of id-expression.
 756         * mangle.c (write_type) [DECLTYPE_TYPE]: Strip it here for abi < 6.
 757
 758 2011-02-23  Nathan Froyd  <froydnj@codesourcery.com>
 759
 760         PR c++/46868
 761         * parser.c (cp_parser_class_specifier): Require a closing brace
 762         to attempt error recovery.
 763
 764 2011-02-23  Jakub Jelinek  <jakub@redhat.com>
 765
 766         PR c++/47833
 767         * pt.c (struct pending_template): Add chain_next GTY option.
 768         * decl.c (struct named_label_use_entry): Likewise.
 769
 770 2011-02-22  Paolo Carlini  <paolo.carlini@oracle.com>
 771
 772         PR c++/47242
 773         * semantics.c (build_lambda_object): Bail out if a field is
 774         error_mark_node.
 775
 776 2011-02-22  Dodji Seketeli  <dodji@redhat.com>
 777
 778         PR c++/47666
 779         * class.c (dfs_declare_virt_assop_and_dtor)
 780         (declare_virt_assop_and_dtor): New static functions.
 781         (add_implicitly_declared_members): Use
 782         declare_virt_assop_and_dtor.
 783
 784 2011-02-21  Jason Merrill  <jason@redhat.com>
 785
 786         PR c++/47207
 787         * decl2.c (decl_constant_var_p): A constexpr var needs an
 788         initializer to be constant.
 789         * semantics.c (cxx_eval_constant_expression): Complain about
 790         constexpr var used in its own initializer.
 791         * call.c (set_up_extended_ref_temp): Set
 792         DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P too.
 793
 794 2011-02-20  Jason Merrill  <jason@redhat.com>
 795
 796         PR c++/47199
 797         * semantics.c (cxx_eval_call_expression): Call
 798         cxx_eval_constant_expression in trivial shortcut.
 799
 800         PR c++/46831
 801         * call.c (convert_class_to_reference): Don't try to set up a
 802         second conv sequence for non-viable candidates.
 803
 804         PR c++/47703
 805         * error.c (location_of): Handle non-tagged types.
 806
 807         PR c++/46472
 808         * method.c (process_subob_fn): Instantiate constexpr templates.
 809         * optimize.c (maybe_clone_body): Propagate DECL_DECLARED_CONSTEXPR_P.
 810
 811 2011-02-20  Dodji Seketeli  <dodji@redhat.com>
 812
 813         PR c++/46394
 814         * pt.c (tsubst_pack_expansion): do not use
 815         cp_tree_equal/same_type_p to detect an expansion of a parameter
 816         pack.
 817
 818 2011-02-19  Jason Merrill  <jason@redhat.com>
 819
 820         PR c++/47503
 821         * semantics.c (cxx_eval_call_expression): Shortcut trivial copy.
 822
 823 2011-02-18  Paolo Carlini  <paolo.carlini@oracle.com>
 824
 825         PR c++/47795
 826         * semantics.c (finish_non_static_data_member): Early return if
 827         object is error_mark_node.
 828
 829 2011-02-18  Dodji Seketeli  <dodji@redhat.com>
 830
 831         PR c++/47208
 832         * pt.c (do_auto_deduction): Do not mention error_mark_node in
 833         diagnostics.
 834         * semantics.c (finish_id_expression): Do not pass erroneous decl
 835         to decl_constant_var_p.
 836
 837 2011-02-17  Jakub Jelinek  <jakub@redhat.com>
 838
 839         PR c++/47783
 840         * cvt.c (convert_from_reference): Call mark_exp_read.
 841
 842 2011-02-11  Dodji Seketeli  <dodji@redhat.com>
 843
 844         PR c++/47172
 845         * pt.c (finish_call_expr): Consider a call expression that has a
 846         dependent "this" pointer as being dependent.  Add comments.
 847         (dependent_type_p, type_dependent_expression_p): Update comments.
 848
 849 2011-02-16  Dodji Seketeli  <dodji@redhat.com>
 850
 851         PR c++/47326
 852         * pt.c (tsubst_copy)<case SIZEOF_EXPR>: Ensure that even pack
 853         expansion arguments are not evaluated.
 854
 855 2011-02-16  Jakub Jelinek  <jakub@redhat.com>
 856
 857         PR c++/47704
 858         * cp-tree.h (ENUM_FIXED_UNDERLYING_TYPE_P): Use TYPE_LANG_FLAG_5
 859         instead of TYPE_LANG_FLAG_3.
 860         * pt.c (lookup_template_class): Copy over
 861         ENUM_FIXED_UNDERLYING_TYPE_P.
 862
 863 2011-02-15  Jason Merrill  <jason@redhat.com>
 864
 865         PR c++/46807
 866         * method.c (synthesized_method_walk): Always exit early for
 867         trivial fn in C++98 mode.
 868
 869 2011-02-14  Jason Merrill  <jason@redhat.com>
 870
 871         PR c++/47482
 872         * parser.c (cp_parser_enumerator_definition): Call
 873         fold_non_dependent_expr.
 874
 875 2011-02-09  Jason Merrill  <jason@redhat.com>
 876
 877         * decl.c (cp_make_fname_decl): Set DECL_THIS_STATIC at toplevel.
 878         * semantics.c (finish_fname): Only return the name if we're in
 879         a function.
 880
 881         * decl.c (build_enumerator): Don't perform integral promotions on
 882         non-integral constants.
 883
 884         * cvt.c (convert_to_void): Handle null op1.
 885
 886         * class.c (type_has_constexpr_default_constructor): Make sure the
 887         caller stripped an enclosing array.
 888         * init.c (perform_member_init): Strip arrays before calling it.
 889
 890         PR c++/47511
 891         * semantics.c (potential_constant_expression_1): Handle TEMPLATE_DECL.
 892
 893 2011-02-03  Dodji Seketeli  <dodji@redhat.com>
 894
 895         PR c++/47398
 896         * tree.c (cp_tree_equal)<TEMPLATE_PARM_INDEX>: Take the number of
 897         template parameters in account.
 898
 899 2011-02-03  Nathan Froyd  <froydnj@codesourcery.com>
 900
 901         PR c++/46890
 902         * parser.c (cp_parser_class_specifier): Fix setting of
 903         want_semicolon.
 904
 905 2011-01-31  Jakub Jelinek  <jakub@redhat.com>
 906
 907         PR c++/47416
 908         * semantics.c (build_data_member_initialization): Handle
 909         STATEMENT_LIST always instead of just for CLEANUP_BODY.
 910
 911 2011-01-31  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
 912
 913         * g++spec.c (lang_specific_driver) [HAVE_LD_STATIC_DYNAMIC] Use
 914         LD_STATIC_OPTION, LD_DYNAMIC_OPTION.
 915
 916 2011-01-29  Dodji Seketeli  <dodji@redhat.com>
 917
 918         PR c++/47311
 919         * cp-tree.h (fixup_template_parms): Declare.
 920         * pt.c (end_template_parm_list): Do not fixup template parms here.
 921         (fixup_template_parms): Remove static. Fix typo in the
 922         comments. Remove useless code statement.
 923         (fixup_template_parm): For a template template parameter, fixup
 924         its attributes before fixing up its type.
 925         * parser.c
 926         (cp_parser_template_declaration_after_export): After parsing
 927         template parameters fixup their types.
 928
 929 2011-01-26  Jakub Jelinek  <jakub@redhat.com>
 930
 931         PR c++/47476
 932         * semantics.c (potential_constant_expression_1): Handle
 933         TRUTH_XOR_EXPR.
 934
 935 2011-01-26  Dave Korn  <dave.korn.cygwin@gmail.com>
 936
 937         PR c++/43601
 938         * semantics.c (expand_or_defer_fn_1): Handle it.
 939         * decl2.c (decl_needed_p): Likewise.
 940
 941 2011-01-21  Jason Merrill  <jason@redhat.com>
 942
 943         PR c++/47041
 944         * semantics.c (build_constexpr_constructor_member_initializers):
 945         Handle trivial copy.
 946
 947 2011-01-21  Jakub Jelinek  <jakub@redhat.com>
 948
 949         PR c++/47388
 950         * semantics.c (begin_for_stmt): If -fno-for-scope, don't
 951         assume init must be NULL if scope is NULL.
 952         (begin_range_for_stmt): Likewise.
 953
 954 2011-01-21  Jason Merrill  <jason@redhat.com>
 955
 956         PR c++/46552
 957         * semantics.c (cxx_eval_constant_expression): Handle OFFSET_REF.
 958
 959         PR c++/46977
 960         * semantics.c (potential_constant_expression_1): Split out from
 961         potential_constant_expression.  Add want_rval parm.  Handle
 962         template expression forms.  Don't enforce restriction on address
 963         of automatic variable here.  Add a couple of diagnostics that
 964         had been missing.
 965         (require_potential_constant_expression): New entry point.
 966         (build_data_member_initialization, register_constexpr_fundef): Adjust.
 967         (maybe_constant_value): Check potential_constant_expression.
 968         * pt.c (fold_non_dependent_expr_sfinae): Likewise.
 969         * tree.c (build_vec_init_expr): Adjust.
 970
 971 2011-01-19  Jakub Jelinek  <jakub@redhat.com>
 972
 973         PR c++/47303
 974         * decl2.c (finish_anon_union): Only call mangle_decl if TREE_STATIC
 975         or DECL_EXTERNAL.
 976
 977 2011-01-17  Jason Merrill  <jason@redhat.com>
 978
 979         PR c++/47067
 980         * semantics.c (base_field_constructor_elt): New fn.
 981         (cxx_eval_bare_aggregate): Use it.
 982         (build_data_member_initialization): Leave COMPONENT_REF for
 983         vfield inits.
 984
 985 2011-01-14  Rodrigo Rivas Costa <rodrigorivascosta@gmail.com>
 986
 987         * parser.c (cp_parser_range_for): Remove the "unused variable" warning
 988         workaround.
 989
 990 2011-01-15  Giovanni Funchal  <gafunchal@gmail.com>
 991             Jonathan Wakely  <jwakely.gcc@gmail.com>
 992
 993         PR c++/33558
 994         * decl.c (grokdeclarator): Reject mutable reference members.
 995
 996 2011-01-14  Jason Merrill  <jason@redhat.com>
 997
 998         PR c++/47289
 999         * pt.c (coerce_template_parms): Fix error recovery.
1000
1001         PR c++/46903
1002         * typeck2.c (check_narrowing): Only check arithmetic types.
1003
1004         PR c++/46688
1005         * tree.c (build_vec_init_expr): Handle flexible array
1006         properly.
1007
1008 2011-01-13  Kai Tietz  <kai.tietz@onevision.com>
1009
1010         PR c++/47213
1011         * cp-tree.h (CLASSTYPE_VISIBILITY): Use
1012         TYPE_MAIN_DECL instead of TYPE_NAME.
1013         (CLASSTYPE_VISIBILITY_SPECIFIED): Likewise.
1014         * decl2.c (determine_visibility): Add check
1015         of CLASS_TYPE_P for underlying_type.
1016
1017 2011-01-12  Rodrigo Rivas Costa <rodrigorivascosta@gmail.com>
1018
1019         * cp-tree.h (begin_for_scope): New prototype.
1020         (begin_for_stmt): Update prototype.
1021         (begin_range_for_stmt): Update prototype.
1022         * init.c (build_vec_init): Update call to begin_for_stmt.
1023         * parser.c (cp_parser_for): New.
1024         (cp_parser_c_for): Add three new parameters.
1025         (cp_parser_range_for): Likewise. Most parsing code removed.
1026         (cp_parser_iteration_statement): Call cp_parser_for instead of
1027         cp_parser_c_for and cp_parser_range_for.
1028         (cp_parser_for_init_statement): Add new parameter and return type.
1029         (cp_parser_block_declaration): Update call to
1030         cp_parser_simple_declaration.
1031         (cp_parser_simple_declaration): Add new parameter.
1032         Update call to cp_parser_init_declarator.
1033         (cp_parser_init_declarator): Add new parameter.
1034         * pt.c (tsubst_expr): Update call to begin_for_stmt.
1035         * semantics.c (begin_for_scope): New.
1036         (begin_for_stmt): Add two new parameters.
1037         (begin_range_for_stmt): Likewise.
1038
1039 2011-01-12  Nicola Pero  <nicola.pero@meta-innovation.com>
1040
1041         * parser.c (cp_parser_objc_at_property_declaration): Improved
1042         error message.
1043
1044 2011-01-11  Dodji Seketeli  <dodji@redhat.com>
1045
1046         PR debug/46955
1047         * cp-lang.c (get_template_innermost_arguments_folded)
1048         (get_template_argument_pack_elems_folded)
1049         (template_arg_needs_folding, fold_cplus_constants): New static
1050         functions.
1051         (LANG_HOOKS_GET_INNERMOST_GENERIC_ARGS): Set this hook to
1052         get_template_innermost_arguments_folded.
1053         (LANG_HOOKS_GET_ARGUMENT_PACK_ELEMS): Set this hook to
1054         get_template_argument_pack_elems_folded.
1055
1056 2011-01-11  Jason Merrill  <jason@redhat.com>
1057
1058         PR c++/46658
1059         * init.c (build_new_1): Handle value-init in templates differently.
1060
1061         PR c++/45520
1062         * tree.c (maybe_dummy_object): Check current_class_ref against
1063         context, not current_class_type.
1064
1065 2011-01-08  Nicola Pero  <nicola.pero@meta-innovation.com>
1066
1067         PR objc/47078
1068         * parser.c (cp_parser_objc_typename): If the type is unknown, for
1069         error recovery purposes behave as if it was not specified so that
1070         the default type is used.
1071
1072 2011-01-07  Jakub Jelinek  <jakub@redhat.com>
1073
1074         PR c++/47022
1075         * pt.c (tsubst_copy_and_build): Use tsubst instead of tsubst_copy
1076         for the second build_x_va_arg argument.
1077
1078 2011-01-05  Tom Tromey  <tromey@redhat.com>
1079
1080         * typeck.c (cp_build_addr_expr_1): Update call to lvalue_error.
1081         (lvalue_or_else): Likewise.
1082
1083 2011-01-01  Kai Tietz  <kai.tietz@onevision.com>
1084
1085         PR target/38662
1086         * tree.c (cxx_type_hash_eq):
1087         Allow METHOD_TYPE, too.
1088
1089 \f
1090 Copyright (C) 2011 Free Software Foundation, Inc.
1091
1092 Copying and distribution of this file, with or without modification,
1093 are permitted in any medium without royalty provided the copyright
1094 notice and this notice are preserved.