gcc/cp/ChangeLog

   1 2018-03-21  Nathan Sidwell  <nathan@acm.org>
   2
   3         PR c++/84804
   4         * name-lookup.c (do_pushtag): Permit lambdas to be pushed into
   5         complete classes.
   6
   7 2018-03-21  Martin Sebor  <msebor@redhat.com>
   8
   9         PR c++/84850
  10         * call.c (first_non_public_field): New template and function.
  11         (first_non_trivial_field): New function.
  12         (maybe_warn_class_memaccess): Call them.
  13
  14 2018-03-21  David Malcolm  <dmalcolm@redhat.com>
  15
  16         PR c++/84892
  17         * search.c (field_accessor_p): Use class_of_this_parm rather than
  18         type_of_this_parm, to check that "this" is a "const T *", rather
  19         than a "T *const".
  20
  21 2018-03-21  Nathan Sidwell  <nathan@acm.org>
  22
  23         * class.c (finish_struct_anon_r): Refactor, deprecate anything
  24         other than public non-static data members.
  25         * parser.c (cp_parser_init_declarator): Deprecate attributes after
  26         parenthesized initializer.
  27
  28         PR c++/84836
  29         * name-lookup.c (update_binding): Correct logic for local binding
  30         update.
  31
  32 2018-03-21  Marek Polacek  <polacek@redhat.com>
  33
  34         PR c++/71638, ICE with NSDMI and reference.
  35         * constexpr.c (cxx_eval_bare_aggregate): Update constructor's flags
  36         even when we replace an element.
  37
  38 2018-03-20  Marek Polacek  <polacek@redhat.com>
  39
  40         PR c++/84978, ICE with NRVO.
  41         * constexpr.c (cxx_eval_constant_expression): Handle the case when
  42         a RESULT_DECL isn't in the hash map.
  43
  44 2018-03-20  Jason Merrill  <jason@redhat.com>
  45
  46         PR c++/84978, ICE with NRVO.
  47         * cvt.c (cp_get_fndecl_from_callee): Add fold parameter.
  48         (cp_get_callee_fndecl_nofold): New.
  49         * cp-gimplify.c (cp_genericize_r): Use it instead.
  50         * call.c (check_self_delegation): Likewise.
  51
  52 2018-03-20  Nathan Sidwell  <nathan@acm.org>
  53
  54         PR c++/84962
  55         * name-lookup.c (pushdecl_class_level): Push anon-struct's
  56         member_vec, if there is one.
  57
  58         PR c++/84970
  59         * cp-tree.h (lookup_list_keep): Declare.
  60         * tree.c (lookup_list_keep): New, broken out of ...
  61         (build_min): ... here.  Call it.
  62         * decl.c (cp_finish_decl): Call lookup_list_keep.
  63
  64 2018-03-19  Jason Merrill  <jason@redhat.com>
  65
  66         PR c++/84937 - ICE with class deduction and auto.
  67         * pt.c (rewrite_template_parm): Fix auto handling.
  68
  69 2018-03-19  Marek Polacek  <polacek@redhat.com>
  70
  71         PR c++/84925
  72         * pt.c (enclosing_instantiation_of): Check if fn is null.
  73
  74         PR c++/84927
  75         * constexpr.c (cxx_eval_bare_aggregate): Update constructor's flags
  76         as we evaluate the elements.
  77         (cxx_eval_constant_expression): Verify constructor's flags
  78         unconditionally.
  79
  80 2018-03-19  Jason Merrill  <jason@redhat.com>
  81
  82         PR c++/71834 - template-id with too few arguments.
  83         * pt.c (coerce_template_parms): Check fixed_parameter_pack_p.
  84
  85 2018-03-19  Nathan Sidwell  <nathan@acm.org>
  86
  87         PR c++/84835
  88         * lambda.c (maybe_add_lambda_conv_op): Force C++ linkage.
  89         * pt.c (build_template_decl): Propagate language linkage.
  90
  91         PR c++/84812
  92         * name-lookup.c (set_local_extern_decl_linkage): Defend against
  93         ambiguous lookups.
  94
  95 2018-03-16  Jakub Jelinek  <jakub@redhat.com>
  96
  97         PR c/84910
  98         * parser.c (cp_parser_lambda_introducer): Remove trailing space from
  99         diagnostics.
 100         * method.c (synthesize_method): Likewise.
 101         * pt.c (convert_nontype_argument): Likewise.
 102
 103 2018-03-16  Jason Merrill  <jason@redhat.com>
 104
 105         PR c++/84720 - ICE with rvalue ref non-type argument.
 106         * pt.c (invalid_nontype_parm_type_p): Prohibit rvalue reference.
 107         (convert_nontype_argument): Revert earlier change.
 108
 109         PR c++/80227 - SFINAE and negative array size.
 110         * decl.c (compute_array_index_type): Use
 111         build_converted_constant_expr and valid_constant_size_p.
 112
 113         PR c++/84906 - silent wrong code with ambiguous conversion.
 114         * call.c (build_user_type_conversion_1): Set need_temporary_p on
 115         ambiguous conversion.
 116         (convert_like_real): Check it.
 117
 118         PR c++/83937 - wrong C++17 handling of init-list ctor argument.
 119         * call.c (build_special_member_call): Don't convert an init-list
 120         argument directly to the class type.
 121
 122 2018-03-16  Jakub Jelinek  <jakub@redhat.com>
 123
 124         PR c++/79937
 125         PR c++/82410
 126         * cp-tree.h (CONSTRUCTOR_PLACEHOLDER_BOUNDARY): Define.
 127         (find_placeholder): Declare.
 128         * tree.c (struct replace_placeholders_t): Add exp member.
 129         (replace_placeholders_r): Don't walk into ctors with
 130         CONSTRUCTOR_PLACEHOLDER_BOUNDARY flag set, unless they are equal to
 131         d->exp.  Replace PLACEHOLDER_EXPR with unshare_expr (x) rather than x.
 132         (replace_placeholders): Initialize data.exp.
 133         (find_placeholders_r, find_placeholders): New functions.
 134         * typeck2.c (process_init_constructor_record,
 135         process_init_constructor_union): Set CONSTRUCTOR_PLACEHOLDER_BOUNDARY
 136         if adding NSDMI on which find_placeholder returns true.
 137         * call.c (build_over_call): Don't call replace_placeholders here.
 138         * cp-gimplify.c (cp_genericize_r): Set TARGET_EXPR_NO_ELIDE on
 139         TARGET_EXPRs with CONSTRUCTOR_PLACEHOLDER_BOUNDARY set on
 140         TARGET_EXPR_INITIAL.
 141         (cp_fold): Copy over CONSTRUCTOR_PLACEHOLDER_BOUNDARY bit to new
 142         ctor.
 143
 144 2018-03-16  Jason Merrill  <jason@redhat.com>
 145
 146         PR c++/83911 - ICE with multiversioned constructor.
 147         * cp-gimplify.c (cp_genericize_r): Replace versioned function with
 148         dispatchere here.
 149         * call.c (build_over_call): Not here.
 150
 151 2018-03-16  Jakub Jelinek  <jakub@redhat.com>
 152
 153         PR c++/84874
 154         * decl.c (reshape_init_class): Don't assert d->cur->index == field
 155         if d->cur->index is a FIELD_DECL, instead set field to d->cur->index.
 156
 157 2018-03-15  Jakub Jelinek  <jakub@redhat.com>
 158
 159         PR c++/84222
 160         * cp-tree.h (cp_warn_deprecated_use): Declare.
 161         * tree.c (cp_warn_deprecated_use): New function.
 162         * typeck2.c (build_functional_cast): Use it.
 163         * decl.c (grokparms): Likewise.
 164         (grokdeclarator): Likewise.  Temporarily push nested class scope
 165         around grokparms call for out of class member definitions.
 166
 167 2018-03-14  Jason Merrill  <jason@redhat.com>
 168
 169         PR c++/84820 - no error for invalid qualified-id.
 170         * parser.c (cp_parser_make_indirect_declarator): Don't wrap
 171         cp_error_declarator.
 172
 173         PR c++/84801 - ICE with unexpanded pack in lambda.
 174         * pt.c (check_for_bare_parameter_packs): Don't return early for a
 175         lambda in non-template context.
 176
 177         PR c++/81236 - auto variable and auto function
 178         * pt.c (tsubst_baselink): Update the type of the BASELINK after
 179         mark_used.
 180
 181 2018-03-14  Jason Merrill  <jason@redhat.com>
 182
 183         PR c++/83916 - ICE with template template parameters.
 184         * pt.c (convert_template_argument): Don't substitute into type of
 185         non-type parameter if we don't have enough arg levels.
 186         (unify): Likewise.
 187
 188 2018-03-14  Marek Polacek  <polacek@redhat.com>
 189
 190         PR c++/84596
 191         * semantics.c (finish_static_assert): Check
 192         instantiation_dependent_expression_p instead of
 193         {type,value}_dependent_expression_p.
 194
 195 2018-03-13  Paolo Carlini  <paolo.carlini@oracle.com>
 196             Jason Merrill  <jason@redhat.com>
 197
 198         PR c++/82336 - link error with list-init default argument.
 199         * decl.c (check_default_argument): Unshare an initializer list.
 200
 201 2018-03-13  Jakub Jelinek  <jakub@redhat.com>
 202
 203         PR c++/84843
 204         * decl.c (duplicate_decls): For redefinition of built-in, use error
 205         and return error_mark_node.  For redeclaration, return error_mark_node
 206         rather than olddecl if !flag_permissive.
 207
 208 2018-03-13  Jason Merrill  <jason@redhat.com>
 209
 210         PR c++/82565 - ICE with concepts and generic lambda.
 211         * pt.c (instantiate_decl): Clear fn_context for lambdas.
 212
 213 2018-03-13  Jason Merrill  <jason@redhat.com>
 214
 215         PR c++/84720 - ICE with rvalue ref non-type argument.
 216         * pt.c (convert_nontype_argument): Handle rvalue references.
 217
 218         PR c++/84839 - ICE with decltype of parameter pack.
 219         * pt.c (tsubst_pack_expansion): Set cp_unevaluated_operand while
 220         instantiating dummy parms.
 221
 222         * parser.c (cp_parser_simple_type_specifier): Pedwarn about auto
 223         parameter even without -Wpedantic.
 224
 225         PR c++/84798 - ICE with auto in abstract function declarator.
 226         * parser.c (cp_parser_parameter_declaration_clause): Check
 227         parser->default_arg_ok_p.
 228
 229 2018-03-13  Jakub Jelinek  <jakub@redhat.com>
 230
 231         PR c++/84808
 232         * constexpr.c (find_array_ctor_elt): Don't use elt reference after
 233         first potential CONSTRUCTOR_ELTS reallocation.  Convert dindex to
 234         sizetype.  Formatting fixes.
 235
 236 2018-03-12  Jason Merrill  <jason@redhat.com>
 237
 238         PR c++/84355 - ICE with deduction for member class template.
 239         * pt.c (tsubst) [TEMPLATE_TYPE_PARM]: Always substitute into
 240         CLASS_PLACEHOLDER_TEMPLATE.
 241
 242         PR c++/84802 - ICE capturing uninstantiated class.
 243         * lambda.c (build_capture_proxy): Call complete_type.
 244
 245 2018-03-09  Jason Merrill  <jason@redhat.com>
 246
 247         PR c++/84770 - ICE with typedef and parameter pack.
 248         * pt.c (verify_unstripped_args_1): Split out from
 249         verify_unstripped_args.
 250
 251         PR c++/84785 - ICE with alias template and default targs.
 252         * pt.c (type_unification_real): Set processing_template_decl if
 253         saw_undeduced == 1.
 254
 255         PR c++/84752 - ICE with capture of constexpr array.
 256         * call.c (standard_conversion): Set rvaluedness_matches_p on the
 257         identity conversion under ck_lvalue.
 258
 259 2018-03-09  Jason Merrill  <jason@redhat.com>
 260             Paolo Carlini  <paolo.carlini@oracle.com>
 261
 262         PR c++/71169
 263         PR c++/71832
 264         * pt.c (any_erroneous_template_args_p): New.
 265         * cp-tree.h (any_erroneous_template_args_p): Declare it.
 266         * parser.c (cp_parser_class_specifier_1): Use it.
 267
 268 2018-03-09  Jason Merrill  <jason@redhat.com>
 269
 270         PR c++/84726 - unnecessary capture of constant vars.
 271         * cp-tree.h (LAMBDA_CAPTURE_EXPLICIT_P)
 272         (LAMBDA_EXPR_CAPTURE_OPTIMIZED): New.
 273         * expr.c (mark_use): Set LAMBDA_EXPR_CAPTURE_OPTIMIZED.
 274         * lambda.c (is_constant_capture_proxy)
 275         (current_lambda_expr, var_to_maybe_prune, mark_const_cap_r)
 276         (prune_lambda_captures): New.
 277         (finish_lambda_function): Call prune_lambda_captures.
 278
 279 2018-03-09  Jason Merrill  <jason@redhat.com>
 280             Jakub Jelinek  <jakub@redhat.com>
 281
 282         PR c++/84076
 283         * call.c (convert_arg_to_ellipsis): Instead of cp_build_addr_expr
 284         build ADDR_EXPR with REFERENCE_TYPE.
 285         (build_over_call): For purposes of check_function_arguments, if
 286         argarray[j] is ADDR_EXPR with REFERENCE_TYPE created above, use
 287         its operand rather than the argument itself.
 288
 289 2018-03-09  Jakub Jelinek  <jakub@redhat.com>
 290
 291         PR c++/84724
 292         * decl.c (duplicate_decls): Don't override __* prefixed builtins
 293         except for __[^b]*_chk, instead issue permerror and for -fpermissive
 294         also a note and return olddecl.
 295
 296 2018-03-09  Nathan Sidwell  <nathan@acm.org>
 297
 298         PR c++/84733
 299         * name-lookup.c (do_pushdecl_with_scope): Only clear
 300         current_function_decl when pushing a non-class (i.e. namespace)
 301         scope.
 302
 303 2018-03-08  Jason Merrill  <jason@redhat.com>
 304             Jakub Jelinek  <jakub@redhat.com>
 305
 306         PR c++/80598
 307         * call.c (build_over_call): In templates set TREE_USED (first_fn) when
 308         not calling mark_used for the benefit of -Wunused-function warning.
 309
 310 2018-03-06  Jason Merrill  <jason@redhat.com>
 311
 312         * lambda.c (is_capture_proxy_with_ref): Remove.
 313         * constexpr.c, expr.c, cp-tree.h, semantics.c: Adjust.
 314
 315 2018-03-06  Marek Polacek  <polacek@redhat.com>
 316
 317         PR c++/84684
 318         * constexpr.c (cxx_bind_parameters_in_call): Unshare evaluated
 319         arguments.
 320
 321 2018-03-06  Alexandre Oliva <aoliva@redhat.com>
 322
 323         PR c++/84231
 324         * tree.c (lvalue_kind): Use presence/absence of REFERENCE_TYPE
 325         only while processing template decls.
 326         * typeck.c (build_x_conditional_expr): Move wrapping of
 327         reference type around type...
 328         * call.c (build_conditional_expr_1): ... here.  Rename
 329         is_lvalue to is_glvalue.
 330         * parser.c (cp_parser_fold_expression): Catch REFERENCE_REF_P
 331         INDIRECT_REF of COND_EXPR too.
 332
 333         PR c++/84593
 334         * init.c (build_zero_init_1): Zero-initialize references.
 335
 336         PR c++/84492
 337         * semantics.c (finish_stmt_expr_expr): Reject unresolved
 338         overloads used as stmt expr values.
 339
 340 2018-03-05  Jason Merrill  <jason@redhat.com>
 341
 342         PR c++/84708 - ICE with lambda in local class NSDMI.
 343         * lambda.c (lambda_expr_this_capture): Handle local class NSDMI
 344         context.
 345
 346 2018-03-05  Jakub Jelinek  <jakub@redhat.com>
 347
 348         PR c++/84684
 349         * constexpr.c (constexpr_call_hasher::equal): Return false if
 350         lhs->hash != rhs->hash.  Change return 1 to return true and
 351         return 0 to return false.
 352
 353 2018-03-05  Nathan Sidwell  <nathan@acm.org>
 354
 355         PR c++/84702
 356         * pt.c (process_template_arg): Mark lookup_keep on a default arg.
 357
 358 2018-03-05  Marek Polacek  <polacek@redhat.com>
 359
 360         PR c++/84707
 361         * decl.c (duplicate_decls): Check DECL_NAME before accessing
 362         UDLIT_OPER_P.
 363
 364 2018-03-05  Nathan Sidwell  <nathan@acm.org>
 365
 366         PR c++/84694
 367         * friend.c (do_friend): Restore check for identifier_p inside
 368         TEMPLATE_ID_EXPR.
 369
 370 2018-03-05  Paolo Carlini  <paolo.carlini@oracle.com>
 371
 372         PR c++/84618
 373         * parser.c (cp_parser_lambda_introducer): Reject any capture not
 374         involving a VAR_DECL or a PARM_DECL.
 375
 376 2018-03-05  Pádraig Brady  <P@draigBrady.com>
 377             Jason  Merrill  <jason@redhat.com>
 378             Nathan Sidwell  <nathan@acm.org>
 379
 380         PR c++/84497
 381         * decl2.c (get_tls_init_fn): Check TYPE_HAS_TRIVIAL_DFLT too.
 382
 383 2018-03-03  Jason Merrill  <jason@redhat.com>
 384
 385         PR c++/84686 - missing volatile loads.
 386         * cvt.c (convert_to_void): Call maybe_undo_parenthesized_ref.
 387
 388 2018-03-03  Paolo Carlini  <paolo.carlini@oracle.com>
 389
 390         PR c++/71464
 391         * optimize.c (maybe_thunk_body): Bail out immediately if either
 392         fns[0] or fns[1] is null.
 393
 394 2018-03-02  Marek Polacek  <polacek@redhat.com>
 395
 396         PR c++/84578
 397         * constexpr.c (get_array_or_vector_nelts): New.
 398         (cxx_eval_array_reference): Use it.
 399         (cxx_eval_vec_init_1): Likewise.
 400         (cxx_eval_store_expression): Likewise.
 401
 402 2018-03-02  Jason Merrill  <jason@redhat.com>
 403
 404         * semantics.c (force_paren_expr): Remove redundant test.
 405
 406 2018-03-02  Marek Polacek  <polacek@redhat.com>
 407
 408         PR c++/84663
 409         * decl.c (cp_complete_array_type): Check error_mark_node.
 410
 411         PR c++/84664
 412         * typeck.c (cp_perform_integral_promotions): Check the result of
 413         mark_rvalue_use.
 414
 415 2018-03-02  Jakub Jelinek  <jakub@redhat.com>
 416
 417         PR c++/84662
 418         * pt.c (tsubst_copy_and_build) <case TEMPLATE_ID_EXPR>: Use
 419         RETURN instead of return.
 420         <case POINTER_PLUS_EXPR>: Likewise.
 421         <case CONVERT_EXPR>: If op0 is error_mark_node, just return
 422         it instead of wrapping it into CONVERT_EXPR.
 423
 424 2018-03-02  Jason Merrill  <jason@redhat.com>
 425
 426         Fix MIPS16 ICE.
 427         * pt.c (type_dependent_expression_p): Check DECL_LANG_SPECIFIC.
 428
 429 2018-03-02  Marek Polacek  <polacek@redhat.com>
 430
 431         PR c++/84590
 432         * cp-gimplify.c (cp_fully_fold): Unwrap TARGET_EXPR or a CONSTRUCTOR
 433         wrapped in VIEW_CONVERT_EXPR.
 434
 435 2018-03-01  Martin Sebor  <msebor@redhat.com>
 436
 437         PR c++/84294
 438         * decl.c (check_redeclaration_no_default_args): Merge attributes
 439         specified on redeclarations of the same function template.
 440         Remove dead code.
 441
 442 2018-03-01  Marek Polacek  <polacek@redhat.com>
 443             Jason Merrill  <jason@redhat.com>
 444
 445         PR c++/84582
 446         * semantics.c (force_paren_expr): Create a PAREN_EXPR when in
 447         a template.
 448         (maybe_undo_parenthesized_ref): Unwrap PAREN_EXPR.
 449         * typeck2.c (store_init_value): Call fold_non_dependent_expr instead
 450         of instantiate_non_dependent_expr.
 451         * tree.c (lvalue_kind): Handle PAREN_EXPR like NON_DEPENDENT_EXPR.
 452
 453 2018-03-01  Nathan Sidwell  <nathan@acm.org>
 454
 455         PR c++/84434
 456         * name-lookup.c (member_vec_dedup): Remove manually peeled
 457         iteration.  Ignore dependent ctor inheritance.
 458
 459 2018-03-01  Jason Merrill  <jason@redhat.com>
 460
 461         PR c++/71569 - decltype of template.
 462         * parser.c (cp_parser_decltype_expr): Handle missing template args.
 463
 464 2018-03-01  Marek Polacek  <polacek@redhat.com>
 465
 466         PR c++/84596
 467         * constexpr.c (require_rvalue_constant_expression): New function.
 468         * cp-tree.h: Declare it.
 469         * semantics.c (finish_static_assert): Use it instead of
 470         require_potential_rvalue_constant_expression.
 471
 472 2018-03-01  Jason Merrill  <jason@redhat.com>
 473             Alexandre Oliva <aoliva@redhat.com>
 474
 475         PR c++/71569 - ICE with redundant args on member variable template.
 476         * decl.c (start_decl): Handle partial specialization of member
 477         variable template.
 478         * pt.c (determine_specialization): Allow partial specialization
 479         of member variable template without specializing enclosing class.
 480         (process_partial_specialization): Improve error message.
 481
 482 2018-02-28  Jason Merrill  <jason@redhat.com>
 483
 484         PR c++/71784 - ICE with ref-qualifier and explicit specialization.
 485         * pt.c (determine_specialization): Check ref-qualifier.
 486
 487 2018-02-28  Jakub Jelinek  <jakub@redhat.com>
 488
 489         PR c++/84609
 490         * parser.c (cp_parser_attributes_opt): Formatting fix.
 491         (cp_parser_skip_balanced_tokens, cp_parser_skip_gnu_attributes_opt,
 492         cp_parser_skip_std_attribute_spec_seq, cp_parser_skip_attributes_opt):
 493         New functions.
 494         (cp_parser_member_declaration): Use cp_parser_skip_attributes_opt
 495         instead of tentative parse to peek over optional attribute tokens
 496         to check for CPP_COLON after them.
 497
 498         PR c++/83871
 499         PR c++/83503
 500         * pt.c (INCLUDE_STRING): Remove define.
 501         (warn_spec_missing_attributes): Use pretty_printer instead of
 502         std::string.  Fix up inform call so that the list of attributes
 503         is in %s argument.
 504
 505 2018-02-28  Martin Sebor  <msebor@redhat.com>
 506
 507         PR testsuite/84617
 508         * decl.c (duplicate_decls): Fully merge attributes const, pure,
 509         and malloc.
 510
 511 2018-02-28  Nathan Sidwell  <nathan@acm.org>
 512
 513         PR c++/84602
 514         * name-lookup.h (search_anon_aggr): Add defaulted WANT_TYPE arg.
 515         * name-lookup.c (fields_linear_search): Look in an anon-aggr
 516         regardless of want_type.
 517         (search_anon_aggr): Just use get_class_binding_direct.
 518
 519 2018-02-28  Jakub Jelinek  <jakub@redhat.com>
 520
 521         * decl.c (cp_finish_decomp): Don't adjust eltscnt when calling
 522         inform_n.
 523
 524 2018-02-27  Martin Sebor  <msebor@redhat.com>
 525
 526         * pt.c: Avoid including <string> directly.
 527
 528 2018-02-27  Martin Sebor  <msebor@redhat.com>
 529
 530         PR c++/83871
 531         PR c++/83503
 532         * cp-tree.h (warn_spec_missing_attributes): New function.
 533         ((check_explicit_specialization): Add an argument.  Call the above
 534         function.
 535         * decl.c (duplicate_decls): Avoid applying primary function template's
 536         attributes to its explicit specializations.
 537         cp/pt.c (warn_spec_missing_attributes): Define.
 538
 539 2018-02-27  Håkon Sandsmark  <hsandsmark@gmail.com>
 540
 541         PR c++/71546 - lambda init-capture with qualified-id.
 542         * parser.c (cp_parser_lambda_introducer): Clear scope after
 543         each lambda capture.
 544
 545 2018-02-27  Nathan Sidwell  <nathan@acm.org>
 546
 547         PR c++/84426
 548         * name-lookup.h (get_member_slot): Rename ...
 549         (find_member_slot): ... here.
 550         (add_member_slot): New.
 551         * name-lookup.c (member_vec_linear_search): No need to check for
 552         NULL slot.
 553         (get_member_slot): Rename ...
 554         (find_member_slot): ... here.  Don't add slot for incomplete class.
 555         (add_member_slot): New.
 556         * class.c (add_method): Adjust get_member_slot rename.  Bail out
 557         if push_class_level_binding fails.  Create slot and grok
 558         properties once we're committed to insertion.
 559
 560 2018-02-27  Jason Merrill  <jason@redhat.com>
 561
 562         PR c++/84489 - dependent default template argument
 563         * pt.c (type_unification_real): Handle early substitution failure.
 564
 565 2018-02-26  Jason Merrill  <jason@redhat.com>
 566
 567         PR c++/84560 - ICE capturing multi-dimensional VLA.
 568         * tree.c (array_of_runtime_bound_p): False if the element is
 569         variably-modified.
 570
 571         PR c++/84441 - ICE with base initialized from ?:
 572         * call.c (unsafe_copy_elision_p): Handle COND_EXPR.
 573
 574         PR c++/84520 - ICE with generic lambda in NSDMI.
 575         * lambda.c (lambda_expr_this_capture): Don't look for fake NSDMI
 576         'this' in a generic lambda instantiation.
 577
 578         PR c++/84559 - ICE with constexpr VLA.
 579         * constexpr.c (ensure_literal_type_for_constexpr_object): Check
 580         for constexpr variable with VLA type.
 581
 582 2018-02-26  Jakub Jelinek  <jakub@redhat.com>
 583
 584         PR c++/84558
 585         * constexpr.c (cxx_eval_vec_init_1): For reuse, treat NULL eltinit like
 586         a valid constant initializer.  Formatting fixes.
 587
 588 2018-02-26  Paolo Carlini  <paolo.carlini@oracle.com>
 589
 590         PR c++/84540
 591         * pt.c (tsubst_attributes): Handle correctly tsubst_attribute
 592         returning NULL_TREE.
 593         (apply_late_template_attributes): Likewise.
 594
 595 2018-02-26  Jakub Jelinek  <jakub@redhat.com>
 596
 597         PR c++/84557
 598         * parser.c (cp_parser_omp_var_list_no_open): Only call
 599         cp_parser_lookup_name_simple on names satisfying identifier_p.
 600         (cp_parser_oacc_routine): Likewise.
 601
 602 2018-02-26  Jason Merrill  <jason@redhat.com>
 603
 604         PR c++/84551 - ICE with concepts and -g.
 605         * parser.c (add_debug_begin_stmt): Do nothing in a concept.
 606
 607 2018-02-26  Marek Polacek  <polacek@redhat.com>
 608
 609         PR c++/84325
 610         * tree.c (replace_placeholders_r): Only check TREE_CONSTANT on
 611         non-types.
 612
 613 2018-02-26  Jason Merrill  <jason@redhat.com>
 614
 615         PR c++/84447 - ICE with deleted inherited ctor with default arg.
 616         * call.c (build_over_call): Handle deleted functions in one place.
 617
 618 2018-02-26  Paolo Carlini  <paolo.carlini@oracle.com>
 619
 620         PR c++/84533
 621         * decl.c (redeclaration_error_message): Don't try to use
 622         DECL_DECLARED_CONSTEXPR_P on CONST_DECLs.
 623
 624 2018-02-26  Paolo Carlini  <paolo.carlini@oracle.com>
 625
 626         * lambda.c (build_capture_proxy): Define static.
 627         * cp-tree.h (build_capture_proxy): Remove.
 628
 629 2018-02-26  Marek Polacek  <polacek@redhat.com>
 630
 631         PR c++/84537
 632         * name-lookup.c (suggest_alternative_in_explicit_scope): Return false
 633         if name is error node.
 634
 635 2018-02-25  Jason Merrill  <jason@redhat.com>
 636
 637         PR c++/84015 - ICE with class deduction and auto template parm.
 638         * pt.c (rewrite_template_parm): Use tf_partial in first tsubst.
 639
 640 2018-02-24  Marek Polacek  <polacek@redhat.com>
 641
 642         PR c++/83692
 643         * constexpr.c (maybe_constant_init_1): New function.
 644         (maybe_constant_init): Make it a wrapper around maybe_constant_init_1.
 645         (cxx_constant_init): New function.
 646         * cp-tree.h (cxx_constant_init): Declare.
 647         * typeck2.c (store_init_value): Call cxx_constant_init instead of
 648         cxx_constant_value.  Move the maybe_constant_init call under an 'else'.
 649
 650 2018-02-22  Jason Merrill  <jason@redhat.com>
 651
 652         PR c++/70468 - ICE with constructor delegation via typedef.
 653         * pt.c (tsubst_initializer_list): Check for other mem-initializers
 654         with constructor delegation.
 655
 656 2018-02-22  Jason Merrill  <jason@redhat.com>
 657
 658         PR c++/84424 - ICE with constexpr and __builtin_shuffle.
 659         * constexpr.c (reduced_constant_expression_p): Handle CONSTRUCTOR of
 660         VECTOR_TYPE.
 661
 662 2018-02-22  Marek Polacek  <polacek@redhat.com>
 663
 664         PR c++/84493
 665         * parser.c (cp_parser_braced_list): Use require_open instead of
 666         consume_open.
 667
 668 2018-02-21  Jason Merrill  <jason@redhat.com>
 669
 670         PR c++/84454 - ICE with pack expansion in signature.
 671         * error.c (find_typenames_r): Also stop on EXPR_PACK_EXPANSION.
 672
 673 2018-02-20  Siddhesh Poyarekar  <siddhesh@sourceware.org>
 674
 675         * cp-objcp-common.c (cxx_block_may_fallthru): Add case for
 676         IF_STMT.
 677
 678 2018-02-20  Paolo Carlini  <paolo.carlini@oracle.com>
 679
 680         PR c++/84446
 681         * parser.c (cp_parser_init_declarator): Don't call start_lambda_scope
 682         on error_mark_node.
 683
 684 2018-02-20  Jakub Jelinek  <jakub@redhat.com>
 685
 686         PR c++/84445
 687         * class.c (fixed_type_or_null) <case CALL_EXPR>: Only test
 688         TREE_HAS_CONSTRUCTOR if instance is not an internal function call.
 689
 690         PR c++/84449
 691         * tree.c (bot_manip): If build_cplus_new or break_out_target_exprs
 692         returns error_mark_node, return it immediately.
 693         (break_out_target_exprs): If cp_walk_tree with bot_manip returns
 694         error_mark_node, return error_mark_node.
 695
 696         PR c++/84455
 697         * pt.c (tsubst_lambda_expr): If not nested, increment temporarily
 698         function_depth to avoid GC during finish_lambda_function.
 699
 700 2018-02-19  Jason Merrill  <jason@redhat.com>
 701
 702         PR c++/84429 - ICE capturing VLA.
 703         * lambda.c (build_capture_proxy): Handle reference refs.
 704
 705 2018-02-19  Jakub Jelinek  <jakub@redhat.com>
 706
 707         PR c++/84448
 708         * parser.c (cp_parser_binary_expression): For no_toplevel_fold_p, if
 709         either operand is error_mark_node, set current.lhs to that instead of
 710         creating a binary op with error_mark_node operands.
 711
 712         PR c++/84430
 713         * constexpr.c (potential_constant_expression_1): Handle OMP_SIMD.
 714
 715 2018-02-19  Paolo Carlini  <paolo.carlini@oracle.com>
 716
 717         PR c++/84348
 718         * decl.c (grokdeclarator): Early return error_mark_node upon
 719         ill-formed friend declaration.
 720
 721 2018-02-16  Marek Polacek  <polacek@redhat.com>
 722             Jakub Jelinek  <jakub@redhat.com>
 723
 724         PR c++/84192
 725         * constexpr.c (cxx_eval_constant_expression) <case RETURN_EXPR>: Don't
 726         set *jump_target to anything if jump_target is NULL.
 727
 728 2018-02-16  Jason Merrill  <jason@redhat.com>
 729
 730         PR c++/84151 - unnecessary volatile load with static member.
 731         * call.c (build_new_method_call_1): Avoid loading from a volatile
 732         lvalue used as the object argument for a static member function.
 733
 734         PR c++/81853 - using-directive and constexpr.
 735         * constexpr.c (cxx_eval_constant_expression): Handle USING_STMT.
 736
 737         PR c++/84420 - ICE with structured binding in lambda.
 738         * lambda.c (is_capture_proxy): Check DECL_DECOMPOSITION_P.
 739
 740         PR c++/83835 - C++17 error with constructor ctors.
 741         * call.c (build_special_member_call): Set TARGET_EXPR_DIRECT_INIT_P.
 742
 743         PR c++/82664 - ICE with reference to function template parm.
 744         * pt.c (convert_nontype_argument_function): Avoid obfuscationg
 745         NOP_EXPRs.
 746
 747         PR c++/82764 - C++17 ICE with empty base
 748         * class.c (build_base_field_1): Set DECL_SIZE to zero for empty base.
 749
 750 2018-02-16  Jason Merrill  <jason@redhat.com>
 751
 752         PR c++/84421 - type-dependent if constexpr
 753         * semantics.c (finish_if_stmt_cond): Check type_dependent_expression_p.
 754
 755 2018-02-16  Nathan Sidwell  <nathan@acm.org>
 756
 757         Deprecate -ffriend-injection.
 758         * decl.c (cxx_init_decl_processing): Emit warning on option.
 759         * name-lookup.c (do_pushdecl): Emit warning if we push a visible
 760         friend.
 761
 762 2018-02-16  Paolo Carlini  <paolo.carlini@oracle.com>
 763
 764         PR c++/82468
 765         * decl.c (check_special_function_return_type): Reject template
 766         template parameter in deduction guide.
 767
 768 2018-02-16  Nathan Sidwell  <nathan@acm.org>
 769
 770         PR c++/84375
 771         * name-lookup.c (do_pushdecl): Bail out on bad local friend injection.
 772
 773 2018-02-15  Jason Merrill  <jason@redhat.com>
 774
 775         PR c++/83227 - C++17 ICE with init-list derived-to-base conversion.
 776         * call.c (convert_like_real): Don't use the copy-list-initialization
 777         shortcut for ck_base.
 778
 779         PR c++/84045 - ICE with typedef and noexcept.
 780         * except.c (build_noexcept_spec): Use strip_typedefs_expr.
 781
 782         PR c++/84376 - ICE with omitted template arguments.
 783         * pt.c (dguide_name_p): Check for IDENTIFIER_NODE.
 784
 785         PR c++/84368 - wrong error with local variable in variadic lambda.
 786         * pt.c (tsubst_pack_expansion): Fix handling of non-packs in
 787         local_specializations.
 788
 789 2018-02-15  Paolo Carlini  <paolo.carlini@oracle.com>
 790
 791         PR c++/84330
 792         * constraint.cc (tsubst_constraint_info): Handle an error_mark_node
 793         as first argument.
 794
 795 2018-02-14  Paolo Carlini  <paolo.carlini@oracle.com>
 796
 797         PR c++/84350
 798         * pt.c (do_auto_deduction): Don't check the TREE_TYPE of a null
 799         init, early return.
 800
 801 2018-02-14  Nathan Sidwell  <nathan@acm.org>
 802
 803         * decl2.c (mark_vtable_entries): Set input_location to decl's.
 804         (c_parse_final_cleanups): Restore input_location after emitting
 805         vtables.
 806
 807 2018-02-14  Paolo Carlini  <paolo.carlini@oracle.com>
 808
 809         * cp-tree.h (do_auto_deduction (tree, tree, tree)): Remove.
 810         (do_auto_deduction (tree, tree, tree, tsubst_flags_t,
 811         auto_deduction_context, tree, int): Add defaults.
 812         * pt.c (do_auto_deduction (tree, tree, tree)): Remove definition.
 813         (tsubst_omp_for_iterator): Adjust do_auto_deduction call, forward
 814         tsubst_flags_t argument.
 815         * init.c (build_new): Likewise.
 816
 817 2018-02-13  Jakub Jelinek  <jakub@redhat.com>
 818
 819         PR c++/84364
 820         * typeck.c (check_return_expr): Don't emit -Weffc++ warning
 821         about return other than *this in assignment operators if
 822         retval is type dependent expression.
 823
 824 2018-02-13  Paolo Carlini  <paolo.carlini@oracle.com>
 825
 826         PR c++/84333
 827         * call.c (build_conditional_expr_1): Use cp_save_expr instead of
 828         save_expr for the G++ extension.
 829
 830 2018-02-13  Jason Merrill  <jason@redhat.com>
 831
 832         PR c++/84080 - ICE with return type deduction and specialization.
 833         * pt.c (determine_specialization): Check uses_template_parms.
 834
 835         Fix more variadic capture issues.
 836         * pt.c (find_parameter_packs_r): Also look at explicit captures.
 837         (check_for_bare_parameter_packs): Check current_class_type for
 838         lambda context.
 839         (extract_locals_r): Handle seeing a full instantiation of a pack.
 840         (tsubst_pack_expansion): Likewise.  Force lambda capture.
 841         * parser.c (cp_parser_lambda_introducer): Don't
 842         check_for_bare_parameter_packs.
 843
 844         PR c++/84338 - wrong variadic sizeof.
 845         * pt.c (argument_pack_select_arg): Like the macro, but look through
 846         a pack expansion.
 847         (tsubst, tsubst_copy, dependent_template_arg_p): Use it.
 848         (extract_fnparm_pack): Do make_pack_expansion.
 849         (extract_locals_r): Do strip a pack expansion.
 850         * cp-tree.h (ARGUMENT_PACK_SELECT_ARG): Remove.
 851
 852 2018-02-12  Jakub Jelinek  <jakub@redhat.com>
 853
 854         PR c++/84341
 855         * parser.c (cp_parser_binary_expression): Use build_min instead of
 856         build2_loc to build the no_toplevel_fold_p toplevel binary expression.
 857
 858 2018-02-12  Nathan Sidwell  <nathan@acm.org>
 859
 860         PR c++/84263
 861         * parser.c (cp_parser_decltype): Push and pop
 862         deferring_access_checks.  Reorganize to avoid goto.
 863
 864 2018-02-12  Richard Biener  <rguenther@suse.de>
 865
 866         PR c++/84281
 867         * constexpr.c (cxx_eval_vec_init_1): Use a RANGE_EXPR to compact
 868         uniform constructors and delay allocating them fully.
 869
 870 2018-02-09  Jason Merrill  <jason@redhat.com>
 871
 872         PR c++/84036 - ICE with variadic capture.
 873         Handle variadic capture proxies more like non-variadic.
 874         * lambda.c (build_capture_proxy): Remove workaround.
 875         * pt.c (find_parameter_packs_r): The proxy is a pack.
 876         (instantiate_class_template_1): Remove dead lambda code.
 877         (extract_fnparm_pack): Don't make_pack_expansion.
 878         (extract_locals_r): Don't strip a pack expansion.
 879         (tsubst_pack_expansion): Handle proxy packs.  Use
 880         PACK_EXPANSION_EXTRA_ARGS less.
 881         (tsubst_decl) [FIELD_DECL]: Don't register_specialization.
 882         (tsubst_copy) [FIELD_DECL]: Don't retrieve*_specialization.
 883         [VAR_DECL]: Handle ARGUMENT_PACK_SELECT.
 884         (tsubst_expr) [DECL_EXPR]: Handle proxy packs.
 885         (tsubst_copy_and_build) [VAR_DECL]: Handle proxy packs normally.
 886
 887 2018-02-10  Jakub Jelinek  <jakub@redhat.com>
 888
 889         PR sanitizer/83987
 890         * tree.c (cp_free_lang_data): Revert 2018-01-23 change.
 891
 892 2018-02-09  Jason Merrill  <jason@redhat.com>
 893
 894         PR c++/81917 - ICE with void_t and partial specialization.
 895         * pt.c (instantiate_class_template_1): Set TYPE_BEING_DEFINED before
 896         calling most_specialized_partial_spec.
 897
 898 2018-02-09  Nathan Sidwell  <nathan@acm.org>
 899
 900         PR c/84293
 901         * typeck.c (cp_build_indirect_ref_1, build_reinterpret_cast_1):
 902         Pass expr location to strict_aliasing_warning.
 903
 904 2018-02-09  Jason Merrill  <jason@redhat.com>
 905
 906         PR c++/84296 - ICE with qualified-id in template.
 907         PR c++/83714
 908         * pt.c (unknown_base_ref_p): New.
 909         (instantiation_dependent_scope_ref_p): Use it instead of
 910         any_dependent_bases_p.
 911
 912 2018-02-09  Marek Polacek  <polacek@redhat.com>
 913             Jakub Jelinek  <jakub@redhat.com>
 914
 915         PR c++/83659
 916         * constexpr.c (cxx_fold_indirect_ref): Sync some changes from
 917         fold_indirect_ref_1, including poly_*int64.  Verify first that
 918         tree_fits_poly_int64_p (op01).  Formatting fixes.
 919
 920 2018-02-08  Paolo Carlini  <paolo.carlini@oracle.com>
 921
 922         * constexpr.c (cxx_eval_component_reference): Use INDIRECT_REF_P.
 923         * lambda.c (build_capture_proxy): Likewise.
 924         * search.c (field_access_p): Likewise.
 925         * semantics.c (omp_clause_decl, omp_privatize_field,
 926         finish_omp_clauses): Likewise.
 927
 928 2018-02-08  Paolo Carlini  <paolo.carlini@oracle.com>
 929
 930         PR c++/83806
 931         * typeck.c (decay_conversion): Use mark_rvalue_use for the special
 932         case of nullptr too.
 933
 934 2018-02-08  Nathan Sidwell  <nathan@acm.org>
 935
 936         * class.c (finish_struct): Fix std:initializer_list diagnostic
 937         formatting.
 938
 939 2018-02-08  Paolo Carlini  <paolo.carlini@oracle.com>
 940
 941         PR c++/83204
 942         * pt.c (tsubst_copy_and_build): Use force_paren_expr for INDIRECT_REF.
 943
 944 2018-02-07  Jakub Jelinek  <jakub@redhat.com>
 945
 946         PR c++/84082
 947         * parser.c (cp_parser_dot_deref_incomplete): New function.
 948         (cp_parser_postfix_dot_deref_expression): Use it.
 949
 950 2018-02-07  David Malcolm  <dmalcolm@redhat.com>
 951
 952         PR c++/81610
 953         PR c++/80567
 954         * name-lookup.c (suggest_rid_p): New function.
 955         (lookup_name_fuzzy): Replace enum-rid-filtering logic with call to
 956         suggest_rid_p.
 957
 958 2018-02-07  Jason Merrill  <jason@redhat.com>
 959
 960         PR c++/84182 - ICE with captured lambda
 961         PR c++/84181
 962         * pt.c (extract_locals_r, extract_local_specs): New.
 963         (tsubst_pack_expansion): Use them.
 964
 965 2018-02-07  Martin Liska  <mliska@suse.cz>
 966
 967         PR c++/84059.
 968         * class.c (add_method): Append argument value.
 969         * cp-tree.h (maybe_version_functions): Add new argument.
 970         * decl.c (decls_match): Call it if a declaration does not
 971         have DECL_FUNCTION_VERSIONED.
 972         (maybe_version_functions): record argument is added.
 973
 974 2018-02-05  Marek Polacek  <polacek@redhat.com>
 975
 976         * class.c: Remove unused global variables.
 977         (build_primary_vtable): Don't gather statistics.
 978         (print_class_statistics): Remove.
 979         * cp-tree.h (print_class_statistics): Remove.
 980         * tree.c (cxx_print_statistics): Don't call print_class_statistics.
 981
 982 2018-02-02  Paolo Carlini  <paolo.carlini@oracle.com>
 983
 984         * class.c (is_really_empty_class): Use DECL_UNNAMED_BIT_FIELD.
 985         * constexpr.c (cx_check_missing_mem_inits): Likewise.
 986         * decl.c (next_initializable_field, find_decomp_class_base,
 987         cp_finish_decomp): Likewise.
 988         * typeck2.c (process_init_constructor_record): Likewise.
 989
 990 2018-02-02  Jason Merrill  <jason@redhat.com>
 991
 992         PR c++/84181 - ICE with lambda parm in template argument.
 993         * tree.c (strip_typedefs_expr): Use cp_tree_operand_length.
 994
 995 2018-02-01  Jason Merrill  <jason@redhat.com>
 996
 997         PR c++/84160 - ICE with nested variadic capture.
 998         * lambda.c (is_capture_proxy_with_ref): New.
 999         (insert_capture_proxy): Don't set DECL_CAPTURED_VARIABLE from a
1000         COMPONENT_REF.
1001         * expr.c (mark_use): Use is_capture_proxy_with_ref.
1002         * constexpr.c (potential_constant_expression_1): Likewise.
1003         * semantics.c (process_outer_var_ref): Likewise.
1004
1005 2018-02-01  Marek Polacek  <polacek@redhat.com>
1006
1007         PR c++/84125
1008         * typeck.c (build_address): Relax the assert when
1009         processing_template_decl.
1010
1011 2018-02-01  Jason Merrill  <jason@redhat.com>
1012
1013         PR c++/84126 - ICE with variadic generic lambda
1014         PR c++/84036
1015         PR c++/82249
1016         * pt.c (tsubst_pack_expansion): Handle function parameter_packs in
1017         PACK_EXPANSION_EXTRA_ARGS.
1018
1019 2018-02-01  Paolo Carlini  <paolo.carlini@oracle.com>
1020
1021         PR c++/83796
1022         * call.c (convert_like_real): If w're initializing from {} explicitly
1023         call abstract_virtuals_error_sfinae.
1024
1025 2018-01-31  Jason Merrill  <jason@redhat.com>
1026             Jakub Jelinek  <jakub@redhat.com>
1027
1028         PR c++/83993
1029         * constexpr.c (cxx_eval_outermost_constant_expr): Build NOP_EXPR
1030         around non-constant ADDR_EXPRs rather than clearing TREE_CONSTANT
1031         on ADDR_EXPR.
1032
1033 2018-01-31  Jakub Jelinek  <jakub@redhat.com>
1034
1035         PR c++/83993
1036         * constexpr.c (diag_array_subscript): Emit different diagnostics
1037         if TYPE_DOMAIN (arraytype) is NULL.
1038         (cxx_eval_array_reference, cxx_eval_store_expression): For arrays
1039         with NULL TYPE_DOMAIN use size_zero_node as nelts.
1040
1041 2018-01-31  Paolo Carlini  <paolo.carlini@oracle.com>
1042
1043         PR c++/84092
1044         * semantics.c (finish_qualified_id_expr): When handling an
1045         UNBOUND_CLASS_TEMPLATE only adjust qualifying_class and expr.
1046
1047 2018-01-31  Marek Polacek  <polacek@redhat.com>
1048
1049         PR c++/84138
1050         * cp-gimplify.c (cp_fold): Check if X is an error node before
1051         calling useless_type_conversion_p.
1052
1053 2018-01-30  Jason Merrill  <jason@redhat.com>
1054
1055         PR c++/84091 - ICE with local class in lambda in template.
1056         * decl2.c (determine_visibility): Look for outer containing template
1057         instantiation.
1058
1059         PR c++/84098 - ICE with lambda in template NSDMI.
1060         * pt.c (instantiate_class_template_1): Ignore more lambdas.
1061
1062 2018-01-29  Jason Merrill  <jason@redhat.com>
1063
1064         PR c++/68810 - wrong location for reinterpret_cast error.
1065         * cvt.c (cp_convert_to_pointer): Always build a CONVERT_EXPR when
1066         !dofold.
1067
1068 2018-01-29  Marek Polacek  <polacek@redhat.com>
1069
1070         PR c++/83996
1071         * constexpr.c (cxx_fold_indirect_ref): Compute ((foo *)&fooarray)[1]
1072         => fooarray[1] in offset_int.
1073
1074 2018-01-29  Jason Merrill  <jason@redhat.com>
1075
1076         PR c++/83942 - wrong unused warning with static_cast.
1077         * cvt.c (ocp_convert): Call mark_rvalue_use.
1078
1079 2018-01-26  Jason Merrill  <jason@redhat.com>
1080
1081         PR c++/83956 - wrong dtor error with anonymous union
1082         * method.c (walk_field_subobs): Variant members only affect
1083         deletedness.
1084         (maybe_explain_implicit_delete): Pass &deleted_p for diagnostic.
1085
1086         PR c++/84036 - ICE with variadic capture.
1087         PR c++/82249
1088         * pt.c (tsubst_pack_expansion): When optimizing a simple
1089         substitution, pull a single pack expansion out of its pack.
1090
1091         PR c++/82514 - ICE with local class in generic lambda.
1092         * pt.c (regenerated_lambda_fn_p): Remove.
1093         (enclosing_instantiation_of): Don't use it.
1094         (tsubst_function_decl): Call enclosing_instantiation_of.
1095
1096         * pt.c (lookup_template_class_1): Add sanity check.
1097         * name-lookup.c (do_pushtag): Don't add closures to local_classes.
1098
1099 2018-01-25  Jakub Jelinek  <jakub@redhat.com>
1100
1101         PR c++/84031
1102         * decl.c (find_decomp_class_base): Ignore unnamed bitfields.  Ignore
1103         recursive calls that return ret.
1104         (cp_finish_decomp): Ignore unnamed bitfields.
1105
1106 2018-01-23  Jason Merrill  <jason@redhat.com>
1107
1108         PR c++/82249 - wrong mismatched pack length error.
1109         * pt.c (extract_fnparm_pack, tsubst_pack_expansion): Handle
1110         unsubstituted function parameter pack.
1111
1112 2018-01-23  Paolo Carlini  <paolo.carlini@oracle.com>
1113
1114         PR c++/83921
1115         * decl.c (check_for_uninitialized_const_var): Not static; add
1116         bool and tsubst_flags_t parameters; adjust to be used both in
1117         constexpr context and not.
1118         * constexpr.c (potential_constant_expression_1): Use the above.
1119         * cp-tree.h (check_for_uninitialized_const_var): Declare.
1120
1121 2018-01-23  Jason Merrill  <jason@redhat.com>
1122
1123         PR c++/83947 - ICE with auto declarations.
1124         * pt.c (do_auto_deduction): Don't deduce from an auto decl.
1125         * decl.c (undeduced_auto_decl): Limit to vars and fns.
1126
1127 2018-01-23  David Malcolm  <dmalcolm@redhat.com>
1128
1129         PR c++/83974
1130         * pt.c (tsubst_copy_and_build) <CONSTRUCTOR>: Remove early bailout
1131         for pointer to member function types.
1132
1133 2018-01-23  Jakub Jelinek  <jakub@redhat.com>
1134
1135         PR sanitizer/83987
1136         * tree.c (cp_free_lang_data): Change DECL_VALUE_EXPR of
1137         DECL_OMP_PRIVATIZED_MEMBER vars to error_mark_node.
1138
1139 2018-01-23  Nathan Sidwell  <nathan@acm.org>
1140
1141         PR c++/83988
1142         * pt.c (tsubst_baselink): Remove optype assert.
1143         * ptree.c (cxx_print_xnode): <case BASELINK> Print BASELINK_OPTYPE.
1144
1145 2018-01-23  Jakub Jelinek  <jakub@redhat.com>
1146
1147         PR c++/83958
1148         * decl.c (cp_finish_decomp): Diagnose if reference structure binding
1149         refers to incomplete type.
1150
1151 2018-01-23  Nathan Sidwell  <nathan@acm.org>
1152
1153         Deprecate ARM-era for scope handling
1154         * decl.c (poplevel): Flag_new_for_scope is a boolean-like.
1155         (cxx_init_decl_processing): Deprecate flag_new_for_scope being
1156         cleared.
1157         * name-lookup.c (check_for_out_of_scope_variable): Deprecate and
1158         cleanup handling.
1159         * semantics.c (begin_for_scope): Flag_new_for_scope is
1160         boolean-like.
1161         (finish_for_stmt, begin_range_for_stmt): Likewise.
1162
1163 2018-01-22  Jason Merrill  <jason@redhat.com>
1164
1165         PR c++/83720
1166         * decl2.c (determine_visibility): Fix template_decl handling
1167         instead of blocking it.
1168
1169         PR c++/83720 - ICE with lambda and LTO.
1170         * decl2.c (determine_visibility): Clear template_decl for
1171         function-scope decls.  Propagate anonymous linkage from containing
1172         function.
1173
1174 2018-01-22  Marek Polacek  <polacek@redhat.com>
1175
1176         PR c++/81933
1177         * typeck2.c (split_nonconstant_init_1): Return false if we didn't
1178         split out anything.
1179
1180 2018-01-22  Ville Voutilainen  <ville.voutilainen@gmail.com>
1181
1182         PR c++/83895
1183         * decl.c (grokdeclarator): Don't diagnose extra parens
1184         on typedefs.
1185
1186 2018-01-19  Jakub Jelinek  <jakub@redhat.com>
1187
1188         PR c++/81167
1189         * call.c (joust): Use TREE_TYPE (source) if source is
1190         a POINTER_TYPE_P rather than if ! DECL_CONSTRUCTOR_P (w->fn).
1191
1192         PR c++/83919
1193         * typeck.c (convert_for_assignment): Suppress warn_ignored_qualifiers
1194         for direct enum init.
1195         * decl.c (reshape_init): Likewise.
1196
1197 2018-01-19  Marek Polacek  <polacek@redhat.com>
1198
1199         * constexpr.c (fold_simple): Simplify.
1200
1201 2018-01-18  Jason Merrill  <jason@redhat.com>
1202
1203         PR c++/83714
1204         * search.c (any_dependent_bases_p): Handle null TREE_BINFO.
1205         * pt.c (instantiation_dependent_scope_ref_p): True if
1206         any_dependent_bases_p.
1207
1208 2018-01-18  Paolo Carlini  <paolo.carlini@oracle.com>
1209
1210         * cp-tree.h: Fix comment typo (DECL_NON_TRIVIALLY_INITIALIZED_P
1211         vs DECL_NONTRIVIALLY_INITIALIZED_P).
1212
1213 2018-01-18  Jason Merrill  <jason@redhat.com>
1214
1215         PR c++/82461 - constexpr list-initialized member
1216         * constexpr.c (potential_constant_expression_1): Check
1217         TARGET_EXPR_DIRECT_INIT_P.
1218
1219 2018-01-18  Paolo Carlini  <paolo.carlini@oracle.com>
1220
1221         PR c++/81013
1222         * decl.c (xref_basetypes): Early return upon error about derived
1223         union.
1224
1225 2018-01-18  Nathan Sidwell  <nathan@acm.org>
1226
1227         PR c++/83160
1228         * cp-tree.h (mark_use): Declare.
1229         * expr.c (mark_use): Make extern.
1230         * call.c (direct_reference_binding): Set inner conv's
1231         rvaluedness_matches_p, if it is an identity.
1232         (convert_like_real): Mark lvalue or rvalue use for identity as
1233         rvaledness_matches_p demands.
1234
1235 2018-01-18  Jakub Jelinek  <jakub@redhat.com>
1236
1237         PR c++/83824
1238         * parser.c (attr_chainon): New function.
1239         (cp_parser_label_for_labeled_statement, cp_parser_decl_specifier_seq,
1240         cp_parser_namespace_definition, cp_parser_init_declarator,
1241         cp_parser_type_specifier_seq, cp_parser_parameter_declaration,
1242         cp_parser_gnu_attributes_opt): Use it.
1243         (cp_parser_member_declaration, cp_parser_objc_class_ivars,
1244         cp_parser_objc_struct_declaration): Likewise.  Don't reset
1245         prefix_attributes if attributes is error_mark_node.
1246
1247 2018-01-17  Paolo Carlini  <paolo.carlini@oracle.com>
1248
1249         PR c++/78344
1250         * decl.c (grokdeclarator): Do not append the error_mark_node
1251         due to an erroneous optional attribute-specifier-seq.
1252
1253 2018-01-17  Jakub Jelinek  <jakub@redhat.com>
1254
1255         PR c++/83897
1256         * cp-gimplify.c (cp_maybe_instrument_return): Handle
1257         CLEANUP_POINT_EXPR.
1258
1259 2018-01-17  Paolo Carlini  <paolo.carlini@oracle.com>
1260
1261         PR c++/81054
1262         * constexpr.c (ensure_literal_type_for_constexpr_object): Return
1263         error_mark_node when we give an error.
1264         * decl.c (cp_finish_decl): Use the latter.
1265
1266 2018-01-17  Nathan Sidwell  <nathan@acm.org>
1267
1268         PR c++/83287
1269         * init.c (build_raw_new_expr): Scan list for lookups to keep.
1270
1271 2018-01-17  David Malcolm  <dmalcolm@redhat.com>
1272
1273         PR c++/83814
1274         * expr.c (fold_for_warn): Move from c-common.c, reducing to just
1275         the C++ part.  If processing a template, call
1276         fold_non_dependent_expr rather than fully folding.
1277
1278 2018-01-17  Jason Merrill  <jason@redhat.com>
1279
1280         PR c++/81067 - redundant NULL warning.
1281         * call.c (convert_like_real): Restore null_node handling.
1282
1283 2018-01-17  Jason Merrill  <jason@redhat.com>
1284
1285         PR c++/81843 - ICE with variadic member template.
1286         PR c++/72801
1287         * pt.c (unify_pack_expansion): Don't try to deduce enclosing
1288         template args.
1289
1290 2018-01-17  David Malcolm  <dmalcolm@redhat.com>
1291
1292         PR c++/83799
1293         * pt.c (type_dependent_expression_p): Strip any location wrapper
1294         before testing tree codes.
1295         (selftest::test_type_dependent_expression_p): New function.
1296         (selftest::cp_pt_c_tests): Call it.
1297
1298 2018-01-17  Nathan Sidwell  <nathan@acm.org>
1299
1300         PR c++/83739
1301         * pt.c (tsubst_expr) <case RANGE_FOR_STMT>: Rebuild a range_for if
1302         this not a final instantiation.
1303
1304 2018-01-16  Jason Merrill  <jason@redhat.com>
1305
1306         PR c++/83714 - ICE checking return in template.
1307         * typeck.c (check_return_expr): Call build_non_dependent_expr.
1308
1309 2018-01-16  Jakub Jelinek  <jakub@redhat.com>
1310
1311         PR c++/83817
1312         * pt.c (tsubst_copy_and_build) <case CALL_EXPR>: If function
1313         is AGGR_INIT_EXPR rather than CALL_EXPR, set AGGR_INIT_FROM_THUNK_P
1314         instead of CALL_FROM_THUNK_P.
1315
1316         PR c++/83825
1317         * name-lookup.c (member_vec_dedup): Return early if len is 0.
1318         (resort_type_member_vec, set_class_bindings,
1319         insert_late_enum_def_bindings): Use vec qsort method instead of
1320         calling qsort directly.
1321
1322 2018-01-15  Martin Sebor  <msebor@redhat.com>
1323
1324         PR c++/83588
1325         * class.c (find_flexarrays): Make a record of multiple flexible array
1326         members.
1327
1328 2018-01-12  Jason Merrill  <jason@redhat.com>
1329
1330         PR c++/83186 - ICE with static_cast of list-initialized temporary.
1331         * typeck.c (build_static_cast): Use build_non_dependent_expr.
1332
1333 2018-01-12  Nathan Sidwell  <nathan@acm.org>
1334
1335         * cp-tree.h (mark_rvalue_use): Add parm name.
1336         * expr.c (mark_lvalue_use, mark_lvalue_use_nonread): Move next to
1337         mark_rvalue_use.
1338         * call.c (convert_like_real): Fix formatting.
1339
1340 2018-01-11  Jason Merrill  <jason@redhat.com>
1341
1342         PR c++/82728 - wrong -Wunused-but-set-variable
1343         PR c++/82799
1344         PR c++/83690
1345         * call.c (perform_implicit_conversion_flags): Call mark_rvalue_use.
1346         * decl.c (case_conversion): Likewise.
1347         * semantics.c (finish_static_assert): Call
1348         perform_implicit_conversion_flags.
1349
1350 2018-01-11  Nathan Sidwell  <nathan@acm.org>
1351
1352         * method.c (enum mangling_flags): Delete long-dead enum.
1353
1354 2018-01-10  Paolo Carlini  <paolo.carlini@oracle.com>
1355
1356         * parser.c (cp_parser_std_attribute_spec): When
1357         token_pair::require_open / require_close return false simply
1358         return error_mark_node, avoid duplicate cp_parser_error about
1359         expected '(' / ')', respectively.
1360
1361 2018-01-10  David Malcolm  <dmalcolm@redhat.com>
1362
1363         PR c++/43486
1364         * call.c (null_ptr_cst_p): Strip location wrappers when
1365         converting from '0' to a pointer type in C++11 onwards.
1366         (conversion_null_warnings): Replace comparison with null_node with
1367         call to null_node_p.
1368         (build_over_call): Likewise.
1369         * cp-gimplify.c (cp_fold): Remove the early bailout when
1370         processing_template_decl.
1371         * cp-lang.c (selftest::run_cp_tests): Call
1372         selftest::cp_pt_c_tests and selftest::cp_tree_c_tests.
1373         * cp-tree.h (cp_expr::maybe_add_location_wrapper): New method.
1374         (selftest::run_cp_tests): Move decl to bottom of file.
1375         (null_node_p): New inline function.
1376         (selftest::cp_pt_c_tests): New decl.
1377         (selftest::cp_tree_c_tests): New decl.
1378         * cvt.c (build_expr_type_conversion): Replace comparison with
1379         null_node with call to null_node_p.
1380         * error.c (args_to_string): Likewise.
1381         * except.c (build_throw): Likewise.
1382         * mangle.c (write_expression): Skip location wrapper nodes.
1383         * parser.c (literal_integer_zerop): New function.
1384         (cp_parser_postfix_expression): Call maybe_add_location_wrapper on
1385         the result for RID_TYPEID. Pass true for new "wrap_locations_p"
1386         param of cp_parser_parenthesized_expression_list.  When calling
1387         warn_for_memset, replace integer_zerop calls with
1388         literal_integer_zerop, eliminating the double logical negation
1389         cast to bool.  Eliminate the special-casing for CONST_DECL in
1390         favor of the fold_for_warn within warn_for_memset.
1391         (cp_parser_parenthesized_expression_list): Add "wrap_locations_p"
1392         param, defaulting to false.  Convert "expr" to a cp_expr, and call
1393         maybe_add_location_wrapper on it when wrap_locations_p is true.
1394         (cp_parser_unary_expression): Call maybe_add_location_wrapper on
1395         the result for RID_ALIGNOF and RID_SIZEOF.
1396         (cp_parser_builtin_offsetof): Likewise.
1397         * pt.c: Include "selftest.h".
1398         (tsubst_copy): Handle location wrappers.
1399         (tsubst_copy_and_build): Likewise.
1400         (build_non_dependent_expr): Likewise.
1401         (selftest::test_build_non_dependent_expr): New function.
1402         (selftest::cp_pt_c_tests): New function.
1403         * tree.c: Include "selftest.h".
1404         (lvalue_kind): Handle VIEW_CONVERT_EXPR location wrapper nodes.
1405         (selftest::test_lvalue_kind): New function.
1406         (selftest::cp_tree_c_tests): New function.
1407         * typeck.c (string_conv_p): Strip any location wrapper from "exp".
1408         (cp_build_binary_op): Replace comparison with null_node with call
1409         to null_node_p.
1410         (build_address): Use location of operand when building address
1411         expression.
1412
1413 2018-01-10  Marek Polacek  <polacek@redhat.com>
1414
1415         PR c++/82541
1416         * call.c (build_conditional_expr_1): Check complain before warning.
1417         * pt.c (tsubst_copy_and_build) <case COND_EXPR>: Suppress
1418         -Wduplicated-branches.
1419
1420 2018-01-10  Jakub Jelinek  <jakub@redhat.com>
1421
1422         PR c++/81327
1423         * call.c (maybe_warn_class_memaccess): Add forward declaration.
1424         Change last argument from tree * to const vec<tree, va_gc> *, adjust
1425         args uses and check number of operands too.  Don't strip away any
1426         nops.  Use maybe_constant_value when looking for INTEGER_CST args.
1427         Deal with src argument not having pointer type.  Check
1428         tree_fits_uhwi_p before calling tree_to_uhwi.  Remove useless
1429         test.
1430         (build_over_call): Call maybe_warn_class_memaccess here on the
1431         original arguments.
1432         (build_cxx_call): Rather than here on converted arguments.
1433
1434 2018-01-10  Paolo Carlini  <paolo.carlini@oracle.com>
1435
1436         PR c++/81055
1437         * init.c (build_vec_init): Avoid building an INIT_EXPR with
1438         error_mark_node as second argument.
1439
1440 2018-01-09  Jakub Jelinek  <jakub@redhat.com>
1441
1442         PR c++/83734
1443         * constexpr.c (cxx_eval_statement_list): Ignore DEBUG_BEGIN_STMTs
1444         in STATEMENT_LIST.  Remove unneeded assert.
1445
1446 2018-01-03  Richard Sandiford  <richard.sandiford@linaro.org>
1447             Alan Hayward  <alan.hayward@arm.com>
1448             David Sherwood  <david.sherwood@arm.com>
1449
1450         * constexpr.c (cxx_eval_array_reference): Handle polynomial
1451         VECTOR_CST_NELTS.
1452         (cxx_fold_indirect_ref): Handle polynomial TYPE_VECTOR_SUBPARTS.
1453         * call.c (build_conditional_expr_1): Likewise.
1454         * decl.c (cp_finish_decomp): Likewise.
1455         * mangle.c (write_type): Likewise.
1456         * typeck.c (structural_comptypes): Likewise.
1457         (cp_build_binary_op): Likewise.
1458         * typeck2.c (process_init_constructor_array): Likewise.
1459
1460 2018-01-03  Jakub Jelinek  <jakub@redhat.com>
1461
1462         PR c++/83555
1463         * typeck.c (build_static_cast_1): For static casts to reference types,
1464         call build_base_path with flag_delete_null_pointer_checks as nonnull
1465         instead of always false.  When -fsanitize=null, call
1466         ubsan_maybe_instrument_reference on the NULL reference INTEGER_CST.
1467         * cp-gimplify.c (cp_genericize_r): Don't walk subtrees of UBSAN_NULL
1468         call if the first argument is INTEGER_CST with REFERENCE_TYPE.
1469
1470 2018-01-03  Nathan Sidwell  <nathan@acm.org>
1471
1472         PR c++/83667
1473         * method.c (make_alias_for): Copy DECL_CONTEXT.
1474
1475 2018-01-03  Marek Polacek  <polacek@redhat.com>
1476
1477         PR c++/83592
1478         * decl.c (grokdeclarator): Don't warn about MVP in typename context.
1479
1480 2018-01-03  Jakub Jelinek  <jakub@redhat.com>
1481
1482         PR preprocessor/83602
1483         * name-lookup.c (lookup_name_fuzzy): Don't use macro_use_before_def
1484         for builtin macros.
1485
1486         PR c++/83634
1487         * cp-gimplify.c (cp_fold) <case NOP_EXPR>: If the operand folds to
1488         error_mark_node, return error_mark_node.
1489
1490         Update copyright years.
1491
1492 2018-01-02  Jakub Jelinek  <jakub@redhat.com>
1493
1494         PR c++/83556
1495         * tree.c (replace_placeholders_r): Pass NULL as last argument to
1496         cp_walk_tree instead of d->pset.  If non-TREE_CONSTANT and
1497         non-PLACEHOLDER_EXPR tree has been seen already, set *walk_subtrees
1498         to false and return.
1499         (replace_placeholders): Pass NULL instead of &pset as last argument
1500         to cp_walk_tree.
1501
1502 2018-01-02  Nathan Sidwell  <nathan@acm.org>
1503
1504         * constexpr.c (cxx_bind_parameters_in_call): Remove unneeded local
1505         lval var.
1506 \f
1507 Copyright (C) 2018 Free Software Foundation, Inc.
1508
1509 Copying and distribution of this file, with or without modification,
1510 are permitted in any medium without royalty provided the copyright
1511 notice and this notice are preserved.