gcc/cp/ChangeLog

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