gcc/cp/ChangeLog

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