gcc/cp/ChangeLog

   1 2013-05-09  Jason Merrill  <jason@redhat.com>
   2
   3         PR c++/57047
   4         * semantics.c (cxx_fold_indirect_ref): Fix thinko.
   5
   6 2013-04-21  Eric Botcazou  <ebotcazou@adacore.com>
   7
   8         * parser.c (cp_parser_late_return_type_opt): Fix C++ism.
   9
  10 2013-04-15  Jason Merrill  <jason@redhat.com>
  11
  12         PR c++/56388
  13         * semantics.c (insert_capture_proxy): Just use index 1 in the
  14         stmt_list_stack.
  15
  16 2013-04-11  Release Manager
  17
  18         * GCC 4.7.3 released.
  19
  20 2013-04-03  Jakub Jelinek  <jakub@redhat.com>
  21
  22         PR debug/56819
  23         * tree.c (strip_typedefs): Copy NON_DEFAULT_TEMPLATE_ARGS_COUNT
  24         from args to new_args.
  25         (strip_typedefs_expr): Copy NON_DEFAULT_TEMPLATE_ARGS_COUNT from t to
  26         r instead of doing {S,G}ET_NON_DEFAULT_TEMPLATE_ARGS_COUNT.
  27
  28 2013-04-01  Jason Merrill  <jason@redhat.com>
  29
  30         PR c++/56794
  31         * parser.c (cp_parser_range_for): Don't try to do auto deduction
  32         in a template if the type of the range is incomplete.
  33
  34 2013-03-29  Jason Merrill  <jason@redhat.com>
  35
  36         PR c++/56774
  37         PR c++/35722
  38         * pt.c (unify_pack_expansion): Fix indexing.
  39
  40 2013-03-23  Jason Merrill  <jason@redhat.com>
  41
  42         PR c++/54277
  43         * semantics.c (lambda_capture_field_type): Don't build a
  44         magic decltype for pointer types.
  45         (lambda_proxy_type): Likewise.
  46         (finish_non_static_data_member): Get the quals from
  47         the object.
  48
  49 2013-03-20  Jason Merrill  <jason@redhat.com>
  50
  51         PR c++/56646
  52         * parser.c (cp_parser_late_return_type_opt): Save and restore
  53         current_class_ptr/ref.
  54
  55 2013-03-14  Jason Merrill  <jason@redhat.com>
  56
  57         PR c++/56614
  58         * decl.c (local_variable_p_walkfn): Check DECL_ARTIFICIAL again.
  59
  60 2013-03-14  Jakub Jelinek  <jakub@redhat.com>
  61
  62         PR c++/56403
  63         * init.c (build_zero_init_1): Use RECORD_OR_UNION_CODE_P instead
  64         of CLASS_TYPE_P.
  65
  66 2013-03-09  Paolo Carlini  <paolo.carlini@oracle.com>
  67
  68         PR c++/56534
  69         * parser.c (cp_parser_elaborated_type_specifier): Don't call
  70         check_elaborated_type_specifier when TREE_CODE (decl) != TYPE_DECL.
  71         * decl.c (check_elaborated_type_specifier): Tidy.
  72
  73 2013-03-06  Jakub Jelinek  <jakub@redhat.com>
  74
  75         PR c++/56543
  76         * tree.c (strip_typedefs): Don't copy args if they are NULL.
  77
  78 2013-02-22  Jason Merrill  <jason@redhat.com>
  79
  80         PR c++/40405
  81         * pt.c (push_template_decl_real): Set DECL_INTERFACE_KNOWN
  82         if we got the wrong number of template parms.
  83
  84         PR c++/56395
  85         * tree.c (strip_typedefs): Strip typedefs from TYPENAME_TYPE template
  86         args.
  87
  88 2013-02-19  Jakub Jelinek  <jakub@redhat.com>
  89
  90         Backported from mainline
  91         2013-02-07  Jakub Jelinek  <jakub@redhat.com>
  92
  93         PR c++/56241
  94         * init.c (build_vec_init): Don't append NULL values into new_vec.
  95         (build_zero_init_1): Don't push anything into v if recursive call
  96         returned NULL_TREE.
  97         (build_value_init_noctor): Don't push anything into v if
  98         build_value_init call returned NULL_TREE.
  99
 100         PR c++/56239
 101         * parser.c (cp_parser_token_starts_cast_expression): Renamed to...
 102         (cp_parser_tokens_start_cast_expression): ... this.  Change parameter
 103         to cp_parser *, call cp_lexer_peek_token first.  For CPP_OPEN_PAREN,
 104         return true only if 2nd token isn't CPP_CLOSE_PAREN.
 105         (cp_parser_cast_expression): Adjust caller.
 106
 107         PR c++/56237
 108         * decl.c (push_local_name): Look at DECL_DISCRIMINATOR (t)
 109         only if DECL_DISCRIMINATOR_SET_P (t) rather than just
 110         DECL_LANG_SPECIFIC (t).
 111
 112 2013-02-15  Jason Merrill  <jason@redhat.com>
 113
 114         PR c++/54276
 115         * semantics.c (finish_id_expression): Also return the identifier
 116         for an outer local static.
 117
 118         PR c++/52026
 119         * semantics.c (finish_id_expression): In a template, return
 120         the identifier for a constant variable.
 121
 122         PR c++/55710
 123         * semantics.c (maybe_add_lambda_conv_op): Mark static thunk
 124         TREE_USED.
 125
 126         PR c++/56135
 127         * pt.c (tsubst_copy_and_build): Don't forget any new
 128         captures that arose from use of dependent names.
 129
 130 2013-02-12  Jason Merrill  <jason@redhat.com>
 131
 132         PR c++/56291
 133         * semantics.c (sort_constexpr_mem_initializers): Handle
 134         vptr out of order.
 135
 136 2013-02-11  Jason Merrill  <jason@redhat.com>
 137
 138         PR c++/56268
 139         * semantics.c (classtype_has_nothrow_assign_or_copy_p): Call
 140         maybe_instantiate_noexcept.
 141
 142 2013-02-09  Jason Merrill  <jason@redhat.com>
 143
 144         PR c++/56247
 145         * pt.c (eq_specializations): Set comparing_specializations.
 146         * tree.c (cp_tree_equal): Check it.
 147         * cp-tree.h: Declare it.
 148
 149 2013-02-05  Jason Merrill  <jason@redhat.com>
 150
 151         PR c++/54122
 152         * tree.c (lvalue_kind) [INDIRECT_REF]: Don't check for
 153         METHOD_TYPE.
 154
 155 2013-02-01  Jakub Jelinek  <jakub@redhat.com>
 156
 157         Backported from mainline
 158         2012-12-13  Jakub Jelinek  <jakub@redhat.com>
 159
 160         PR c++/55652
 161         * typeck2.c (merge_exception_specifiers): Don't call operand_equal_p
 162         if noex is NULL.
 163
 164         2012-12-06  Jakub Jelinek  <jakub@redhat.com>
 165
 166         PR c++/54207
 167         * except.c (build_noexcept_spec): Avoid direct comparison
 168         with boolean_true_node or boolean_false_node, instead use
 169         operand_equal_p and/or INTEGER_CST check.
 170         * pt.c (tsubst_exception_specification): Likewise.
 171         * typeck2.c (merge_exception_specifiers): Likewise.
 172
 173         2012-12-01  Jakub Jelinek  <jakub@redhat.com>
 174
 175         PR c++/55542
 176         * pt.c (make_ith_pack_parameter_name): Return NULL if
 177         name is NULL.
 178         (tsubst_decl): Call make_ith_pack_parameter_name even if
 179         DECL_NAME is NULL.
 180
 181         2012-11-23  Jakub Jelinek  <jakub@redhat.com>
 182
 183         PR c++/54046
 184         * cp-objcp-common.h (LANG_HOOKS_BLOCK_MAY_FALLTHRU): Redefine.
 185         * cp-objcp-common.c (cxx_block_may_fallthru): New function.
 186         * cp-tree.h (cxx_block_may_fallthru): New prototype.
 187
 188 2013-01-25  Jason Merrill  <jason@redhat.com>
 189
 190         PR c++/56104
 191         * typeck.c (get_member_function_from_ptrfunc): Don't fold
 192         POINTER_PLUS_EXPR.
 193
 194 2013-01-22  Jason Merrill  <jason@redhat.com>
 195
 196         * call.c (type_has_extended_temps): Fix C++ism.
 197
 198         PR c++/53650
 199         * call.c (type_has_extended_temps): New.
 200         * cp-tree.h: Declare it.
 201         * decl.c (check_initializer): Use build_aggr_init for arrays
 202         if it is false.
 203         * init.c (build_vec_init): Avoid mixed signed/unsigned arithmetic.
 204
 205         PR c++/56071
 206         * pt.c (maybe_instantiate_noexcept): Don't defer access checks.
 207
 208 2013-01-21  Jason Merrill  <jason@redhat.com>
 209
 210         PR c++/56059
 211         * tree.c (strip_typedefs_expr) [TREE_VEC]: Preserve non-default
 212         template args count.
 213
 214 2013-01-09  Jason Merrill  <jason@redhat.com>
 215
 216         PR c++/55893
 217         * decl.c (cp_finish_decl): Clear TREE_READONLY if the variable
 218         needs destruction.
 219
 220 2013-01-08  Joel Brobecker  <brobecker@adacore.com>
 221
 222         * parser.c (cp_parser_initializer_list): Move declaration
 223         of variable non_const to start of lexical block.
 224
 225 2013-01-04  Jason Merrill  <jason@redhat.com>
 226
 227         PR c++/55877
 228         * decl.c (reset_type_linkage, bt_reset_linkage): New.
 229         (grokdeclarator): Use reset_type_linkage.
 230         * name-lookup.c (binding_table_foreach): Handle null table.
 231         * tree.c (decl_anon_ns_mem_p): Check TYPE_MAIN_DECL, not TYPE_NAME.
 232
 233 2013-01-03  Jason Merrill  <jason@redhat.com>
 234
 235         PR c++/55419
 236         PR c++/55753
 237         * pt.c (tsubst_copy_and_build) [TARGET_EXPR]: Don't touch
 238         TREE_CONSTANT.
 239
 240         PR c++/55842
 241         * semantics.c (trait_expr_value): Call maybe_instantiate_noexcept.
 242
 243         PR c++/55856
 244         * semantics.c (build_data_member_initialization): Handle DECL_EXPR.
 245
 246 2013-01-02  Jason Merrill  <jason@redhat.com>
 247
 248         PR c++/54325
 249         * call.c (build_new_method_call_1): Don't use build_value_init for
 250         user-provided default constructors.
 251
 252         PR c++/55032
 253         PR c++/55245
 254         * tree.c (build_cplus_array_type): Copy layout information
 255         to main variant if necessary.
 256
 257 2012-12-19  Jason Merrill  <jason@redhat.com>
 258
 259         PR c++/55724
 260         * pt.c (type_unification_real): Re-combine post-deduction loops.
 261
 262 2012-12-11  Jason Merrill  <jason@redhat.com>
 263
 264         PR c++/54883
 265         * decl2.c (min_vis_r): Handle anon visibility for enums.
 266
 267 2012-12-11  Jakub Jelinek  <jakub@redhat.com>
 268
 269         PR c++/55643
 270         * expr.c (mark_exp_read): Handle FLOAT_EXPR similarly to NOP_EXPR.
 271
 272 2012-12-07  Jason Merrill  <jason@redhat.com>
 273
 274         PR c++/55419
 275         * tree.c (build_target_expr): Don't set TREE_CONSTANT.
 276
 277 2012-12-07  Matthias Klose  <doko@ubuntu.com>
 278
 279         * tree.c (build_aggr_init_expr): Add parameter name, mark as unused.
 280
 281 2012-12-06  Jason Merrill  <jason@redhat.com>
 282
 283         PR c++/54325
 284         * tree.c (build_aggr_init_expr): Don't check for abstract class.
 285         (build_cplus_new): Check here instead.
 286
 287         PR c++/55058
 288         * pt.c (tsubst): Keep the quals when looking through a typedef.
 289
 290         PR c++/55249
 291         * tree.c (build_vec_init_elt): Use the type of the initializer.
 292
 293         PR c++/54744
 294         * pt.c (resolve_typename_type): Check TYPENAME_IS_RESOLVING_P on scope.
 295
 296         PR c++/54947
 297         * parser.c (cp_parser_initializer_list): Don't require an
 298         expression in [] to be constant until we know it's a C99
 299         designator.
 300
 301         PR c++/55015
 302         PR c++/53821
 303         * semantics.c (maybe_add_lambda_conv_op): Revert earlier change.
 304         * decl.c (start_preparsed_function): Make local class methods comdat
 305         in templates, too.
 306
 307 2012-11-29  Jason Merrill  <jason@redhat.com>
 308
 309         PR c++/53137
 310         * pt.c (tsubst_expr) [DECL_EXPR]: Set LAMBDA_EXPR_THIS_CAPTURE here.
 311         (tsubst_copy_and_build) [LAMBDA_EXPR]: And clear it here.
 312         (instantiate_class_template_1): Not here.
 313
 314         PR c++/53862
 315         * pt.c (tsubst_arg_types): Add "end" parameter.
 316         (check_undeduced_parms): Use it.
 317
 318         PR c++/53039
 319         * pt.c (arg_from_parm_pack_p): Go back to using same_type_p or
 320         cp_tree_equal.
 321
 322         * cp-tree.h (TEMPLATE_PARM_NUM_SIBLINGS): Remove.
 323         (struct template_parm_index_s): Remove num_siblings.
 324         * pt.c (fixup_template_parms, fixup_template_parm_index): Remove.
 325         (fixup_template_type_parm_type): Remove.
 326         (build_template_parm_index): Remove num_siblings parm.
 327         (process_template_parm): Likewise.
 328         * parser.c (cp_parser_template_parameter_list): Adjust.
 329         * tree.c (cp_tree_equal): Don't compare num_siblings.
 330         * typeck.c (comp_template_parms_position): Likewise.
 331
 332         PR c++/50852
 333         PR c++/53039
 334         * tree.c (strip_typedefs_expr): New.
 335         * cp-tree.h: Declare it.
 336         * pt.c (convert_template_argument, unify): Use it.
 337         * parser.c (cp_parser_template_declaration_after_export): Don't call
 338         fixup_template_parms.
 339
 340 2012-11-29  Kai Tietz  <ktietz@redhat.com>
 341
 342         PR target/53912
 343         * class.c (dump_class_hierarchy_r): Cast from pointer via uintptr_t.
 344         (dump_vtable): Likewise.
 345
 346 2012-11-24  Paolo Carlini  <paolo.carlini@oracle.com>
 347
 348         PR c++/55446
 349         * init.c (build_vec_init): Do not early return error_mark_mode
 350         when integer_all_onesp (maxindex).
 351
 352 2012-11-05  Jakub Jelinek  <jakub@redhat.com>
 353
 354         Backported from mainline
 355         2012-10-23  Jakub Jelinek  <jakub@redhat.com>
 356
 357         PR c++/54988
 358         * decl2.c (cplus_decl_attributes): Don't return early
 359         if attributes is NULL.
 360
 361 2012-10-26  Paolo Carlini  <paolo.carlini@oracle.com>
 362
 363         PR c++/54984
 364         * init.c (build_new): Don't turn a null *init into a pointer to
 365         empty vector orig_init.
 366
 367 2012-10-08  Jakub Jelinek  <jakub@redhat.com>
 368
 369         PR c++/54858
 370         * tree.c (cp_tree_equal): Handle FIELD_DECL.
 371
 372 2012-10-03  Jakub Jelinek  <jakub@redhat.com>
 373
 374         PR c++/54777
 375         * semantics.c (cxx_eval_constant_expression) <case COMPOUND_EXPR>: If
 376         not ignoring the second operand, pass the original second operand
 377         and not one with stripped nops to cxx_eval_constant_expression.
 378
 379 2012-09-20  Release Manager
 380
 381         * GCC 4.7.2 released.
 382
 383 2012-09-14  Jason Merrill  <jason@redhat.com>
 384
 385         PR c++/53661
 386         * typeck2.c (check_narrowing): Avoid false positives on conversion
 387         from enumeral type.
 388
 389 2012-09-13  Jason Merrill  <jason@redhat.com>
 390
 391         PR c++/53839
 392         * semantics.c (cxx_eval_indirect_ref): If we aren't looking for an
 393         address, make sure the value is constant.
 394
 395 2012-09-13  Jason Merrill  <jason@redhat.com>
 396
 397         PR c++/54511
 398         * pt.c (tsubst_decl) [VAR_DECL]: Handle DECL_ANON_UNION_VAR_P.
 399
 400 2012-09-13  Jason Merrill  <jason@redhat.com>
 401
 402         PR c++/53836
 403         * pt.c (value_dependent_expression_p): A TREE_LIST initializer must
 404         be dependent.
 405
 406 2012-09-10  Jason Merrill  <jason@redhat.com>
 407
 408         PR c++/54506
 409         * decl.c (move_signature_fn_p): Split out from move_fn_p.
 410         * method.c (process_subob_fn): Use it.
 411         * cp-tree.h: Declare it.
 412
 413         PR c++/54341
 414         PR c++/54253
 415         * semantics.c (sort_constexpr_mem_initializers): New.
 416         (build_constexpr_constructor_member_initializers): Use it.
 417         (cx_check_missing_mem_inits): Skip artificial fields.
 418         * init.c (expand_aggr_init_1): Don't zero out a class
 419         with no data.
 420
 421         PR c++/54086
 422         * decl.c (grokdeclarator): Allow const and constexpr together.
 423
 424 2012-08-31  Ollie Wild  <aaw@google.com>
 425
 426         PR c++/54197
 427         * call.c (extend_ref_init_temps_1): Handle COMPOUND_EXPR trees.
 428
 429 2012-07-20  Jason Merrill  <jason@redhat.com>
 430
 431         PR c++/54038
 432         * tree.c (build_cplus_array_type): Use build_cplus_array_type to build
 433         canonical array type rather than mess with its TYPE_*_VARIANT.
 434
 435 2012-07-19  Jason Merrill  <jason@redhat.com>
 436
 437         PR c++/54026
 438         * typeck.c (cp_apply_type_quals_to_decl): Check COMPLETE_TYPE_P.
 439
 440 2012-07-18  Jason Merrill  <jason@redhat.com>
 441
 442         * method.c (process_subob_fn): Make sure no_implicit_p is non-null
 443         before trying to store through it.
 444
 445 2012-07-17  Jason Merrill  <jason@redhat.com>
 446
 447         PR c++/53995
 448         * decl.c (finish_enum_value_list): Only call
 449         insert_late_enum_def_into_classtype_sorted_fields in class scope.
 450
 451 2012-07-17  Jason Merrill  <jason@redhat.com>
 452
 453         PR c++/53989
 454         * tree.c (build_cplus_array_type): Also add TYPE_CANONICAL
 455         to the list of variants.
 456
 457 2012-07-17  Jason Merrill  <jason@redhat.com>
 458
 459         PR c++/53549
 460         * parser.c (cp_parser_class_head): Call xref_basetypes here.
 461         (cp_parser_class_specifier_1): Not here.
 462         * pt.c (tsubst_decl) [USING_DECL]: Check uses_template_parms
 463         as well as DECL_DEPENDENT_P.
 464
 465 2012-07-13  Jason Merrill  <jason@redhat.com>
 466
 467         PR c++/53953
 468         * method.c (synthesized_method_walk): Initialize no_implicit_p sooner.
 469
 470 2012-07-10  Jason Merrill  <jason@redhat.com>
 471
 472         DR 1402
 473         PR c++/53733
 474         * cp-tree.h (FNDECL_SUPPRESS_IMPLICIT_DECL): New.
 475         (struct lang_decl_fn): Add suppress_implicit_decl field.
 476         * method.c (implicitly_declare_fn): Check it.
 477         (process_subob_fn): Add no_implicit_p parm.
 478         (walk_field_subobs, synthesized_method_walk): Likewise.
 479         (maybe_explain_implicit_delete): Adjust.
 480         (explain_implicit_non_constexpr): Adjust.
 481
 482         * method.c (synthesized_method_walk): Cleanups don't affect the EH
 483         spec either.
 484
 485 2012-07-02  Jason Merrill  <jason@redhat.com>
 486
 487         PR c++/53816
 488         * class.c (resolves_to_fixed_type_p): Check uses_template_parms
 489         (current_function_decl) instead of processing_template_decl.
 490
 491         PR c++/53821
 492         * semantics.c (maybe_add_lambda_conv_op): Don't set
 493         DECL_INTERFACE_KNOWN.
 494
 495 2012-06-27  Fabien Chêne  <fabien@gcc.gnu.org>
 496
 497         PR c++/51214
 498         * cp-tree.h (insert_late_enum_def_into_classtype_sorted_fields):
 499         Declare.
 500         * class.c (insert_into_classtype_sorted_fields): New.
 501         (add_enum_fields_to_record_type): New.
 502         (count_fields): Adjust the comment.
 503         (add_fields_to_record_type): Likewise.
 504         (finish_struct_1): Move the code that inserts the fields for the
 505         sorted case, into insert_into_classtype_sorted_fields, and call
 506         it.
 507         (insert_late_enum_def_into_classtype_sorted_fields): Define.
 508         * decl.c (finish_enum_value_list): Call
 509         insert_late_enum_def_into_classtype_sorted_fields if a late enum
 510         definition is encountered.
 511
 512 2012-06-25  Jason Merrill  <jason@redhat.com>
 513
 514         PR c++/53498
 515         PR c++/53305
 516         * pt.c (tsubst_pack_expansion): Copy before dummy tsubst.
 517
 518         PR c++/52988
 519         * typeck.c (decay_conversion): Don't discard side-effects from
 520         expressions of nullptr_t.
 521
 522         PR c++/53202
 523         * semantics.c (build_data_member_initialization): Always keep
 524         initializer for empty base.
 525         (cxx_eval_bare_aggregate): Discard it here.
 526
 527 2012-06-25  Jakub Jelinek  <jakub@redhat.com>
 528
 529         PR c++/53594
 530         * class.c (check_bases_and_members): Avoid -Wuninitialized
 531         diagnostics for non-static const members or references if they
 532         use NSDMI.
 533
 534 2012-06-19  Jason Merrill  <jason@redhat.com>
 535
 536         PR c++/53651
 537         * name-lookup.c (constructor_name_p): Don't try to look at the
 538         name of a DECLTYPE_TYPE.
 539
 540         Reapply:
 541         PR c++/53137
 542         * pt.c (instantiate_class_template_1): Set LAMBDA_EXPR_THIS_CAPTURE.
 543         (instantiate_decl): Don't push_to_top_level for local class methods.
 544         (instantiate_class_template_1): Or for local classes.
 545
 546         PR c++/53599
 547         * pt.c (lookup_template_class_1): Use ts_global.
 548
 549 2012-06-14  Richard Guenther  <rguenther@suse.de>
 550
 551         Backport from mainline
 552         2012-06-11  Richard Guenther  <rguenther@suse.de>
 553
 554         PR c++/53616
 555         * mangle.c (write_array_type): Use double-ints for array domain
 556         arithmetic.
 557
 558 2012-06-14  Richard Guenther  <rguenther@suse.de>
 559
 560         Backport from mainline
 561         2012-06-06  Fabien Chêne  <fabien@gcc.gnu.org>
 562
 563         PR c++/52841
 564         * parser.c (cp_parser_alias_declaration): Return earlier
 565         if an error occured.
 566
 567 2012-06-14  Release Manager
 568
 569         * GCC 4.7.1 released.
 570
 571 2012-06-12  Jason Merrill  <jason@redhat.com>
 572
 573         PR c++/53599
 574         Revert:
 575         PR c++/53137
 576         * pt.c (instantiate_class_template_1): Set LAMBDA_EXPR_THIS_CAPTURE.
 577         (instantiate_decl): Don't push_to_top_level for local class methods.
 578         (instantiate_class_template_1): Or for local classes.
 579
 580 2012-06-04  Paolo Carlini  <paolo.carlini@oracle.com>
 581
 582         PR c++/53524
 583         * call.c (build_conditional_expr_1): Use OPT_Wenum_compare
 584         to control enumeral mismatch in conditional expression too.
 585
 586 2012-06-01  Jason Merrill  <jason@redhat.com>
 587
 588         PR c++/52973
 589         * parser.c (cp_parser_class_head): Apply attributes here.
 590         * semantics.c (begin_class_definition): Not here.
 591         * cp-tree.h: Adjust.
 592
 593         PR c++/52725
 594         * parser.c (cp_parser_binary_expression): Bail early if we're parsing
 595         tentatively and the LHS has a parse error.
 596
 597 2012-06-01  Jason Merrill  <jason@redhat.com>
 598
 599         PR c++/53137
 600         * pt.c (instantiate_class_template_1): Set LAMBDA_EXPR_THIS_CAPTURE.
 601         (instantiate_decl): Don't push_to_top_level for local class methods.
 602         (instantiate_class_template_1): Or for local classes.
 603
 604         PR c++/53484
 605         * pt.c (do_auto_deduction): Don't try to deduce from a
 606         type-dependent initializer.
 607
 608 2012-05-31  Jason Merrill  <jason@redhat.com>
 609
 610         PR c++/53500
 611         PR c++/52905
 612         * call.c (joust): Handle comparing list and non-list ctors.
 613
 614 2012-05-30  Jason Merrill  <jason@redhat.com>
 615
 616         PR c++/53356
 617         * tree.c (stabilize_init): Side effects make the init unstable.
 618
 619 2012-05-30  Jason Merrill  <jason@redhat.com>
 620
 621         PR c++/53220
 622         * call.c (convert_like_real) [ck_list]: Take array address directly.
 623         * typeck.c (decay_conversion): Reject decay of an array compound
 624         literal.
 625
 626 2012-05-29  Paolo Carlini  <paolo.carlini@oracle.com>
 627
 628         PR c++/53491
 629         * tree.c (stabilize_expr): Handle exp of void type.
 630
 631 2012-05-28  Paolo Carlini  <paolo.carlini@oracle.com>
 632
 633         PR c++/53503
 634         * semantics.c (potential_constant_expression_1): Handle LTGT_EXPR.
 635
 636 2012-05-15  Alexandre Oliva  <aoliva@redhat.com>
 637
 638         PR c++/53209
 639         * pt.c (tsubst_decl): Bail out if argvec is error_mark_node.
 640
 641 2012-05-10  Paolo Carlini  <paolo.carlini@oracle.com>
 642
 643         PR c++/53301
 644         * decl.c (check_default_argument): Fix typo (POINTER_TYPE_P
 645         instead of TYPE_PTR_P) in zero-as-null-pointer-constant warning.
 646
 647 2012-05-03  Paolo Carlini  <paolo.carlini@oracle.com>
 648
 649         PR c++/53186
 650         * call.c (build_over_call): Handle final member functions
 651         and class types.
 652         (build_new_method_call_1): Do not handle here.
 653
 654 2012-04-17  Paolo Carlini  <paolo.carlini@oracle.com>
 655
 656         PR c++/53003
 657         * parser.c (cp_parser_member_declaration): Check that
 658         initializer_token_start is non null before dereferencing it.
 659
 660 2012-04-16  Jason Merrill  <jason@redhat.com>
 661
 662         PR c++/38543
 663         * pt.c (determine_specialization): Instead of comparing the number
 664         of parms, check that tsubst gives the right answer.
 665
 666         PR c++/50830
 667         * pt.c (convert_template_argument): Handle template template
 668         argument packs.
 669
 670         PR c++/50303
 671         * pt.c (tsubst_pack_expansion): Use tsubst_expr for template
 672         template parameters.
 673
 674 2012-04-15  Jason Merrill  <jason@redhat.com>
 675
 676         PR c++/52292
 677         PR c++/52380
 678         * pt.c (coerce_template_parms): Even if we aren't converting we
 679         want to expand argument packs.
 680
 681 2012-04-15  Fabien Chêne  <fabien@gcc.gnu.org>
 682
 683         PR c++/52465
 684         * parser.c (cp_parser_class_name): Call strip_using_decl and
 685         return the target decl.
 686         * name-lookup.c (strip_using_decl): Returns NULL_TREE if the decl
 687         to be stripped is NULL_TREE.
 688         (qualify_lookup): Call strip_using_decl and perform some checks on
 689         the target decl.
 690
 691 2012-04-13  Jason Merrill  <jason@redhat.com>
 692
 693         PR c++/52824
 694         * pt.c (any_pack_expanson_args_p): New.
 695         (coerce_template_parms): Use it.
 696
 697 2012-04-11  Jason Merrill  <jason@redhat.com>
 698
 699         PR c++/52906
 700         * decl.c (check_tag_decl): Don't complain about attributes if we
 701         don't even have a type.
 702
 703 2012-04-05  Jason Merrill  <jason@redhat.com>
 704
 705         PR c++/52596
 706         * tree.c (lvalue_kind): Treat a deferred access control SCOPE_REF
 707         as an lvalue.
 708
 709 2012-04-03  Jason Merrill  <jason@redhat.com>
 710
 711         PR c++/52796
 712         * pt.c (tsubst_initializer_list): A pack expansion with no elements
 713         means value-initialization.
 714
 715 2012-03-29  Meador Inge  <meadori@codesourcery.com>
 716
 717         PR c++/52672
 718         * semantics.c (cxx_fold_indirect_ref): Don't attempt to fold
 719         stripped child trees that are not pointer types.
 720
 721 2012-03-29  Paolo Carlini  <paolo.carlini@oracle.com>
 722
 723         PR c++/52718
 724         * decl.c (check_default_argument): With -Wzero-as-null-pointer-constant
 725         warn for a zero as null pointer constant default argument.
 726
 727 2012-03-29  Jason Merrill  <jason@redhat.com>
 728
 729         PR c++/52685
 730         * tree.c (copy_binfo): Handle BINFO_DEPENDENT_BASE_P.
 731
 732 2012-03-29  Jakub Jelinek  <jakub@redhat.com>
 733
 734         PR c++/52759
 735         * decl.c (start_decl): Don't call maybe_apply_pragma_weak
 736         if processing_template_decl.
 737
 738 2012-03-29  Jason Merrill  <jason@redhat.com>
 739
 740         PR c++/52743
 741         * call.c (compare_ics): Handle ck_aggr like ck_list.
 742
 743 2012-03-28  Jason Merrill  <jason@redhat.com>
 744
 745         PR c++/52746
 746         * typeck.c (lookup_destructor): Clear BASELINK_QUALIFIED_P if
 747         we didn't get an explicit scope.
 748         * pt.c (tsubst_baselink): Likewise.
 749
 750 2012-03-22  Paolo Carlini  <paolo.carlini@oracle.com>
 751
 752         PR c++/52487
 753         * class.c (check_field_decls): Call literal_type_p only
 754         on complete types.
 755
 756 2012-03-22  Jakub Jelinek  <jakub@redhat.com>
 757
 758         PR c++/52671
 759         * decl.c (check_tag_decl): Only use CLASSTYPE_TEMPLATE_INSTANTIATION
 760         on CLASS_TYPE_P types.
 761
 762 2012-03-22  Jason Merrill  <jason@redhat.com>
 763
 764         PR c++/52582
 765         * method.c (implicitly_declare_fn): Set DECL_EXTERNAL.
 766
 767 2012-03-22  Jakub Jelinek  <jakub@redhat.com>
 768
 769         Backported from mainline
 770         2012-03-14  Jakub Jelinek  <jakub@redhat.com>
 771
 772         PR c++/52521
 773         * parser.c (lookup_literal_operator): Return fn only if
 774         processed all arguments from args vector and argtypes is
 775         void_list_node.
 776
 777 2012-03-22  Release Manager
 778
 779         * GCC 4.7.0 released.
 780
 781 2012-03-20  Jason Merrill  <jason@redhat.com>
 782
 783         * mangle.c (write_type): Handle 'auto'.
 784         * init.c (build_new): Don't do auto deduction where it might
 785         affect template mangling.
 786
 787 2012-03-07  Jason Merrill  <jason@redhat.com>
 788
 789         PR c++/52521
 790         * mangle.c (write_literal_operator_name): The length comes after the
 791         operator prefix.
 792
 793 2012-02-29  Jason Merrill  <jason@redhat.com>
 794
 795         PR c++/51930
 796         * decl.c (check_tag_decl): Move warning for misplaced attributes here.
 797         (shadow_tag): From here.
 798         * parser.c (cp_parser_explicit_instantiation): Don't warn here.
 799
 800 2012-02-21  Jakub Jelinek  <jakub@redhat.com>
 801
 802         PR c++/52312
 803         * typeck.c (check_literal_operator_args): Initialize *long_double_p
 804         and *long_long_unsigned_p even if processing_template_decl.
 805
 806 2012-02-16  Jason Merrill  <jason@redhat.com>
 807
 808         PR c++/52248
 809         * decl.c (define_label): Use timevar_cond_start/stop.
 810
 811 2012-02-16  Fabien Chêne  <fabien@gcc.gnu.org>
 812
 813         PR c++/52126
 814         * decl.c (xref_basetypes): call dependent_scope_p instead of
 815         dependent_type_p.
 816
 817 2012-02-16  Jason Merrill  <jason@redhat.com>
 818
 819         PR c++/51415
 820         * error.c (dump_expr): Handle lambda closures specifically.
 821
 822 2012-02-14  Jason Merrill  <jason@redhat.com>
 823
 824         * parser.c (cp_parser_explicit_instantiation): Give a warning
 825         for ignored attributes on explicit class instantiation.
 826
 827 2012-02-14  Jakub Jelinek  <jakub@redhat.com>
 828
 829         PR c++/52247
 830         * pt.c (tsubst_copy_asm_operands): For LABEL_DECL values call
 831         lookup_label on label's name and set TREE_USED.
 832
 833 2012-02-14  Jason Merrill  <jason@redhat.com>
 834
 835         PR c++/39055
 836         * decl.c (local_variable_p_walkfn): Don't check DECL_ARTIFICIAL.
 837
 838 2012-02-14  Jakub Jelinek  <jakub@redhat.com>
 839
 840         PR c/52181
 841         * decl.c (duplicate_decls): If olddecl has bigger DECL_ALIGN than
 842         newdecl, copy DECL_ALIGN to newdecl and or DECL_USER_ALIGN bits.
 843
 844 2012-02-07  Jason Merrill  <jason@redhat.com>
 845
 846         PR c++/51675
 847         * semantics.c (cx_check_missing_mem_inits): Handle unions.
 848         Fix constexpr default constructor logic.
 849
 850         PR c++/52035
 851         * pt.c (tsubst): Strip uninstantiated typedef.
 852
 853 2012-02-06  Jason Merrill  <jason@redhat.com>
 854
 855         PR c++/52088
 856         * cvt.c (build_expr_type_conversion): Check for template conversion.
 857
 858 2012-01-31  Jason Merrill  <jason@redhat.com>
 859
 860         PR c++/52043
 861         * cp-tree.h (PACK_EXPANSION_LOCAL_P): New.
 862         * pt.c (make_pack_expansion, tsubst_initializer_list): Set it.
 863         (tsubst_pack_expansion): Check it.
 864
 865 2012-01-29  Paolo Carlini  <paolo.carlini@oracle.com>
 866
 867         PR c++/51327
 868         * class.c (explain_non_literal_class): Correctly handle implicitly
 869         deleted constructors.
 870
 871 2012-01-27  Jakub Jelinek  <jakub@redhat.com>
 872
 873         PR c++/51852
 874         * pt.c (tsubst_pack_expansion): Delete and restore
 875         local_specialization whenever need_local_specialization, not just
 876         when saved_local_specializations is non-NULL.
 877
 878 2012-01-26  Paolo Carlini  <paolo.carlini@oracle.com>
 879
 880         PR c++/51370
 881         * error.c (dump_decl, [TEMPLATE_ID_EXPR]): Handle error_mark_node
 882         as TREE_OPERAND (t, 1).
 883
 884 2012-01-24  Jason Merrill  <jason@redhat.com>
 885
 886         PR c++/51917
 887         * decl.c (xref_basetypes): Check VEC_length instead of VEC_space.
 888
 889         PR c++/51973
 890         * tree.c (called_fns_equal): Check template args.
 891         (cp_tree_equal): Call it.
 892
 893 2012-01-24  Aldy Hernandez  <aldyh@redhat.com>
 894             Patrick Marlier  <patrick.marlier@gmail.com>
 895
 896         PR c++/51928
 897         * class.c (set_method_tm_attributes): Use TARGET_THUNK instead of
 898         thunk for set_one_vmethod_tm_attributes.
 899
 900 2012-01-24  Paolo Carlini  <paolo.carlini@oracle.com>
 901
 902         PR c++/51223
 903         * call.c (build_over_call): Check for error_mark_node as
 904         TREE_VALUE when default arguments are processed.
 905
 906 2012-01-23  Jason Merrill  <jason@redhat.com>
 907
 908         PR c++/51930
 909         * decl2.c (determine_visibility): Check for visibility attribute
 910         on template specialization.
 911
 912 2012-01-23  Paolo Carlini  <paolo.carlini@oracle.com>
 913
 914         PR c++/51398
 915         * pt.c (parameter_of_template_p): Skip error_mark_node parameters.
 916
 917 2012-01-23  Jason Merrill  <jason@redhat.com>
 918
 919         PR c++/51925
 920         * class.c (add_method): Set OVL_USED for using-decls.
 921         * tree.c (ovl_scope): New.
 922         * cp-tree.h: Declare it.
 923         * parser.c (cp_parser_template_name): Use it.
 924         * semantics.c (baselink_for_fns): Likewise.
 925         * name-lookup.c (set_inherited_value_binding_p): Likewise.
 926
 927 2012-01-20  Paolo Carlini  <paolo.carlini@oracle.com>
 928
 929         PR c++/51402
 930         * pt.c (lookup_template_class_1): Check context returned by
 931         tsubst for error_mark_node.
 932
 933 2012-01-19  Kai Tietz  <ktietz@redhat.com>
 934
 935         PR c++/51344
 936         * decl2.c (save_template_attributes): Use merge_attributes
 937         instead of chaining up via TREE_CHAIN.
 938
 939 2012-01-19  Jason Merrill  <jason@redhat.com>
 940
 941         PR c++/51889
 942         * class.c (finish_struct): Call add_method here for function usings.
 943         * semantics.c (finish_member_declaration): Not here.
 944
 945 2012-01-18  Paolo Carlini  <paolo.carlini@oracle.com>
 946
 947         PR c++/51225
 948         * typeck2.c (store_init_value): Within a template guard
 949         cxx_constant_value with require_potential_constant_expression.
 950         * pt.c (convert_nontype_argument): Likewise.
 951
 952 2012-01-16  Jakub Jelinek  <jakub@redhat.com>
 953
 954         PR c++/51854
 955         * mangle.c (write_template_arg_literal): Handle complex.
 956
 957 2012-01-16  Jason Merrill  <jason@redhat.com>
 958
 959         PR c++/51827
 960         * mangle.c (mangle_decl): Don't mangle uninstantiated templates.
 961
 962         PR c++/51868
 963         * typeck.c (build_static_cast_1): Handle bit-fields properly.
 964
 965 2012-01-13  Ian Lance Taylor  <iant@google.com>
 966
 967         PR c++/50012
 968         * typeck.c (enum_cast_to_int): New static function.
 969         (cp_build_binary_op): When handling warn_sign_compare, don't test
 970         for TREE_NO_WARNING.  Do call enum_cast_to_int.
 971         * call.c (avoid_sign_compare_warnings): Remove static function.
 972         (build_new_op_1): Don't call avoid_sign_compare_warnings.
 973
 974 2012-01-13  Steven Bosscher  <steven@gcc.gnu.org>
 975
 976         * decl2.c: Do not include tree-mudflap.h
 977         * semantics.c: Likewise.
 978
 979 2012-01-13  Jason Merrill  <jason@redhat.com>
 980
 981         PR c++/20681
 982         * semantics.c (finish_break_stmt): Avoid adding an unreachable
 983         BREAK_STMT.
 984
 985         PR c++/51813
 986         * decl2.c (constrain_visibility): Clear DECL_VISIBILITY_SPECIFIED
 987         when reducing the visibility.
 988
 989         PR c++/51620
 990         * class.c (build_vtbl_initializer): Use __cxa_deleted_virtual.
 991
 992 2012-01-12  Jason Merrill  <jason@redhat.com>
 993
 994         PR c++/51714
 995         * pt.c (value_dependent_expression_p): Treat STMT_EXPR as
 996         value-dependent.
 997
 998 2012-01-13  Dodji Seketeli  <dodji@redhat.com>
 999
