gcc/cp/ChangeLog

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