gcc/cp/ChangeLog

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