gcc/cp/ChangeLog

   1 2024-05-21  Release Manager
   2
   3         * GCC 13.3.0 released.
   4
   5 2024-05-14  Patrick Palka  <ppalka@redhat.com>
   6
   7         Backported from master:
   8         2024-04-11  Patrick Palka  <ppalka@redhat.com>
   9
  10         PR c++/114303
  11         * constraint.cc (tsubst_requires_expr): Clear
  12         REQUIRES_EXPR_EXTRA_ARGS before calling build_extra_args.
  13         * pt.cc (tree_extra_args): Define.
  14         (extract_locals_r): Assert *_EXTRA_ARGS is empty.
  15         (tsubst_stmt) <case IF_STMT>: Clear IF_SCOPE on the new
  16         IF_STMT.  Call build_extra_args on the new IF_STMT instead
  17         of t which might already have IF_STMT_EXTRA_ARGS.
  18
  19 2024-05-13  Patrick Palka  <ppalka@redhat.com>
  20
  21         Backported from master:
  22         2024-04-24  Patrick Palka  <ppalka@redhat.com>
  23
  24         PR c++/114709
  25         * constexpr.cc (cxx_fold_indirect_ref): Restrict object/offset
  26         canonicalization to RECORD_TYPE member accesses.
  27
  28 2024-05-09  Jakub Jelinek  <jakub@redhat.com>
  29
  30         Backported from master:
  31         2024-04-25  Jakub Jelinek  <jakub@redhat.com>
  32
  33         PR c++/111284
  34         * constexpr.cc (cxx_bind_parameters_in_call): For PARM_DECLs with
  35         TREE_ADDRESSABLE types use vc_glvalue rather than vc_prvalue for
  36         cxx_eval_constant_expression and if it doesn't have the same
  37         type as it should, cast the reference type to reference to type
  38         before convert_from_reference and instead of adjust_temp_type
  39         take address of the arg, cast to reference to type and then
  40         convert_from_reference.
  41         (cxx_eval_constant_expression) <case PARM_DECL>: For lval case
  42         on parameters with TREE_ADDRESSABLE types lookup result in
  43         ctx->globals if possible.  Otherwise if lookup in ctx->globals
  44         was successful for parameter with TREE_ADDRESSABLE type,
  45         recurse with vc_prvalue on the returned value.
  46
  47 2024-05-07  Andrew Pinski  <quic_apinski@quicinc.com>
  48
  49         Backported from master:
  50         2024-05-07  Andrew Pinski  <quic_apinski@quicinc.com>
  51
  52         PR c++/89224
  53         * constexpr.cc (cxx_eval_array_reference): Compare main variants
  54         for the vector/array types instead of the types directly.
  55
  56 2024-05-01  Patrick Palka  <ppalka@redhat.com>
  57
  58         PR c++/113141
  59         * call.cc (reference_binding): Remove badness criteria sanity
  60         check in the recursive case.
  61
  62 2024-05-01  centurion  <centurion009@proton.me>
  63
  64         Backported from master:
  65         2024-04-04  centurion  <centurion009@proton.me>
  66
  67         PR c++/114377
  68         * pt.cc (find_template_parameter_info::found): Use TREE_TYPE for
  69         TEMPLATE_DECL instead of DECL_INITIAL.
  70
  71 2024-05-01  Jason Merrill  <jason@redhat.com>
  72
  73         Backported from master:
  74         2024-04-02  Jason Merrill  <jason@redhat.com>
  75
  76         PR c++/114561
  77         PR c++/114562
  78         * call.cc (convert_like_internal): Avoid adding qualification
  79         conversion in direct reference binding.
  80
  81 2024-05-01  Jason Merrill  <jason@redhat.com>
  82
  83         Backported from master:
  84         2024-03-28  Jason Merrill  <jason@redhat.com>
  85
  86         PR c++/100667
  87         * semantics.cc (same_type_ref_bind_p): New.
  88         (finish_trait_expr): Use it.
  89
  90 2024-04-21  Jakub Jelinek  <jakub@redhat.com>
  91
  92         Backported from master:
  93         2024-04-12  Jakub Jelinek  <jakub@redhat.com>
  94
  95         PR c++/114691
  96         * semantics.cc (simplify_loop_decl_cond): Use cp_build_unary_op with
  97         TRUTH_NOT_EXPR on ANNOTATE_EXPR argument (if any) rather than
  98         ANNOTATE_EXPR itself.
  99
 100 2024-04-21  Jakub Jelinek  <jakub@redhat.com>
 101
 102         Backported from master:
 103         2024-04-09  Jakub Jelinek  <jakub@redhat.com>
 104
 105         PR c++/114580
 106         * semantics.cc (finish_if_stmt_cond): Call
 107         maybe_warn_for_constant_evaluated with IF_STMT_CONSTEXPR_P (if_stmt)
 108         as the second argument, rather than true/false depending on if
 109         it is if constexpr with non-dependent constant expression with
 110         bool type.
 111
 112 2024-04-21  Jakub Jelinek  <jakub@redhat.com>
 113
 114         Backported from master:
 115         2024-04-05  Jakub Jelinek  <jakub@redhat.com>
 116
 117         PR c++/114572
 118         * cp-gimplify.cc (cxx_omp_clause_apply_fn): Call build_cplus_new
 119         on build_call_a result if it has class type.
 120
 121 2024-04-15  Patrick Palka  <ppalka@redhat.com>
 122
 123         Backported from master:
 124         2024-02-19  Patrick Palka  <ppalka@redhat.com>
 125
 126         PR c++/113966
 127         * constraint.cc (tsubst_compound_requirement): Don't check
 128         the noexcept condition or the return-type-requirement when
 129         partially substituting.
 130
 131 2024-04-15  Patrick Palka  <ppalka@redhat.com>
 132
 133         Backported from master:
 134         2024-02-03  Patrick Palka  <ppalka@redhat.com>
 135
 136         PR c++/110006
 137         PR c++/112769
 138         * constraint.cc (subst_info::quiet): Accomodate non-diagnostic
 139         tsubst flags.
 140         (tsubst_valid_expression_requirement): Likewise.
 141         (tsubst_simple_requirement): Return a substituted _REQ node when
 142         processing_template_decl.
 143         (tsubst_type_requirement_1): Accomodate non-diagnostic tsubst
 144         flags.
 145         (tsubst_type_requirement): Return a substituted _REQ node when
 146         processing_template_decl.
 147         (tsubst_compound_requirement): Likewise.  Accomodate non-diagnostic
 148         tsubst flags.
 149         (tsubst_nested_requirement): Likewise.
 150         (tsubst_requires_expr): Don't defer partial substitution when
 151         processing_constraint_expression_p is true, in which case return
 152         a substituted REQUIRES_EXPR.
 153         * pt.cc (tsubst_expr) <case REQUIRES_EXPR>: Accomodate
 154         non-diagnostic tsubst flags.
 155
 156 2024-04-02  Marek Polacek  <polacek@redhat.com>
 157
 158         Backported from master:
 159         2024-04-02  Marek Polacek  <polacek@redhat.com>
 160
 161         PR c++/103825
 162         * typeck.cc (is_bitfield_expr_with_lowered_type): Handle
 163         CLEANUP_POINT_EXPR.
 164
 165 2024-02-16  Marek Polacek  <polacek@redhat.com>
 166
 167         Backported from master:
 168         2024-02-12  Marek Polacek  <polacek@redhat.com>
 169
 170         PR c++/113545
 171         * constexpr.cc (cxx_eval_switch_expr): If the condition doesn't reduce
 172         to an INTEGER_CST, consider it non-constant.
 173
 174 2024-02-13  Jason Merrill  <jason@redhat.com>
 175
 176         Backported from master:
 177         2024-02-13  Jason Merrill  <jason@redhat.com>
 178
 179         PR c++/113612
 180         * pt.cc (process_partial_specialization): Return early
 181         on redeclaration.
 182
 183 2024-02-09  Alexandre Oliva  <oliva@adacore.com>
 184
 185         Backported from master:
 186         2023-11-29  Alexandre Oliva  <oliva@adacore.com>
 187
 188         * decl.cc (maybe_prepare_return_this): Split out of...
 189         (maybe_return_this): ... this.
 190         * cp-tree.h (maybe_prepare_return_this): Declare.
 191         * class.cc (build_clone): Call it.
 192
 193 2024-02-09  Alexandre Oliva  <oliva@adacore.com>
 194
 195         Backported from master:
 196         2023-11-29  Alexandre Oliva  <oliva@adacore.com>
 197
 198         * contracts.cc (check_postcondition_result): Cope with
 199         cdtor_return_this.
 200
 201 2024-02-06  Jason Merrill  <jason@redhat.com>
 202
 203         Backported from master:
 204         2024-02-06  Jason Merrill  <jason@redhat.com>
 205
 206         PR c++/107291
 207         * method.cc (early_check_defaulted_comparison): Fail if not friend.
 208
 209 2024-02-05  Jason Merrill  <jason@redhat.com>
 210
 211         Backported from master:
 212         2024-02-05  Jason Merrill  <jason@redhat.com>
 213
 214         PR c++/111286
 215         * tree.cc (rvalue): Don't drop cv-quals from an array.
 216
 217 2024-02-02  Jason Merrill  <jason@redhat.com>
 218
 219         Backported from master:
 220         2024-02-02  Jason Merrill  <jason@redhat.com>
 221
 222         PR c++/110084
 223         * pt.cc (tsubst_function_decl): Only check a function defaulted
 224         outside the class if the class is complete.
 225
 226 2024-02-02  Jason Merrill  <jason@redhat.com>
 227
 228         Backported from master:
 229         2024-02-02  Jason Merrill  <jason@redhat.com>
 230
 231         PR c++/113638
 232         * cp-tree.h: Adjust comment.
 233         * pt.cc (instantiate_template): Set VAR_HAD_UNKNOWN_BOUND for
 234         variable template.
 235
 236 2024-02-02  Jason Merrill  <jason@redhat.com>
 237
 238         Backported from master:
 239         2024-02-02  Jason Merrill  <jason@redhat.com>
 240
 241         PR c++/112439
 242         * constexpr.cc (cxx_eval_store_expression): Check empty_base
 243         before marking a CONSTRUCTOR readonly.
 244
 245 2024-02-01  Marek Polacek  <polacek@redhat.com>
 246
 247         Backported from master:
 248         2024-02-01  Marek Polacek  <polacek@redhat.com>
 249
 250         PR c++/112437
 251         * typeck.cc (treat_lvalue_as_rvalue_p): Bail out on sk_namespace in
 252         the move on throw of parms loop.
 253
 254 2024-01-26  Patrick Palka  <ppalka@redhat.com>
 255
 256         Backported from master:
 257         2024-01-24  Patrick Palka  <ppalka@redhat.com>
 258
 259         PR c++/113529
 260         * call.cc (add_operator_candidates): Propagate error_mark_node
 261         result after recursing to find rewritten candidates.
 262
 263 2024-01-24  Jason Merrill  <jason@redhat.com>
 264
 265         PR c++/113347
 266         * semantics.cc (finalize_nrv_r): Handle null
 267         current_retval_sentinel.
 268
 269 2024-01-24  Jason Merrill  <jason@redhat.com>
 270
 271         Backported from master:
 272         2023-12-20  Jason Merrill  <jason@redhat.com>
 273
 274         PR c++/103185
 275         * typeck.cc (cp_build_array_ref): Handle swapped operands.
 276
 277 2024-01-24  Jason Merrill  <jason@redhat.com>
 278
 279         Backported from master:
 280         2023-12-20  Jason Merrill  <jason@redhat.com>
 281
 282         PR c++/113088
 283         PR c++/33799
 284         * except.cc (maybe_splice_retval_cleanup): Handle an empty block.
 285
 286 2024-01-18  Patrick Palka  <ppalka@redhat.com>
 287
 288         Backported from master:
 289         2024-01-17  Patrick Palka  <ppalka@redhat.com>
 290
 291         PR c++/113242
 292         PR c++/99493
 293         * pt.cc (invalid_tparm_referent_p) <case ADDR_EXPR>: Suppress
 294         DECL_ARTIFICIAL rejection test for class NTTP objects.
 295
 296 2024-01-15  Patrick Palka  <ppalka@redhat.com>
 297
 298         Backported from master:
 299         2024-01-15  Patrick Palka  <ppalka@redhat.com>
 300
 301         PR c++/104634
 302         * pt.cc (maybe_new_partial_specialization): Propagate TREE_PUBLIC
 303         to the newly created partial specialization.
 304
 305 2024-01-15  Patrick Palka  <ppalka@redhat.com>
 306
 307         Backported from master:
 308         2024-01-15  Patrick Palka  <ppalka@redhat.com>
 309
 310         PR c++/109899
 311         * init.cc (build_vec_delete_1): Assume expr_noexcept_p returns
 312         false in a template context.
 313
 314 2023-12-20  Patrick Palka  <ppalka@redhat.com>
 315
 316         Backported from master:
 317         2023-04-25  Patrick Palka  <ppalka@redhat.com>
 318
 319         PR c++/108975
 320         * pt.cc (value_dependent_expression_p) <case VAR_DECL>:
 321         Suppress conservative early exit for reference variables
 322         when DECL_HAS_VALUE_EXPR_P.
 323
 324 2023-12-15  Jakub Jelinek  <jakub@redhat.com>
 325
 326         Backported from master:
 327         2023-12-08  Jakub Jelinek  <jakub@redhat.com>
 328
 329         PR sanitizer/112727
 330         * cp-gimplify.cc (cp_fold): If SAVE_EXPR has been previously
 331         folded, unshare_expr what is returned.
 332
 333 2023-12-12  Marek Polacek  <polacek@redhat.com>
 334
 335         Backported from master:
 336         2023-07-21  Marek Polacek  <polacek@redhat.com>
 337
 338         PR c++/110106
 339         * constexpr.cc (potential_constant_expression_1): Try to complete the
 340         type when !processing_template_decl.
 341
 342 2023-12-12  Marek Polacek  <polacek@redhat.com>
 343
 344         Backported from master:
 345         2023-11-16  Marek Polacek  <polacek@redhat.com>
 346
 347         PR c++/112410
 348         * parser.cc (cp_parser_direct_declarator): Maybe call
 349         abort_fully_implicit_template if it turned out the parameter list was
 350         ill-formed.
 351
 352 2023-12-12  Marek Polacek  <polacek@redhat.com>
 353
 354         Backported from master:
 355         2023-07-14  Marek Polacek  <polacek@redhat.com>
 356                     Jason Merrill  <jason@redhat.com>
 357
 358         PR c++/109876
 359         * decl.cc (cp_finish_decl): Set TREE_CONSTANT when initializing
 360         an object of empty class type.
 361         * pt.cc (value_dependent_expression_p) <case VAR_DECL>: Treat a
 362         constexpr-declared non-constant variable as value-dependent.
 363
 364 2023-12-05  Jakub Jelinek  <jakub@redhat.com>
 365
 366         Backported from master:
 367         2023-12-04  Jakub Jelinek  <jakub@redhat.com>
 368
 369         PR c++/112795
 370         * parser.cc (cp_parser_pragma_unroll): Use fold_non_dependent_expr
 371         instead of maybe_constant_value.
 372
 373 2023-11-24  Patrick Palka  <ppalka@redhat.com>
 374
 375         Backported from master:
 376         2023-11-16  Patrick Palka  <ppalka@redhat.com>
 377
 378         PR c++/111703
 379         PR c++/107939
 380         * constexpr.cc (potential_constant_expression_1) <case CALL_EXPR>:
 381         Fix FUNCTION_POINTER_TYPE_P test.
 382
 383 2023-11-24  Patrick Palka  <ppalka@redhat.com>
 384
 385         Backported from master:
 386         2023-11-15  Patrick Palka  <ppalka@redhat.com>
 387
 388         PR c++/111703
 389         PR c++/112269
 390         * constexpr.cc (potential_constant_expression_1) <case VAR_DECL>:
 391         Only consider var_in_maybe_constexpr_fn if 'now' is false.
 392         <case INDIRECT_REF>: Likewise.
 393
 394 2023-11-23  Patrick Palka  <ppalka@redhat.com>
 395
 396         Backported from master:
 397         2023-11-22  Patrick Palka  <ppalka@redhat.com>
 398
 399         PR c++/112633
 400         * pt.cc (tsubst_aggr_type): Handle empty TYPE_TEMPLATE_INFO
 401         in the entering_scope adjustment.
 402
 403 2023-11-17  Jason Merrill  <jason@redhat.com>
 404
 405         PR c++/112301
 406         PR c++/102191
 407         PR c++/33799
 408         * except.cc (maybe_splice_retval_cleanup): Clear
 409         current_retval_sentinel when destroying retval.
 410         * semantics.cc (nrv_data): Add in_nrv_cleanup.
 411         (finalize_nrv): Set it.
 412         (finalize_nrv_r): Fix handling of throwing cleanups.
 413
 414 2023-11-17  Jason Merrill  <jason@redhat.com>
 415
 416         * semantics.cc (finalize_nrv_r): [RETURN_EXPR]: Only replace the
 417         INIT_EXPR.
 418
 419 2023-11-17  Jason Merrill  <jason@redhat.com>
 420
 421         PR c++/33799
 422         * except.cc (maybe_splice_retval_cleanup): Change
 423         recognition of function body and try scopes.
 424         * semantics.cc (do_poplevel): Call it after poplevel.
 425         (at_try_scope): New.
 426         * cp-tree.h (maybe_splice_retval_cleanup): Adjust.
 427
 428 2023-09-24  Patrick Palka  <ppalka@redhat.com>
 429
 430         Backported from master:
 431         2023-09-22  Patrick Palka  <ppalka@redhat.com>
 432
 433         PR c++/111493
 434         * decl2.cc (grok_array_decl): Guard diagnostic and backward
 435         compatibility fallback code paths with tf_error.
 436
 437 2023-09-24  Patrick Palka  <ppalka@redhat.com>
 438
 439         Backported from master:
 440         2023-09-22  Patrick Palka  <ppalka@redhat.com>
 441
 442         PR c++/111485
 443         * pt.cc (is_compatible_template_arg): New parameter 'args'.
 444         Add the outer template arguments 'args' to 'new_args'.
 445         (convert_template_argument): Pass 'args' to
 446         is_compatible_template_arg.
 447
 448 2023-09-24  Patrick Palka  <ppalka@redhat.com>
 449
 450         Backported from master:
 451         2023-09-19  Patrick Palka  <ppalka@redhat.com>
 452
 453         PR c++/99631
 454         * semantics.cc (finish_decltype_type): For an NTTP object,
 455         return its type modulo cv-quals.
 456
 457 2023-09-22  Patrick Palka  <ppalka@redhat.com>
 458
 459         Backported from master:
 460         2023-09-20  Patrick Palka  <ppalka@redhat.com>
 461
 462         PR c++/111471
 463         * cxx-pretty-print.cc (cxx_pretty_printer::expression)
 464         <case VAR_DECL>: Handle class NTTP objects by printing
 465         their type and value.
 466         <case VIEW_CONVERT_EXPR>: Strip const VIEW_CONVERT_EXPR
 467         wrappers for class NTTPs.
 468         (pp_cxx_template_argument_list): Don't handle class NTTP
 469         objects here.
 470
 471 2023-08-31  Jason Merrill  <jason@redhat.com>
 472
 473         PR c++/109751
 474         * pt.cc (tsubst_friend_function): Don't check constraints.
 475
 476 2023-08-31  Jason Merrill  <jason@redhat.com>
 477
 478         PR c++/92407
 479         * cp-tree.h (struct language_function): Add backward_goto.
 480         * decl.cc (check_goto): Set it.
 481         * typeck.cc (check_return_expr): Prevent NRV if set.
 482
 483 2023-08-16  Patrick Palka  <ppalka@redhat.com>
 484
 485         Backported from master:
 486         2023-08-11  Patrick Palka  <ppalka@redhat.com>
 487
 488         PR c++/110927
 489         * parser.cc (cp_parser_type_requirement): Pass
 490         check_dependency_p=true instead of =false.
 491
 492 2023-08-11  Jason Merrill  <jason@redhat.com>
 493
 494         PR c++/109678
 495         * constexpr.cc (cxx_fold_indirect_ref_1): Handle empty base first.
 496
 497 2023-08-11  Jason Merrill  <jason@redhat.com>
 498
 499         PR c++/106310
 500         * parser.cc (cp_parser_template_name): Skip non-member
 501         lookup after the template keyword.
 502         (cp_parser_lookup_name): Pass down template_keyword_p.
 503
 504 2023-08-07  Patrick Palka  <ppalka@redhat.com>
 505
 506         Backported from master:
 507         2023-07-27  Patrick Palka  <ppalka@redhat.com>
 508
 509         PR c++/110197
 510         * constexpr.cc (cxx_eval_array_reference): Allow synthesizing an
 511         empty subobject even if CONSTRUCTOR_NO_CLEARING is set.
 512         (cxx_eval_bare_aggregate): Set 'no_slot' to true more generally
 513         whenever new_ctx.ctor is set to NULL_TREE by init_subob_ctx,
 514         i.e. whenever initializing an subobject of empty type.
 515         (cxx_eval_vec_init_1): Define 'no_slot' as above and use it
 516         accordingly.
 517
 518 2023-08-07  Patrick Palka  <ppalka@redhat.com>
 519
 520         Backported from master:
 521         2023-07-26  Patrick Palka  <ppalka@redhat.com>
 522
 523         PR c++/110566
 524         PR c++/108179
 525         * pt.cc (coerce_template_template_parms): Simplify by using
 526         DECL_INNERMOST_TEMPLATE_PARMS and removing redundant asserts.
 527         Always pass the parameters of the most general template to
 528         coerce_template_parms.
 529
 530 2023-07-27  Patrick Palka  <ppalka@redhat.com>
 531
 532         Backported from master:
 533         2023-07-26  Patrick Palka  <ppalka@redhat.com>
 534
 535         PR c++/110809
 536         * pt.cc (unify) <case INTEGER_CST>: Generalize to handle
 537         REAL_CST as well.
 538
 539 2023-07-27  Release Manager
 540
 541         * GCC 13.2.0 released.
 542
 543 2023-07-19  Patrick Palka  <ppalka@redhat.com>
 544
 545         Backported from master:
 546         2023-07-18  Patrick Palka  <ppalka@redhat.com>
 547
 548         PR c++/110535
 549         * call.cc (add_conv_candidate): Check constraints.
 550
 551 2023-07-19  Patrick Palka  <ppalka@redhat.com>
 552
 553         Backported from master:
 554         2023-06-11  Patrick Palka  <ppalka@redhat.com>
 555
 556         PR c++/110122
 557         * pt.cc (lookup_template_class): Extend shortcut for looking up the
 558         current class scope to consider outer class scopes too, and use
 559         current_nonlambda_class_type instead of current_class_type.  Only
 560         call coerce_template_parms when specializing a primary template.
 561
 562 2023-07-17  Patrick Palka  <ppalka@redhat.com>
 563
 564         Backported from master:
 565         2023-07-15  Patrick Palka  <ppalka@redhat.com>
 566
 567         PR c++/110524
 568         * mangle.cc (write_expression): Handle TEMPLATE_ID_EXPR
 569         whose template is already an IDENTIFIER_NODE.
 570
 571 2023-07-01  Patrick Palka  <ppalka@redhat.com>
 572
 573         Backported from master:
 574         2023-06-29  Patrick Palka  <ppalka@redhat.com>
 575
 576         PR c++/110468
 577         * init.cc (maybe_instantiate_nsdmi_init): Mask out all
 578         tsubst flags except for tf_warning_or_error.
 579
 580 2023-07-01  Patrick Palka  <ppalka@redhat.com>
 581
 582         Backported from master:
 583         2023-06-29  Patrick Palka  <ppalka@redhat.com>
 584
 585         PR c++/110463
 586         * cp-gimplify.cc (cp_fold) <case CONSTRUCTOR>: Propagate
 587         CONSTRUCTOR_MUTABLE_POISON.
 588
 589 2023-06-23  Jason Merrill  <jason@redhat.com>
 590
 591         * call.cc (maybe_init_list_as_array): Build a list.
 592
 593 2023-06-23  Jason Merrill  <jason@redhat.com>
 594
 595         PR c++/110102
 596         * call.cc (maybe_init_list_as_array): Check that the element type is
 597         copyable.
 598
 599 2023-06-23  Jason Merrill  <jason@redhat.com>
 600
 601         DR 2735
 602         PR c++/109247
 603         * call.cc (sfk_copy_or_move): New.
 604         (joust): Add tiebreaker for explicit conv and copy ctor.
 605
 606 2023-05-19  Patrick Palka  <ppalka@redhat.com>
 607
 608         Backported from master:
 609         2023-05-16  Patrick Palka  <ppalka@redhat.com>
 610
 611         PR c++/109871
 612         * call.cc (add_list_candidates): Check for invalid designated
 613         initialization sooner and even for types that have a list
 614         constructor.
 615
 616 2023-05-17  Jakub Jelinek  <jakub@redhat.com>
 617
 618         Backported from master:
 619         2023-05-17  Jakub Jelinek  <jakub@redhat.com>
 620
 621         PR c++/109868
 622         * init.cc (build_zero_init_1): Don't initialize zero-width bitfields.
 623         For unions only initialize the first FIELD_DECL.
 624
 625 2023-05-16  Marek Polacek  <polacek@redhat.com>
 626
 627         Backported from master:
 628         2023-05-16  Marek Polacek  <polacek@redhat.com>
 629
 630         PR c++/109774
 631         * typeck.cc (check_return_expr): In a template, return only after
 632         suppressing -Wdangling-reference.
 633
 634 2023-05-12  Patrick Palka  <ppalka@redhat.com>
 635
 636         Backported from master:
 637         2023-05-11  Patrick Palka  <ppalka@redhat.com>
 638
 639         PR c++/109745
 640         * typeck2.cc (poison_mutable_constructors): Define.
 641         (store_init_value): Use it instead of setting
 642         CONSTRUCTOR_MUTABLE_POISON directly.
 643
 644 2023-05-12  Patrick Palka  <ppalka@redhat.com>
 645
 646         Backported from master:
 647         2023-05-11  Patrick Palka  <ppalka@redhat.com>
 648                     Jonathan Wakely  <jwakely@redhat.com>
 649
 650         PR c++/83258
 651         PR c++/80488
 652         PR c++/97700
 653         * pt.cc (convert_nontype_argument_function): Remove linkage
 654         requirement for C++17 and later.
 655         (invalid_tparm_referent_p) <case ADDR_EXPR>: Restrict
 656         DECL_ARTIFICIAL rejection test to VAR_DECL.
 657
 658 2023-05-12  Patrick Palka  <ppalka@redhat.com>
 659
 660         Backported from master:
 661         2023-05-09  Patrick Palka  <ppalka@redhat.com>
 662
 663         PR c++/109761
 664         * parser.cc (cp_parser_class_specifier): Don't pass a class
 665         context to noexcept_override_late_checks.
 666         (noexcept_override_late_checks): Remove 'type' parameter
 667         and use DECL_CONTEXT of 'fndecl' instead.
 668
 669 2023-05-12  Patrick Palka  <ppalka@redhat.com>
 670
 671         Backported from master:
 672         2023-05-07  Patrick Palka  <ppalka@redhat.com>
 673
 674         PR c++/109651
 675         * pt.cc (coerce_template_args_for_ttp): Mention we can hit the
 676         current_template_parms fallback when level-lowering a bound ttp.
 677         (tsubst_template_decl): Add lambda_tparms parameter.  Prefer to
 678         use lambda_tparms instead of substituting DECL_TEMPLATE_PARMS.
 679         (tsubst_decl) <case TEMPLATE_DECL>: Pass NULL_TREE as lambda_tparms
 680         to tsubst_template_decl.
 681         (tsubst_lambda_expr): For a generic lambda, substitute
 682         DECL_TEMPLATE_PARMS and set current_template_parms to it
 683         before substituting the function type.  Pass the substituted
 684         DECL_TEMPLATE_PARMS as lambda_tparms to tsubst_template_decl.
 685
 686 2023-05-09  Jakub Jelinek  <jakub@redhat.com>
 687
 688         Backported from master:
 689         2023-05-09  Jakub Jelinek  <jakub@redhat.com>
 690
 691         PR c++/109756
 692         * cp-gimplify.cc (process_stmt_assume_attribute): Diagnose pack
 693         expansion of assume attribute.
 694
 695 2023-05-03  Jason Merrill  <jason@redhat.com>
 696
 697         Revert:
 698         2022-04-29  Jason Merrill  <jason@redhat.com>
 699
 700         PR c++/91618
 701         PR c++/96604
 702         * friend.cc (do_friend): Call check_explicit_specialization here.
 703         * decl.cc (grokdeclarator): Not here.
 704         * decl2.cc (check_classfn): Or here.
 705
 706 2023-05-03  Jakub Jelinek  <jakub@redhat.com>
 707
 708         Backported from master:
 709         2023-05-03  Jakub Jelinek  <jakub@redhat.com>
 710
 711         * cp-gimplify.cc (cp_fold_data): Move definition earlier.
 712         (cp_gimplify_expr): Pass address of ff_genericize | ff_mce_false
 713         constructed data rather than &pset to cp_walk_tree with cp_fold_r.
 714
 715 2023-05-02  Jason Merrill  <jason@redhat.com>
 716
 717         Revert:
 718         2022-05-24  Jason Merrill  <jason@redhat.com>
 719
 720         * constexpr.cc (cxx_fold_indirect_ref): Add default arg.
 721         (cxx_eval_call_expression): Call it.
 722         (cxx_fold_indirect_ref_1): Handle null empty_base.
 723
 724 2023-05-02  Jason Merrill  <jason@redhat.com>
 725
 726         PR c++/109666
 727         * name-lookup.cc (maybe_push_to_top_level)
 728         (maybe_pop_from_top_level): Split out...
 729         * pt.cc (instantiate_body): ...from here.
 730         * init.cc (maybe_instantiate_nsdmi_init): Use them.
 731         * name-lookup.h: Declare them..
 732
 733 2023-05-02  Jason Merrill  <jason@redhat.com>
 734
 735         PR c++/108099
 736         * decl.cc (grokdeclarator): Don't clear typedef_decl after 'unsigned
 737         typedef' pedwarn.  Use c_common_signed_or_unsigned_type.  Also
 738         handle 'signed typedef'.
 739
 740 2023-04-26  Release Manager
 741
 742         * GCC 13.1.0 released.
 743
 744 2023-04-19  Patrick Palka  <ppalka@redhat.com>
 745
 746         Backported from master:
 747         2023-04-19  Patrick Palka  <ppalka@redhat.com>
 748
 749         PR c++/109556
 750         * pt.cc (try_class_unification): Don't ggc_free the copy of
 751         'targs'.
 752
 753 2023-04-17  Patrick Palka  <ppalka@redhat.com>
 754
 755         Backported from master:
 756         2023-04-17  Patrick Palka  <ppalka@redhat.com>
 757
 758         PR c++/109531
 759         * pt.cc (tsubst) <case BOUND_TEMPLATE_TEMPLATE_PARM>:
 760         In the level-lowering case just use lookup_template_class
 761         to rebuild the bound ttp.
 762
 763 2023-04-15  Jason Merrill  <jason@redhat.com>
 764
 765         PR c++/109357
 766         * constexpr.cc (cxx_eval_constant_expression) [TARGET_EXPR]:
 767         Check for complex initializer.
 768
 769 2023-04-13  Patrick Palka  <ppalka@redhat.com>
 770
 771         PR c++/109420
 772         * decl.cc (make_typename_type): Also ignore non-types during the
 773         lookup if tag_type corresponds to an elaborated-type-specifier.
 774         * pt.cc (tsubst) <case TYPENAME_TYPE>: Pass class_type or
 775         enum_type as tag_type to make_typename_type accordingly instead
 776         of always passing typename_type.
 777
 778 2023-04-13  Jason Merrill  <jason@redhat.com>
 779
 780         PR c++/109277
 781         * semantics.cc (check_trait_type): Handle incomplete type directly.
 782         * typeck2.cc (cxx_incomplete_type_diagnostic): Remove assert.
 783
 784 2023-04-13  Jason Merrill  <jason@redhat.com>
 785
 786         * typeck2.cc (cxx_incomplete_type_diagnostic): Return bool.
 787         * cp-tree.h (cxx_incomplete_type_diagnostic): Adjust.
 788
 789 2023-04-12  Jakub Jelinek  <jakub@redhat.com>
 790
 791         * Make-lang.in (s-cp-module-version): New target.
 792         (cp/module.o): Depend on it.
 793         (MODULE_VERSION): Remove variable.
 794         (CFLAGS-cp/module.o): For -DMODULE_VERSION= argument just
 795         cat s-cp-module-version.
 796
 797 2023-04-09  Iain Sandoe  <iain@sandoe.co.uk>
 798
 799         * coroutines.cc (coro_rewrite_function_body): Ensure that added
 800         bind expressions have scope blocks.
 801
 802 2023-04-04  Jason Merrill  <jason@redhat.com>
 803
 804         PR c++/107484
 805         * decl2.cc (find_last_decl): Return early if DECL_USE_TEMPLATE.
 806
 807 2023-04-03  Patrick Palka  <ppalka@redhat.com>
 808
 809         PR c++/109300
 810         * decl.cc (cp_finish_decl): Diagnose ordinary auto deduction
 811         with no initializer, instead of asserting.
 812
 813 2023-04-01  Patrick Palka  <ppalka@redhat.com>
 814
 815         PR c++/109160
 816         * cp-tree.h (do_auto_deduction): Add defaulted tmpl parameter.
 817         * pt.cc (convert_template_argument): Pass 'in_decl' as 'tmpl' to
 818         do_auto_deduction.
 819         (tsubst_decl) <case VAR_/TYPE_DECL>: Pass 'tmpl' instead of 't' as
 820         'in_decl' to coerce_template_parms.
 821         (unify) <case TEMPLATE_PARM_INDEX>: Pass TPARMS_PRIMARY_TEMPLATE
 822         as 'tmpl' to do_auto_deduction.
 823         (do_auto_deduction): Document default arguments.  Rename local
 824         variable 'tmpl' to 'ctmpl'.  Use 'tmpl' to obtain a full set of
 825         template arguments for satisfaction in the adc_unify case.
 826
 827 2023-04-01  Patrick Palka  <ppalka@redhat.com>
 828
 829         PR c++/53164
 830         PR c++/105848
 831         * pt.cc (invalid_tparm_referent_p): Accept ADDR_EXPR of
 832         FUNCTION_DECL.
 833         (instantiate_class_template): Call mark_template_arguments_used.
 834         (tsubst_copy_and_build) <case CALL_EXPR>: Revert r13-995 change.
 835         (mark_template_arguments_used): Define.
 836         (instantiate_body): Call mark_template_arguments_used.
 837
 838 2023-04-01  Iain Sandoe  <iain@sandoe.co.uk>
 839
 840         PR c++/101118
 841         * coroutines.cc (flatten_await_stmt): Use the current count of
 842         promoted temporaries to build a unique name for the frame entries.
 843
 844 2023-03-30  Jason Merrill  <jason@redhat.com>
 845
 846         PR c++/105452
 847         * search.cc (type_context_for_name_lookup): New.
 848         (accessible_p): Handle anonymous union.
 849         * init.cc (maybe_instantiate_nsdmi_init): Use
 850         type_context_for_name_lookup.
 851         * parser.cc (cp_parser_class_specifier): Likewise.
 852         * cp-tree.h (type_context_for_name_lookup): Declare.
 853
 854 2023-03-30  Jason Merrill  <jason@redhat.com>
 855
 856         PR c++/105221
 857         * pt.cc (unify) [FUNCTION_TYPE]: Handle function pointer
 858         conversions.
 859
 860 2023-03-30  Jakub Jelinek  <jakub@redhat.com>
 861
 862         PR c++/109319
 863         * decl2.cc (grok_array_decl): After emitting a pedwarn for
 864         -Wcomma-subscript, if processing_template_decl set orig_index_exp
 865         to compound expr from orig_index_exp_list.
 866
 867 2023-03-30  Jason Merrill  <jason@redhat.com>
 868
 869         PR c++/107897
 870         PR c++/108887
 871         * decl2.cc (record_mangling): Use symtab_node::reset.
 872
 873 2023-03-30  Jakub Jelinek  <jakub@redhat.com>
 874
 875         PR c++/109278
 876         * call.cc (convert_like_internal): If pedwarn for extended float
 877         type conversions doesn't report anything, avoid calling
 878         maybe_inform_about_fndecl_for_bogus_argument_init.
 879
 880 2023-03-29  Jason Merrill  <jason@redhat.com>
 881
 882         PR c++/109321
 883         PR c++/109320
 884         * pt.cc (alias_ctad_tweaks): Rewrite deduced args.
 885         (type_targs_deducible_from): Handle null pack deduction.
 886
 887 2023-03-28  David Malcolm  <dmalcolm@redhat.com>
 888
 889         PR c/107002
 890         * parser.cc (cp_parser_binary_expression): Update for new param of
 891         check_for_xor_used_as_pow.
 892
 893 2023-03-28  Jakub Jelinek  <jakub@redhat.com>
 894
 895         PR c++/109309
 896         * contracts.cc: Include intl.h.
 897         (check_postcondition_result): Don't form diagnostics from two halves
 898         of an English message to allow translations.
 899
 900 2023-03-24  Patrick Palka  <ppalka@redhat.com>
 901
 902         PR c++/106969
 903         * parser.cc (cp_parser_class_specifier): Clear current_class_ptr
 904         and current_class_ref sooner, before parsing a class definition.
 905
 906 2023-03-24  Jason Merrill  <jason@redhat.com>
 907
 908         PR c++/105481
 909         * pt.cc (type_unification_real): Adjust for partial ordering.
 910
 911 2023-03-23  Jason Merrill  <jason@redhat.com>
 912
 913         PR c++/105996
 914         * typeck.cc (build_ptrmemfunc): Drop 0-offset optimization
 915         and location wrappers.
 916
 917 2023-03-23  Marek Polacek  <polacek@redhat.com>
 918
 919         PR c++/107532
 920         * call.cc (class_has_reference_member_p): New.
 921         (class_has_reference_member_p_r): New.
 922         (reference_like_class_p): Don't look for a specific constructor.
 923         Use a DFS walk with class_has_reference_member_p_r.
 924
 925 2023-03-23  Jason Merrill  <jason@redhat.com>
 926
 927         PR c++/109241
 928         * pt.cc (find_parameter_packs_r): Handle null TREE_BINFO.
 929
 930 2023-03-22  Jason Merrill  <jason@redhat.com>
 931
 932         PR c++/108390
 933         * pt.cc (unify): Use fold of build_nop instead of fold_convert.
 934
 935 2023-03-22  Jason Merrill  <jason@redhat.com>
 936
 937         PR c++/108795
 938         * semantics.cc (finish_id_expression_1): Check scope before
 939         returning id_expression.
 940
 941 2023-03-22  Alex Coplan  <alex.coplan@arm.com>
 942
 943         PR c++/109177
 944         * call.cc (build_over_call): Use make_temp_override to suppress
 945         both unavailable and deprecated warnings when calling
 946         build_addr_func.
 947
 948 2023-03-21  Jason Merrill  <jason@redhat.com>
 949
 950         PR c++/106890
 951         * init.cc (maybe_instantiate_nsdmi_init): Don't leave
 952         current_function_decl set to a constructor.
 953
 954 2023-03-20  Marek Polacek  <polacek@redhat.com>
 955
 956         PR c++/109159
 957         * call.cc (add_template_candidate_real): Add explicit decls to the
 958         set of candidates when the initializer is a braced-init-list.
 959
 960 2023-03-20  Jakub Jelinek  <jakub@redhat.com>
 961
 962         PR c++/109164
 963         * cp-tree.h (var_needs_tls_wrapper): Declare.
 964         * decl2.cc (var_needs_tls_wrapper): No longer static.
 965         * decl.cc (cp_finish_decl): Clear TREE_READONLY on TLS variables
 966         for which a TLS wrapper will be needed.
 967
 968 2023-03-17  Jason Merrill  <jason@redhat.com>
 969
 970         PR c++/108975
 971         * lambda.cc (prune_lambda_captures): Don't bother in a template.
 972
 973 2023-03-17  Jason Merrill  <jason@redhat.com>
 974
 975         PR c++/109172
 976         * except.cc (build_throw): Check dtor access.
 977
 978 2023-03-17  Jason Merrill  <jason@redhat.com>
 979
 980         PR c++/69410
 981         * friend.cc (do_friend): Handle namespace as scope argument.
 982         * decl.cc (grokdeclarator): Pass down in_namespace.
 983
 984 2023-03-16  Jason Merrill  <jason@redhat.com>
 985
 986         PR c++/105809
 987         * init.cc (get_nsdmi): Split out...
 988         (maybe_instantiate_nsdmi_init): ...this function.
 989         * cp-tree.h: Declare it.
 990         * pt.cc (tsubst_expr): Use it.
 991
 992 2023-03-16  Jason Merrill  <jason@redhat.com>
 993
 994         PR c++/108242
 995         * pt.cc (tsubst_expr) [TAG_DEFN]: Handle partial instantiation.
 996
 997 2023-03-16  Jason Merrill  <jason@redhat.com>
 998
 999         PR c++/101869
