gcc/cp/ChangeLog

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