gcc/cp/ChangeLog

   1 2014-04-01  Jason Merrill  <jason@redhat.com>
   2
   3         * pt.c (process_partial_specialization): Say "not deducible"
   4         rather than "not used".  Use inform.
   5
   6         PR c++/60374
   7         * pt.c (coerce_template_parms): Check that the pack expansion
   8         pattern works with the first matching parameter.
   9
  10 2014-04-01  Fabien Chêne  <fabien@gcc.gnu.org>
  11
  12         * init.c (perform_member_init): Homogenize uninitialized
  13         diagnostics.
  14
  15 2014-04-01  Jason Merrill  <jason@redhat.com>
  16
  17         PR c++/60708
  18         * call.c (build_array_conv): Call complete_type.
  19
  20         PR c++/60713
  21         * typeck2.c (PICFLAG_SIDE_EFFECTS): New.
  22         (picflag_from_initializer): Return it.
  23         (process_init_constructor): Handle it.
  24
  25         PR c++/60642
  26         * decl2.c (is_late_template_attribute): Don't defer abi_tag.
  27         * mangle.c (write_unqualified_name): Fix abi_tag on templates.
  28         * pt.c (get_template_info): Handle NAMESPACE_DECL.
  29         (most_general_template): Handle more kinds of template.
  30         * tree.c (handle_abi_tag_attribute): Ignore abi_tag on template
  31         instantiations and specializations.
  32
  33 2014-03-31  Patrick Palka  <patrick@parcs.ath.cx>
  34
  35         PR c++/44859
  36         * typeck.c (maybe_warn_about_returning_address_of_local): Unwrap
  37         COMPONENT_REFs and ARRAY_REFs sooner.
  38
  39 2014-03-29  Adam Butcher  <adam@jessamine.co.uk>
  40
  41         PR c++/60626
  42         * parser.c (cp_parser_init_declarator): Handle erroneous generic type
  43         usage in non-functions with pushed scope.
  44
  45 2014-03-28  Adam Butcher  <adam@jessamine.co.uk>
  46
  47         PR c++/60573
  48         * name-lookup.h (cp_binding_level): New transient field defining_class_p
  49         to indicate whether a scope is in the process of defining a class.
  50         * semantics.c (begin_class_definition): Set defining_class_p.
  51         * name-lookup.c (leave_scope): Reset defining_class_p.
  52         * parser.c (synthesize_implicit_template_parm): Use cp_binding_level::
  53         defining_class_p rather than TYPE_BEING_DEFINED as the predicate for
  54         unwinding to class-defining scope to handle the erroneous definition of
  55         a generic function of an arbitrarily nested class within an enclosing
  56         class.
  57
  58 2014-03-26  Fabien Chêne  <fabien@gcc.gnu.org>
  59
  60         PR c++/52369
  61         * cp/method.c (walk_field_subobs): Improve the diagnostic
  62         locations for both REFERENCE_TYPEs and non-static const members.
  63         * cp/init.c (diagnose_uninitialized_cst_or_ref_member): Use %q#D
  64         instead of %qD to be consistent with the c++11 diagnostic.
  65
  66 2014-03-25  Jason Merrill  <jason@redhat.com>
  67
  68         PR c++/60566
  69         PR c++/58678
  70         * class.c (build_vtbl_initializer): Handle abstract dtors here.
  71         * search.c (get_pure_virtuals): Not here.
  72
  73         PR c++/60375
  74         * parser.c (cp_parser_lambda_expression): Don't parse the body of
  75         a lambda in unevaluated context.
  76
  77         PR c++/60628
  78         * decl.c (create_array_type_for_decl): Complain about array of auto.
  79
  80 2014-03-25  Jakub Jelinek  <jakub@redhat.com>
  81
  82         PR c++/60331
  83         * semantics.c (potential_constant_expression_1): Handle
  84         DECL_EXPR.
  85
  86 2014-03-24  Adam Butcher  <adam@jessamine.co.uk>
  87
  88         PR c++/60627
  89         * parser.c (cp_parser_parameter_declaration_clause): Prevent 'auto' from
  90         introducing an implicit function template parameter within an explicit
  91         instantiation.
  92
  93 2014-03-22  Jason Merrill  <jason@redhat.com>
  94
  95         PR c++/60574
  96         * decl.c (grokdeclarator): Change permerror about 'virtual auto'
  97         to error.
  98
  99 2014-03-21  Paolo Carlini  <paolo.carlini@oracle.com>
 100
 101         PR c++/60384
 102         * name-lookup.c (push_class_level_binding_1): Check identifier_p
 103         on the name argument.
 104
 105 2014-03-20  Jakub Jelinek  <jakub@redhat.com>
 106
 107         PR c++/60572
 108         * init.c (build_zero_init_1): Ignore fields with error_mark_node
 109         type.
 110
 111 2014-03-19  Paolo Carlini  <paolo.carlini@oracle.com>
 112
 113         PR c++/51474
 114         * call.c (build_new_method_call_1): Handle pure virtuals called by
 115         NSDMIs too.
 116
 117 2014-03-17  Adam Butcher  <adam@jessamine.co.uk>
 118
 119         PR c++/60390
 120         * parser.c (cp_parser_member_declaration): Don't allow
 121         finish_fully_implicit_template to consider friend declarations to be
 122         class member templates.
 123         (synthesize_implicit_template_parm): Handling winding back through class
 124         scope to the class being defined in order to inject a template argument
 125         list.
 126
 127         PR c++/60391
 128         * parser.c (cp_parser_skip_to_end_of_block_or_statement): Unwind generic
 129         function scope as per cp_parser_skip_to_end_of_statement.
 130
 131 2014-03-17  Paolo Carlini  <paolo.carlini@oracle.com>
 132
 133         PR c++/59571
 134         * typeck2.c (check_narrowing): Use fold_non_dependent_expr_sfinae.
 135
 136 2014-03-14  Jason Merrill  <jason@redhat.com>
 137
 138         PR c++/60532
 139         PR c++/58678
 140         * search.c (get_pure_virtuals): Handle abstract dtor here.
 141         (dfs_get_pure_virtuals): Not here.
 142
 143         PR c++/58678
 144         * search.c (dfs_get_pure_virtuals): Treat the destructor of an
 145         abstract class as pure.
 146
 147 2014-03-13  Paolo Carlini  <paolo.carlini@oracle.com>
 148
 149         PR c++/60383
 150         * pt.c (maybe_process_partial_specialization): Check return value
 151         of check_specialization_namespace.
 152
 153 2014-03-13  Paolo Carlini  <paolo.carlini@oracle.com>
 154
 155         PR c++/60254
 156         * semantics.c (finish_static_assert): Call cxx_constant_value only
 157         if require_potential_rvalue_constant_expression returns true.
 158
 159 2014-03-11  Paolo Carlini  <paolo.carlini@oracle.com>
 160
 161         PR c++/60389
 162         * method.c (get_inherited_ctor): New.
 163         * cp-tree.h (get_inherited_ctor): Declare it.
 164         * semantics.c (is_valid_constexpr_fn): Use it.
 165
 166 2014-03-10  Jason Merrill  <jason@redhat.com>
 167
 168         PR c++/60367
 169         * call.c (convert_default_arg): Remove special handling for
 170         CONSTRUCTOR.
 171
 172         PR c++/53492
 173         * parser.c (cp_parser_class_head): Also check PRIMARY_TEMPLATE_P
 174         when deciding whether to call push_template_decl for a member class.
 175         * pt.c (push_template_decl_real): Return after wrong levels error.
 176
 177 2014-03-08  Adam Butcher  <adam@jessamine.co.uk>
 178
 179         PR c++/60033
 180         * pt.c (tsubst_copy): When retrieving a capture pack from a generic
 181         lambda, remove the lambda's own template argument list prior to fetching
 182         the specialization.
 183
 184         PR c++/60393
 185         * parser.c (cp_parser_parameter_declaration_clause): Move generic
 186         function template unwinding on error into a more general location, ...
 187         (cp_parser_skip_to_end_of_statement): ... here.
 188
 189 2014-03-07  Jason Merrill  <jason@redhat.com>
 190
 191         * Make-lang.in (check_g++_parallelize): Split dg.exp.
 192
 193         * parser.c (cp_parser_type_id_1): Only allow 'auto' in C++1y if
 194         we're in a trailing return type.
 195
 196         * typeck.c (comp_template_parms_position): 'auto' and
 197         'decltype(auto)' are different from real template parms.
 198
 199         * parser.c (cp_parser_using_declaration): Consume the semicolon
 200         after bare parameter pack error.
 201
 202         * cp-tree.h (REF_PARENTHESIZED_P): New.
 203         * semantics.c (force_paren_expr): Set it.
 204         * pt.c (do_auto_deduction): Check it.
 205         (tsubst) [COMPONENT_REF]: Copy it.
 206         * typeck.c (maybe_warn_about_useless_cast): Don't strip dereference.
 207
 208         * decl.c (create_array_type_for_decl): Only warn about invalid
 209         C++1y VLA if flag_iso or warn_vla>0.
 210         (grokdeclarator): Likewise.
 211         * pt.c (tsubst): Likewise.
 212         * semantics.c (finish_decltype_type): Likewise.
 213         * typeck.c (cxx_sizeof_or_alignof_type): Likewise.
 214         (cp_build_addr_expr_1): Likewise.
 215         * init.c (build_new_1): Improve diagnostics.
 216
 217 2014-03-07  Paolo Carlini  <paolo.carlini@oracle.com>
 218
 219         PR c++/58609
 220         * decl.c (check_initializer): Return NULL_TREE after error;
 221         consistently use inform.
 222
 223 2014-03-07  Paolo Carlini  <paolo.carlini@oracle.com>
 224
 225         * decl.c (check_initializer): Remove dead code.
 226
 227 2014-03-06  Marek Polacek  <polacek@redhat.com>
 228
 229         PR c/60197
 230         * typeck.c (check_return_expr): Call contains_cilk_spawn_stmt instead
 231         of checking tree code.
 232
 233 2014-03-06  Paolo Carlini  <paolo.carlini@oracle.com>
 234
 235         * parser.c (cp_lexer_set_source_position): New.
 236         (cp_parser_mem_initializer): Use it.
 237         (cp_parser_postfix_open_square_expression): Likewise.
 238         (cp_parser_parenthesized_expression_list): Likewise.
 239         (cp_parser_new_initializer): Likewise.
 240         (cp_parser_jump_statement): Likewise.
 241         (cp_parser_initializer): Likewise.
 242         (cp_parser_functional_cast): Likewise.
 243
 244 2014-03-05  Jason Merrill  <jason@redhat.com>
 245
 246         PR c++/60409
 247         * semantics.c (force_paren_expr): Only add a PAREN_EXPR to a
 248         dependent expression.
 249
 250         PR c++/60361
 251         * parser.c (cp_parser_template_id): Don't set up a CPP_TEMPLATE_ID
 252         if re-parsing might succeed.
 253         * semantics.c (finish_id_expression): Use of a parameter outside
 254         the function body is a parse error.
 255
 256         * parser.c (cp_parser_mem_initializer): Set input_location
 257         properly for init-list warning.
 258         (cp_parser_postfix_open_square_expression): Likewise.
 259         (cp_parser_parenthesized_expression_list): Likewise.
 260         (cp_parser_new_initializer): Likewise.
 261         (cp_parser_jump_statement): Likewise.
 262         (cp_parser_initializer): Likewise.
 263         (cp_parser_functional_cast): Likewise.
 264
 265 2014-03-04  Jason Merrill  <jason@redhat.com>
 266
 267         PR c++/60417
 268         * typeck2.c (process_init_constructor_record): Set
 269         CONSTRUCTOR_IS_DIRECT_INIT on {} for omitted initializers.
 270
 271         PR c++/60415
 272         PR c++/54359
 273         * parser.c (cp_parser_direct_declarator): Set declarator to
 274         cp_error_declarator on invalid qualified-id.
 275
 276 2014-03-04  Paolo Carlini  <paolo.carlini@oracle.com>
 277
 278         PR c++/60376
 279         * parser.c (cp_parser_using_declaration): Early return when
 280         cp_parser_nested_name_specifier errors out.
 281
 282 2014-03-01  Adam Butcher  <adam@jessamine.co.uk>
 283
 284         PR c++/60377
 285         * parser.c (cp_parser_parameter_declaration_clause): Unwind generic
 286         function scope on parse error in function parameter list.
 287
 288 2014-03-01  Paolo Carlini  <paolo.carlini@oracle.com>
 289
 290         * method.c (implicitly_declare_fn): Remove redundant
 291         DECL_TEMPLATE_RESULT and STRIP_TEMPLATE uses.
 292         * semantics.c (is_instantiation_of_constexpr): Likewise.
 293         * error.c (dump_function_decl): Likewise.
 294
 295 2014-03-01  Jason Merrill  <jason@redhat.com>
 296
 297         PR c++/60379
 298         * semantics.c (begin_maybe_infinite_loop): Use
 299         fold_non_dependent_expr_sfinae.
 300
 301 2014-02-28  Jason Merrill  <jason@redhat.com>
 302
 303         PR c++/58845
 304         * typeck.c (cp_build_binary_op): Sorry on vector&&vector.
 305
 306 2014-02-28  Paolo Carlini  <paolo.carlini@oracle.com>
 307
 308         PR c++/58610
 309         * cp-tree.h (DECL_DELETED_FN): Use LANG_DECL_FN_CHECK.
 310         * call.c (print_z_candidate): Remove STRIP_TEMPLATE use.
 311         * lambda.c (maybe_add_lambda_conv_op): Likewise.
 312
 313 2014-02-27  Paolo Carlini  <paolo.carlini@oracle.com>
 314
 315         PR c++/60253
 316         * call.c (convert_arg_to_ellipsis): Return error_mark_node after
 317         error_at.
 318
 319 2014-02-27  Jason Merrill  <jason@redhat.com>
 320
 321         PR c++/60353
 322         PR c++/55877
 323         * decl2.c (tentative_decl_linkage): Don't mess with functions that
 324         are not yet defined.
 325
 326 2014-02-26  Jason Merrill  <jason@redhat.com>
 327
 328         PR c++/60347
 329         PR lto/53808
 330         * class.c (clone_function_decl): Don't note_vague_linkage_fn.
 331         * init.c (build_vtbl_address): Do it here.
 332
 333         PR c++/59231
 334         PR c++/11586
 335         PR c++/14710
 336         PR c++/57132
 337         * pt.c (struct warning_sentinel): New.
 338         (tsubst_copy_and_build): Use it instead of
 339         c_inhibit_evaluation_warnings.
 340         * typeck.c (maybe_warn_about_useless_cast): Remove
 341         c_inhibit_evaluation_warnings check.
 342
 343         PR c++/54440
 344         * pt.c (get_template_parm_index): New.
 345         (fixed_parameter_pack_p_1, fixed_parameter_pack_p): New.
 346         (process_template_parm): Allow bare packs in template template
 347         parm template parms.
 348         (coerce_template_parameter_pack): Handle fixed template template
 349         parm packs and fixed packs not at the end of the parm list.
 350         (coerce_template_parms): Handle template parm packs not at the end
 351         of the parm list.
 352         (gen_elem_of_pack_expansion_instantiation): Handle a decl expansion.
 353
 354         PR c++/60182
 355         * pt.c (unify): Ignore alias templates when deducing a template
 356         template parameter.
 357
 358         PR c++/60345
 359         Revert:
 360         DR 1571
 361         * call.c (reference_binding): Recurse on user-defined conversion.
 362         (convert_like_real) [ck_ref_bind]: Explain cv-qual mismatch.
 363
 364 2014-02-25  Jason Merrill  <jason@redhat.com>
 365
 366         DR 1571
 367         * call.c (reference_binding): Recurse on user-defined conversion.
 368         (convert_like_real) [ck_ref_bind]: Explain cv-qual mismatch.
 369
 370         * call.c (print_conversion_rejection): Handle n_arg of -2.
 371         (build_user_type_conversion_1): Pass it.
 372
 373         PR c++/55877
 374         * decl2.c (no_linkage_error): Handle C++98 semantics.
 375         (reset_type_linkage): Move from decl.c.
 376         (reset_type_linkage_1, reset_type_linkage_2, bt_reset_linkage_1)
 377         (bt_reset_linkage_2, reset_decl_linkage): New.
 378         (tentative_decl_linkage): Factor out of expand_or_defer_fn_1.
 379         (cp_write_global_declarations): Move condition into no_linkage_error.
 380         * decl.c (grokfndecl, grokvardecl): Use no_linkage_error.
 381         * semantics.c (expand_or_defer_fn_1): Factor out
 382         tentative_decl_linkage.
 383         * cp-tree.h: Adjust.
 384
 385         * decl2.c (finish_static_data_member_decl): Diagnose static data
 386         member in unnamed class.
 387         * class.c (finish_struct_anon_r): Avoid redundant diagnostic.
 388
 389         PR lto/53808
 390         * class.c (clone_function_decl): Call note_vague_linkage_fn for
 391         defaulted virtual dtor.
 392
 393         DR 1286
 394         PR c++/60328
 395         * pt.c (get_underlying_template): Fix equivalence calculation.
 396
 397 2014-02-25  Adam Butcher  <adam@jessamine.co.uk>
 398
 399         PR c++/60311
 400         * parser.c (function_being_declared_is_template_p): Return false when
 401         processing a template parameter list.
 402         (cp_parser_parameter_declaration_clause): Don't set
 403         auto_is_implicit_function_template_parm_p when processing a
 404         template parameter list.
 405
 406         * parser.c (synthesize_implicit_template_parm): Inject new template
 407         argument list appropriately when a generic member function
 408         of a class template is declared out-of-line.
 409
 410         PR c++/60065
 411         * parser.c (cp_parser_direct_declarator): Don't save and
 412         restore num_template_parameter_lists around call to
 413         cp_parser_parameter_declaration_list.
 414         (function_being_declared_is_template_p): New predicate.
 415         (cp_parser_parameter_declaration_list): Use
 416         function_being_declared_is_template_p as predicate for
 417         inspecting current function template parameter list length
 418         rather than num_template_parameter_lists.
 419
 420 2014-02-24  Jason Merrill  <jason@redhat.com>
 421
 422         PR c++/60146
 423         * pt.c (tsubst_omp_for_iterator): Don't let substitution of the
 424         DECL_EXPR initialize a non-class iterator.
 425
 426         PR c++/60312
 427         * parser.c (cp_parser_template_type_arg): Check for invalid 'auto'.
 428
 429 2014-02-21  Jason Merrill  <jason@redhat.com>
 430
 431         PR c++/58170
 432         * parser.c (cp_parser_type_name): Always check dependency.
 433         (cp_parser_type_specifier_seq): Call
 434         cp_parser_parse_and_diagnose_invalid_type_name.
 435
 436         PR c++/60108
 437         * semantics.c (expand_or_defer_fn_1): Check DECL_DEFAULTED_FN.
 438
 439         PR c++/60185
 440         * parser.c (cp_parser_default_argument): Clear
 441         current_class_ptr/current_class_ref like tsubst_default_argument.
 442
 443         PR c++/60252
 444         * lambda.c (maybe_resolve_dummy): Check lambda_function rather
 445         than current_binding_level.
 446
 447         PR c++/60186
 448         * typeck2.c (massage_init_elt): Call fold_non_dependent_expr_sfinae.
 449
 450         PR c++/60187
 451         * parser.c (cp_parser_enum_specifier): Call
 452         check_for_bare_parameter_packs.
 453
 454         PR c++/59347
 455         * pt.c (tsubst_decl) [TYPE_DECL]: Don't try to instantiate an
 456         erroneous typedef.
 457
 458         PR c++/60241
 459         * pt.c (lookup_template_class_1): Update DECL_TEMPLATE_INSTANTIATIONS
 460         of the partial instantiation, not the most general template.
 461         (maybe_process_partial_specialization): Reassign everything on
 462         that list.
 463
 464         PR c++/60216
 465         * pt.c (register_specialization): Copy DECL_DELETED_FN to clones.
 466         (check_explicit_specialization): Don't clone.
 467
 468         PR c++/60219
 469         * pt.c (coerce_template_parms): Bail if argument packing fails.
 470
 471         PR c++/60224
 472         * decl.c (cp_complete_array_type, maybe_deduce_size_from_array_init):
 473         Don't get confused by a CONSTRUCTOR that already has a type.
 474
 475         PR c++/60227
 476         * call.c (build_array_conv): Don't crash on VLA.
 477
 478         PR c++/60248
 479         * mangle.c (mangle_decl): Don't make an alias for a TYPE_DECL.
 480
 481         PR c++/60252
 482         * lambda.c (maybe_resolve_dummy): Don't try to capture this
 483         in declaration context.
 484
 485         DR 1591
 486         PR c++/60051
 487         * pt.c (unify): Only unify if deducible.  Handle 0-length list.
 488
 489         PR c++/60250
 490         * parser.c (cp_parser_direct_declarator): Don't wrap a
 491         type-dependent expression in a NOP_EXPR.
 492
 493         PR c++/60251
 494         * lambda.c (is_normal_capture_proxy): Handle VLA capture.
 495
 496         PR c++/60167
 497         PR c++/60222
 498         PR c++/58606
 499         * parser.c (cp_parser_template_argument): Restore dereference.
 500         * pt.c (template_parm_to_arg): Dereference non-pack expansions too.
 501         (process_partial_specialization): Handle deref.
 502         (unify): Likewise.
 503
 504 2014-02-21  Adam Butcher  <adam@jessamine.co.uk>
 505
 506         PR c++/60052
 507         PR c++/60053
 508         * parser.c (cp_parser_parameter_declaration_list): Correctly reset
 509         implicit_template_scope upon leaving an out-of-line generic member
 510         function definition.
 511
 512 2014-02-20  Kai Tietz  <ktietz@redhat.com>
 513
 514         PR c++/58873
 515         * parser.c (cp_parser_functional_cast): Treat NULL_TREE
 516         valued type argument as error_mark_node.
 517
 518         PR c++/58835
 519         * semantics.c (finish_fname): Handle error_mark_node.
 520
 521 2014-02-19  Jason Merrill  <jason@redhat.com>
 522
 523         PR c++/60046
 524         * pt.c (maybe_instantiate_noexcept): Don't instantiate exception
 525         spec from template context.
 526
 527 2014-02-19  Jakub Jelinek  <jakub@redhat.com>
 528
 529         PR debug/56563
 530         * cp-objcp-common.c (cp_function_decl_explicit_p): Remove
 531         FUNCTION_FIRST_USER_PARMTYPE (decl) != void_list_node check.
 532
 533         PR c++/60267
 534         * pt.c (tsubst_expr): Handle ANNOTATE_EXPR.
 535
 536 2014-02-18  Paolo Carlini  <paolo.carlini@oracle.com>
 537
 538         PR c++/60225
 539         * semantics.c (ensure_literal_type_for_constexpr_object): Use
 540         strip_array_types.
 541
 542 2014-02-18  Paolo Carlini  <paolo.carlini@oracle.com>
 543
 544         PR c++/60215
 545         * semantics.c (cxx_eval_constant_expression, [COMPONENT_REF]):
 546         During error recovery allow_non_constant may be false.
 547
 548 2014-02-18  Adam Butcher  <adam@jessamine.co.uk>
 549
 550         PR c++/60190
 551         * parser.c (cp_parser_lambda_declarator_opt): Pop template parameter
 552         scope whenever a template parameter list has been started, independent
 553         of whether the function call operator was well-formed or not.
 554
 555         PR c++/60064
 556         * parser.c (cp_parser_member_declaration): Pop fully implicit template
 557         scope for generic friend declarations as well as for non-friends.
 558
 559 2014-02-12  Paolo Carlini  <paolo.carlini@oracle.com>
 560
 561         PR c++/60047
 562         * method.c (implicitly_declare_fn): A constructor of a class with
 563         virtual base classes isn't constexpr (7.1.5p4).
 564
 565 2014-02-05  Jan Hubicka  <hubicka@ucw.cz
 566
 567         * parser.c (synthesize_implicit_template_parm): Use grow_tree_vec.
 568
 569 2014-02-05  Jakub Jelinek  <jakub@redhat.com>
 570
 571         PR c++/58703
 572         * parser.c (cp_parser_omp_declare_reduction): Save and free
 573         declarator_obstack.
 574
 575 2014-02-03  Marc Glisse  <marc.glisse@inria.fr>
 576
 577         PR c++/53017
 578         PR c++/59211
 579         * tree.c (handle_init_priority_attribute): Call default_conversion on
 580         the attribute argument.
 581
 582 2014-02-03  Paolo Carlini  <paolo.carlini@oracle.com>
 583
 584         PR c++/58871
 585         * method.c (synthesized_method_walk): If vbases is non-null but
 586         is_empty is true, likewise don't worry about the virtual bases.
 587
 588 2014-02-01  Paolo Carlini  <paolo.carlini@oracle.com>
 589
 590         PR c++/51219
 591         * typeck2.c (process_init_constructor_record): Just skip unnamed
 592         bit-fields.
 593
 594 2014-01-31  Jason Merrill  <jason@redhat.com>
 595
 596         PR c++/59469
 597         * pt.c (mark_decl_instantiated): Call mark_needed.
 598
 599         PR c++/58672
 600         * decl2.c (handle_tls_init): Handle null init fn.
 601
 602         PR c++/55800
 603         * decl2.c (get_tls_init_fn): Copy DECL_EXTERNAL from the variable.
 604
 605 2014-01-31  Paolo Carlini  <paolo.carlini@oracle.com>
 606
 607         PR c++/59082
 608         * class.c (build_vfield_ref): Early return error_mark_node if
 609         TYPE_VFIELD (type) is null.
 610         (build_base_path): Check return value of build_vfield_ref.
 611
 612 2014-01-31  Jason Merrill  <jason@redhat.com>
 613
 614         PR c++/59646
 615         * call.c (convert_like_real) [ck_aggr]: Set TARGET_EXPR_LIST_INIT_P.
 616         [ck_list]: Check for error_mark_node.
 617         (build_aggr_conv): Set LOOKUP_NO_NARROWING and check_narrowing.
 618
 619         PR c++/57043
 620         * pt.c (fn_type_unification): Don't do DEDUCE_EXACT check
 621         during partial ordering.
 622
 623 2014-01-31  Marek Polacek  <polacek@redhat.com>
 624
 625         PR c/59963
 626         * typeck.c (build_function_call_vec): Add dummy arg_loc parameter.
 627
 628 2014-01-30  Jason Merrill  <jason@redhat.com>
 629
 630         PR c++/57899
 631         * cp-tree.h (struct saved_scope): Add x_local_specializations.
 632         (local_specializations): New macro.
 633         * pt.c (local_specializations): Remove variable.
 634
 635 2014-01-30  Richard Sandiford  <rdsandiford@googlemail.com>
 636
 637         PR c++/58708
 638         * parser.c (make_string_pack): Use double_int::from_buffer.
 639
 640 2014-01-30  Marek Polacek  <polacek@redhat.com>
 641
 642         PR c/59940
 643         * typeck.c (build_ptrmemfunc1): Call convert_and_check with
 644         input_location.
 645         * cvt.c (cp_convert_and_check): Call warnings_for_convert_and_check
 646         with input_location.
 647         * call.c (build_conditional_expr_1): Call unsafe_conversion_p with
 648         loc parameter.
 649
 650 2014-01-30  Paolo Carlini  <paolo.carlini@oracle.com>
 651
 652         PR c++/58843
 653         * typeck.c (lookup_destructor): Check dtor_type for error_mark_node.
 654
 655 2014-01-30  Paolo Carlini  <paolo.carlini@oracle.com>
 656
 657         PR c++/58649
 658         * pt.c (lookup_template_class_1): Check start_enum return value
 659         for error_mark_node.
 660
 661 2014-01-30  Paolo Carlini  <paolo.carlini@oracle.com>
 662
 663         * decl.c (duplicate_decls, typename_hash, typename_compare):
 664         Use TYPE_IDENTIFIER.
 665         * error.c (dump_type): Likewise.
 666         * mangle.c (dump_substitution_candidates): Likewise.
 667
 668 2014-01-30  Jason Merrill  <jason@redhat.com>
 669
 670         PR c++/59633
 671         * decl2.c (attributes_naming_typedef_ok): New.
 672         * cp-tree.h: Declare it.
 673         * decl.c (grokdeclarator): Check it.
 674         * tree.c (no_linkage_check): Handle VECTOR_TYPE.
 675
 676 2014-01-29  Jason Merrill  <jason@redhat.com>
 677
 678         PR c++/59707
 679         * call.c (add_builtin_candidate): Catch dependent types.
 680
 681         PR c++/59989
 682         * pt.c (expand_template_argument_pack): Correct
 683         non_default_args_count calculation.
 684
 685         PR c++/58466
 686         * pt.c (unify_pack_expansion): Call expand_template_argument_pack.
 687
 688         PR c++/59956
 689         * friend.c (do_friend): Pass the TEMPLATE_DECL to add_friend if we
 690         have a friend template in a class template.
 691         * pt.c (tsubst_friend_function): Look through it.
 692         (push_template_decl_real): A friend member template is
 693         primary.
 694
 695 2014-01-29  Paolo Carlini  <paolo.carlini@oracle.com>
 696
 697         PR c++/58846
 698         * decl.c (get_dso_handle_node): Don't crash if dso_handle_node
 699         == error_mark_node.
 700
 701 2014-01-29  Paolo Carlini  <paolo.carlini@oracle.com>
 702
 703         PR c++/58674
 704         * pt.c (instantiate_template_1): Check for error_mark_node the second
 705         argument too.
 706
 707 2014-01-29  Jason Merrill  <jason@redhat.com>
 708
 709         PR c++/59916
 710         * optimize.c (maybe_thunk_body): Build a RETURN_EXPR for
 711         cdtor_returns_this case.
 712
 713         PR c++/59315
 714         * decl.c (cxx_maybe_build_cleanup): Call mark_used.
 715
 716 2014-01-29  Paolo Carlini  <paolo.carlini@oracle.com>
 717
 718         PR c++/58702
 719         * semantics.c (finish_omp_reduction_clause): Check type for
 720         error_mark_node.
 721
 722 2014-01-28  Jason Merrill  <jason@redhat.com>
 723
 724         PR c++/59791
 725         * pt.c (tsubst_decl) [VAR_DECL]: Allow in unevaluated context.
 726         (tsubst_copy): Use it if lookup fails.
 727
 728         PR c++/59818
 729         * pt.c (tsubst_function_type): Make sure we keep the same function
 730         quals.
 731
 732         PR c++/58701
 733         * semantics.c (build_anon_member_initialization): Stop walking
 734         when we run out of COMPONENT_REFs.
 735
 736         PR c++/58632
 737         * decl.c (lookup_and_check_tag): Ignore template parameters if
 738         scope == ts_current.
 739         * pt.c (check_template_shadow): Don't complain about the injected
 740         class name.
 741
 742         * decl.c (duplicate_decls): Tweak.
 743
 744         PR c++/53756
 745         * mangle.c (write_unqualified_name): Handle operator auto.
 746
 747 2014-01-27  Jason Merrill  <jason@redhat.com>
 748
 749         PR c++/59823
 750         Core DR 1138
 751         * call.c (reference_binding): Pass LOOKUP_NO_TEMP_BIND for
 752         list-initialization.  A conversion to rvalue ref that involves
 753         an lvalue-rvalue conversion is bad.
 754         (convert_like_real): Give helpful error message.
 755
 756         PR c++/54652
 757         * decl.c (duplicate_decls): Always use oldtype for TYPE_DECL.
 758
 759         PR c++/58504
 760         * pt.c (tsubst_copy_and_build) [TRAIT_EXPR]: Use tsubst for
 761         types.
 762
 763         PR c++/58606
 764         * pt.c (template_parm_to_arg): Call convert_from_reference.
 765         (tsubst_template_arg): Don't strip reference refs.
 766
 767         PR c++/58639
 768         * call.c (build_aggr_conv): Reject value-initialization of reference.
 769
 770         PR c++/58812
 771         PR c++/58651
 772         * call.c (convert_like_real): Give helpful error about excess braces
 773         for ck_rvalue of scalar type.
 774
 775         Core DR 1288
 776         * call.c (reference_binding): Only elide braces if the single
 777         element is reference-related.
 778
 779         PR c++/58814
 780         * typeck.c (cp_build_modify_expr): Make the RHS an rvalue before
 781         stabilizing.
 782
 783         PR c++/58837
 784         * typeck.c (cp_truthvalue_conversion): Use explicit comparison for
 785         FUNCTION_DECL.
 786
 787         PR c++/59097
 788         * decl.c (compute_array_index_type): Don't call
 789         maybe_constant_value for a non-integral expression.
 790
 791 2014-01-24  Balaji V. Iyer  <balaji.v.iyer@intel.com>
 792
 793         * call.c (magic_varargs_p): Replaced flag_enable_cilkplus with
 794         flag_cilkplus.
 795         * cp-gimplify.c (cp_genericize): Likewise.
 796         * decl.c (grokfndecl): Likewise.
 797         * parser.c (cp_parser_postfix_expression): Likewise.
 798         (cp_parser_postfix_open_square_expression): Likewise.
 799         (cp_parser_direct_declarator): Likewise.
 800         (is_cilkplus_vector_p): Likewise.
 801         (cp_parser_omp_clause_name): Likewise.
 802         (cp_parser_omp_all_clauses): Likewise.
 803         * pt.c (apply_late_template_attributes): Likewise.
 804         * typeck.c (cp_build_array_ref): Likewise.
 805         (cp_build_compound_expr): Likewise.
 806         (check_return_expr): Likewise.
 807
 808 2014-01-24  Jason Merrill  <jason@redhat.com>
 809
 810         PR c++/58550
 811         * decl.c (grokdeclarator): Turn pedwarn about auto return type in
 812         c++11 into error.
 813
 814         PR c++/59886
 815         PR c++/59659
 816         * typeck2.c (process_init_constructor_array): Don't create
 817         RANGE_EXPR yet.
 818
 819 2014-01-24  Jakub Jelinek  <jakub@redhat.com>
 820
 821         * typeck2.c (split_nonconstant_init_1): Fix num_split_elts
 822         handling for RANGE_ARRAY case.
 823
 824 2014-01-24  Paolo Carlini  <paolo.carlini@oracle.com>
 825
 826         PR c++/57524
 827         * name-lookup.c (push_using_directive): Use timevar_cond_start.
 828
 829 2014-01-23  Marek Polacek  <polacek@redhat.com>
 830
 831         PR c/59846
 832         * typeck.c (cp_build_binary_op): Pass location to shorten_compare.
 833
 834 2014-01-23  Marek Polacek  <polacek@redhat.com>
 835
 836         PR c/58346
 837         * typeck.c (pointer_diff): Give an error on arithmetic on pointer to
 838         an empty aggregate.
 839
 840 2014-01-23  Jason Merrill  <jason@redhat.com>
 841
 842         PR c++/55189
 843         * cp-tree.h (struct language_function): Add infinite_loop and
 844         infinite_loops.
 845         (current_function_infinite_loop): New.
 846         * semantics.c (begin_maybe_infinite_loop, end_maybe_infinite_loop)
 847         (break_maybe_infinite_loop): New.
 848         (finish_while_stmt_cond, finish_while_stmt, begin_do_stmt)
 849         (finish_do_stmt, finish_for_cond, finish_for_stmt)
 850         (begin_range_for_stmt): Use them.
 851         * decl.c (finish_function): Don't warn about missing return
 852         if current_function_infinite_loop.
 853         * pt.c (instantiate_decl): Copy current_function_infinite_loop.
 854         * parser.c (cp_parser_jump_statement): Call break_maybe_infinite_loop.
 855
 856         * call.c (build_op_delete_call): Use make_tree_vector and
 857         release_tree_vector.
 858
 859 2014-01-23  Paolo Carlini  <paolo.carlini@oracle.com>
 860
 861         PR c++/58980
 862         * parser.c (cp_parser_enum_specifier): Handle TYPENAME_TYPE as
 863         nested_name_specifier.
 864
 865 2014-01-23  Balaji V. Iyer  <balaji.v.iyer@intel.com>
 866
 867         * parser.c (cp_parser_direct_declarator): When Cilk Plus is enabled
 868         see if there is an attribute after function decl.  If so, then
 869         parse them now.
 870         (cp_parser_late_return_type_opt): Handle parsing of Cilk Plus SIMD
 871         enabled function late parsing.
 872         (cp_parser_gnu_attribute_list): Parse all the tokens for the vector
 873         attribute for a SIMD-enabled function.
 874         (cp_parser_omp_all_clauses): Skip parsing to the end of pragma when
 875         the function is used by SIMD-enabled function (indicated by NULL
 876         pragma token).   Added 3 new clauses: PRAGMA_CILK_CLAUSE_MASK,
 877         PRAGMA_CILK_CLAUSE_NOMASK and PRAGMA_CILK_CLAUSE_VECTORLENGTH
 878         (cp_parser_cilk_simd_vectorlength): Modified this function to handle
 879         vectorlength clause in SIMD-enabled function and #pragma SIMD's
 880         vectorlength clause.  Added a new bool parameter to differentiate
 881         between the two.
 882         (cp_parser_cilk_simd_fn_vector_attrs): New function.
 883         (is_cilkplus_vector_p): Likewise.
 884         (cp_parser_late_parsing_elem_fn_info): Likewise.
 885         (cp_parser_omp_clause_name): Added a check for "mask", "nomask"
 886         and "vectorlength" clauses when Cilk Plus is enabled.
 887         (cp_parser_omp_clause_linear): Added a new parameter of type bool
 888         and emit a sorry message when step size is a parameter.
 889         * parser.h (cp_parser::cilk_simd_fn_info): New field.
 890         * decl.c (grokfndecl): Added flag_enable_cilkplus along with
 891         flag_openmp.
 892         * pt.c (apply_late_template_attributes): Likewise.
 893
 894 2014-01-23  Jakub Jelinek  <jakub@redhat.com>
 895
 896         PR middle-end/58809
 897         * semantics.c (finish_omp_reduction_clause): Reject
 898         BIT_AND_EXPR, BIT_IOR_EXPR and BIT_XOR_EXPR on COMPLEX_TYPEs.
 899
 900 2014-01-22  Ville Voutilainen  <ville.voutilainen@gmail.com>
 901
 902         PR c++/59482
 903         * parser.c (cp_parser_class_head): Push the class before parsing
 904         the base-clause, pop after it.
 905
 906 2014-01-20  Eric Botcazou  <ebotcazou@adacore.com>
 907
 908         * decl2.c (cpp_check): Revert prototype change.
 909
 910 2014-01-17  Paolo Carlini  <paolo.carlini@oracle.com>
 911
 912         PR c++/59270
 913         PR c++/58811
 914         * init.c (build_value_init_noctor): Don't pass error_mark_node to
 915         build_value_init.
 916
 917 2014-01-17  Paolo Carlini  <paolo.carlini@oracle.com>
 918
 919         PR c++/59269
 920         * init.c (build_value_init_noctor): Assert !TYPE_HAS_COMPLEX_DFLT
 921         only when errorcount == 0.
 922
 923 2014-01-17  Marek Polacek  <polacek@redhat.com>
 924
 925         PR c++/59838
 926         * cvt.c (ocp_convert): Don't segfault on non-existing
 927         ENUM_UNDERLYING_TYPE.
 928
 929 2014-01-16  Jason Merrill  <jason@redhat.com>
 930
 931         PR c++/59821
 932         * tree.c (bot_manip): Update the location of builtin_LINE and
 933         builtin_FILE calls.
 934
 935 2014-01-14  Jason Merrill  <jason@redhat.com>
 936
 937         PR c++/59659
 938         * typeck2.c (massage_init_elt): New.
 939         (process_init_constructor_record)
 940         (process_init_constructor_union): Use it.
 941         (process_init_constructor_array): Use it.  Use RANGE_EXPR.
 942         (split_nonconstant_init_1): Handle it.
 943         * semantics.c (cxx_eval_vec_init_1): Use force_rvalue.
 944
 945 2014-01-09  Balaji V. Iyer  <balaji.v.iyer@intel.com>
 946
 947         PR c++/59631
 948         * parser.c (cp_parser_postfix_expression): Added a new if-statement
 949         and replaced an existing if-statement with else-if statement.
 950         Changed an existing error message wording to match the one from the C
 951         parser.
 952
 953 2014-01-08  Jason Merrill  <jason@redhat.com>
 954
 955         PR c++/59614
 956         * class.c (abi_tag_data): Add tags field.
 957         (check_abi_tags): Initialize it.
 958         (find_abi_tags_r): Support collecting missing tags.
 959         (mark_type_abi_tags): Don't look at template args.
 960         (inherit_targ_abi_tags): New.
 961         (check_bases_and_members): Use it.
 962         * cp-tree.h (ABI_TAG_IMPLICIT): New.
 963         * mangle.c (write_abi_tags): Check it.
 964
 965 2014-01-07  Jason Merrill  <jason@redhat.com>
 966
 967         PR c++/58856
 968         * pt.c (num_innermost_template_parms): New.
 969         (get_underlying_template): Use it.
 970
 971         PR c++/58965
 972         * mangle.c (write_guarded_var_name): Handle null DECL_NAME.
 973
 974 2014-01-07  Paolo Carlini  <paolo.carlini@oracle.com>
 975
 976         * semantics.c (trait_expr_value, [CPTK_IS_BASE_OF]): Implement
 977         the letter of 20.11.6 about Base and Derived naming the same
 978         class type modulo cv-qualifiers.
 979
 980 2014-01-06  Adam Butcher  <adam@jessamine.co.uk>
 981
 982         PR c++/59635
 983         * lambda.c (maybe_add_lambda_conv_op): Handle marking conversion
 984         function as unimplemented for generic lambdas with varargs.
 985
 986         PR c++/59636
 987         * parser.c (cp_parser_template_parameter): Early out with
 988         error_mark_node if parameter declaration was not parsed.
 989
 990         PR c++/59629
 991         * parser.c (cp_parser_lambda_expression): Save/reset/restore
 992         auto_is_implicit_function_template_parm_p around lambda body.
 993
 994         PR c++/59638
 995         * parser.c (cp_parser_init_declarator): Undo fully implicit
 996         template parameter list when declarator is not a function.
 997
 998 2014-01-03  Marc Glisse  <marc.glisse@inria.fr>
 999
