gcc/cp/ChangeLog

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