gcc/cp/ChangeLog

   1 2010-05-27  Joseph Myers  <joseph@codesourcery.com>
   2
   3         * call.c: Include diagnostic-core.h instead of diagnostic.h.
   4         * cp-lang.c: Don't include diagnostic.h
   5         * name-lookup.c: Include diagnostic-core.h instead of
   6         diagnostic.h.
   7         (cp_emit_debug_info_for_using): Use seen_error.
   8         * optimize.c: Include diagnostic-core.h instead of diagnostic.h.
   9         * parser.c: Include diagnostic-core.h instead of diagnostic.h.
  10         * pt.c (iterative_hash_template_arg): Use seen_error.
  11         * repo.c: Include diagnostic-core.h instead of diagnostic.h.
  12         * typeck2.c: Include diagnostic-core.h instead of diagnostic.h.
  13         * Make-lang.in (cp/cp-lang.o, cp/typeck2.o, cp/call.o, cp/repo.o,
  14         cp/optimize.o, cp/parser.o, cp/name-lookup.o): Update
  15         dependencies.
  16
  17 2010-05-25  Dodji Seketeli  <dodji@redhat.com>
  18
  19         PR c++/44188
  20         * cp-tree.h (typedef_variant_p): Move this declaration to
  21         gcc/tree.h.
  22         * tree.c (typedef_variant_p): Move this definition to gcc/tree.c.
  23         * decl.c (grokdeclarator): Do not rename debug info of an
  24         anonymous tagged type named by a typedef.
  25
  26 2010-05-27  Jason Merrill  <jason@redhat.com>
  27
  28         PR c++/43555
  29         * decl.c (grokdeclarator) [cdk_pointer et al]: Force evaluation of
  30         anonymous VLA size.
  31
  32 2010-05-27  Kai Tietz  <kai.tietz@onevision.com>
  33
  34         PR bootstrap/44287
  35         * rtti.c (emit_support_tinfos): Check for NULL_TREE.
  36         * class.c (layout_class_type): Likewise.
  37         * decl.c (finish_enum): Likewise.
  38         * mangle.c (write_builitin_type): Likewise.
  39
  40 2010-05-26  Kai Tietz  <kai.tietz@onevision.com>
  41
  42         * cp-tree.h (cp_decl_specifier_seq): Add new bifield
  43         explicit_int128_p.
  44         * decl.c (grokdeclarator): Handle __int128.
  45         * parser.c (cp_lexer_next_token_is_decl_specifier_ke): Likewise.
  46         (cp_parser_simple_type_specifier): Likewise.
  47         * rtti.c (emit_support_tinfos): Add int128 nodes for rtti.
  48         * typeck.c (cp_common_type): Handle __int128.
  49         * mangle.c (integer_type_codes): Add itk_int128 and
  50         itk_unsigned_int128.
  51
  52 2010-05-26  Jason Merrill  <jason@redhat.com>
  53
  54         PR c++/43382
  55         * pt.c (tsubst_pack_expansion): Don't get confused by recursive
  56         unification.
  57
  58 2010-05-26  Steven Bosscher  <steven@gcc.gnu.org>
  59
  60         * cp-lang.c: Do not include expr.h.
  61
  62 2010-05-26  Steven Bosscher  <steven@gcc.gnu.org>
  63
  64         * decl.c: Do not include rtl.h
  65         * semantics.c: Likewise.
  66
  67 2010-05-25  Steven Bosscher  <steven@gcc.gnu.org>
  68
  69         * cp-tree.h: Do not include splay-tree.h.
  70         (struct prtmem_cst): Remove unused field and false comment.
  71         * typeck.c: Do not include rtl.h, expr.h, and tm_p.h.
  72         * optimize.c: Do not inclde rtl.h, insn-config.h, and integrate.h.
  73         * init.c: Do not include rtl.h and expr.h.
  74         * class.c: Do not include rtl.h.  Include splay-tree.h.
  75         (build_clone): Use plain NULL instead of NULL_RTX.
  76         * decl.c: Do not include expr.h.  Explain why rtl.h has to be
  77         included.  Include splay-tree.h.
  78         * method.c: Do not include rtl.h and expr.h.
  79         (use_thunk): Use plain NULL instead of NULL_RTX.
  80         * except.c: Do not include rtl.h, expr.h, and libfuncs.h.
  81         * tree.c: Do not include rtl.h, insn-config.h, integrate.h,
  82         and target.h.  Include splay-tree.h.
  83         * expr.c: Do not include rtl.h and expr.h.
  84         * pt.c: Do not include obstack.h and rtl.h.
  85         (tsubst_friend_function): Use plain NULL instead of NULL_RTX.
  86         (tsubst_decl): Likewise.
  87         (instantiate_decl): Likewise.
  88         * semantics.c: Do not include exprt.h and debug.h.  Explain why
  89         rtl.h has to be included.
  90         * decl2.c: Do not include rtl.h and expr.h.  Include splay-tree.h.
  91         * call.c: Do not include rtl.h and expr.h.
  92         * search.c: Do not include obstack.h and rtl.h.
  93         * friend.c: Do not include rtl.h and expr.h.
  94         * Make-lang.in: Update dependencies.
  95
  96 2010-05-25  Jakub Jelinek  <jakub@redhat.com>
  97
  98         PR c++/18249
  99         * parser.c (non_integral_constant): Add NIC_NONE.
 100         (required_token): Add RT_NONE.
 101         (cp_parser_unary_expression): Initialize non_constant_p
 102         to NIC_NONE.
 103         (cp_parser_asm_definition): Initialize missing to RT_NONE.
 104         (cp_parser_primary_expression, cp_parser_postfix_expression,
 105         cp_parser_cast_expression, cp_parser_binary_expression,
 106         cp_parser_functional_cast): Fix formatting.
 107
 108 2010-05-25  Shujing Zhao  <pearly.zhao@oracle.com>
 109
 110         PR c++/18249
 111         * parser.c: Remove inclusion of dyn-string.h.
 112         (non_integral_constant): New enum.
 113         (name_lookup_error): New enum.
 114         (required_token): New enum.
 115         (cp_parser_required_error): New function.
 116         (cp_parser_require): Change the type of variable token_desc to
 117         required_token and use cp_parser_required_error.
 118         (cp_parser_require_keyword): Likewise.
 119         (cp_parser_error): Use gmsgid as parameter.
 120         (cp_parser_name_lookup_error): Change the type of variable desired to
 121         name_lookup_error and put the diagnostic in the full sentences. Change
 122         caller.
 123         (cp_parser_non_integral_constant_expression): Change the type of the
 124         variable thing to non_integral_constant and put the diagnostics in
 125         full sentences. Change caller.
 126
 127 2010-05-24  Eric Botcazou  <ebotcazou@adacore.com>
 128
 129         PR middle-end/44100
 130         * typeck.c (cp_build_unary_op): Fold offsetof-like computations.
 131
 132 2010-05-24  Joseph Myers  <joseph@codesourcery.com>
 133
 134         * error.c (cp_diagnostic_starter): Update call to
 135         diagnostic_build_prefix.
 136         (cp_print_error_function,
 137         print_instantiation_partial_context_line): Check show_column flag
 138         in context.
 139
 140 2010-05-24  Jason Merrill  <jason@redhat.com>
 141
 142         PR c++/41510
 143         * decl.c (check_initializer): Don't wrap an init-list in a
 144         TREE_LIST.
 145         * init.c (build_aggr_init): Don't assume copy-initialization if
 146         init has CONSTRUCTOR_IS_DIRECT_INIT.
 147         * call.c (build_new_method_call): Sanity check.
 148
 149 2010-05-24  Nathan Froyd  <froydnj@codesourcery.com>
 150
 151         * rtti.c (tinfo_base_init): Use build_constructor instead of
 152         build_constructor_from_list.  Don't cons a tree node for
 153         returning.
 154         (generic_initializer): Use build_constructor_single instead of
 155         build_constructor_from_list.
 156         (ptr_initializer): Use build_constructor instead of
 157         build_constructor_from_list
 158         (ptm_initializer): Likewise.
 159         (class_initializer): Likewise.  Take varargs instead of TRAIL.
 160         (get_pseudo_ti_init): Adjust calls to class_initializer.  Use
 161         build_constructor instead of build_constructor_from_list.
 162
 163 2010-05-22  Steven Bosscher  <steven@gcc.gnu.org>
 164
 165         * semantics.c: Include bitmap.h.
 166         * Make-lang.in: Update dependencies.
 167
 168 2010-05-22  Jan Hubicka  <jh@suse.cz>
 169
 170         * decl2.c (maybe_emit_vtables): Produce same comdat group when outputting
 171         comdat vtables.
 172         (cxx_callgraph_analyze_expr): Remove code marking vtables needed.
 173
 174 2010-05-21  Joseph Myers  <joseph@codesourcery.com>
 175
 176         * cxx-pretty-print.c: Correct merge error.
 177
 178 2010-05-21  Joseph Myers  <joseph@codesourcery.com>
 179
 180         * error.c: Include tree-diagnostic.h and tree-pretty-print.h.
 181         (cp_print_error_function): Use diagnostic_abstract_origin macro.
 182         (cp_printer): Handle %K here using percent_K_format.
 183         * cxx-pretty-print.c: Include tree-pretty-print.h.
 184         * Make-lang.in (cp/error.o, cp/cxx-pretty-print.o): Update
 185         dependencies.
 186
 187 2010-05-21  Steven Bosscher  <steven@gcc.gnu.org>
 188
 189         * error.c, tree.c, typeck2.c, cxx-pretty-print.c, mangle.c:
 190         Clean up redundant includes.
 191
 192 2010-05-20  Paolo Carlini  <paolo.carlini@oracle.com>
 193
 194         PR c++/30298
 195         * decl.c (xref_basetypes): Return false in case of ill-formed
 196         redefinition.
 197
 198 2010-05-19  Jason Merrill  <jason@redhat.com>
 199
 200         * call.c (reference_binding): Use cp_build_qualified_type_real
 201         and cp_type_quals consistently.
 202         (add_function_candidate): Likewise.
 203         (build_conditional_expr): Likewise.
 204         (convert_like_real): Likewise.
 205         (type_passed_as): Likewise.
 206         * class.c (add_method): Likewise.
 207         (same_signature_p): Likewise.
 208         (layout_class_type): Likewise.
 209         * decl.c (cxx_init_decl_processing): Likewise.
 210         (cp_fname_init): Likewise.
 211         (grokdeclarator): Likewise.
 212         * decl2.c (cp_reconstruct_complex_type): Likewise.
 213         * init.c (build_new_1): Likewise.
 214         * method.c (do_build_copy_constructor): Likewise.
 215         (implicitly_declare_fn): Likewise.
 216         * pt.c (tsubst_aggr_type): Likewise.
 217         (tsubst): Likewise.
 218         * rtti.c (init_rtti_processing): Likewise.
 219         (build_headof): Likewise.
 220         (build_dynamic_cast_1): Likewise.
 221         (tinfo_base_init): Likewise.
 222         (emit_support_tinfos): Likewise.
 223         * semantics.c (capture_decltype): Likewise.
 224         * tree.c (cv_unqualified): Likewise.
 225         * typeck.c (composite_pointer_type): Likewise.
 226         (string_conv_p): Likewise.
 227
 228         * mangle.c (write_CV_qualifiers_for_type): Tweak.
 229
 230         * call.c (initialize_reference): Use CP_TYPE_CONST_P.
 231         * decl.c (start_decl): Likewise.
 232         * semantics.c (finish_compound_literal): Likewise.
 233         * typeck.c (check_return_expr): Use CP_TYPE_VOLATILE_P.
 234         (cp_type_readonly): Remove.
 235         * cp-tree.h: Remove declaration.
 236
 237         * typeck.c (merge_types): Preserve memfn quals.
 238
 239         * decl.c (grokdeclarator): Don't check quals on fn type.
 240         * typeck.c (cp_apply_type_quals_to_decl): Likewise.
 241         * tree.c (cp_build_qualified_type_real): Simplify qualifier checking.
 242
 243         PR c++/44193
 244         * typeck.c (type_memfn_quals): New fn.
 245         (apply_memfn_quals): New fn.
 246         (cp_type_quals): Return TYPE_UNQUALIFIED for FUNCTION_TYPE.
 247         (cp_type_readonly): Use cp_type_quals.
 248         * cp-tree.h: Add declarations.
 249         * tree.c (cp_build_qualified_type_real): Don't set, but do
 250         preserve, quals on FUNCTION_TYPE.
 251         (strip_typedefs): Use apply_memfn_quals and type_memfn_quals.
 252         * decl.c (build_ptrmem_type): Likewise.
 253         (grokdeclarator): Likewise.
 254         (static_fn_type): Likewise.
 255         * decl2.c (change_return_type): Likewise.
 256         (cp_reconstruct_complex_type): Likewise.
 257         * pt.c (tsubst_function_type): Likewise.
 258         (unify): Likewise.
 259         (tsubst): Likewise.  Drop special FUNCTION_TYPE substitution code.
 260
 261 2010-05-18  Nathan Froyd  <froydnj@codesourcery.com>
 262
 263         * tree.c (build_min_non_dep_call_vec): Update comment.
 264
 265 2010-05-17  Jason Merrill  <jason@redhat.com>
 266
 267         * call.c (struct z_candidate): Add explicit_targs field.
 268         (add_template_candidate_real): Set it.
 269         (build_over_call): Use it to control init-list warning.
 270
 271         PR c++/44157
 272         * call.c (build_over_call): Limit init-list deduction warning to
 273         cases where the argument is actually an init-list.
 274
 275         PR c++/44158
 276         * call.c (build_over_call): Don't do bitwise copy for move ctor.
 277
 278 2010-05-17  Dodji Seketeli  <dodji@redhat.com>
 279             Jason Merrill  <jason@redhat.com>
 280
 281         PR c++/44108
 282         * decl.c (compute_array_index_type): Call mark_rvalue_use.
 283
 284 2010-05-15  Jason Merrill  <jason@redhat.com>
 285
 286         * cp-tree.h (TYPE_NOEXCEPT_P): New macro.
 287         * except.c (begin_eh_spec_block): Use MUST_NOT_THROW_EXPR if
 288         TYPE_NOEXCEPT_P.
 289         (finish_eh_spec_block): Adjust.
 290
 291 2010-05-15  Jakub Jelinek  <jakub@redhat.com>
 292
 293         PR c++/44148
 294         * pt.c (tsubst): Unshare template argument.
 295
 296 2010-05-15  Steven Bosscher  <steven@gcc.gnu.org>
 297
 298         * decl.c: Include tree-iterator.h, as fixup for tree-inline.h changes.
 299         * Make-lang.in: Fix dependencies accordingly.
 300
 301 2010-05-14  Jason Merrill  <jason@redhat.com>
 302
 303         C++ DR 475
 304         * except.c (build_throw): Simplify, adjust for DR 475.
 305
 306         PR c++/44127
 307         * except.c (dtor_nothrow): Return nonzero for type with
 308         trivial destructor.
 309
 310         PR c++/44127
 311         * cp-gimplify.c (gimplify_must_not_throw_expr): Use
 312         gimple_build_eh_must_not_throw.
 313
 314 2010-05-14  Martin Jambor  <mjambor@suse.cz>
 315
 316         * cp-lang.c (LANG_HOOKS_FOLD_OBJ_TYPE_REF): Remove both its undef
 317         and define.
 318
 319 2010-05-14  Jonathan Wakely  <jwakely.gcc@gmail.com>
 320
 321         * call.c (build_new_method_call): Change warning text.
 322         * typeck2.c (build_functional_cast): Change error text.
 323
 324 2010-05-14  Shujing Zhao  <pearly.zhao@oracle.com>
 325
 326         PR c++/30566
 327         * name-lookup.c (pushdecl_maybe_friend): Avoid the warnings about
 328         shadowing the outer parameter or variables by the declaration of
 329         nested function in nested structure or class. Warn the shadowing by
 330         the declaration of nested lambda expression.
 331
 332 2010-05-13  Jason Merrill  <jason@redhat.com>
 333
 334         * typeck.c (cp_build_array_ref): Factor out from...
 335         (build_array_ref): ...here.  Drop complain parm.
 336         (build_new_op): Adjust.
 337         * class.c (build_vtbl_ref_1): Adjust.
 338         * decl2.c (grok_array_decl): Adjust.
 339         * cp-tree.h: Adjust prototypes.
 340
 341 2010-05-13  Jan Hubicka  <jh@suse.cz>
 342
 343         * decl.c (cp_finish_decl): Do not worry about used attribute.
 344
 345 2010-05-12  Jason Merrill  <jason@redhat.com>
 346
 347         * typeck.c (build_array_ref): Take complain parm.
 348         * cp-tree.h: Add it to prototype.
 349         * call.c (build_new_op): Pass it.
 350         * class.c (build_vtbl_ref): Pass it.
 351         * decl2.c (grok_array_decl): Pass it.
 352
 353         PR bootstrap/44048
 354         PR target/44099
 355         * cp-tree.def (NULLPTR_TYPE): Remove.
 356         * cp-tree.h (NULLPTR_TYPE_P): New.
 357         (SCALAR_TYPE_P): Use it.
 358         (nullptr_type_node): New.
 359         (cp_tree_index): Add CPTI_NULLPTR_TYPE.
 360         * decl.c (cxx_init_decl_processing): Call record_builtin_type on
 361         nullptr_type_node.
 362         * cvt.c (ocp_convert): Use NULLPTR_TYPE_P instead of NULLPTR_TYPE.
 363         * cxx-pretty-print.c (pp_cxx_constant): Likewise.
 364         * error.c (dump_type, dump_type_prefix, dump_type_suffix): Likewise.
 365         * mangle.c (write_type): Likewise.
 366         * name-lookup.c (arg_assoc_type): Likewise.
 367         * typeck.c (build_reinterpret_cast_1): Likewise.
 368         * rtti.c (typeinfo_in_lib_p): Likewise.
 369         (emit_support_tinfos): Remove local nullptr_type_node.
 370
 371         * cp-tree.h (UNKNOWN_TYPE): Remove.
 372         * decl.c (cxx_init_decl_processing): Use LANG_TYPE instead.
 373         * error.c (dumy_type, dump_type_prefix, dump_type_suffix): Likewise.
 374         * typeck2.c (cxx_incomplete_type_diagnostic): Likewise.
 375         * class.c (instantiate_type): Check unknown_type_node rather than
 376         UNKNOWN_TYPE.
 377         * name-lookup.c (maybe_push_decl): Likewise.
 378         * rtti.c (get_tinfo_decl_dynamic): Likewise.
 379         (get_typeid): Likewise.
 380         * semantics.c (finish_offsetof): Likewise.
 381
 382         PR c++/20669
 383         * call.c (add_template_candidate_real): If deduction fails, still
 384         add the template as a non-viable candidate.
 385         (equal_functions): Handle template candidates.
 386         (print_z_candidate): Likewise.
 387         (print_z_candidates): Likewise.
 388         (build_new_function_call): Likewise.
 389
 390         * cp-tree.h (LOOKUP_LIST_ONLY): New.
 391         * call.c (add_candidates): Enforce it.
 392         (build_new_method_call): Try non-list ctor if no viable list ctor.
 393         (build_user_type_conversion_1): Likewise.
 394
 395         * call.c (add_candidates): Distinguish between type(x) and
 396         x.operator type().
 397         (convert_class_to_reference): Set LOOKUP_NO_CONVERSION.
 398         (build_new_method_call): Give better error for conversion op.
 399
 400         * call.c (add_candidates): Add first_arg and return_type parms.
 401         Add special constructor/conversion op handling.
 402         (convert_class_to_reference): Use it.
 403         (build_user_type_conversion_1): Likewise.
 404         (build_op_call): Likewise.
 405         (build_new_method_call): Likewise.
 406         (build_new_op): Adjust.
 407         (perform_overload_resolution): Adjust.
 408
 409 2010-05-11  Paolo Carlini  <paolo.carlini@oracle.com>
 410
 411         PR c++/34272
 412         PR c++/43630
 413         PR c++/34491
 414         * pt.c (process_partial_specialization): Return error_mark_node
 415         in case of unused template parameters in partial specialization.
 416
 417 2010-05-11  Jakub Jelinek  <jakub@redhat.com>
 418
 419         PR c++/44062
 420         * semantics.c (finish_expr_stmt): Don't call mark_exp_read here...
 421         * cvt.c (convert_to_void): ... but here.  If expr is a COMPOUND_EXPR,
 422         look at its second operand.
 423
 424 2010-05-10  Jason Merrill  <jason@redhat.com>
 425
 426         PR c++/44017
 427         * semantics.c (baselink_for_fns): Revert earlier change.
 428
 429         PR c++/44045
 430         * typeck.c (cp_build_modify_expr): Complain about assignment to
 431         array from init list.
 432
 433 2010-05-10  Fabien Chêne  <fabien.chene@gmail.com>
 434
 435         PR c++/43719
 436         * decl.c (check_initializer): strip array type before checking for
 437         uninitialized const or ref members.
 438
 439 2010-05-07  Fabien Chêne  <fabien.chene@gmail.com>
 440
 441         PR c++/43951
 442         * init.c (diagnose_uninitialized_cst_or_ref_member_1): Returns the
 443         error count. Emit errors only if compain is true.
 444         (build_new_1): Do not return error_mark_node if
 445         diagnose_uninitialized_cst_or_ref_member_1 does not diagnose any
 446         errors. Delay the check for user-provided constructor.
 447         (perform_member_init): Adjust.
 448         * cp-tree.h (diagnose_uninitialized_cst_or_ref_member): Change the
 449         prototype.
 450
 451 2010-05-06  Magnus Fromreide  <magfr@lysator.liu.se>
 452             Jason Merrill  <jason@redhat.com>
 453
 454         Add support for C++0x nullptr.
 455         * cp-tree.def: Add NULLPTR_TYPE.
 456         * cp-tree.h: Add nullptr_node.
 457         (cp_tree_index): Add CPTI_NULLPTR.
 458         (SCALAR_TYPE_P): Add NULLPTR_TYPE.
 459         * call.c (null_ptr_cst_p): Handle nullptr.
 460         (standard_conversion): Likewise.
 461         (convert_arg_to_ellipsis): Likewise.
 462         * mangle.c (write_type): Likewise.
 463         * name-lookup.c (arg_assoc_type): Likewise.
 464         * parser.c (cp_parser_primary_expression): Likewise.
 465         * typeck.c (cp_build_binary_op): Likewise.
 466         (build_reinterpret_cast_1): Likewise.
 467         * error.c (dump_type): Likewise.
 468         (dump_type_prefix, dump_type_suffix): Likewise.
 469         * decl.c (cxx_init_decl_processing): Likewise.
 470         * cxx-pretty-print.c (pp_cxx_constant): Likewise.
 471         * cvt.c (ocp_convert): Likewise.
 472         * rtti.c (typeinfo_in_lib_p, emit_support_tinfos): Put
 473         nullptr_t tinfo in libsupc++.
 474
 475 2010-05-06  Jason Merrill  <jason@redhat.com>
 476
 477         * semantics.c (simplify_aggr_init_expr): Use INIT_EXPR.
 478
 479 2010-04-22  Jakub Jelinek <jakub@redhat.com>
 480             Dodji Seketeli <dodji@redhat.com>
 481
 482         PR c/18624
 483         * cp-tree.h (mark_exp_read, rvalue_use, lvalue_use, type_use):
 484         Declare ...
 485         * expr.c (mark_exp_read, rvalue_use, lvalue_use, type_use): ... new fns.
 486         * typeck.c (cxx_sizeof_expr, cxx_alignof_expr): Call type_use.
 487         (decay_conversion, perform_integral_promotions): Call rvalue_use.
 488         (cp_build_unary_op): Call lvalue_use.
 489         * decl.c (unused_but_set_errorcount): New variable.
 490         (poplevel): Issue -Wunused-but-set-variable diagnostics.
 491         (duplicate_decls): Merge DECL_READ_P flags.
 492         (start_cleanup_fn): Set DECL_READ_P flag.
 493         (finish_function): Issue -Wunused-but-set-parameter diagnostics.
 494         * tree.c (rvalue): Call rvalue_use.
 495         * pt.c (convert_nontype_argument): Likewise.
 496         * semantics.c (finish_expr_stmt, finish_asm_stmt, finish_typeof,
 497         finish_decltype_type): Likewise.
 498         * call.c (convert_like_real) <ck_identity, ck_user>: Call rvalue use.
 499         (build_x_va_arg, build_new_method_call, build_over_call): Call lvalue_use
 500         or rvalue_use depending on the expr.
 501         * init.c (build_new, build_delete): Likewise.
 502         * rtti.c (build_typeid, build_dynamic_cast_1): Likewise.
 503
 504 2010-05-05  Jason Merrill  <jason@redhat.com>
 505
 506         PR c++/43787
 507         * cp-gimplify.c (cp_gimplify_expr): Remove copies of empty classes.
 508         * call.c (build_over_call): Don't try to avoid INIT_EXPR copies here.
 509
 510 2010-05-04  Paolo Carlini  <paolo.carlini@oracle.com>
 511
 512         PR c++/43028
 513         * pt.c (unify): Check each elt for error_mark_node.
 514
 515 2010-05-04  Jason Merrill  <jason@redhat.com>
 516
 517         PR c++/38064
 518         * typeck.c (cp_build_binary_op): Allow enums for <> as well.
 519
 520 2010-05-04  Paolo Carlini  <paolo.carlini@oracle.com>
 521
 522         PR c++/43705
 523         * call.c (build_new_method_call): Return error_mark_node if fns is
 524         NULL_TREE.
 525
 526 2010-05-03  Dodji Seketeli  <dodji@redhat.com>
 527
 528         PR c++/43953
 529         * pt.c (most_specialized_class): Pretend we are processing
 530         a template decl during the call to coerce_template_parms.
 531
 532 2010-05-03  Jason Merrill  <jason@redhat.com>
 533
 534         PR c++/42810
 535         PR c++/43680
 536         * decl.c (finish_enum): Use the TYPE_MIN_VALUE and TYPE_MAX_VALUE
 537         from the selected underlying type unless -fstrict-enums.  Set
 538         ENUM_UNDERLYING_TYPE to have the restricted range.
 539         * cvt.c (type_promotes_to): Use ENUM_UNDERLYING_TYPE.
 540         * class.c (check_bitfield_decl): Likewise.
 541
 542 2010-05-01  H.J. Lu  <hongjiu.lu@intel.com>
 543
 544         PR c++/43951
 545         * init.c (build_new_1): Revert the accidental checkin in
 546         revision 158918.
 547
 548 2010-04-30  Jason Merrill  <jason@redhat.com>
 549
 550         PR c++/43868
 551         * cxx-pretty-print.c (pp_cxx_decl_specifier_seq): Move pmf handling...
 552         (pp_cxx_type_specifier_seq): ...here.
 553
 554 2010-04-30  Steven Bosscher  <steven@gcc.gnu.org>
 555
 556         * optimize.c, parser.c, mangle.c, cp-tree.h: Do not include varray.h.
 557         * Make-lang.in: Don't include varray.h dependency in CXX_TREE_H.
 558
 559 2010-04-30  Shujing Zhao  <pearly.zhao@oracle.com>
 560
 561         PR c++/43779
 562         * typeck.c (warn_args_num): New function.
 563         (convert_arguments): Use warn_args_num to print the diagnostic
 564         messages.
 565
 566 2010-04-29  Fabien Chêne  <fabien.chene@gmail.com>
 567
 568         PR c++/43890
 569         * init.c (diagnose_uninitialized_cst_or_ref_member): check for
 570         user-provided constructor while recursing.
 571
 572 2010-04-28  Manuel López-Ibáñez  <manu@gcc.gnu.org>
 573
 574         PR c++/9335
 575         * error.c (print_instantiation_partial_context_line): Handle
 576         recursive instantiation.
 577         (print_instantiation_partial_context): Likewise.
 578
 579 2010-04-27  Jason Merrill  <jason@redhat.com>
 580
 581         * init.c (perform_member_init): Check CLASS_TYPE_P.
 582
 583 2010-04-27  Fabien Chêne  <fabien.chene@gmail.com>
 584
 585         PR c++/29043
 586         * init.c (perform_member_init): check for uninitialized const or
 587         reference members, including array types.
 588
 589 2010-04-24  Jason Merrill  <jason@redhat.com>
 590
 591         * tree.c (get_fns): Split out from get_first_fn.
 592         * cp-tree.h: Declare it.
 593         * search.c (shared_member_p): Use it.
 594         * semantics.c (finish_qualified_id_expr): Simplify.
 595         (finish_id_expression): Simplify.
 596
 597         * semantics.c (finish_non_static_data_member): Call maybe_dummy_object
 598         whenever object is NULL_TREE.  Don't do 'this' capture here.
 599         (finish_qualified_id_expr): Pass NULL_TREE.
 600         (finish_id_expression): Likewise.
 601         (lambda_expr_this_capture): Likewise.
 602
 603         * semantics.c (finish_qualified_id_expr): Use maybe_dummy_object
 604         rather than checking current_class_ref directly.
 605         (finish_call_expr): Likewise.
 606
 607         PR c++/43856
 608         * name-lookup.c (qualify_lookup): Disqualify lambda op().
 609         * class.c (current_nonlambda_class_type): New fn.
 610         * semantics.c (nonlambda_method_basetype): New.
 611         * cp-tree.h: Declare them.
 612         * tree.c (maybe_dummy_object): Handle implicit 'this' capture.
 613
 614         * semantics.c (baselink_for_fns): Correct BASELINK_BINFO.
 615
 616         PR c++/43875
 617         * semantics.c (lambda_return_type): Complain about
 618         braced-init-list.
 619
 620         PR c++/43790
 621         * tree.c (cv_unqualified): Handle error_mark_node.
 622
 623         PR c++/41468
 624         * call.c (convert_like_real) [ck_ambig]: Just return error_mark_node
 625         if we don't want errors.
 626
 627         PR c++/41468
 628         * class.c (convert_to_base): Add complain parameter.  Pass
 629         ba_quiet to lookup_base if we don't want errors.
 630         (build_vfield_ref): Pass complain to convert_to_base.
 631         * call.c (convert_like_real): Likewise.
 632         (initialize_reference): Likewise.
 633         (perform_direct_initialization_if_possible): Pass complain to
 634         convert_like_real.
 635         * cp-tree.h: Adjust.
 636
 637 2010-04-27  Fabien Chêne  <fabien.chene@gmail.com>
 638             Jason Merrill  <jason@redhat.com>
 639
 640         PR c++/42844
 641         * decl.c (check_for_uninitialized_const_var): Handle classes that need
 642         constructing, too.
 643         (check_initializer): Call it for classes that need constructing, too.
 644         * class.c (in_class_defaulted_default_constructor): New.
 645         * cp-tree.h: Declare it.
 646
 647 2010-04-20  Jason Merrill  <jason@redhat.com>
 648
 649         PR c++/9335
 650         * init.c (constant_value_1): Treat error_mark_node as a constant
 651         if DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P is set.
 652         * cvt.c (ocp_convert): Handle getting error_mark_node from
 653         integral_constant_value.
 654         * decl.c (compute_array_index_type): Likewise.
 655
 656 2010-04-20  Dodji Seketeli  <dodji@redhat.com>
 657
 658         PR c++/43800
 659         PR c++/43704
 660         * typeck.c (incompatible_dependent_types_p): If one of the
 661         compared types if not a typedef then honour their main variant
 662         equivalence.
 663
 664 2010-04-20  Jakub Jelinek  <jakub@redhat.com>
 665
 666         * cp-tree.h (TYPE_REF_IS_RVALUE): Remove.
 667
 668 2010-04-19  Dodji Seketeli  <dodji@redhat.com>
 669
 670         PR c++/43704
 671         * typeck.c (structural_comptypes): Test dependent typedefs
 672         incompatibility before testing for their main variant based
 673         equivalence.
 674
 675 2010-04-19  Jakub Jelinek  <jakub@redhat.com>
 676
 677         * cp-tree.h (SCOPED_ENUM_P, UNSCOPED_ENUM_P, SET_SCOPED_ENUM_P): Use
 678         ENUM_IS_SCOPED bit instead of TYPE_LANG_FLAG_5.
 679
 680 2010-04-18  Eric Botcazou  <ebotcazou@adacore.com>
 681
 682         * decl.c (cxx_init_decl_processing): Remove second argument in call to
 683         build_common_tree_nodes.
 684
 685 2010-04-14  Jason Merrill  <jason@redhat.com>
 686
 687         PR c++/36625
 688         * parser.c (cp_parser_parenthesized_expression_list): Change
 689         is_attribute_list parm to int to indicate whether or not to
 690         handle initial identifier specially.
 691         (cp_parser_attribute_list): Use attribute_takes_identifier_p.
 692
 693 2010-04-13  Jason Merrill  <jason@redhat.com>
 694
 695         * call.c (type_decays_to): Check MAYBE_CLASS_TYPE_P instead of
 696         CLASS_TYPE_P.
 697         * parser.c (cp_parser_lambda_expression): Complain about lambda in
 698         unevaluated context.
 699         * pt.c (iterative_hash_template_arg): Don't crash on lambda.
 700
 701 2010-04-12  Jason Merrill  <jason@redhat.com>
 702
 703         PR c++/43641
 704         * semantics.c (maybe_add_lambda_conv_op): Use build_call_a and tweak
 705         return value directly.
 706
 707         * call.c (type_decays_to): Call cv_unqualified for non-class type.
 708
 709 2010-04-12  Fabien Chene  <fabien.chene@gmail.com>
 710
 711         PR c++/25811
 712         * cp-tree.h (diagnose_uninitialized_cst_or_ref_member): Declare.
 713         * init.c (build_new_1): Check for uninitialized const members and
 714         uninitialized reference members, when using new without
 715         new-initializer. Call diagnose_uninitialized_cst_or_ref_member.
 716         (diagnose_uninitialized_cst_or_ref_member): Define, call
 717         diagnose_uninitialized_cst_or_ref_member_1.
 718         (diagnose_uninitialized_cst_or_ref_member_1): New function.
 719
 720 2010-04-12  Richard Guenther  <rguenther@suse.de>
 721
 722         PR c++/43611
 723         * semantics.c (expand_or_defer_fn_1): Do not keep extern
 724         template inline functions.
 725
 726 2010-04-09  Manuel López-Ibáñez  <manu@gcc.gnu.org>
 727
 728         PR c++/28584
 729         * typeck.c (cp_build_c_cast): Warn for casting integer to larger
 730         pointer type.
 731
 732 2010-04-07  Jason Merrill  <jason@redhat.com>
 733
 734         PR c++/43016
 735         * decl.c (start_preparsed_function): Do defer nested functions.
 736
 737         PR c++/11094, DR 408
 738         * cp-tree.h (VAR_HAD_UNKNOWN_BOUND, SET_VAR_HAD_UNKNOWN_BOUND): New.
 739         * decl2.c (finish_static_data_member_decl): Set it.
 740         * decl.c (duplicate_decls): Propagate it.
 741         * pt.c (tsubst_decl): Don't substitute the domain of an array
 742         VAR_DECL if it's set.
 743         (regenerate_decl_from_template): Substitute it here.
 744         (type_dependent_expression_p): Return true if it's set.
 745         * semantics.c (finish_decltype_type): Instantiate such a variable.
 746         * typeck.c (cxx_sizeof_expr): Likewise.
 747         (strip_array_domain): New.
 748
 749         PR c++/43145
 750         * name-lookup.c (current_decl_namespace): Non-static.
 751         (pop_nested_namespace): Sanity check.
 752         * cp-tree.h: Declare current_decl_namespace.
 753         * decl.c (grokvardecl): Use it instead of current_namespace.
 754         (grokfndecl): Likewise.
 755
 756         PR c++/38392
 757         * pt.c (tsubst_friend_function): Instatiate a friend that has already
 758         been used.
 759
 760         * pt.c (print_template_statistics): New.
 761         * cp-tree.h: Declare it.
 762         * tree.c (cxx_print_statistics): Call it.
 763
 764         PR c++/41970
 765         * decl.c (grokvardecl): Tweak warning message.
 766         (grokfndecl): Likewise.
 767
 768 2010-04-07  Dodji Seketeli  <dodji@redhat.com>
 769
 770         PR c++/42697
 771         *pt.c (tsubst_decl): Get the arguments of a specialization from
 772         the specialization template, not from the most general template.
 773
 774 2010-04-07  Dodji Seketeli  <dodji@redhat.com>
 775
 776         PR c++/40239
 777         * typeck2.c (process_init_constructor_record):
 778         value-initialize members that are are not explicitely
 779         initialized.
 780
 781 2010-04-07  Jie Zhang  <jie@codesourcery.com>
 782
 783         PR c++/42556
 784         * typeck2.c (split_nonconstant_init_1): Drop empty CONSTRUCTOR
 785         when all of its elements are non-constant and have been split out.
 786
 787 2010-04-06  Taras Glek  <taras@mozilla.com>
 788             Jason Merrill  <jason@redhat.com>
 789
 790         * parser.c (cp_parser_class_specifier): Set class location to that
 791         of IDENTIFIER_NODE instead of '{' when possible.
 792         * semantics.c (begin_class_definition): Do not overide locations
 793         with less precise ones.
 794
 795 2010-04-06  Jason Merrill  <jason@redhat.com>
 796
 797         PR c++/43648
 798         * name-lookup.c (constructor_name_p): Allow X::~X even for typedefs.
 799
 800         PR c++/43621
 801         * pt.c (maybe_update_decl_type): Check the return value from
 802         push_scope.
 803
 804 2010-04-01  Jason Merrill  <jason@redhat.com>
 805
 806         * decl.c (next_initializable_field): No longer static.
 807         * cp-tree.h: Declare it.
 808         * call.c (build_aggr_conv): Fail if there are more initializers
 809         than initializable fields.
 810
 811         * semantics.c (maybe_add_lambda_conv_op): Use null_pointer_node
 812         instead of void_zero_node.
 813
 814 2010-03-31  Dodji Seketeli  <dodji@redhat.com>
 815
 816         PR c++/43558
 817         * cp-tree.h (TEMPLATE_TYPE_PARM_SIBLING_PARMS): New accessor macro.
 818         * pt.c (end_template_parm_list): Store sibling template parms of
 819         each TEMPLATE_TYPE_PARMs into its TEMPLATE_TYPE_PARM_SIBLING_PARMS.
 820         (push_template_decl_real): Don't store the containing template decl
 821         into the DECL_CONTEXT of TEMPLATE_TYPE_PARMs anymore.
 822         * typeck.c (get_template_parms_of_dependent_type): Get sibling parms
 823         of a TEMPLATE_TYPE_PARM from TEMPLATE_TYPE_PARM_SIBLING_PARMS.
 824         Simplify the logic.
 825
 826 2010-03-30  Jason Merrill  <jason@redhat.com>
 827
 828         PR c++/43076
 829         * pt.c (push_template_decl_real): Deal better with running out of
 830         scopes before running out of template parms.
 831
 832         PR c++/41185
 833         PR c++/41786
 834         * parser.c (cp_parser_direct_declarator): Don't allow VLAs in
 835         function parameter context.  Don't print an error if parsing
 836         tentatively.
 837
 838         PR c++/43559
 839         * pt.c (more_specialized_fn): Don't control cv-qualifier check
 840         with same_type_p.
 841
 842 2010-03-26  Jason Merrill  <jason@redhat.com>
 843
 844         PR c++/43509
 845         * parser.c (cp_parser_qualifying_entity): Do accept enum names in
 846         c++0x mode, but not other type-names.
 847
 848 2010-03-26  Dodji Seketeli  <dodji@redhat.com>
 849
 850         PR c++/43327
 851         * pt.c (add_to_template_args): Support NULL ARGS;
 852         (most_specialized_class): call coerce_template_parms on
 853         template arguments passed to get_class_bindings. Use
 854         add_to_template_args.
 855         (unify): Handle VAR_DECLs.
 856
 857 2010-03-26  Dodji Seketeli  <dodji@redhat.com>
 858
 859         * cp-tree.h (get_template_parms_at_level): Change unsigned parm
 860         into int.
 861         * pt.c (get_template_parms_at_level): Adjust.
 862
 863 2010-03-25  Dodji Seketeli  <dodji@redhat.com>
 864
 865         PR c++/43206
 866         * cp-tree.h (get_template_parms_at_level): Declare ...
 867         * pt.c (get_template_parms_at_level): ... new function.
 868         * typeck.c (get_template_parms_of_dependent_type): If a template
 869         type parm's DECL_CONTEXT isn't yet set, get its siblings from
 870         current_template_parms. Use get_template_parms_at_level. Remove
 871         useless test.
 872         (incompatible_dependent_types_p): If we get empty parms from just one
 873         of the template type parms we are comparing then the template parms are
 874         incompatible.
 875
 876 2010-03-24  Jason Merrill  <jason@redhat.com>
 877
 878         PR c++/43502
 879         * parser.c (make_declarator): Initialize id_loc.
 880         (cp_parser_lambda_declarator_opt): And set it.
 881
 882 2010-03-23  Jason Merrill  <jason@redhat.com>
 883
 884         Make lambda conversion op and op() non-static.
 885         * semantics.c (maybe_add_lambda_conv_op): Make non-static.
 886         Also add the thunk function returned by the conversion op.
 887         Mark the conversion deleted if the op() is variadic.
 888         * decl2.c (mark_used): Give helpful message about deleted conversion.
 889         * parser.c (cp_parser_lambda_declarator_opt): Don't make op() static.
 890         * semantics.c (finish_this_expr): Adjust.
 891         * mangle.c (write_closure_type_name): Adjust.
 892         * decl.c (grok_op_properties): Don't allow it.
 893         * call.c (build_user_type_conversion_1): No static conversion ops.
 894         (build_op_call): Or op().
 895
 896         * decl2.c (change_return_type): Fix 'this' quals.
 897
 898 2010-03-22  Jason Merrill  <jason@redhat.com>
 899
 900         PR c++/43333
 901         * tree.c (pod_type_p): Use old meaning in C++98 mode.
 902
 903         PR c++/43281
 904         * pt.c (contains_auto_r): New fn.
 905         (do_auto_deduction): Use it.
 906         (tsubst): Don't look at TREE_TYPE of a TEMPLATE_TYPE_PARM.
 907
 908 2010-03-20  Simon Martin  <simartin@users.sourceforge.net>
 909
 910         PR c++/43081:
 911         * decl2.c (grokfield): Handle invalid initializers for member
 912         functions.
 913
 914 2010-03-20  Dodji Seketeli  <dodji@redhat.com>
 915
 916         PR c++/43375
 917         * method.c (make_alias_for): Avoid crashing when DECL_LANG_SPECIFIC
 918         is NULL.
 919         * decl2.c (vague_linkage_p): Likewise.
 920
 921 2010-03-18  Paolo Carlini  <paolo.carlini@oracle.com>
 922
 923         PR c++/43418
 924         * parser.c (cp_parser_for_init_statement): Use NULL_TREE, not
 925         false, in the cp_parser_expression_statement call.
 926
 927 2010-03-05  Jason Merrill  <jason@redhat.com>
 928
 929         * mangle.c (mangle_decl): Give name collision error even without
 930         ASM_OUTPUT_DEF.
 931
 932 2010-03-04  Marco Poletti  <poletti.marco@gmail.com>
 933
 934         * pt.c (process_partial_specialization): Use error_n instead of
 935         error.
 936
 937 2010-03-03  Jason Merrill  <jason@redhat.com>
 938
 939         PR c++/12909
 940         * mangle.c (mangle_decl): Handle VAR_DECL, too.
 941
 942 2010-03-03  Jason Merrill  <jason@redhat.com>
 943
 944         PR c++/12909
 945         * mangle.c: Include cgraph.h.
 946         (mangle_decl): If the mangled name will change in a later
 947         ABI version, make the later mangled name an alias.
 948         * method.c (make_alias_for): Copy DECL_ARGUMENTS.
 949         * Make-lang.in (mangle.o): Depend on cgraph.h.
 950         * method.c (make_alias_for): Handle VAR_DECL, too.
 951         * decl2.c (vague_linkage_p): Rename from vague_linkage_fn_p.
 952         * tree.c (no_linkage_check): Adjust.
 953         * decl.c (maybe_commonize_var): Adjust.
 954         * cp-tree.h: Adjust.
 955
 956 2010-03-01  Marco Poletti  <poletti.marco@gmail.com>
 957
 958         * pt.c (redeclare_class_template): Use error_n and inform_n.
 959
 960 2010-02-27  Mark Mitchell  <mark@codesourcery.com>
 961
 962         PR c++/42748
 963         * cp-tree.h (push_tinst_level): Declare.
 964         (pop_tinst_level): Likewise.
 965         * pt.c (push_tinst_level): Give it external linkage.
 966         (pop_tinst_level): Likewise.
 967         * mangle.c (mangle_decl_string): Set the source location to that
 968         of the decl while mangling.
 969
 970 2010-02-27  Simon Martin  <simartin@users.sourceforge.net>
 971
 972         PR c++/42054
 973         * pt.c (redeclare_class_template): Return false if there are erroneous
 974         template parameters.
 975
 976 2010-02-24  Manuel López-Ibáñez  <manu@gcc.gnu.org>
 977
 978         * pt.c (push_tinst_level): Replace -ftemplate-depth- with
 979         -ftemplate-depth=.
 980
 981 2010-02-24  Jason Merrill  <jason@redhat.com>
 982
 983         PR c++/12909
 984         * mangle.c (write_type): Give -Wabi warning for old vector mangling.
 985
 986         * class.c (layout_class_type): Don't give -Wabi warning for a bug
 987         in a previous ABI version.
 988
 989 2010-02-23  Jason Merrill  <jason@redhat.com>
 990
 991         PR c++/43143
 992         * typeck2.c (digest_init_r): Accept value init of array.
 993
 994 2010-02-22  Manuel López-Ibáñez  <manu@gcc.gnu.org>
 995
 996         PR c++/43126
 997         * typeck.c (convert_arguments): Update error message.
 998
 999 2010-02-22  Mike Stump  <mikestump@comcast.net>