1000         PR c++/58950
1001         * cvt.c (convert_to_void): Handle VEC_PERM_EXPR and VEC_COND_EXPR.
1002
1003 2014-01-03  Tobias Burnus  <burnus@net-b.de>
1004
1005         PR c++/58567
1006         * pt.c (tsubst_omp_for_iterator): Early return for error_mark_node.
1007
1008 2014-01-03  Paolo Carlini  <paolo.carlini@oracle.com>
1009
1010         Core DR 1442
1011         PR c++/59165
1012         * parser.c (cp_parser_perform_range_for_lookup): Don't pass true
1013         as include_std to perform_koenig_lookup.
1014         (cp_parser_postfix_expression): Adjust.
1015         * pt.c (tsubst_copy_and_build): Likewise.
1016         * semantics.c (perform_koenig_lookup): Remove bool parameter.
1017         (omp_reduction_lookup): Adjust.
1018         * name-lookup.c (lookup_arg_dependent_1): Remove bool parameter.
1019         (lookup_arg_dependent): Likewise.
1020         (lookup_function_nonclass): Adjust.
1021         * name-lookup.h: Adjust declaration.
1022         * cp-tree.h: Likewise.
1023
1024 2014-01-02  Marc Glisse  <marc.glisse@inria.fr>
1025
1026         PR c++/59087
1027         * parser.c (cp_parser_userdef_numeric_literal): Mention
1028         -fext-numeric-literals in the message.
1029
1030 2014-01-02  Marc Glisse  <marc.glisse@inria.fr>
1031
1032         PR c++/59641
1033         * call.c (build_conditional_expr_1): Check the return value of
1034         force_rvalue.
1035
1036 2014-01-02  Marc Glisse  <marc.glisse@inria.fr>
1037
1038         * call.c (convert_like_real): Check complain.
1039
1040 2014-01-02  Marc Glisse  <marc.glisse@inria.fr>
1041
1042         PR c++/59378
1043         * typeck.c (build_x_vec_perm_expr): Handle non-dependent arguments
1044         in templates.
1045
1046 2014-01-02  Richard Sandiford  <rdsandiford@googlemail.com>
1047
1048         Update copyright years
1049
1050 2014-01-02  Richard Sandiford  <rdsandiford@googlemail.com>
1051
1052         * cp-array-notation.c, cp-cilkplus.c, vtable-class-hierarchy.c: Use
1053         the standard form for the copyright notice.
1054 \f
1055 Copyright (C) 2014 Free Software Foundation, Inc.
1056
1057 Copying and distribution of this file, with or without modification,
1058 are permitted in any medium without royalty provided the copyright
1059 notice and this notice are preserved.