gcc/cp/ChangeLog

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