1000         * semantics.cc (finish_qualified_id_expr): Don't try to build a
1001         pointer-to-member if the scope is an enumeration.
1002
1003 2023-03-16  Patrick Palka  <ppalka@redhat.com>
1004
1005         PR c++/109030
1006         * constexpr.cc (maybe_constant_init_1): For an unevaluated
1007         non-manifestly-constant operand, don't constant evaluate
1008         and instead call fold_to_constant as in maybe_constant_value.
1009
1010 2023-03-16  Patrick Palka  <ppalka@redhat.com>
1011
1012         PR c++/100288
1013         * constraint.cc (satisfaction_cache::get): Relax overly strict
1014         checking assert in the constraint recursion case.
1015
1016 2023-03-16  Jason Merrill  <jason@redhat.com>
1017
1018         PR c++/105406
1019         * coroutines.cc (build_co_await): Handle lvalue 'o'.
1020
1021 2023-03-15  Jason Merrill  <jason@redhat.com>
1022
1023         PR c++/103871
1024         PR c++/98056
1025         * typeck.cc (cp_build_modify_expr): Allow array initialization of
1026         DECL_ARTIFICIAL variable.
1027
1028 2023-03-15  Marek Polacek  <polacek@redhat.com>
1029
1030         PR c++/107280
1031         * constexpr.cc (cxx_eval_store_expression): Strip location wrappers.
1032
1033 2023-03-15  Jason Merrill  <jason@redhat.com>
1034
1035         PR c++/58538
1036         * semantics.cc (check_template_template_default_arg): Check
1037         maybe_get_template_decl_from_type_decl.
1038
1039 2023-03-15  Jason Merrill  <jason@redhat.com>
1040
1041         PR c++/108179
1042         PR c++/104107
1043         PR c++/95036
1044         * pt.cc (coerce_template_template_parms): Use args from
1045         DECL_CONTEXT (arg_tmpl) instead of outer_args.
1046
1047 2023-03-15  Jason Merrill  <jason@redhat.com>
1048
1049         PR c++/108179
1050         * pt.cc (coerce_template_template_parms): Take the arg and parm
1051         templates directly.
1052         (coerce_template_template_parm): Adjust.
1053         (template_template_parm_bindings_ok_p): Adjust.
1054         (convert_template_argument): Adjust.
1055
1056 2023-03-14  Patrick Palka  <ppalka@redhat.com>
1057
1058         PR c++/96830
1059         * pt.cc (push_inline_template_parms_recursive): Set
1060         TEMPLATE_PARMS_CONSTRAINTS.
1061         (push_template_decl): For an out-of-line declaration, verify
1062         constraints for each enclosing template scope match those of the
1063         original template declaratation.
1064
1065 2023-03-14  Patrick Palka  <ppalka@redhat.com>
1066
1067         PR c++/96830
1068         * pt.cc (redeclare_class_template): Add missing "of" in
1069         constraint mismatch diagnostic.
1070         (tsubst_friend_class): For an already declared class template,
1071         substitute and pass the friend declaration's constraints to
1072         redeclare_class_template instead of passing the existing
1073         template's constraints.
1074
1075 2023-03-14  Jason Merrill  <jason@redhat.com>
1076
1077         PR c++/108468
1078         * pt.cc (unify_pack_expansion): Check that TPARMS_PRIMARY_TEMPLATE
1079         is non-null.
1080
1081 2023-03-14  Jason Merrill  <jason@redhat.com>
1082
1083         PR c++/107310
1084         * cp-gimplify.cc (genericize_if_stmt): Restore folding
1085         of constant conditions.
1086
1087 2023-03-14  Jakub Jelinek  <jakub@redhat.com>
1088
1089         PR c++/109096
1090         * tree.cc (record_has_unique_obj_representations): Ignore unnamed
1091         bitfields.
1092
1093 2023-03-13  Jason Merrill  <jason@redhat.com>
1094
1095         PR c++/107128
1096         * parser.cc (cp_parser_set_decl_spec_type): Use
1097         redefined_builtin_type for extended_float_type_p.
1098
1099 2023-03-13  Marek Polacek  <polacek@redhat.com>
1100
1101         PR c++/107532
1102         * call.cc (reference_like_class_p): Check for std::span.
1103
1104 2023-03-10  Jakub Jelinek  <jakub@redhat.com>
1105
1106         PR c++/107558
1107         * decl.cc (cp_finish_decl): Don't clear TREE_READONLY on
1108         automatic non-aggregate variables just because of
1109         -fmerge-all-constants.
1110
1111 2023-03-10  Jakub Jelinek  <jakub@redhat.com>
1112
1113         PR c++/109039
1114         * class.cc (end_of_class): For bit-fields, instead of computing
1115         offset as sum of byte_position (field) and DECL_SIZE_UNIT (field),
1116         compute it as sum of bit_position (field) and DECL_SIZE (field)
1117         divided by BITS_PER_UNIT rounded up.
1118
1119 2023-03-10  Jason Merrill  <jason@redhat.com>
1120
1121         PR c++/108972
1122         * lambda.cc (compare_lambda_template_head): Check more
1123         for error_mark_node.
1124
1125 2023-03-10  Jason Merrill  <jason@redhat.com>
1126
1127         PR c++/108566
1128         * mangle.cc (anon_aggr_naming_decl): New.
1129         (write_unqualified_name): Use it.
1130
1131 2023-03-10  Jakub Jelinek  <jakub@redhat.com>
1132
1133         PR c/108079
1134         * decl.cc (poplevel): Suppress OPT_Wunused_variable warning
1135         after diagnosing it.
1136
1137 2023-03-10  Jason Merrill  <jason@redhat.com>
1138
1139         PR c++/108099
1140         * decl.cc (grokdeclarator): Handle non-typedef typedef_decl.
1141
1142 2023-03-10  Jason Merrill  <jason@redhat.com>
1143
1144         PR c++/108542
1145         * class.cc (instantiate_type): Strip location wrapper.
1146
1147 2023-03-09  Jason Merrill  <jason@redhat.com>
1148
1149         PR c++/108773
1150         * init.cc (find_allocator_temps_r): New.
1151         (combine_allocator_temps): Replace find_allocator_temp.
1152         (build_vec_init): Adjust.
1153
1154 2023-03-09  Jason Merrill  <jason@redhat.com>
1155
1156         DR 2664
1157         PR c++/102529
1158         * pt.cc (alias_ctad_tweaks): Continue after deduction failure.
1159
1160 2023-03-09  Jason Merrill  <jason@redhat.com>
1161             Michael Spertus  <mike@spertus.com>
1162
1163         PR c++/105841
1164         * pt.cc (corresponding_template_parameter_list): Split out...
1165         (corresponding_template_parameter): ...from here.
1166         (find_template_parameters): Factor out...
1167         (find_template_parameter_info::find_in): ...this function.
1168         (find_template_parameter_info::find_in_recursive): New.
1169         (find_template_parameter_info::found): New.
1170         (alias_ctad_tweaks): Only add parms used in the deduced args.
1171
1172 2023-03-09  Jason Merrill  <jason@redhat.com>
1173
1174         * cp-trait.def (IS_DEDUCIBLE): Add space to name.
1175
1176 2023-03-09  Jason Merrill  <jason@redhat.com>
1177
1178         PR c++/105841
1179         * cp-trait.def (IS_DEDUCIBLE): New.
1180         * cxx-pretty-print.cc (pp_cxx_trait): Handle non-type.
1181         * parser.cc (cp_parser_trait): Likewise.
1182         * tree.cc (cp_tree_equal): Likewise.
1183         * pt.cc (tsubst_copy_and_build): Likewise.
1184         (type_targs_deducible_from): New.
1185         (alias_ctad_tweaks): Use it.
1186         * semantics.cc (trait_expr_value): Handle CPTK_IS_DEDUCIBLE.
1187         (finish_trait_expr): Likewise.
1188         * constraint.cc (diagnose_trait_expr): Likewise.
1189         * cp-tree.h (type_targs_deducible_from): Declare.
1190
1191 2023-03-07  Jason Merrill  <jason@redhat.com>
1192
1193         PR c++/108526
1194         PR c++/106651
1195         * pt.cc (tsubst_function_decl): Don't replace the closure
1196         parameter if DECL_STATIC_FUNCTION_P.
1197
1198 2023-03-07  Marek Polacek  <polacek@redhat.com>
1199
1200         PR c++/107532
1201         * call.cc (reference_like_class_p): New.
1202         (do_warn_dangling_reference): Add new bool parameter.  See through
1203         reference_like_class_p.
1204
1205 2023-03-07  Jakub Jelinek  <jakub@redhat.com>
1206
1207         PR c++/109042
1208         * rtti.cc (emit_support_tinfo_1): Don't assert that last
1209         unemitted_tinfo_decls element is tinfo, instead pop from it only in
1210         that case.
1211         * decl2.cc (c_parse_final_cleanups): Don't call emit_tinfo_decl
1212         for unemitted_tinfO_decls which have already non-NULL DECL_INITIAL.
1213
1214 2023-03-07  Marek Polacek  <polacek@redhat.com>
1215
1216         PR c++/109030
1217         * constexpr.cc (cxx_eval_call_expression): Relax assert.
1218
1219 2023-03-07  Marek Polacek  <polacek@redhat.com>
1220
1221         PR c++/107939
1222         * constexpr.cc (potential_constant_expression_1) <case CALL_EXPR>: Pass
1223         'any' when recursing on a VAR_DECL and not a pointer to function.
1224
1225 2023-03-04  Jakub Jelinek  <jakub@redhat.com>
1226
1227         PR c++/108702
1228         * constexpr.cc: Include toplev.h.
1229         (cxx_eval_constant_expression) <case DECL_EXPR>: When seeing a local
1230         static initialized by constant expression outside of a constexpr
1231         function which has been deferred by make_rtl_for_nonlocal_decl,
1232         call rest_of_decl_compilation on it.
1233
1234 2023-03-03  Patrick Palka  <ppalka@redhat.com>
1235
1236         PR c++/108998
1237         * pt.cc (el_data::skipped_trees): New data member.
1238         (extract_locals_r): Push to skipped_trees any unevaluated
1239         contexts that we skipped over.
1240         (extract_local_specs): For the second walk, start from each
1241         tree in skipped_trees.
1242
1243 2023-03-03  Alexandre Oliva  <oliva@adacore.com>
1244
1245         * typeck.cc (cp_build_binary_op): Suppress redundant warning
1246         for pfn null test in pmfn test with vbit-in-delta.
1247
1248 2023-03-02  Jakub Jelinek  <jakub@redhat.com>
1249
1250         PR target/108883
1251         * cp-tree.h (enum cp_tree_index): Remove CPTI_FALLBACK_DFLOAT*_TYPE
1252         enumerators.
1253         (fallback_dfloat32_type, fallback_dfloat64_type,
1254         fallback_dfloat128_type): Remove.
1255         * rtti.cc (emit_support_tinfo_1): If not emitted already, call
1256         emit_tinfo_decl and remove from unemitted_tinfo_decls right away.
1257         (emit_support_tinfos): Move &dfloat*_type_node from fundamentals array
1258         into new fundamentals_with_fallback array.  Call emit_support_tinfo_1
1259         on elements of that array too, with the difference that if
1260         the type is NULL, use a fallback REAL_TYPE for it temporarily.
1261         Drop the !targetm.decimal_float_supported_p () handling.  Call
1262         targetm.emit_support_tinfos at the end.
1263         * mangle.cc (write_builtin_type): Remove references to
1264         fallback_dfloat*_type.  Handle bfloat16_type_node mangling.
1265
1266 2023-03-02  Patrick Palka  <ppalka@redhat.com>
1267
1268         PR c++/108243
1269         PR c++/97553
1270         * cp-gimplify.cc (cp_fully_fold): Add an internal overload that
1271         additionally takes and propagate an mce_value parameter, and
1272         define the existing public overload in terms of it.
1273         (cp_fully_fold_init): Pass mce_false to cp_fully_fold.
1274
1275 2023-03-02  Patrick Palka  <ppalka@redhat.com>
1276
1277         PR c++/108243
1278         * constexpr.cc (maybe_constant_init_1): Override
1279         manifestly_const_eval to true if is_static.
1280
1281 2023-03-02  Jakub Jelinek  <jakub@redhat.com>
1282
1283         PR debug/108716
1284         * cp-gimplify.cc (cp_genericize_r) <case USING_STMT>: Set
1285         DECL_SOURCE_LOCATION on IMPORTED_DECL to expression location
1286         of USING_STMT or input_location.
1287
1288 2023-03-02  Marek Polacek  <polacek@redhat.com>
1289
1290         PR c++/106259
1291         * parser.cc (class_decl_loc_t::diag_mismatched_tags): If the first
1292         lookup of SPEC didn't find anything, try to look for
1293         most_general_template.
1294
1295 2023-03-02  Jakub Jelinek  <jakub@redhat.com>
1296
1297         PR c++/105839
1298         * parser.cc (cp_convert_omp_range_for): Allow in assert
1299         decomp_first_name without DECL_HAS_VALUE_EXPR_P if it has
1300         error_mark_node type.
1301         (cp_finish_omp_range_for): Don't set DECL_HAS_VALUE_EXPR_P back
1302         on decls which have error_mark_node type.
1303
1304 2023-03-01  Marek Polacek  <polacek@redhat.com>
1305
1306         PR c++/107574
1307         * constexpr.cc (cxx_eval_constant_expression): Emit an error when
1308         a PTRMEM_CST cannot be evaluated.
1309
1310 2023-03-01  Patrick Palka  <ppalka@redhat.com>
1311
1312         * pt.cc (tsubst_scope): Define.
1313         (tsubst_decl) <case USING_DECL>: Call tsubst_scope instead of
1314         calling tsubst_scope with tf_qualifying_scope set.
1315         (tsubst_qualified_id): Call tsubst_scope instead of
1316         calling tsubst with tf_qualifying_scope set.
1317         (tsubst_copy): Immediately delegate to tsubst for all TYPE_P
1318         trees.  Remove tf_qualifying_scope manipulation.
1319         <case SCOPE_REF>: Call tsubst_scope instead of calling
1320         tsubst with tf_qualifying_scope set.
1321
1322 2023-03-01  Patrick Palka  <ppalka@redhat.com>
1323             Jason Merrill  <jason@redhat.com>
1324
1325         PR c++/108219
1326         PR c++/108218
1327         * constexpr.cc (fold_to_constant): Define.
1328         (maybe_constant_value): Move up early exit test for unevaluated
1329         operands.  Try reducing an unevaluated operand to a constant via
1330         fold_to_constant.
1331         (fold_non_dependent_expr_template): Add early exit test for
1332         CONSTANT_CLASS_P nodes.  Try reducing an unevaluated operand
1333         to a constant via fold_to_constant.
1334         * cp-tree.h (fold_to_constant): Declare.
1335
1336 2023-03-01  Jakub Jelinek  <jakub@redhat.com>
1337
1338         PR c++/108606
1339         * constexpr.cc (potential_constant_expression_1) <case DECL_EXPR>:
1340         Only recurse on DECL_INITIAL (tmp) if tmp is a VAR_DECL, otherwise
1341         just return true.
1342
1343 2023-02-28  Patrick Palka  <ppalka@redhat.com>
1344
1345         PR c++/108848
1346         * pt.cc (finish_template_variable): Move dependence check
1347         to here from ...
1348         (lookup_and_finish_template_variable): ... here.
1349         * semantics.cc (finish_id_expression_1): Call
1350         finish_template_variable sooner, before (and regardless of) the
1351         type_dependent_expression_p test.
1352
1353 2023-02-28  Marek Polacek  <polacek@redhat.com>
1354
1355         PR c++/108550
1356         * pt.cc (lookup_and_finish_template_variable): Clear tf_partial.
1357
1358 2023-02-20  Marek Polacek  <polacek@redhat.com>
1359
1360         PR c++/101073
1361         * constexpr.cc (cxx_eval_call_expression): Replace shortcutting trivial
1362         constructor/op= with a checking assert.
1363
1364 2023-02-20  Marek Polacek  <polacek@redhat.com>
1365
1366         PR c++/108829
1367         * pt.cc (prepend_one_capture): Set LAMBDA_CAPTURE_EXPLICIT_P.
1368         (tsubst_lambda_expr): Pass LAMBDA_CAPTURE_EXPLICIT_P to
1369         prepend_one_capture.
1370
1371 2023-02-18  Jason Merrill  <jason@redhat.com>
1372
1373         DR 2518
1374         PR c++/52809
1375         PR c++/53638
1376         PR c++/87389
1377         PR c++/89741
1378         PR c++/92099
1379         PR c++/104041
1380         PR c++/104691
1381         * semantics.cc (finish_static_assert): Don't diagnose in
1382         template context.
1383
1384 2023-02-17  Patrick Palka  <ppalka@redhat.com>
1385
1386         PR c++/108243
1387         PR c++/97553
1388         * cp-gimplify.cc (enum fold_flags): Define.
1389         (fold_flags_t): Declare.
1390         (cp_fold_data::genericize): Replace this data member with ...
1391         (cp_fold_data::fold_flags): ... this.
1392         (cp_fold_r): Adjust use of cp_fold_data and calls to cp_fold.
1393         (cp_fold_function): Likewise.
1394         (cp_fold_maybe_rvalue): Add an internal overload that
1395         additionally takes and propagates a fold_flags_t parameter, and
1396         define the existing public overload in terms of it.
1397         (cp_fold_rvalue): Likewise.
1398         (cp_fully_fold_init): Adjust use of cp_fold_data.
1399         (fold_cache): Replace with ...
1400         (fold_caches): ... this 2-element array of caches.
1401         (get_fold_cache): Define.
1402         (clear_fold_cache): Adjust.
1403         (cp_fold): Add fold_flags_t parameter.  Use get_fold_cache.
1404         Pass flags to calls to cp_fold, cp_fold_rvalue and
1405         cp_fold_maybe_rvalue.
1406         <case CALL_EXPR>: If ff_mce_false is set, fold
1407         __builtin_is_constant_evaluated to false and pass mce_false to
1408         maybe_constant_value.
1409
1410 2023-02-17  Patrick Palka  <ppalka@redhat.com>
1411
1412         * constexpr.cc (constexpr_call::manifestly_const_eval): Give
1413         it type int instead of bool.
1414         (constexpr_ctx::manifestly_const_eval): Give it type mce_value
1415         instead of bool.
1416         (cxx_eval_builtin_function_call): Adjust after making
1417         manifestly_const_eval tri-state.
1418         (cxx_eval_call_expression): Likewise.
1419         (cxx_eval_binary_expression): Likewise.
1420         (cxx_eval_conditional_expression): Likewise.
1421         (cxx_eval_constant_expression): Likewise.
1422         (cxx_eval_outermost_constant_expr): Likewise.
1423         (cxx_constant_value): Likewise.
1424         (cxx_constant_dtor): Likewise.
1425         (maybe_constant_value): Give manifestly_const_eval parameter
1426         type mce_value instead of bool and adjust accordingly.
1427         (fold_non_dependent_expr_template): Adjust call
1428         to cxx_eval_outermost_constant_expr.
1429         (fold_non_dependent_expr): Likewise.
1430         (maybe_constant_init_1): Likewise.
1431         * constraint.cc (satisfy_atom): Adjust call to
1432         maybe_constant_value.
1433         * cp-tree.h (enum class mce_value): Define.
1434         (maybe_constant_value): Adjust manifestly_const_eval parameter
1435         type and default argument.
1436         * decl.cc (compute_array_index_type_loc): Adjust call to
1437         maybe_constant_value.
1438         * pt.cc (convert_nontype_argument): Likewise.
1439
1440 2023-02-16  Patrick Palka  <ppalka@redhat.com>
1441
1442         PR c++/107773
1443         * cp-tree.h (enum tsubst_flags): New flag tf_qualifying_scope.
1444         * decl.cc (make_typename_type): Use lookup_member instead of
1445         lookup_field.  If tf_qualifying_scope is set, pass want_type=true
1446         instead of =false to lookup_member.  Generalize format specifier
1447         in diagnostic to handle both type and non-type bindings.
1448         * pt.cc (tsubst_aggr_type_1): Clear tf_qualifying_scope.  Tidy
1449         the function.
1450         (tsubst_decl) <case USING_DECL>: Set tf_qualifying_scope when
1451         substituting USING_DECL_SCOPE.
1452         (tsubst): Clear tf_qualifying_scope right away and remember if
1453         it was set.  Do the same for tf_tst_ok sooner.
1454         <case TYPENAME_TYPE>: Set tf_qualifying_scope when substituting
1455         TYPE_CONTEXT.  Pass tf_qualifying_scope to make_typename_type
1456         if it was set.
1457         (tsubst_qualified_id): Set tf_qualifying_scope when substituting
1458         the scope.
1459         (tsubst_copy): Clear tf_qualifying_scope and remember if it was
1460         set.
1461         <case SCOPE_REF>: Set tf_qualifying_scope when substituting the
1462         scope.
1463         <case *_TYPE>: Pass tf_qualifying_scope to tsubst if it was set.
1464         * search.cc (lookup_member): Document default argument.
1465
1466 2023-02-16  Patrick Palka  <ppalka@redhat.com>
1467
1468         * cp-tree.h: Mechanically drop static from static inline
1469         functions via s/^static inline/inline/g.
1470
1471 2023-02-15  Marek Polacek  <polacek@redhat.com>
1472
1473         PR c++/106675
1474         * call.cc (joust_maybe_elide_copy): Return false for ck_ambig.
1475
1476 2023-02-10  Marek Polacek  <polacek@redhat.com>
1477
1478         PR c++/107079
1479         * call.cc (set_up_extended_ref_temp): Pass var to maybe_constant_init.
1480
1481 2023-02-09  Tobias Burnus  <tobias@codesourcery.com>
1482
1483         * parser.cc (cp_parser_omp_allocate): Parse align
1484         clause and check for restrictions.
1485
1486 2023-02-09  Jakub Jelinek  <jakub@redhat.com>
1487
1488         PR c++/108698
1489         * mangle.cc (write_expression, write_template_arg): Handle
1490         EXCESS_PRECISION_EXPR with REAL_CST operand as
1491         write_template_arg_literal on fold_convert of the REAL_CST
1492         to EXCESS_PRECISION_EXPR type.
1493
1494 2023-02-06  Patrick Palka  <ppalka@redhat.com>
1495
1496         PR c++/107461
1497         * cp-tree.h (call_expr_dependent_name): Declare.
1498         * pt.cc (iterative_hash_template_arg) <case CALL_EXPR>: Use
1499         call_expr_dependent_name instead of dependent_name.
1500         * tree.cc (call_expr_dependent_name): Define.
1501         (called_fns_equal): Adjust to take two CALL_EXPRs instead of
1502         CALL_EXPR_FNs thereof.  Use call_expr_dependent_name instead
1503         of dependent_name.
1504         (cp_tree_equal) <case CALL_EXPR>: Adjust call to called_fns_equal.
1505
1506 2023-02-03  Marek Polacek  <polacek@redhat.com>
1507
1508         PR c++/108158
1509         * constexpr.cc (cxx_eval_array_reference): Don't replace
1510         new_ctx.object.
1511
1512 2023-02-03  Patrick Palka  <ppalka@redhat.com>
1513
1514         PR c++/107461
1515         * semantics.cc (finish_call_expr): Strip ADDR_EXPR from
1516         the selected callee during overload set pruning.
1517
1518 2023-02-03  Patrick Palka  <ppalka@redhat.com>
1519
1520         PR c++/96745
1521         * class.cc (check_methods): Diagnose an unviable OVERLOAD
1522         set for CLASSTYPE_DESTRUCTOR differently from an ambiguous one.
1523         Then prune the OVERLOAD to a single function.
1524         (check_bases_and_members): Handle CLASSTYPE_DESTRUCTOR being
1525         an OVERLOAD when calling deduce_noexcept_on_destructor.
1526         Document why it has to be called before check_methods.
1527
1528 2023-02-03  Patrick Palka  <ppalka@redhat.com>
1529
1530         PR c++/108579
1531         * class.cc (check_methods): Swap order of constraints_satisfied_p
1532         and copy/move_fn_p tests.
1533
1534 2023-02-01  Marek Polacek  <polacek@redhat.com>
1535
1536         PR c++/107755
1537         * call.cc (build_new_op): Don't call warn_logical_operator when
1538         processing a template.
1539
1540 2023-02-01  Jakub Jelinek  <jakub@redhat.com>
1541
1542         PR c++/108607
1543         * constexpr.cc (cxx_eval_constant_expression): Handle OMP_*
1544         and OACC_* constructs as non-constant.
1545         (potential_constant_expression_1): Handle OMP_SCAN and OMP_SCOPE.
1546
1547 2023-02-01  Jason Merrill  <jason@redhat.com>
1548
1549         * class.cc (note_name_declared_in_class): Change from permerror to
1550         -Wchanges-meaning pedwarn, forcing -pedantic-errors for most cases.
1551
1552 2023-01-31  Jason Merrill  <jason@redhat.com>
1553
1554         PR c++/108559
1555         * cp-gimplify.cc (any_non_eliding_target_exprs): New.
1556         (cp_genericize_init): Check it.
1557
1558 2023-01-31  Marek Polacek  <polacek@redhat.com>
1559
1560         PR c++/107593
1561         PR c++/108597
1562         * cp-tree.h (instantiation_dependent_expression_p): Don't
1563         declare here.
1564
1565 2023-01-26  Marek Polacek  <polacek@redhat.com>
1566
1567         PR c++/105300
1568         * parser.cc: Remove unnecessary forward declarations.
1569         (cp_parser_string_literal): New wrapper.
1570         (cp_parser_string_literal_common): Renamed from
1571         cp_parser_string_literal.  Add a bool parameter.  Give an error when
1572         UDLs are not permitted.
1573         (cp_parser_userdef_string_literal): New wrapper.
1574         (finish_userdef_string_literal): Renamed from
1575         cp_parser_userdef_string_literal.
1576         (cp_parser_primary_expression): Call cp_parser_userdef_string_literal
1577         instead of cp_parser_string_literal.
1578         (cp_parser_linkage_specification): Move a variable declaration closer
1579         to its first use.
1580         (cp_parser_static_assert): Likewise.
1581         (cp_parser_operator): Call cp_parser_userdef_string_literal instead of
1582         cp_parser_string_literal.
1583         (cp_parser_asm_definition): Move a variable declaration closer to its
1584         first use.
1585         (cp_parser_asm_specification_opt): Move variable declarations closer to
1586         their first use.
1587         (cp_parser_asm_operand_list): Likewise.
1588         (cp_parser_asm_clobber_list): Likewise.
1589
1590 2023-01-26  Jakub Jelinek  <jakub@redhat.com>
1591
1592         PR c++/108503
1593         * parser.cc (cp_convert_omp_range_for): If cp_finish_decomp has been
1594         called in !processing_template_decl with processing_template_decl
1595         temporarily set, clear DECL_HAS_VALUE_EXPR_P on the vars temporarily.
1596         (cp_finish_omp_range_for): And set it back again here.
1597
1598 2023-01-25  Jakub Jelinek  <jakub@redhat.com>
1599
1600         PR c++/108525
1601         * mangle.cc (write_closure_type_name): Don't assume all
1602         lambda operator() fns are methods.
1603
1604 2023-01-24  Jason Merrill  <jason@redhat.com>
1605
1606         PR c++/108504
1607         * parser.cc (cp_lexer_new_main): Pass C_LEX_STRING_NO_JOIN for first
1608         token, too.
1609
1610 2023-01-24  Jason Merrill  <jason@redhat.com>
1611
1612         PR c++/108526
1613         * pt.cc (tsubst_function_decl): Handle static lambda.
1614
1615 2023-01-24  Jakub Jelinek  <jakub@redhat.com>
1616
1617         PR c++/108474
1618         * cp-gimplify.cc (cp_fold_r): Revert 2023-01-19 changes.
1619
1620 2023-01-24  Jason Merrill  <jason@redhat.com>
1621
1622         PR c++/107303
1623         PR c++/107329
1624         * cp-gimplify.cc (cp_fold_r) [TARGET_EXPR]: In case of double
1625         TARGET_EXPR, keep the outer one instead of the inner one.
1626         (maybe_replace_decl): New.
1627
1628 2023-01-23  Jason Merrill  <jason@redhat.com>
1629
1630         PR c++/107267
1631         * cp-gimplify.cc (cp_gimplify_init_expr): Allow unexpected elision
1632         of trivial types.
1633
1634 2023-01-23  Marek Polacek  <polacek@redhat.com>
1635
1636         PR c++/107797
1637         * cvt.cc (ocp_convert): copy_warning when creating a new
1638         COMPOUND_EXPR.
1639         * init.cc (build_new_1): Suppress -Wunused-value on
1640         compiler-generated COMPOUND_EXPRs.
1641
1642 2023-01-23  Jason Merrill  <jason@redhat.com>
1643
1644         PR c++/108195
1645         * call.cc (build_user_type_conversion_1): Check whether the
1646         iterators also find a list ctor.
1647
1648 2023-01-23  Jason Merrill  <jason@redhat.com>
1649
1650         PR c++/108496
1651         * decl.cc (grokdeclarator): Check whether DECL_RESULT is already
1652         set.
1653
1654 2023-01-23  Jason Merrill  <jason@redhat.com>
1655
1656         PR c++/53288
1657         DR 1299
1658         * call.cc (extend_ref_init_temps_1): Handle ptrmem expression.
1659
1660 2023-01-19  Jakub Jelinek  <jakub@redhat.com>
1661
1662         PR c++/108437
1663         * cp-tree.h (keep_unused_object_arg): Declare.
1664         * call.cc (keep_unused_object_arg): No longer static.
1665         * tree.cc (build_min_non_dep_op_overload): Handle ARRAY_REF
1666         with overload being static member function.
1667
1668 2023-01-19  Jakub Jelinek  <jakub@redhat.com>
1669
1670         PR c++/53932
1671         * cp-gimplify.cc (cp_fold_r): During cp_fully_fold_init replace
1672         DECL_ANON_UNION_VAR_P VAR_DECLs with their corresponding
1673         DECL_VALUE_EXPR.
1674
1675 2023-01-16  Jakub Jelinek  <jakub@redhat.com>
1676
1677         PR c++/105593
1678         * decl.cc (cp_finish_decl): Check warning_enabled_at
1679         at the DECL_SOURCE_LOCATION (decl) for OPT_Winit_self instead
1680         of warn_init_self.
1681
1682 2023-01-14  Jakub Jelinek  <jakub@redhat.com>
1683
1684         PR c++/108365
1685         * typeck.cc (cp_build_binary_op): Use may_shorten_divmod for integral
1686         division or modulo.
1687
1688 2023-01-13  Jakub Jelinek  <jakub@redhat.com>
1689
1690         PR c++/108285
1691         * cvt.cc (cp_convert_and_check): For EXCESS_PRECISION_EXPR
1692         use its operand except that for warning purposes use the original
1693         EXCESS_PRECISION_EXPR.
1694         * call.cc (convert_like_internal): Only look through
1695         EXCESS_PRECISION_EXPR when calling cp_convert, not when calling
1696         cp_convert_and_check.
1697
1698 2023-01-09  Jakub Jelinek  <jakub@redhat.com>
1699
1700         PR c++/105838
1701         PR c++/108047
1702         PR c++/108266
1703         * call.cc (maybe_init_list_as_range): Always return NULL_TREE if
1704         processing_template_decl.
1705
1706 2023-01-05  Patrick Palka  <ppalka@redhat.com>
1707
1708         PR c++/108275
1709         * parser.cc (cp_parser_class_head): Use dk_deferred instead of
1710         dk_no_check when parsing the class name.
1711
1712 2023-01-05  Jakub Jelinek  <jakub@redhat.com>
1713
1714         PR c++/108286
1715         * semantics.cc (finish_omp_target_clauses): Ignore clauses other than
1716         OMP_CLAUSE_MAP.
1717
1718 2023-01-04  Patrick Palka  <ppalka@redhat.com>
1719
1720         PR c++/108282
1721         * decl2.cc (mark_single_function): Ignore mark_used failure
1722         only in a non-SFINAE context rather than in a SFINAE one.
1723
1724 2023-01-04  Jakub Jelinek  <jakub@redhat.com>
1725
1726         PR c++/108206
1727         * decl.cc (merge_default_template_args): Return false if either
1728         new_parm or old_parm are erroneous.
1729
1730 \f
1731 Copyright (C) 2023 Free Software Foundation, Inc.
1732
1733 Copying and distribution of this file, with or without modification,
1734 are permitted in any medium without royalty provided the copyright
1735 notice and this notice are preserved.