gcc/cp/ChangeLog

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