gcc/cp/ChangeLog

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