1000         PR c++/51633
1001         * semantics.c (cp_parser_ctor_initializer_opt_and_function_body):
1002         Set the pointer to the last block of the constructor to the
1003         current statement.
1004         (build_constexpr_constructor_member_initializers): Get
1005         build_data_member_initialization a chance to deal with more
1006         statements before we choke.
1007
1008 2012-01-12  Jason Merrill  <jason@redhat.com>
1009
1010         PR c++/48051
1011         * mangle.c (write_expression): Mangle BASELINK scope if
1012         BASELINK_QUALIFIED_P.
1013         * search.c (adjust_result_of_qualified_name_lookup): Set
1014         BASELINK_QUALIFIED_P.
1015         * tree.c (cp_tree_equal) [BASELINK]: Compare BASELINK_QUALIFIED_P.
1016         * parser.c (cp_parser_postfix_dot_deref_expression): Don't call
1017         adjust_result_of_qualified_name_lookup for non-qualified names.
1018
1019         PR c++/51403
1020         * pt.c (unify): Handle error_mark_node.
1021
1022 2012-01-11  Jason Merrill  <jason@redhat.com>
1023
1024         PR c++/51565
1025         * call.c (standard_conversion): For ptrmemfuncs, compare the
1026         static_fn_types.
1027
1028         PR c++/51818
1029         * mangle.c (find_substitution): A type is only a substitution
1030         match if we're looking for a type.
1031         (write_nested_name): Use decl_mangling_context.
1032
1033         * decl.c (decls_match): Assert that the arguments are decls.
1034
1035         PR c++/51613
1036         * pt.c (resolve_overloaded_unification): Compare types with
1037         same_type_p, not decls_match.
1038
1039 2012-01-10  Jason Merrill  <jason@redhat.com>
1040
1041         PR c++/51614
1042         * class.c (build_base_path): Diagnose ambiguous base.
1043
1044         PR c++/51433
1045         * semantics.c (cxx_eval_call_expression): Always retry previously
1046         non-constant expressions.
1047
1048 2012-01-06  Jason Merrill  <jason@redhat.com>
1049
1050         DR 686
1051         PR c++/47450
1052         * parser.c (cp_parser_new_expression): Set
1053         type_definition_forbidden_message.
1054
1055         PR c++/6057
1056         PR c++/48051
1057         PR c++/50855
1058         PR c++/51322
1059         * mangle.c (write_expression): Support NEW_EXPR, DELETE_EXPR,
1060         THROW_EXPR, CONSTRUCTOR, OVERLOAD.  Fix PREINCREMENT_EXPR and
1061         PREDECREMENT_EXPR.
1062         (write_template_arg): Fix mangling of class-scope functions and
1063         argument packs.
1064         (mangle_decl): Update suggested -fabi-version argument.
1065         * operators.def: Add DOTSTAR_EXPR, REINTERPRET_CAST_EXPR,
1066         DYNAMIC_CAST_EXPR; correct CONST_CAST_EXPR, STATIC_CAST_EXPR.
1067         * tree.c (dependent_name): No longer static.
1068         * cp-tree.h: Declare it.
1069         * pt.c (unify): Defer handling of unconverted functions.
1070
1071         * mangle.c (mangle_decl): Don't generate mangling aliases
1072         for maybe-in-charge [cd]tors.
1073
1074         * error.c (dump_expr): Print type of CONSTRUCTOR.
1075
1076 2012-01-05  Dodji Seketeli  <dodji@redhat.com>
1077
1078         PR c++/51541
1079         * parser.c (cp_parser_alias_declaration): Get out early upon
1080         errors in the identifier or the attributes.
1081
1082 2012-01-04  Paolo Carlini  <paolo.carlini@oracle.com>
1083
1084         PR c++/51064
1085         * pt.c (tsubst_copy_and_build): Maybe set TREE_NO_WARNING on
1086         the tree returned by build_x_binary_op.
1087
1088 2012-01-03  Paolo Carlini  <paolo.carlini@oracle.com>
1089
1090         PR c++/51738
1091         * parser.c (cp_parser_postfix_open_square_expression): Handle
1092         postfix-expression [ braced-init-list ].
1093
1094 2012-01-03  Paolo Carlini  <paolo.carlini@oracle.com>
1095
1096         PR c++/29273
1097         * rtti.c (build_dynamic_cast_1): In case of T a pointer type,
1098         call decay_conversion on v.
1099
1100 2012-01-03  Paolo Carlini  <paolo.carlini@oracle.com>
1101
1102         PR c++/15867
1103         * decl.c (duplicate_decls): With -Wredundant-decls don't warn for
1104         declaration followed by specialization.
1105
1106 2012-01-03  Jakub Jelinek  <jakub@redhat.com>
1107
1108         PR c++/51669
1109         * semantics.c (finish_omp_clauses): Call fold_build_cleanup_point_expr
1110         on OMP_CLAUSE_{IF,FINAL,NUM_THREADS,SCHEDULE_CHUNK}_EXPR.
1111
1112 2012-01-02  Jason Merrill  <jason@redhat.com>
1113
1114         DR 1359
1115         PR c++/51675
1116         * method.c (walk_field_subobs): Don't check for uninitialized
1117         fields in a union.
1118         (synthesized_method_walk): Check here.
1119
1120         DR 325
1121         PR c++/51666
1122         * parser.c (cp_parser_cache_defarg): Split out...
1123         (cp_parser_parameter_declaration): ...from here.
1124         (cp_parser_save_nsdmi): Use it.
1125         (cp_parser_cache_group): Remove CPP_COMMA support.
1126
1127 2012-01-02  Dodji Seketeli  <dodji@redhat.com>
1128
1129         PR c++/51462
1130         * semantics.c (cx_check_missing_mem_inits): Don't assert in case
1131         of error.
1132
1133 2012-01-02  Paolo Carlini  <paolo.carlini@oracle.com>
1134
1135         PR c++/20140
1136         * typeck2.c (digest_init_r): Use copy_init when initializing
1137         an array of chars.
1138
1139 2012-01-01  Paolo Carlini  <paolo.carlini@oracle.com>
1140
1141         PR c++/16603
1142         * decl.c (build_enumerator): Don't call perform_integral_promotions
1143         on the value.
1144
1145 2012-01-01  Paolo Carlini  <paolo.carlini@oracle.com>
1146
1147         PR c++/51379
1148         * typeck.c (build_reinterpret_cast_1): Implement resolution of
1149         DR 799.
1150
1151 2012-01-01  Fabien Chêne  <fabien@gcc.gnu.org>
1152
1153         * parser.c (cp_parser_using_declaration): Add a warning about
1154         deprecated access declarations when no errors were encountered
1155         while parsing the access declaration. Save the first token in
1156         order to emit the warning at the right place.
1157 \f
1158 Copyright (C) 2012 Free Software Foundation, Inc.
1159
1160 Copying and distribution of this file, with or without modification,
1161 are permitted in any medium without royalty provided the copyright
1162 notice and this notice are preserved.