gcc/cp/ChangeLog

   1 2010-04-20  Jakub Jelinek  <jakub@redhat.com>
   2
   3         * cp-tree.h (TYPE_REF_IS_RVALUE): Remove.
   4
   5 2010-04-19  Dodji Seketeli  <dodji@redhat.com>
   6
   7         PR c++/43704
   8         * typeck.c (structural_comptypes): Test dependent typedefs
   9         incompatibility before testing for their main variant based
  10         equivalence.
  11
  12 2010-04-19  Jakub Jelinek  <jakub@redhat.com>
  13
  14         * cp-tree.h (SCOPED_ENUM_P, UNSCOPED_ENUM_P, SET_SCOPED_ENUM_P): Use
  15         ENUM_IS_SCOPED bit instead of TYPE_LANG_FLAG_5.
  16
  17 2010-04-18  Eric Botcazou  <ebotcazou@adacore.com>
  18
  19         * decl.c (cxx_init_decl_processing): Remove second argument in call to
  20         build_common_tree_nodes.
  21
  22 2010-04-14  Jason Merrill  <jason@redhat.com>
  23
  24         PR c++/36625
  25         * parser.c (cp_parser_parenthesized_expression_list): Change
  26         is_attribute_list parm to int to indicate whether or not to
  27         handle initial identifier specially.
  28         (cp_parser_attribute_list): Use attribute_takes_identifier_p.
  29
  30 2010-04-13  Jason Merrill  <jason@redhat.com>
  31
  32         * call.c (type_decays_to): Check MAYBE_CLASS_TYPE_P instead of
  33         CLASS_TYPE_P.
  34         * parser.c (cp_parser_lambda_expression): Complain about lambda in
  35         unevaluated context.
  36         * pt.c (iterative_hash_template_arg): Don't crash on lambda.
  37
  38 2010-04-12  Jason Merrill  <jason@redhat.com>
  39
  40         PR c++/43641
  41         * semantics.c (maybe_add_lambda_conv_op): Use build_call_a and tweak
  42         return value directly.
  43
  44         * call.c (type_decays_to): Call cv_unqualified for non-class type.
  45
  46 2010-04-12  Fabien Chene  <fabien.chene@gmail.com>
  47
  48         PR c++/25811
  49         * cp-tree.h (diagnose_uninitialized_cst_or_ref_member): Declare.
  50         * init.c (build_new_1): Check for uninitialized const members and
  51         uninitialized reference members, when using new without
  52         new-initializer. Call diagnose_uninitialized_cst_or_ref_member.
  53         (diagnose_uninitialized_cst_or_ref_member): Define, call
  54         diagnose_uninitialized_cst_or_ref_member_1.
  55         (diagnose_uninitialized_cst_or_ref_member_1): New function.
  56
  57 2010-04-12  Richard Guenther  <rguenther@suse.de>
  58
  59         PR c++/43611
  60         * semantics.c (expand_or_defer_fn_1): Do not keep extern
  61         template inline functions.
  62
  63 2010-04-09  Manuel López-Ibáñez  <manu@gcc.gnu.org>
  64
  65         PR c++/28584
  66         * typeck.c (cp_build_c_cast): Warn for casting integer to larger
  67         pointer type.
  68
  69 2010-04-07  Jason Merrill  <jason@redhat.com>
  70
  71         PR c++/43016
  72         * decl.c (start_preparsed_function): Do defer nested functions.
  73
  74         PR c++/11094, DR 408
  75         * cp-tree.h (VAR_HAD_UNKNOWN_BOUND, SET_VAR_HAD_UNKNOWN_BOUND): New.
  76         * decl2.c (finish_static_data_member_decl): Set it.
  77         * decl.c (duplicate_decls): Propagate it.
  78         * pt.c (tsubst_decl): Don't substitute the domain of an array
  79         VAR_DECL if it's set.
  80         (regenerate_decl_from_template): Substitute it here.
  81         (type_dependent_expression_p): Return true if it's set.
  82         * semantics.c (finish_decltype_type): Instantiate such a variable.
  83         * typeck.c (cxx_sizeof_expr): Likewise.
  84         (strip_array_domain): New.
  85
  86         * name-lookup.c (current_decl_namespace): Non-static.
  87         (pop_nested_namespace): Sanity check.
  88         * cp-tree.h: Declare current_decl_namespace.
  89         * decl.c (grokvardecl): Use it instead of current_namespace.
  90         (grokfndecl): Likewise.
  91
  92         PR c++/38392
  93         * pt.c (tsubst_friend_function): Instatiate a friend that has already
  94         been used.
  95
  96         * pt.c (print_template_statistics): New.
  97         * cp-tree.h: Declare it.
  98         * tree.c (cxx_print_statistics): Call it.
  99
 100         PR c++/41970
 101         * decl.c (grokvardecl): Tweak warning message.
 102         (grokfndecl): Likewise.
 103
 104 2010-04-07  Dodji Seketeli  <dodji@redhat.com>
 105
 106         PR c++/42697
 107         *pt.c (tsubst_decl): Get the arguments of a specialization from
 108         the specialization template, not from the most general template.
 109
 110 2010-04-07  Dodji Seketeli  <dodji@redhat.com>
 111
 112         PR c++/40239
 113         * typeck2.c (process_init_constructor_record):
 114         value-initialize members that are are not explicitely
 115         initialized.
 116
 117 2010-04-07  Jie Zhang  <jie@codesourcery.com>
 118
 119         PR c++/42556
 120         * typeck2.c (split_nonconstant_init_1): Drop empty CONSTRUCTOR
 121         when all of its elements are non-constant and have been split out.
 122
 123 2010-04-06  Taras Glek  <taras@mozilla.com>
 124             Jason Merrill  <jason@redhat.com>
 125
 126         * parser.c (cp_parser_class_specifier): Set class location to that
 127         of IDENTIFIER_NODE instead of '{' when possible.
 128         * semantics.c (begin_class_definition): Do not overide locations
 129         with less precise ones.
 130
 131 2010-04-06  Jason Merrill  <jason@redhat.com>
 132
 133         PR c++/43648
 134         * name-lookup.c (constructor_name_p): Allow X::~X even for typedefs.
 135
 136         PR c++/43621
 137         * pt.c (maybe_update_decl_type): Check the return value from
 138         push_scope.
 139
 140 2010-04-01  Jason Merrill  <jason@redhat.com>
 141
 142         * decl.c (next_initializable_field): No longer static.
 143         * cp-tree.h: Declare it.
 144         * call.c (build_aggr_conv): Fail if there are more initializers
 145         than initializable fields.
 146
 147         * semantics.c (maybe_add_lambda_conv_op): Use null_pointer_node
 148         instead of void_zero_node.
 149
 150 2010-03-31  Dodji Seketeli  <dodji@redhat.com>
 151
 152         PR c++/43558
 153         * cp-tree.h (TEMPLATE_TYPE_PARM_SIBLING_PARMS): New accessor macro.
 154         * pt.c (end_template_parm_list): Store sibling template parms of
 155         each TEMPLATE_TYPE_PARMs into its TEMPLATE_TYPE_PARM_SIBLING_PARMS.
 156         (push_template_decl_real): Don't store the containing template decl
 157         into the DECL_CONTEXT of TEMPLATE_TYPE_PARMs anymore.
 158         * typeck.c (get_template_parms_of_dependent_type): Get sibling parms
 159         of a TEMPLATE_TYPE_PARM from TEMPLATE_TYPE_PARM_SIBLING_PARMS.
 160         Simplify the logic.
 161
 162 2010-03-30  Jason Merrill  <jason@redhat.com>
 163
 164         PR c++/43076
 165         * pt.c (push_template_decl_real): Deal better with running out of
 166         scopes before running out of template parms.
 167
 168         PR c++/41185
 169         PR c++/41786
 170         * parser.c (cp_parser_direct_declarator): Don't allow VLAs in
 171         function parameter context.  Don't print an error if parsing
 172         tentatively.
 173
 174         PR c++/43559
 175         * pt.c (more_specialized_fn): Don't control cv-qualifier check
 176         with same_type_p.
 177
 178 2010-03-26  Jason Merrill  <jason@redhat.com>
 179
 180         PR c++/43509
 181         * parser.c (cp_parser_qualifying_entity): Do accept enum names in
 182         c++0x mode, but not other type-names.
 183
 184 2010-03-26  Dodji Seketeli  <dodji@redhat.com>
 185
 186         PR c++/43327
 187         * pt.c (add_to_template_args): Support NULL ARGS;
 188         (most_specialized_class): call coerce_template_parms on
 189         template arguments passed to get_class_bindings. Use
 190         add_to_template_args.
 191         (unify): Handle VAR_DECLs.
 192
 193 2010-03-26  Dodji Seketeli  <dodji@redhat.com>
 194
 195         * cp-tree.h (get_template_parms_at_level): Change unsigned parm
 196         into int.
 197         * pt.c (get_template_parms_at_level): Adjust.
 198
 199 2010-03-25  Dodji Seketeli  <dodji@redhat.com>
 200
 201         PR c++/43206
 202         * cp-tree.h (get_template_parms_at_level): Declare ...
 203         * pt.c (get_template_parms_at_level): ... new function.
 204         * typeck.c (get_template_parms_of_dependent_type): If a template
 205         type parm's DECL_CONTEXT isn't yet set, get its siblings from
 206         current_template_parms. Use get_template_parms_at_level. Remove
 207         useless test.
 208         (incompatible_dependent_types_p): If we get empty parms from just one
 209         of the template type parms we are comparing then the template parms are
 210         incompatible.
 211
 212 2010-03-24  Jason Merrill  <jason@redhat.com>
 213
 214         PR c++/43502
 215         * parser.c (make_declarator): Initialize id_loc.
 216         (cp_parser_lambda_declarator_opt): And set it.
 217
 218 2010-03-23  Jason Merrill  <jason@redhat.com>
 219
 220         Make lambda conversion op and op() non-static.
 221         * semantics.c (maybe_add_lambda_conv_op): Make non-static.
 222         Also add the thunk function returned by the conversion op.
 223         Mark the conversion deleted if the op() is variadic.
 224         * decl2.c (mark_used): Give helpful message about deleted conversion.
 225         * parser.c (cp_parser_lambda_declarator_opt): Don't make op() static.
 226         * semantics.c (finish_this_expr): Adjust.
 227         * mangle.c (write_closure_type_name): Adjust.
 228         * decl.c (grok_op_properties): Don't allow it.
 229         * call.c (build_user_type_conversion_1): No static conversion ops.
 230         (build_op_call): Or op().
 231
 232         * decl2.c (change_return_type): Fix 'this' quals.
 233
 234 2010-03-22  Jason Merrill  <jason@redhat.com>
 235
 236         PR c++/43333
 237         * tree.c (pod_type_p): Use old meaning in C++98 mode.
 238
 239         PR c++/43281
 240         * pt.c (contains_auto_r): New fn.
 241         (do_auto_deduction): Use it.
 242         (tsubst): Don't look at TREE_TYPE of a TEMPLATE_TYPE_PARM.
 243
 244 2010-03-20  Simon Martin  <simartin@users.sourceforge.net>
 245
 246         PR c++/43081:
 247         * decl2.c (grokfield): Handle invalid initializers for member
 248         functions.
 249
 250 2010-03-20  Dodji Seketeli  <dodji@redhat.com>
 251
 252         PR c++/43375
 253         * method.c (make_alias_for): Avoid crashing when DECL_LANG_SPECIFIC
 254         is NULL.
 255         * decl2.c (vague_linkage_p): Likewise.
 256
 257 2010-03-18  Paolo Carlini  <paolo.carlini@oracle.com>
 258
 259         PR c++/43418
 260         * parser.c (cp_parser_for_init_statement): Use NULL_TREE, not
 261         false, in the cp_parser_expression_statement call.
 262
 263 2010-03-05  Jason Merrill  <jason@redhat.com>
 264
 265         * mangle.c (mangle_decl): Give name collision error even without
 266         ASM_OUTPUT_DEF.
 267
 268 2010-03-04  Marco Poletti  <poletti.marco@gmail.com>
 269
 270         * pt.c (process_partial_specialization): Use error_n instead of
 271         error.
 272
 273 2010-03-03  Jason Merrill  <jason@redhat.com>
 274
 275         PR c++/12909
 276         * mangle.c (mangle_decl): Handle VAR_DECL, too.
 277
 278 2010-03-03  Jason Merrill  <jason@redhat.com>
 279
 280         PR c++/12909
 281         * mangle.c (mangle_decl): Handle VAR_DECL, too.
 282
 283 2010-03-03  Jason Merrill  <jason@redhat.com>
 284
 285         PR c++/12909
 286         * mangle.c: Include cgraph.h.
 287         (mangle_decl): If the mangled name will change in a later
 288         ABI version, make the later mangled name an alias.
 289         * method.c (make_alias_for): Copy DECL_ARGUMENTS.
 290         * Make-lang.in (mangle.o): Depend on cgraph.h.
 291         * method.c (make_alias_for): Handle VAR_DECL, too.
 292         * decl2.c (vague_linkage_p): Rename from vague_linkage_fn_p.
 293         * tree.c (no_linkage_check): Adjust.
 294         * decl.c (maybe_commonize_var): Adjust.
 295         * cp-tree.h: Adjust.
 296
 297 2010-03-01  Marco Poletti  <poletti.marco@gmail.com>
 298
 299         * pt.c (redeclare_class_template): Use error_n and inform_n.
 300
 301 2010-02-27  Mark Mitchell  <mark@codesourcery.com>
 302
 303         PR c++/42748
 304         * cp-tree.h (push_tinst_level): Declare.
 305         (pop_tinst_level): Likewise.
 306         * pt.c (push_tinst_level): Give it external linkage.
 307         (pop_tinst_level): Likewise.
 308         * mangle.c (mangle_decl_string): Set the source location to that
 309         of the decl while mangling.
 310
 311 2010-02-27  Simon Martin  <simartin@users.sourceforge.net>
 312
 313         PR c++/42054
 314         * pt.c (redeclare_class_template): Return false if there are erroneous
 315         template parameters.
 316
 317 2010-02-24  Manuel López-Ibáñez  <manu@gcc.gnu.org>
 318
 319         * pt.c (push_tinst_level): Replace -ftemplate-depth- with
 320         -ftemplate-depth=.
 321
 322 2010-02-24  Jason Merrill  <jason@redhat.com>
 323
 324         PR c++/12909
 325         * mangle.c (write_type): Give -Wabi warning for old vector mangling.
 326
 327         * class.c (layout_class_type): Don't give -Wabi warning for a bug
 328         in a previous ABI version.
 329
 330 2010-02-23  Jason Merrill  <jason@redhat.com>
 331
 332         PR c++/43143
 333         * typeck2.c (digest_init_r): Accept value init of array.
 334
 335 2010-02-22  Manuel López-Ibáñez  <manu@gcc.gnu.org>
 336
 337         PR c++/43126
 338         * typeck.c (convert_arguments): Update error message.
 339
 340 2010-02-22  Mike Stump  <mikestump@comcast.net>
 341
 342         PR c++/43125
 343         * decl.c (duplicate_decls): Merge DECL_PRESERVE_P.
 344
 345 2010-02-21  Manuel López-Ibáñez  <manu@gcc.gnu.org>
 346
 347         PR c++/23510
 348         * error.c (print_instantiation_partial_context_line): New.
 349         (print_instantiation_partial_context): Print at most 12 contexts,
 350         skip the rest with a message.
 351
 352 2010-02-21  Dodji Seketeli  <dodji@redhat.com>
 353
 354         PR c++/42824
 355         * pt.c (lookup_template_class): Better support of specialization
 356         of member of class template implicit instantiation.
 357
 358 2010-02-20  Manuel López-Ibáñez  <manu@gcc.gnu.org>
 359
 360         PR c++/35669
 361         * call.c (conversion_null_warnings): Replace -Wconversion with
 362         -Wconversion-null.
 363         * cvt.c (build_expr_type_conversion): Likewise.
 364
 365 2010-02-18  Jason Merrill  <jason@redhat.com>
 366
 367         PR c++/42837
 368         * class.c (create_vtable_ptr): Set DECL_PACKED if type is packed.
 369
 370         PR c++/43108
 371         * typeck.c (cp_build_binary_op): Adapt mixed complex/non handling from
 372         C build_binary_op.
 373         * cp-tree.h (WANT_VECTOR_OR_COMPLEX): Rename from WANT_VECTOR.
 374         * cvt.c (build_expr_type_conversion): Allow COMPLEX_TYPE.
 375
 376         PR c++/43070
 377         * semantics.c (finish_goto_stmt): Don't call decay_conversion.
 378
 379         PR c++/26261
 380         PR c++/43101
 381         * pt.c (tsubst_qualified_id): Do normal lookup in non-dependent scope.
 382         (maybe_update_decl_type): New fn.
 383         * parser.c (cp_parser_init_declarator): Use it.
 384
 385         PR c++/43109
 386         * semantics.c (begin_class_definition): Don't crash on unnamed ns.
 387
 388 2010-02-17  Jason Merrill  <jason@redhat.com>
 389
 390         PR c++/43075
 391         * call.c (build_over_call): Don't create zero-sized assignments.
 392         * cp-gimplify.c (cp_genericize_r): Don't remove them here.
 393         * cp-objcp-common.c (cp_expr_size): Remove.
 394         * cp-tree.h: Remove prototype.
 395
 396         PR c++/43069
 397         * name-lookup.c (set_decl_namespace): Don't copy DECL_CONTEXT if the
 398         decl we looked up doesn't match.
 399
 400         PR c++/43093
 401         * cp-gimplify.c (cp_gimplify_expr) [INIT_EXPR]: Return if we don't
 402         have an INIT_EXPR anymore.
 403
 404         PR c++/43079
 405         * pt.c (convert_nontype_argument): Change assert to test.
 406
 407 2010-02-16  Jason Merrill  <jason@redhat.com>
 408
 409         * cp-gimplify.c (cp_gimplify_expr): Fix error recovery.
 410
 411         PR c++/43031
 412         * cp-gimplify.c (cp_gimplify_expr) [MODIFY_EXPR]: Use
 413         VIEW_CONVERT_EXPR for conversions between structural equality types
 414         that the back end can't tell are the same.
 415
 416         PR c++/43036
 417         * tree.c (build_cplus_array_type): Set TYPE_MAIN_VARIANT to strip
 418         cv-quals from element here.
 419         (cp_build_qualified_type_real): Not here.  Preserve typedef name.
 420
 421 2010-02-14  Jason Merrill  <jason@redhat.com>
 422
 423         PR c++/41997
 424         * semantics.c (finish_compound_literal): Use
 425         cp_apply_type_quals_to_decl when creating a static variable.
 426
 427 2010-02-12  Jason Merrill  <jason@redhat.com>
 428
 429         PR c++/43024
 430         * name-lookup.h (current_binding_level): Check for null
 431         cp_function_chain.
 432
 433 2010-02-12  Jason Merrill  <jason@redhat.com>
 434
 435         PR c++/43054
 436         * tree.c (cp_tree_equal): Correct CALL_EXPR logic.
 437
 438 2010-02-12  Jakub Jelinek  <jakub@redhat.com>
 439
 440         PR c++/43033
 441         * name-lookup.c (pushdecl_maybe_friend): Check default args of t
 442         instead of x.
 443
 444 2010-02-10  Jason Merrill  <jason@redhat.com>
 445
 446         PR c++/41896
 447         * semantics.c (outer_lambda_capture_p): Revert.
 448         (add_capture): Only finish_member_declaration if
 449         we're in the lambda class.
 450         (register_capture_members): New.
 451         * cp-tree.h: Declare it.
 452         * parser.c (cp_parser_lambda_expression): Call it.
 453
 454 2010-02-10  Jason Merrill  <jason@redhat.com>
 455
 456         PR c++/41896
 457         * semantics.c (outer_lambda_capture_p): Use current_function_decl
 458         instead of current_class_type.
 459
 460 2010-02-10  Jason Merrill  <jason@redhat.com>
 461
 462         PR c++/42983, core issue 906
 463         * method.c (defaultable_fn_check): Check virtualness.
 464
 465 2010-02-10  Jason Merrill  <jason@redhat.com>
 466
 467         PR c++/43016
 468         * semantics.c (maybe_add_lambda_conv_op): Set DECL_INTERFACE_KNOWN.
 469
 470 2010-02-10  Shujing Zhao  <pearly.zhao@oracle.com>
 471
 472         * Make-lang.in (cp/cvt.o, cp/parser.o, cp/search.o): Depend on intl.h.
 473         * cvt.c (warn_ref_binding): Wrap the messages into G_() for easy
 474         translation.
 475         * parser.c (cp_parser_postfix_expression, cp_parser_new_type_id)
 476         (cp_parser_cast_expression, cp_parser_condition, cp_parser_decltype)
 477         (cp_parser_parameter_declaration)
 478         (cp_parser_exception_specification_opt)
 479         (cp_parser_exception_declaration): Likewise.
 480         * pt.c (check_default_tmpl_args): Likewise.
 481         * search.c (lookup_field_r): Likewise.
 482
 483 2010-02-09  Jason Merrill  <jason@redhat.com>
 484
 485         PR c++/42399
 486         * pt.c (tsubst_copy_and_build): Propagate LAMBDA_EXPR_LOCATION.
 487
 488 2010-02-09  Jason Merrill  <jason@redhat.com>
 489
 490         PR c++/42370
 491         * decl2.c (change_return_type): New fn.
 492         * semantics.c (apply_lambda_return_type): Use it.
 493         * cp-tree.h: Declare it.
 494
 495 2010-02-05  Richard Guenther  <rguenther@suse.de>
 496
 497         * Make-lang.in (cp/cp-lang.o): Depend on gt-cp-cp-lang.h.
 498         * cp-lang.c: Include gt-cp-cp-lang.h.
 499         * config-lang.in (gtfiles): Add cp/cp-lang.c.
 500
 501 2010-02-05  Dodji Seketeli  <dodji@redhat.com>
 502
 503         PR c++/42915
 504         * typeck.c (get_template_parms_of_dependent_type): Try getting
 505         the template parameters fromt the type itself first.
 506
 507 2010-02-03  Jason Merrill  <jason@redhat.com>
 508
 509         PR c++/4926
 510         PR c++/38600
 511         * mangle.c (write_unqualified_id): Split out from write_expression.
 512         (write_unqualified_name): Call it.
 513         (write_member_name): Likewise.
 514         (write_expression): Support TEMPLATE_ID_EXPR.
 515         Disambiguate operator names.
 516
 517         PR c++/12909
 518         * mangle.c (write_type) [VECTOR_TYPE]: Change mangling with
 519         -fabi-version=4.
 520
 521 2010-02-02  Jason Merrill  <jason@redhat.com>
 522
 523         PR c++/41090
 524         * decl.c (cp_finish_decl): Add local statics to cfun->local_decls.
 525         * optimize.c (clone_body): Remap their initializers when making base
 526         variants.
 527         (maybe_clone_body): Complain if multiple clones aren't safe.
 528
 529 2010-01-29  Dodji Seketeli  <dodji@redhat.com>
 530
 531         PR c++/42758
 532         PR c++/42634
 533         PR c++/42336
 534         PR c++/42797
 535         PR c++/42880
 536         * cp-tree.h (NON_DEFAULT_TEMPLATE_ARGS_COUNT,
 537         SET_NON_DEFAULT_TEMPLATE_ARGS_COUNT,
 538         GET_NON_DEFAULT_TEMPLATE_ARGS_COUNT): New accessor macros.
 539         * pt.c (coerce_template_parms, type_unification_real,
 540         expand_template_argument_pack, coerce_template_parameter_pack):
 541         Set the non default template args count.
 542         (current_template_args): Always set non defaulted
 543         template args count when compiled with --enable-checking
 544         (tsubst_template_args, type_unification_real): Propagate the non
 545         defaulted template args count.
 546         * error.c (get_non_default_template_args_count): Renamed
 547         count_non_default_template_args into this. Don't calculate the
 548         non default template argument count anymore. Use the new
 549         accessor macros above to get it.
 550         (dump_template_argument_list, dump_type, dump_decl,
 551         dump_template_parms): Adjust.
 552         * parser.c (cp_parser_template_argument_list): Always set defaulted
 553         template args count when compiled with --enable-checking.
 554
 555 2010-01-29  Shujing Zhao  <pearly.zhao@oracle.com>
 556
 557         * decl.c (redeclaration_error_message): Wrap the return messages into
 558         G_() for easy translation.
 559
 560 2010-01-28  Jason Merrill  <jason@redhat.com>
 561
 562         PR c++/42880
 563         * semantics.c (begin_class_definition): Don't use type_as_string.
 564
 565 2010-01-28  Dodji Seketeli  <dodji@redhat.com>
 566
 567         PR c++/42713
 568         PR c++/42820
 569         * typeck.c (get_template_parms_of_dependent_type): Factorized
 570         this out of incompatible_template_type_parms_p
 571         (incompatible_dependent_types_p): Renamed
 572         incompatible_template_type_parms_p into this. Make it detect
 573         two incompatible dependent typedefs too.
 574         (structural_comptypes): Use incompatible_dependent_types_p.
 575         * pt.c (get_template_info):
 576         Handle BOUND_TEMPLATE_TEMPLATE_PARAM.
 577
 578 2010-01-20  Janis Johnson  <janis187@us.ibm.com>
 579             Jason Merrill  <jason@redhat.com>
 580
 581         * mangle.c (write_type): Mangle transparent record as member type.
 582         * semantics.c (begin_class_definition): Recognize decimal classes
 583         and set TYPE_TRANSPARENT_AGGR.
 584
 585 2010-01-20  Jason Merrill  <jason@redhat.com>
 586
 587         PR c++/42338
 588         * mangle.c (write_expression): Handle tree codes that have extra
 589         arguments in the middle-end.
 590
 591 2010-01-20  Paolo Carlini  <paolo.carlini@oracle.com>
 592
 593         PR c++/42038
 594         * except.c (expand_start_catch_block): Deal correctly with
 595         do_begin_catch returning error_mark_node.
 596
 597 2010-01-20  Jason Merrill  <jason@redhat.com>
 598
 599         PR c++/41788
 600         * class.c (layout_class_type): Set packed_maybe_necessary for packed
 601         non-PODs.
 602
 603         PR c++/41920
 604         * semantics.c (build_lambda_object): Call mark_used on captured
 605         variables.
 606
 607         PR c++/40750
 608         * decl.c (grokdeclarator): Clear type_quals for a member function
 609         declared using a typedef.  Don't complain about adding cv-quals
 610         to a function typedef in C++0x mode.
 611
 612 2010-01-20  Jakub Jelinek  <jakub@redhat.com>
 613
 614         * decl.c (create_array_type_for_decl): Remove set but not used
 615         variable error_msg.  Remove break stmts after return stmts.
 616
 617 2010-01-19  Dodji Seketeli  <dodji@redhat.com>
 618
 619         * error.c (dump_template_parms, count_non_default_template_args):
 620         Revert fix of PR c++/42634.
 621
 622 2010-01-18  Dodji Seketeli  <dodji@redhat.com>
 623
 624         PR c++/42634
 625         * error.c (dump_template_parms): Use innermost template
 626         arguments before calling count_non_default_template_args.
 627         (count_non_default_template_args): We are being called with
 628         template innermost arguments now. There is no need to ensure
 629         that again.
 630
 631 2010-01-18  Dodji Seketeli  <dodji@redhat.com>
 632
 633         PR c++/42766
 634         * cvt.c (build_expr_type_conversion): Look through OVERLOAD.
 635
 636 2010-01-17  Dodji Seketeli  <dodji@redhat.com>
 637
 638         PR c++/42697
 639         *pt.c (tsubst_decl):  Revert commit for PR c++/42697.
 640
 641 2010-01-17  Dodji Seketeli  <dodji@redhat.com>
 642
 643         PR c++/42697
 644         *pt.c (tsubst_decl): Get the arguments of a specialization from
 645         the specialization template, not from the most general template.
 646
 647 2010-01-16  Jason Merrill  <jason@redhat.com>
 648
 649         PR c++/42761
 650         * semantics.c (finish_decltype_type): Within a template, treat
 651         unresolved CALL_EXPR as dependent.
 652
 653 2010-01-15  Dodji Seketeli  <dodji@redhat.com>
 654
 655         * error.c (dump_template_parms,count_non_default_template_args):
 656         Revert changes of PR c++/42634.
 657
 658 2010-01-14  Jakub Jelinek  <jakub@redhat.com>
 659
 660         PR middle-end/42674
 661         * decl.c (finish_function): Don't emit -Wreturn-type warnings in
 662         functions with noreturn attribute.
 663
 664 2010-01-14  Jason Merrill  <jason@redhat.com>
 665
 666         PR c++/42701
 667         * call.c (build_new_method_call): Don't free the vec here.
 668
 669         PR c++/42655
 670         * call.c (convert_like_real): Do full decay_conversion for ck_rvalue.
 671
 672 2010-01-13  Dodji Seketeli  <dodji@redhat.com>
 673
 674         PR c++/42634
 675         * error.c (dump_template_parms): Use innermost template
 676         arguments before calling count_non_default_template_args.
 677         (count_non_default_template_args): We are being called with
 678         template innermost arguments now. There is no need to ensure
 679         that again.
 680
 681 2010-01-07  Dodji Seketeli  <dodji@redhat.com>
 682
 683         c++/40155
 684         * pt.c (unify_pack_expansion): In non-deduced contexts, re-use template
 685         arguments that were previously deduced.
 686
 687 2010-01-05  Jason Merrill  <jason@redhat.com>
 688
 689         * pt.c (unify_pack_expansion): Handle deduction from init-list.
 690         * call.c (build_over_call): Don't complain about it.
 691
 692 2010-01-04  Jason Merrill  <jason@redhat.com>
 693
 694         PR c++/42555
 695         * pt.c (tsubst_decl): Don't apply type attributes in place.
 696
 697         PR c++/42567
 698         * semantics.c (describable_type): Remove decltype comment and
 699         semantics.
 700
 701
 702 \f
 703 Copyright (C) 2010 Free Software Foundation, Inc.
 704
 705 Copying and distribution of this file, with or without modification,
 706 are permitted in any medium without royalty provided the copyright
 707 notice and this notice are preserved.