1000
1001         PR c++/43125
1002         * decl.c (duplicate_decls): Merge DECL_PRESERVE_P.
1003
1004 2010-02-21  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1005
1006         PR c++/23510
1007         * error.c (print_instantiation_partial_context_line): New.
1008         (print_instantiation_partial_context): Print at most 12 contexts,
1009         skip the rest with a message.
1010
1011 2010-02-21  Dodji Seketeli  <dodji@redhat.com>
1012
1013         PR c++/42824
1014         * pt.c (lookup_template_class): Better support of specialization
1015         of member of class template implicit instantiation.
1016
1017 2010-02-20  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1018
1019         PR c++/35669
1020         * call.c (conversion_null_warnings): Replace -Wconversion with
1021         -Wconversion-null.
1022         * cvt.c (build_expr_type_conversion): Likewise.
1023
1024 2010-02-18  Jason Merrill  <jason@redhat.com>
1025
1026         PR c++/42837
1027         * class.c (create_vtable_ptr): Set DECL_PACKED if type is packed.
1028
1029         PR c++/43108
1030         * typeck.c (cp_build_binary_op): Adapt mixed complex/non handling from
1031         C build_binary_op.
1032         * cp-tree.h (WANT_VECTOR_OR_COMPLEX): Rename from WANT_VECTOR.
1033         * cvt.c (build_expr_type_conversion): Allow COMPLEX_TYPE.
1034
1035         PR c++/43070
1036         * semantics.c (finish_goto_stmt): Don't call decay_conversion.
1037
1038         PR c++/26261
1039         PR c++/43101
1040         * pt.c (tsubst_qualified_id): Do normal lookup in non-dependent scope.
1041         (maybe_update_decl_type): New fn.
1042         * parser.c (cp_parser_init_declarator): Use it.
1043
1044         PR c++/43109
1045         * semantics.c (begin_class_definition): Don't crash on unnamed ns.
1046
1047 2010-02-17  Jason Merrill  <jason@redhat.com>
1048
1049         PR c++/43075
1050         * call.c (build_over_call): Don't create zero-sized assignments.
1051         * cp-gimplify.c (cp_genericize_r): Don't remove them here.
1052         * cp-objcp-common.c (cp_expr_size): Remove.
1053         * cp-tree.h: Remove prototype.
1054
1055         PR c++/43069
1056         * name-lookup.c (set_decl_namespace): Don't copy DECL_CONTEXT if the
1057         decl we looked up doesn't match.
1058
1059         PR c++/43093
1060         * cp-gimplify.c (cp_gimplify_expr) [INIT_EXPR]: Return if we don't
1061         have an INIT_EXPR anymore.
1062
1063         PR c++/43079
1064         * pt.c (convert_nontype_argument): Change assert to test.
1065
1066 2010-02-16  Jason Merrill  <jason@redhat.com>
1067
1068         * cp-gimplify.c (cp_gimplify_expr): Fix error recovery.
1069
1070         PR c++/43031
1071         * cp-gimplify.c (cp_gimplify_expr) [MODIFY_EXPR]: Use
1072         VIEW_CONVERT_EXPR for conversions between structural equality types
1073         that the back end can't tell are the same.
1074
1075         PR c++/43036
1076         * tree.c (build_cplus_array_type): Set TYPE_MAIN_VARIANT to strip
1077         cv-quals from element here.
1078         (cp_build_qualified_type_real): Not here.  Preserve typedef name.
1079
1080 2010-02-14  Jason Merrill  <jason@redhat.com>
1081
1082         PR c++/41997
1083         * semantics.c (finish_compound_literal): Use
1084         cp_apply_type_quals_to_decl when creating a static variable.
1085
1086 2010-02-12  Jason Merrill  <jason@redhat.com>
1087
1088         PR c++/43024
1089         * name-lookup.h (current_binding_level): Check for null
1090         cp_function_chain.
1091
1092 2010-02-12  Jason Merrill  <jason@redhat.com>
1093
1094         PR c++/43054
1095         * tree.c (cp_tree_equal): Correct CALL_EXPR logic.
1096
1097 2010-02-12  Jakub Jelinek  <jakub@redhat.com>
1098
1099         PR c++/43033
1100         * name-lookup.c (pushdecl_maybe_friend): Check default args of t
1101         instead of x.
1102
1103 2010-02-10  Jason Merrill  <jason@redhat.com>
1104
1105         PR c++/41896
1106         * semantics.c (outer_lambda_capture_p): Revert.
1107         (add_capture): Only finish_member_declaration if
1108         we're in the lambda class.
1109         (register_capture_members): New.
1110         * cp-tree.h: Declare it.
1111         * parser.c (cp_parser_lambda_expression): Call it.
1112
1113 2010-02-10  Jason Merrill  <jason@redhat.com>
1114
1115         PR c++/41896
1116         * semantics.c (outer_lambda_capture_p): Use current_function_decl
1117         instead of current_class_type.
1118
1119 2010-02-10  Jason Merrill  <jason@redhat.com>
1120
1121         PR c++/42983, core issue 906
1122         * method.c (defaultable_fn_check): Check virtualness.
1123
1124 2010-02-10  Jason Merrill  <jason@redhat.com>
1125
1126         PR c++/43016
1127         * semantics.c (maybe_add_lambda_conv_op): Set DECL_INTERFACE_KNOWN.
1128
1129 2010-02-10  Shujing Zhao  <pearly.zhao@oracle.com>
1130
1131         * Make-lang.in (cp/cvt.o, cp/parser.o, cp/search.o): Depend on intl.h.
1132         * cvt.c (warn_ref_binding): Wrap the messages into G_() for easy
1133         translation.
1134         * parser.c (cp_parser_postfix_expression, cp_parser_new_type_id)
1135         (cp_parser_cast_expression, cp_parser_condition, cp_parser_decltype)
1136         (cp_parser_parameter_declaration)
1137         (cp_parser_exception_specification_opt)
1138         (cp_parser_exception_declaration): Likewise.
1139         * pt.c (check_default_tmpl_args): Likewise.
1140         * search.c (lookup_field_r): Likewise.
1141
1142 2010-02-09  Jason Merrill  <jason@redhat.com>
1143
1144         PR c++/42399
1145         * pt.c (tsubst_copy_and_build): Propagate LAMBDA_EXPR_LOCATION.
1146
1147 2010-02-09  Jason Merrill  <jason@redhat.com>
1148
1149         PR c++/42370
1150         * decl2.c (change_return_type): New fn.
1151         * semantics.c (apply_lambda_return_type): Use it.
1152         * cp-tree.h: Declare it.
1153
1154 2010-02-05  Richard Guenther  <rguenther@suse.de>
1155
1156         * Make-lang.in (cp/cp-lang.o): Depend on gt-cp-cp-lang.h.
1157         * cp-lang.c: Include gt-cp-cp-lang.h.
1158         * config-lang.in (gtfiles): Add cp/cp-lang.c.
1159
1160 2010-02-05  Dodji Seketeli  <dodji@redhat.com>
1161
1162         PR c++/42915
1163         * typeck.c (get_template_parms_of_dependent_type): Try getting
1164         the template parameters fromt the type itself first.
1165
1166 2010-02-03  Jason Merrill  <jason@redhat.com>
1167
1168         PR c++/4926
1169         PR c++/38600
1170         * mangle.c (write_unqualified_id): Split out from write_expression.
1171         (write_unqualified_name): Call it.
1172         (write_member_name): Likewise.
1173         (write_expression): Support TEMPLATE_ID_EXPR.
1174         Disambiguate operator names.
1175
1176         PR c++/12909
1177         * mangle.c (write_type) [VECTOR_TYPE]: Change mangling with
1178         -fabi-version=4.
1179
1180 2010-02-02  Jason Merrill  <jason@redhat.com>
1181
1182         PR c++/41090
1183         * decl.c (cp_finish_decl): Add local statics to cfun->local_decls.
1184         * optimize.c (clone_body): Remap their initializers when making base
1185         variants.
1186         (maybe_clone_body): Complain if multiple clones aren't safe.
1187
1188 2010-01-29  Dodji Seketeli  <dodji@redhat.com>
1189
1190         PR c++/42758
1191         PR c++/42634
1192         PR c++/42336
1193         PR c++/42797
1194         PR c++/42880
1195         * cp-tree.h (NON_DEFAULT_TEMPLATE_ARGS_COUNT,
1196         SET_NON_DEFAULT_TEMPLATE_ARGS_COUNT,
1197         GET_NON_DEFAULT_TEMPLATE_ARGS_COUNT): New accessor macros.
1198         * pt.c (coerce_template_parms, type_unification_real,
1199         expand_template_argument_pack, coerce_template_parameter_pack):
1200         Set the non default template args count.
1201         (current_template_args): Always set non defaulted
1202         template args count when compiled with --enable-checking
1203         (tsubst_template_args, type_unification_real): Propagate the non
1204         defaulted template args count.
1205         * error.c (get_non_default_template_args_count): Renamed
1206         count_non_default_template_args into this. Don't calculate the
1207         non default template argument count anymore. Use the new
1208         accessor macros above to get it.
1209         (dump_template_argument_list, dump_type, dump_decl,
1210         dump_template_parms): Adjust.
1211         * parser.c (cp_parser_template_argument_list): Always set defaulted
1212         template args count when compiled with --enable-checking.
1213
1214 2010-01-29  Shujing Zhao  <pearly.zhao@oracle.com>
1215
1216         * decl.c (redeclaration_error_message): Wrap the return messages into
1217         G_() for easy translation.
1218
1219 2010-01-28  Jason Merrill  <jason@redhat.com>
1220
1221         PR c++/42880
1222         * semantics.c (begin_class_definition): Don't use type_as_string.
1223
1224 2010-01-28  Dodji Seketeli  <dodji@redhat.com>
1225
1226         PR c++/42713
1227         PR c++/42820
1228         * typeck.c (get_template_parms_of_dependent_type): Factorized
1229         this out of incompatible_template_type_parms_p
1230         (incompatible_dependent_types_p): Renamed
1231         incompatible_template_type_parms_p into this. Make it detect
1232         two incompatible dependent typedefs too.
1233         (structural_comptypes): Use incompatible_dependent_types_p.
1234         * pt.c (get_template_info):
1235         Handle BOUND_TEMPLATE_TEMPLATE_PARAM.
1236
1237 2010-01-20  Janis Johnson  <janis187@us.ibm.com>
1238             Jason Merrill  <jason@redhat.com>
1239
1240         * mangle.c (write_type): Mangle transparent record as member type.
1241         * semantics.c (begin_class_definition): Recognize decimal classes
1242         and set TYPE_TRANSPARENT_AGGR.
1243
1244 2010-01-20  Jason Merrill  <jason@redhat.com>
1245
1246         PR c++/42338
1247         * mangle.c (write_expression): Handle tree codes that have extra
1248         arguments in the middle-end.
1249
1250 2010-01-20  Paolo Carlini  <paolo.carlini@oracle.com>
1251
1252         PR c++/42038
1253         * except.c (expand_start_catch_block): Deal correctly with
1254         do_begin_catch returning error_mark_node.
1255
1256 2010-01-20  Jason Merrill  <jason@redhat.com>
1257
1258         PR c++/41788
1259         * class.c (layout_class_type): Set packed_maybe_necessary for packed
1260         non-PODs.
1261
1262         PR c++/41920
1263         * semantics.c (build_lambda_object): Call mark_used on captured
1264         variables.
1265
1266         PR c++/40750
1267         * decl.c (grokdeclarator): Clear type_quals for a member function
1268         declared using a typedef.  Don't complain about adding cv-quals
1269         to a function typedef in C++0x mode.
1270
1271 2010-01-20  Jakub Jelinek  <jakub@redhat.com>
1272
1273         * decl.c (create_array_type_for_decl): Remove set but not used
1274         variable error_msg.  Remove break stmts after return stmts.
1275
1276 2010-01-19  Dodji Seketeli  <dodji@redhat.com>
1277
1278         * error.c (dump_template_parms, count_non_default_template_args):
1279         Revert fix of PR c++/42634.
1280
1281 2010-01-18  Dodji Seketeli  <dodji@redhat.com>
1282
1283         PR c++/42634
1284         * error.c (dump_template_parms): Use innermost template
1285         arguments before calling count_non_default_template_args.
1286         (count_non_default_template_args): We are being called with
1287         template innermost arguments now. There is no need to ensure
1288         that again.
1289
1290 2010-01-18  Dodji Seketeli  <dodji@redhat.com>
1291
1292         PR c++/42766
1293         * cvt.c (build_expr_type_conversion): Look through OVERLOAD.
1294
1295 2010-01-17  Dodji Seketeli  <dodji@redhat.com>
1296
1297         PR c++/42697
1298         *pt.c (tsubst_decl):  Revert commit for PR c++/42697.
1299
1300 2010-01-17  Dodji Seketeli  <dodji@redhat.com>
1301
1302         PR c++/42697
1303         *pt.c (tsubst_decl): Get the arguments of a specialization from
1304         the specialization template, not from the most general template.
1305
1306 2010-01-16  Jason Merrill  <jason@redhat.com>
1307
1308         PR c++/42761
1309         * semantics.c (finish_decltype_type): Within a template, treat
1310         unresolved CALL_EXPR as dependent.
1311
1312 2010-01-15  Dodji Seketeli  <dodji@redhat.com>
1313
1314         * error.c (dump_template_parms,count_non_default_template_args):
1315         Revert changes of PR c++/42634.
1316
1317 2010-01-14  Jakub Jelinek  <jakub@redhat.com>
1318
1319         PR middle-end/42674
1320         * decl.c (finish_function): Don't emit -Wreturn-type warnings in
1321         functions with noreturn attribute.
1322
1323 2010-01-14  Jason Merrill  <jason@redhat.com>
1324
1325         PR c++/42701
1326         * call.c (build_new_method_call): Don't free the vec here.
1327
1328         PR c++/42655
1329         * call.c (convert_like_real): Do full decay_conversion for ck_rvalue.
1330
1331 2010-01-13  Dodji Seketeli  <dodji@redhat.com>
1332
1333         PR c++/42634
1334         * error.c (dump_template_parms): Use innermost template
1335         arguments before calling count_non_default_template_args.
1336         (count_non_default_template_args): We are being called with
1337         template innermost arguments now. There is no need to ensure
1338         that again.
1339
1340 2010-01-07  Dodji Seketeli  <dodji@redhat.com>
1341
1342         c++/40155
1343         * pt.c (unify_pack_expansion): In non-deduced contexts, re-use template
1344         arguments that were previously deduced.
1345
1346 2010-01-05  Jason Merrill  <jason@redhat.com>
1347
1348         * pt.c (unify_pack_expansion): Handle deduction from init-list.
1349         * call.c (build_over_call): Don't complain about it.
1350
1351 2010-01-04  Jason Merrill  <jason@redhat.com>
1352
1353         PR c++/42555
1354         * pt.c (tsubst_decl): Don't apply type attributes in place.
1355
1356         PR c++/42567
1357         * semantics.c (describable_type): Remove decltype comment and
1358         semantics.
1359
1360
1361 \f
1362 Copyright (C) 2010 Free Software Foundation, Inc.
1363
1364 Copying and distribution of this file, with or without modification,
1365 are permitted in any medium without royalty provided the copyright
1366 notice and this notice are preserved.