gcc/cp/ChangeLog

   1 2023-08-01  Lewis Hyatt  <lhyatt@gmail.com>
   2
   3         * parser.cc (c_init_preprocess): New function.
   4         (maybe_read_tokens_for_pragma_lex): New function.
   5         (pragma_lex): Support preprocess-only mode.
   6         (pragma_lex_discard_to_eol): New function.
   7
   8 2023-07-31  Chung-Lin Tang  <cltang@codesourcery.com>
   9
  10         * parser.cc (cp_parser_oacc_host_data): Add checking requiring OpenACC
  11         host_data construct to have an use_device clause.
  12
  13 2023-07-28  Ng YongXiang  <yongxiangng@gmail.com>
  14
  15         PR c++/110057
  16         PR ipa/83054
  17         * init.cc (build_vec_delete_1): Devirtualize array destruction.
  18
  19 2023-07-27  Patrick Palka  <ppalka@redhat.com>
  20
  21         PR c++/110197
  22         * constexpr.cc (cxx_eval_array_reference): Allow synthesizing an
  23         empty subobject even if CONSTRUCTOR_NO_CLEARING is set.
  24         (cxx_eval_bare_aggregate): Set 'no_slot' to true more generally
  25         whenever new_ctx.ctor is set to NULL_TREE by init_subob_ctx,
  26         i.e. whenever initializing an subobject of empty type.
  27         (cxx_eval_vec_init_1): Define 'no_slot' as above and use it
  28         accordingly.
  29
  30 2023-07-27  Nathaniel Shead  <nathanieloshead@gmail.com>
  31
  32         PR c++/103497
  33         * pt.cc (type_uses_auto): Check inside parameter packs.
  34
  35 2023-07-26  Patrick Palka  <ppalka@redhat.com>
  36
  37         PR c++/110566
  38         PR c++/108179
  39         * pt.cc (reduce_template_parm_level): Set DECL_TEMPLATE_INFO
  40         on the DECL_TEMPLATE_RESULT of the new ttp.
  41         (add_defaults_to_ttp): Make a copy of the original ttp's
  42         DECL_TEMPLATE_RESULT, and update this copy's DECL_TEMPLATE_INFO
  43         as well.
  44         (coerce_template_template_parms): Make sure 'scope_args' has
  45         the right amount of levels for the ttp argument.
  46         (most_general_template): Handle template template parameters.
  47         (rewrite_template_parm): Set DECL_TEMPLATE_RESULT on the
  48         DECL_TEMPLATE_RESULT of the new ttp.
  49
  50 2023-07-26  Patrick Palka  <ppalka@redhat.com>
  51
  52         PR c++/110566
  53         PR c++/108179
  54         * pt.cc (coerce_template_template_parms): Simplify by using
  55         DECL_INNERMOST_TEMPLATE_PARMS and removing redundant asserts.
  56         Always pass the parameters of the most general template to
  57         coerce_template_parms.
  58
  59 2023-07-26  Patrick Palka  <ppalka@redhat.com>
  60
  61         PR c++/110809
  62         * pt.cc (unify) <case INTEGER_CST>: Generalize to handle
  63         REAL_CST as well.
  64
  65 2023-07-26  Marek Polacek  <polacek@redhat.com>
  66
  67         * parser.cc (cp_parser_constant_expression): Allow non_constant_p to be
  68         nullptr even when allow_non_constant_p is true.  Don't call
  69         _rvalue_constant_expression when not necessary.  Move local variable
  70         declarations closer to their first use.
  71         (cp_parser_static_assert): Don't pass a dummy down to
  72         cp_parser_constant_expression.
  73
  74 2023-07-26  Jason Merrill  <jason@redhat.com>
  75
  76         PR c++/106310
  77         * parser.cc (cp_parser_template_name): Skip non-member
  78         lookup after the template keyword.
  79         (cp_parser_lookup_name): Pass down template_keyword_p.
  80
  81 2023-07-26  Nathaniel Shead  <nathanieloshead@gmail.com>
  82
  83         PR c++/96630
  84         PR c++/98675
  85         PR c++/70331
  86         * constexpr.cc (constexpr_global_ctx::is_outside_lifetime): New
  87         function.
  88         (constexpr_global_ctx::get_value): Don't return expired values.
  89         (constexpr_global_ctx::get_value_ptr): Likewise.
  90         (constexpr_global_ctx::remove_value): Mark value outside
  91         lifetime.
  92         (outside_lifetime_error): New function.
  93         (cxx_eval_call_expression): No longer track save_exprs.
  94         (cxx_eval_loop_expr): Likewise.
  95         (cxx_eval_constant_expression): Add checks for outside lifetime
  96         values. Remove local variables at end of bind exprs, and
  97         temporaries after cleanup points.
  98
  99 2023-07-26  Nathaniel Shead  <nathanieloshead@gmail.com>
 100
 101         PR c++/110619
 102         * cp-gimplify.cc (cp_genericize_r): Transform RETURN_EXPRs to
 103         not return dangling pointers.
 104         * cp-tree.h (RETURN_EXPR_LOCAL_ADDR_P): New flag.
 105         (check_return_expr): Add a new parameter.
 106         * semantics.cc (finish_return_stmt): Set flag on RETURN_EXPR
 107         when referring to dangling pointer.
 108         * typeck.cc (check_return_expr): Disable transformation of
 109         dangling pointers, instead pass this information to caller.
 110
 111 2023-07-26  Nathaniel Shead  <nathanieloshead@gmail.com>
 112
 113         * constexpr.cc (modifying_const_object_error): Find the source
 114         location of the const object's declaration.
 115         (cxx_eval_constant_expression): Update input_location to the
 116         location of the currently evaluated expression, if possible.
 117
 118 2023-07-25  Marek Polacek  <polacek@redhat.com>
 119
 120         PR c++/108960
 121         * pt.cc (lookup_and_finish_template_variable): Don't clear tf_partial
 122         here.
 123         (instantiate_template): Reset all complain flags except
 124         tf_warning_or_error.
 125
 126 2023-07-25  Marek Polacek  <polacek@redhat.com>
 127
 128         PR c++/110382
 129         * constexpr.cc (cxx_eval_array_reference): Create a new constructor
 130         only when we don't already have a matching one.  Clear the object
 131         when the type is non-scalar.
 132
 133 2023-07-21  Marek Polacek  <polacek@redhat.com>
 134
 135         PR c++/110106
 136         * constexpr.cc (potential_constant_expression_1): Try to complete the
 137         type when !processing_template_decl.
 138
 139 2023-07-20  Marek Polacek  <polacek@redhat.com>
 140
 141         PR c++/110114
 142         * call.cc (implicit_conversion_1): Return early if the type isn't
 143         complete.
 144
 145 2023-07-19  Marek Polacek  <polacek@redhat.com>
 146
 147         PR c++/110745
 148         * error.cc (dump_simple_decl): Print base class name.
 149
 150 2023-07-19  Marek Polacek  <polacek@redhat.com>
 151
 152         PR c++/110064
 153         * typeck2.cc (process_init_constructor_record): Don't emit
 154         -Wmissing-field-initializers for empty classes.
 155
 156 2023-07-19  Patrick Palka  <ppalka@redhat.com>
 157
 158         * pt.cc (type_unification_real): Test for PARM_DECL instead
 159         of TEMPLATE_PARM_INDEX to distinguish a type vs non-type
 160         template parameter pack.
 161         (type_targs_deducible_from): Likewise.
 162
 163 2023-07-19  Patrick Palka  <ppalka@redhat.com>
 164
 165         * pt.cc (tsubst_function_decl): Add defaulted 'use_spec_table'
 166         flag parameter.  Don't look up or insert into the specializations
 167         table if 'use_spec_table' is false.
 168         (tsubst_decl): Add defaulted 'use_spec_table' flag parameter.
 169         Check for error_mark_node.
 170         <case FUNCTION_DECL>: Pass 'use_spec_table' to
 171         tsubst_function_decl.
 172         <case TYPE/VAR_DECL>: Don't call coerce_template_parms.
 173         Don't look up or insert into the specializations table if
 174         'use_spec_table' is false.  Exit earlier if the substituted
 175         type is erroneous and we're not complaining, and do so for
 176         alias specializations as well.
 177         (instantiate_template): Pass false as 'use_spec_table'
 178         to tsubst_decl.  Call register_specialization afterwards.
 179
 180 2023-07-18  Jason Merrill  <jason@redhat.com>
 181
 182         * constexpr.cc (cxx_eval_bit_cast): Check that the result of
 183         native_interpret_aggregate doesn't need more evaluation.
 184
 185 2023-07-18  Patrick Palka  <ppalka@redhat.com>
 186
 187         * call.cc (add_template_conv_candidate): Don't check for
 188         non-empty 'candidates' here.
 189         (build_op_call): Check it here, before we've considered any
 190         conversion functions.
 191
 192 2023-07-18  Patrick Palka  <ppalka@redhat.com>
 193
 194         PR c++/110535
 195         * call.cc (add_conv_candidate): Check constraints.
 196
 197 2023-07-17  Jason Merrill  <jason@redhat.com>
 198
 199         * constexpr.cc (cxx_eval_call_expression): Only cache
 200         reduced_constant_expression_p results.
 201         (reduced_constant_expression_p): Handle CONSTRUCTOR of scalar type.
 202         (cxx_eval_constant_expression): Fold vectors here.
 203         (cxx_eval_bare_aggregate): Not here.
 204
 205 2023-07-15  Patrick Palka  <ppalka@redhat.com>
 206
 207         PR c++/110441
 208         * call.cc (keep_unused_object_arg): Use cp_build_compound_expr
 209         instead of building a COMPOUND_EXPR directly.
 210
 211 2023-07-15  Patrick Palka  <ppalka@redhat.com>
 212
 213         PR c++/110524
 214         * mangle.cc (write_expression): Handle TEMPLATE_ID_EXPR
 215         whose template is already an IDENTIFIER_NODE.
 216
 217 2023-07-14  Nathaniel Shead  <nathanieloshead@gmail.com>
 218
 219         * constexpr.cc (cxx_eval_constant_expression): Pass t to get_value.
 220
 221 2023-07-14  Jason Merrill  <jason@redhat.com>
 222
 223         PR c++/110344
 224         * constexpr.cc (cxx_eval_constant_expression): Move P2738 handling
 225         after heap handling.
 226         * name-lookup.cc (get_cxx_dialect_name): Add C++26.
 227
 228 2023-07-14  Marek Polacek  <polacek@redhat.com>
 229             Jason Merrill  <jason@redhat.com>
 230
 231         PR c++/109876
 232         * decl.cc (cp_finish_decl): Set TREE_CONSTANT when initializing
 233         an object of empty class type.
 234         * pt.cc (value_dependent_expression_p) <case VAR_DECL>: Treat a
 235         constexpr-declared non-constant variable as value-dependent.
 236
 237 2023-07-11  Patrick Palka  <ppalka@redhat.com>
 238
 239         PR c++/110580
 240         * pt.cc (lookup_template_variable): Pass all levels of arguments
 241         to coerce_template_parms, and use the parameters from the most
 242         general template.
 243
 244 2023-07-10  Patrick Palka  <ppalka@redhat.com>
 245
 246         PR c++/110523
 247         * pt.cc (redeclare_class_template): Relax the ttp DECL_CONTEXT
 248         assert, and downgrade it to a checking assert.
 249
 250 2023-06-30  Patrick Palka  <ppalka@redhat.com>
 251
 252         * cp-tree.h (TEMPLATE_PARM_DESCENDANTS): Harden.
 253         (TEMPLATE_TYPE_DESCENDANTS): Define.
 254         (TEMPLATE_TEMPLATE_PARM_SIMPLE_P): Define.
 255         * pt.cc (reduce_template_parm_level): Revert
 256         r14-418-g0bc2a1dc327af9 change.
 257         (process_template_parm): Set TEMPLATE_TEMPLATE_PARM_SIMPLE_P
 258         appropriately.
 259         (uses_outer_template_parms): Determine the outer depth of
 260         a template template parm without relying on DECL_CONTEXT.
 261         (tsubst) <case TEMPLATE_TEMPLATE_PARM>: Cache lowering a
 262         simple template template parm.  Consistently use 'code'.
 263
 264 2023-06-29  Patrick Palka  <ppalka@redhat.com>
 265
 266         PR c++/110468
 267         * init.cc (maybe_instantiate_nsdmi_init): Mask out all
 268         tsubst flags except for tf_warning_or_error.
 269
 270 2023-06-29  Patrick Palka  <ppalka@redhat.com>
 271
 272         PR c++/110463
 273         * cp-gimplify.cc (cp_fold) <case CONSTRUCTOR>: Propagate
 274         CONSTRUCTOR_MUTABLE_POISON.
 275
 276 2023-06-29  Patrick Palka  <ppalka@redhat.com>
 277
 278         * cp-tree.h (tree_template_info::partial): New data member.
 279         (TI_PARTIAL_INFO): New tree accessor.
 280         (most_specialized_partial_spec): Add defaulted bool parameter.
 281         * module.cc (trees_out::core_vals) <case TEMPLATE_INFO>: Stream
 282         TI_PARTIAL_INFO.
 283         (trees_in::core_vals) <case TEMPLATE_INFO>: Likewise.
 284         * parser.cc (specialization_of): Adjust after making
 285         most_specialized_partial_spec return TEMPLATE_INFO instead
 286         of TREE_LIST.
 287         * pt.cc (process_partial_specialization): Set TI_PARTIAL_INFO
 288         of 'decl' to point back to the partial TEMPLATE_DECL.  Likewise
 289         (and pass rechecking=true to most_specialization_partial_spec).
 290         (instantiate_class_template): Likewise.
 291         (instantiate_template): Set TI_PARTIAL_INFO to the result of
 292         most_specialization_partial_spec after forming a variable
 293         template specialization.
 294         (most_specialized_partial_spec): Add 'rechecking' parameter.
 295         Exit early if the template is not primary.  Use the TI_PARTIAL_INFO
 296         of the corresponding TEMPLATE_INFO as a cache unless 'rechecking'
 297         is true.  Don't bother setting TREE_TYPE of each TREE_LIST.
 298         (instantiate_decl): Adjust after making
 299         most_specialized_partial_spec return TEMPLATE_INFO instead of
 300         TREE_LIST.
 301         * ptree.cc (cxx_print_xnode) <case TEMPLATE_INFO>: Dump
 302         TI_PARTIAL_INFO.
 303
 304 2023-06-29  Eugene Rozenfeld  <erozen@microsoft.com>
 305
 306         * Make-lang.in: Pass correct stage cc1plus when processing
 307         profile data collected while building target libraries
 308
 309 2023-06-28  Patrick Palka  <ppalka@redhat.com>
 310
 311         PR c++/89442
 312         PR c++/107437
 313         * cp-tree.h (lookup_template_variable): Add complain parameter.
 314         * parser.cc (cp_parser_template_id): Pass tf_warning_or_error
 315         to lookup_template_variable.
 316         * pt.cc (lookup_template_variable): Add complain parameter.
 317         Coerce template arguments here ...
 318         (finish_template_variable): ... instead of here.
 319         (lookup_and_finish_template_variable): Check for error_mark_node
 320         result from lookup_template_variable.
 321         (tsubst_copy) <case TEMPLATE_ID_EXPR>: Pass complain to
 322         lookup_template_variable.
 323         (instantiate_template): Use build2 instead of
 324         lookup_template_variable to build a TEMPLATE_ID_EXPR
 325         for most_specialized_partial_spec.
 326
 327 2023-06-28  Marek Polacek  <polacek@redhat.com>
 328
 329         PR c++/110175
 330         * typeck.cc (cp_build_unary_op): Check tf_warning before warning.
 331
 332 2023-06-28  Jason Merrill  <jason@redhat.com>
 333
 334         PR c++/110334
 335         * cp-tree.h (clone_attrs): Declare.
 336         * method.cc (implicitly_declare_fn): Use it for inherited
 337         constructor.
 338         * optimize.cc (clone_attrs): New.
 339         (maybe_clone_body): Use it.
 340
 341 2023-06-28  Jason Merrill  <jason@redhat.com>
 342
 343         PR c++/110344
 344         * constexpr.cc (cxx_eval_constant_expression): In C++26, allow cast
 345         from void* to the type of a pointed-to object.
 346
 347 2023-06-23  David Malcolm  <dmalcolm@redhat.com>
 348
 349         PR c++/110164
 350         * cp-name-hint.h (maybe_suggest_missing_header): New decl.
 351         * decl.cc: Define INCLUDE_MEMORY.  Add include of
 352         "cp/cp-name-hint.h".
 353         (start_decl_1): Call maybe_suggest_missing_header.
 354         * name-lookup.cc (maybe_suggest_missing_header): Remove "static".
 355
 356 2023-06-16  Alex Coplan  <alex.coplan@arm.com>
 357
 358         * parser.cc (cp_parser_enum_specifier): Don't reject
 359         elaborated-type-specifier with enum-base, instead emit new
 360         Welaborated-enum-base warning.
 361
 362 2023-06-14  Jason Merrill  <jason@redhat.com>
 363
 364         DR 2327
 365         PR c++/86521
 366         * call.cc (joust_maybe_elide_copy): Don't change cand.
 367         (joust): Move the elided tiebreaker later.
 368
 369 2023-06-13  David Malcolm  <dmalcolm@redhat.com>
 370
 371         PR c/84890
 372         * name-lookup.cc (missing_std_header::~missing_std_header): Reword
 373         note to avoid negative tone of "forgetting".
 374
 375 2023-06-13  Jason Merrill  <jason@redhat.com>
 376
 377         * tree.cc (build_target_expr): Check TYPE_HAS_MUTABLE_P.
 378
 379 2023-06-12  Tobias Burnus  <tobias@codesourcery.com>
 380
 381         * parser.cc (cp_parser_omp_clause_map): Reword error message for
 382         clearness especially with 'omp target (enter/exit) data.'
 383         * semantics.cc (handle_omp_array_sections): Handle
 384         GOMP_MAP_{ALWAYS_,}PRESENT_{TO,TOFROM,FROM,ALLOC} enum values.
 385
 386 2023-06-12  Jason Merrill  <jason@redhat.com>
 387
 388         PR c++/105838
 389         * call.cc (convert_like_internal) [ck_list]: Use
 390         maybe_init_list_as_array.
 391         * constexpr.cc (cxx_eval_vec_init_1): Init might have
 392         a different type.
 393         * tree.cc (build_vec_init_elt): Likewise.
 394         * init.cc (build_vec_init): Handle from_array from a
 395         TARGET_EXPR.  Retain TARGET_EXPR of a different type.
 396
 397 2023-06-11  Patrick Palka  <ppalka@redhat.com>
 398
 399         PR c++/110122
 400         * constexpr.cc (cxx_eval_call_expression): Synthesize defaulted
 401         functions needed for constant evaluation.
 402         (instantiate_cx_fn_r): Likewise.
 403
 404 2023-06-11  Patrick Palka  <ppalka@redhat.com>
 405
 406         PR c++/110122
 407         * pt.cc (lookup_template_class): Extend shortcut for looking up the
 408         current class scope to consider outer class scopes too, and use
 409         current_nonlambda_class_type instead of current_class_type.  Only
 410         call coerce_template_parms when specializing a primary template.
 411
 412 2023-06-10  Nathan Sidwell  <nathan@acm.org>
 413
 414         PR c++/61663
 415         * pt.cc (maybe_adjust_types_for_deduction): Implement DR976.
 416
 417 2023-06-09  Jason Merrill  <jason@redhat.com>
 418
 419         PR c++/110185
 420         PR c++/58487
 421         * method.cc (build_comparison_op): Give retval a name.
 422         * typeck.cc (check_return_expr): Fix for nameless variables.
 423
 424 2023-06-09  Jason Merrill  <jason@redhat.com>
 425
 426         * parser.cc (cp_parser_simple_type_specifier): Check for auto
 427         in template argument.
 428         (cp_parser_template_type_arg): Remove auto checking.
 429
 430 2023-06-09  Jason Merrill  <jason@redhat.com>
 431
 432         PR c++/110102
 433         * call.cc (maybe_init_list_as_array): Check that the element type is
 434         copyable.
 435
 436 2023-06-07  Jason Merrill  <jason@redhat.com>
 437
 438         PR c++/58487
 439         PR c++/53637
 440         * cp-tree.h (INIT_EXPR_NRV_P): New.
 441         * semantics.cc (finalize_nrv_r): Check it.
 442         * name-lookup.h (decl_in_scope_p): Declare.
 443         * name-lookup.cc (decl_in_scope_p): New.
 444         * typeck.cc (check_return_expr): Allow non-NRV
 445         returns if the NRV is no longer in scope.
 446
 447 2023-06-07  Jason Merrill  <jason@redhat.com>
 448
 449         PR c++/58487
 450         * typeck.cc (want_nrvo_p): New.
 451         (check_return_expr): Handle -Wnrvo.
 452
 453 2023-06-07  Jason Merrill  <jason@redhat.com>
 454
 455         PR c++/51571
 456         PR c++/92407
 457         * decl.cc (finish_function): Simplify NRV handling.
 458         * except.cc (maybe_set_retval_sentinel): Also set if NRV.
 459         (maybe_splice_retval_cleanup): Don't add the cleanup region
 460         if we don't need it.
 461         * semantics.cc (nrv_data): Add simple field.
 462         (finalize_nrv): Set it.
 463         (finalize_nrv_r): Check it and retval sentinel.
 464         * cp-tree.h (finalize_nrv): Adjust declaration.
 465         * typeck.cc (check_return_expr): Remove named_labels check.
 466
 467 2023-06-07  Jason Merrill  <jason@redhat.com>
 468
 469         PR c++/92407
 470         * typeck.cc (check_return_expr): Prevent NRV in the presence of
 471         named labels.
 472
 473 2023-06-07  Jason Merrill  <jason@redhat.com>
 474
 475         PR c++/33799
 476         * except.cc (maybe_splice_retval_cleanup): Change
 477         recognition of function body and try scopes.
 478         * semantics.cc (do_poplevel): Call it after poplevel.
 479         (at_try_scope): New.
 480         * cp-tree.h (maybe_splice_retval_cleanup): Adjust.
 481
 482 2023-06-07  Jason Merrill  <jason@redhat.com>
 483
 484         * semantics.cc (finalize_nrv_r): [RETURN_EXPR]: Only replace the
 485         INIT_EXPR.
 486
 487 2023-06-06  Kwok Cheung Yeung  <kcy@codesourcery.com>
 488             Tobias Burnus  <tobias@codesourcery.com>
 489
 490         * parser.cc (cp_parser_omp_clause_defaultmap,
 491         cp_parser_omp_clause_map): Parse 'present'.
 492         (cp_parser_omp_clause_from_to): New; parse to/from
 493         clauses with optional 'present' modifier.
 494         (cp_parser_omp_all_clauses): Update call.
 495         (cp_parser_omp_target_data, cp_parser_omp_target_enter_data,
 496         cp_parser_omp_target_exit_data): Handle new enum value for
 497         'present' mapping.
 498         * semantics.cc (finish_omp_target): Likewise.
 499
 500 2023-06-04  Jason Merrill  <jason@redhat.com>
 501
 502         PR c++/97720
 503         * cp-tree.h (enum cp_tree_index): Add CPTI_CALL_TERMINATE_FN.
 504         (call_terminate_fn): New macro.
 505         * cp-gimplify.cc (gimplify_must_not_throw_expr): Use it.
 506         * except.cc (init_exception_processing): Set it.
 507         (cp_protect_cleanup_actions): Return it.
 508
 509 2023-06-03  Patrick Palka  <ppalka@redhat.com>
 510
 511         PR c++/109923
 512         * pt.cc (is_specialization_of_friend): Fix overbroad check for
 513         a non-template member function of a class template.
 514
 515 2023-06-03  Patrick Palka  <ppalka@redhat.com>
 516
 517         * pt.cc (iterative_hash_template_arg): Don't hash
 518         TEMPLATE_TEMPLATE_PARM specially.
 519
 520 2023-06-03  Patrick Palka  <ppalka@redhat.com>
 521
 522         * class.cc (build_base_path): Check in_template_context instead
 523         of in_template_function.
 524         (resolves_to_fixed_type_p): Likewise.
 525         * cp-tree.h (in_template_context): Define.
 526         (in_template_function): Remove.
 527         * decl.cc (cp_make_fname_decl): Check current_function_decl
 528         and in_template_context instead of in_template_function.
 529         * decl2.cc (mark_used): Check in_template_context instead of
 530         in_template_function.
 531         * pt.cc (in_template_function): Remove.
 532         * semantics.cc (enforce_access): Check in_template_context
 533         instead of current_template_parms directly.
 534
 535 2023-06-03  Patrick Palka  <ppalka@redhat.com>
 536
 537         PR c++/70790
 538         * mangle.cc (write_expression): Handle NOEXCEPT_EXPR.
 539
 540 2023-06-02  Jason Merrill  <jason@redhat.com>
 541
 542         DR 2735
 543         PR c++/109247
 544         * call.cc (sfk_copy_or_move): New.
 545         (joust): Add tiebreaker for explicit conv and copy ctor.
 546
 547 2023-06-02  Jason Merrill  <jason@redhat.com>
 548
 549         PR c++/110070
 550         PR c++/105838
 551         * call.cc (maybe_init_list_as_array): Set DECL_MERGEABLE.
 552         (convert_like_internal) [ck_list]: Set it.
 553         (set_up_extended_ref_temp): Copy it.
 554         * tree.cc (handle_no_unique_addr_attribute): Set it.
 555
 556 2023-06-01  Jason Merrill  <jason@redhat.com>
 557
 558         * typeck2.cc (check_narrowing): Check flag_permissive.
 559
 560 2023-05-30  Tobias Burnus  <tobias@codesourcery.com>
 561
 562         PR c/109999
 563         * parser.cc (cp_parser_oacc_all_clauses,
 564         cp_parser_omp_all_clauses): Improve error wording.
 565
 566 2023-05-19  Andrew Pinski  <apinski@marvell.com>
 567
 568         PR driver/33980
 569         * lang-specs.h ("@c++-header"): Add %w after
 570         the --output-pch.
 571         ("@c++-system-header"): Likewise.
 572         ("@c++-user-header"): Likewise.
 573
 574 2023-05-19  Patrick Palka  <ppalka@redhat.com>
 575
 576         * constraint.cc (normalize_concept_check): Avoid having to do
 577         two norm_cache lookups.  Remove unnecessary early exit for an
 578         ill-formed concept definition.
 579
 580 2023-05-19  Patrick Palka  <ppalka@redhat.com>
 581
 582         PR c++/97340
 583         * pt.cc (lookup_and_finish_template_variable): Don't call
 584         convert_from_reference.
 585         (tsubst_copy_and_build) <case TEMPLATE_ID_EXPR>: Call
 586         convert_from_reference on the result of
 587         lookup_and_finish_template_variable.
 588
 589 2023-05-18  Bernhard Reutner-Fischer  <aldot@gcc.gnu.org>
 590
 591         * call.cc (promoted_arithmetic_type_p): Use _P defines from tree.h.
 592         (build_conditional_expr): Ditto.
 593         (convert_like_internal): Ditto.
 594         (convert_arg_to_ellipsis): Ditto.
 595         (build_over_call): Ditto.
 596         (compare_ics): Ditto.
 597         * class.cc (is_empty_base_ref): Ditto.
 598         * coroutines.cc (rewrite_param_uses): Ditto.
 599         * cp-tree.h (DECL_DISCRIMINATOR_P): Ditto.
 600         (ARITHMETIC_TYPE_P): Ditto.
 601         * cvt.cc (ocp_convert): Ditto.
 602         * cxx-pretty-print.cc (pp_cxx_template_argument_list): Ditto.
 603         * decl.cc (layout_var_decl): Ditto.
 604         (get_tuple_size): Ditto.
 605         * error.cc (dump_simple_decl): Ditto.
 606         * lambda.cc (start_lambda_scope): Ditto.
 607         * mangle.cc (write_template_arg): Ditto.
 608         * method.cc (spaceship_comp_cat): Ditto.
 609         * module.cc (node_template_info): Ditto.
 610         (trees_out::start): Ditto.
 611         (trees_out::decl_node): Ditto.
 612         (trees_in::read_var_def): Ditto.
 613         (set_instantiating_module): Ditto.
 614         * name-lookup.cc (maybe_record_mergeable_decl): Ditto.
 615         (consider_decl): Ditto.
 616         (maybe_add_fuzzy_decl): Ditto.
 617         * pt.cc (convert_nontype_argument): Ditto.
 618         * semantics.cc (handle_omp_array_sections_1): Ditto.
 619         (finish_omp_clauses): Ditto.
 620         (finish_omp_target_clauses_r): Ditto.
 621         (is_this_parameter): Ditto.
 622         * tree.cc (build_cplus_array_type): Ditto.
 623         (is_this_expression): Ditto.
 624         * typeck.cc (do_warn_enum_conversions): Ditto.
 625         * typeck2.cc (store_init_value): Ditto.
 626         (check_narrowing): Ditto.
 627
 628 2023-05-17  Jakub Jelinek  <jakub@redhat.com>
 629
 630         PR c++/109868
 631         * init.cc (build_zero_init_1): Don't initialize zero-width bitfields.
 632         For unions only initialize the first FIELD_DECL.
 633
 634 2023-05-16  Marek Polacek  <polacek@redhat.com>
 635
 636         PR c++/109774
 637         * typeck.cc (check_return_expr): In a template, return only after
 638         suppressing -Wdangling-reference.
 639
 640 2023-05-16  Patrick Palka  <ppalka@redhat.com>
 641
 642         PR c++/109871
 643         * call.cc (add_list_candidates): Check for invalid designated
 644         initialization sooner and even for types that have a list
 645         constructor.
 646
 647 2023-05-11  Patrick Palka  <ppalka@redhat.com>
 648
 649         PR c++/109745
 650         * typeck2.cc (poison_mutable_constructors): Define.
 651         (store_init_value): Use it instead of setting
 652         CONSTRUCTOR_MUTABLE_POISON directly.
 653
 654 2023-05-11  Patrick Palka  <ppalka@redhat.com>
 655             Jonathan Wakely  <jwakely@redhat.com>
 656
 657         PR c++/83258
 658         PR c++/80488
 659         PR c++/97700
 660         * pt.cc (convert_nontype_argument_function): Remove linkage
 661         requirement for C++17 and later.
 662         (invalid_tparm_referent_p) <case ADDR_EXPR>: Restrict
 663         DECL_ARTIFICIAL rejection test to VAR_DECL.
 664
 665 2023-05-10  Marek Polacek  <polacek@redhat.com>
 666
 667         PR c++/109680
 668         * method.cc (build_trait_object): New.
 669         (assignable_expr): Use it.
 670         (ref_xes_from_temporary): Likewise.
 671         (is_convertible_helper): Likewise.  Check FUNC_OR_METHOD_TYPE_P.
 672
 673 2023-05-10  Jason Merrill  <jason@redhat.com>
 674
 675         * call.cc (convert_like_internal): Share ck_ref_bind handling
 676         between all bad conversions.
 677
 678 2023-05-10  Jason Merrill  <jason@redhat.com>
 679
 680         DR 2543
 681         * constexpr.cc (cxx_eval_outermost_constant_expr): Preserve
 682         TARGET_EXPR flags.
 683         (potential_constant_expression_1): Check TARGET_EXPR_ELIDING_P.
 684         * typeck2.cc (store_init_value): Diagnose constinit sooner.
 685
 686 2023-05-10  Jason Merrill  <jason@redhat.com>
 687
 688         * constexpr.cc (cxx_eval_outermost_constant_expr): Always check
 689         for address of immediate fn.
 690         (maybe_constant_init_1): Evaluate PTRMEM_CST.
 691
 692 2023-05-10  Jakub Jelinek  <jakub@redhat.com>
 693
 694         PR c++/109756
 695         * parser.cc (cp_parser_std_attribute): For unknown attributes with
 696         arguments set TREE_VALUE (attribute) to error_mark_node after skipping
 697         the balanced tokens.
 698         (cp_parser_std_attribute_list): If ... is used after attribute without
 699         arguments, diagnose it and return error_mark_node.  If
 700         TREE_VALUE (attribute) is error_mark_node, don't call
 701         make_pack_expansion nor return early error_mark_node.
 702
 703 2023-05-09  Patrick Palka  <ppalka@redhat.com>
 704
 705         PR c++/109752
 706         * constraint.cc (satisfaction_cache::satisfaction_cache): In the
 707         unexpected case of evaluating an atom for the first time noisily,
 708         remove the cache slot that we inserted.
 709
 710 2023-05-09  Patrick Palka  <ppalka@redhat.com>
 711
 712         PR c++/109761
 713         * parser.cc (cp_parser_class_specifier): Don't pass a class
 714         context to noexcept_override_late_checks.
 715         (noexcept_override_late_checks): Remove 'type' parameter
 716         and use DECL_CONTEXT of 'fndecl' instead.
 717
 718 2023-05-09  Jakub Jelinek  <jakub@redhat.com>
 719
 720         PR c++/109756
 721         * cp-gimplify.cc (process_stmt_assume_attribute): Diagnose pack
 722         expansion of assume attribute.
 723
 724 2023-05-08  Patrick Palka  <ppalka@redhat.com>
 725
 726         PR c++/106214
 727         PR c++/93107
 728         * pt.cc (do_auto_deduction): Move up resolve_nondeduced_context
 729         calls to happen before do_class_deduction.  Add some
 730         error_mark_node tests.
 731
 732 2023-05-07  Patrick Palka  <ppalka@redhat.com>
 733
 734         PR c++/85979
 735         * cxx-pretty-print.cc (cxx_pretty_printer::unary_expression)
 736         <case ALIGNOF_EXPR>: Consider ALIGNOF_EXPR_STD_P.
 737         * error.cc (dump_expr) <case ALIGNOF_EXPR>: Likewise.
 738
 739 2023-05-07  Patrick Palka  <ppalka@redhat.com>
 740
 741         DR 2256
 742         PR c++/103091
 743         * decl.cc (decl_jump_unsafe): Return bool instead of int.
 744         Don't consider TYPE_HAS_NONTRIVIAL_DESTRUCTOR.
 745         (check_previous_goto_1): Simplify now that decl_jump_unsafe
 746         returns bool instead of int.
 747         (check_goto): Likewise.
 748
 749 2023-05-07  Patrick Palka  <ppalka@redhat.com>
 750
 751         * pt.cc (instantiate_alias_template): Exit early upon
 752         error from coerce_template_parms.  Remove dependence test
 753         guarding constraints_satisfied_p.
 754
 755 2023-05-07  Patrick Palka  <ppalka@redhat.com>
 756
 757         * cp-tree.h (PLACEHOLDER_TYPE_CONSTRAINTS_INFO): Harden via
 758         TEMPLATE_TYPE_PARM_CHECK.
 759         (TPARMS_PRIMARY_TEMPLATE): Harden via TREE_VEC_CHECK.
 760         (TEMPLATE_TEMPLATE_PARM_TEMPLATE_DECL): Harden via
 761         TEMPLATE_TEMPLATE_PARM_CHECK.
 762         * cxx-pretty-print.cc (cxx_pretty_printer::simple_type_specifier):
 763         Guard PLACEHOLDER_TYPE_CONSTRAINTS access.
 764         * error.cc (dump_type) <case TEMPLATE_TYPE_PARM>: Use separate
 765         variable to store CLASS_PLACEHOLDER_TEMPLATE result.
 766         * pt.cc (outer_template_args): Use strip_innermost_template_args.
 767         (any_type_dependent_arguments_p): Exit early if
 768         !processing_template_decl.  Use range-based for.
 769         (any_dependent_template_arguments_p): Likewise.
 770
 771 2023-05-07  Patrick Palka  <ppalka@redhat.com>
 772
 773         PR c++/98283
 774         * pt.cc (tsubst_copy_and_build) <case COMPONENT_REF>: Propagate
 775         REF_PARENTHESIZED_P more generally via force_paren_expr.
 776         * semantics.cc (force_paren_expr): Document default argument.
 777
 778 2023-05-07  Patrick Palka  <ppalka@redhat.com>
 779
 780         PR c++/109651
 781         * pt.cc (coerce_template_args_for_ttp): Mention we can hit the
 782         current_template_parms fallback when level-lowering a bound ttp.
 783         (tsubst_template_decl): Add lambda_tparms parameter.  Prefer to
 784         use lambda_tparms instead of substituting DECL_TEMPLATE_PARMS.
 785         (tsubst_decl) <case TEMPLATE_DECL>: Pass NULL_TREE as lambda_tparms
 786         to tsubst_template_decl.
 787         (tsubst_lambda_expr): For a generic lambda, substitute
 788         DECL_TEMPLATE_PARMS and set current_template_parms to it
 789         before substituting the function type.  Pass the substituted
 790         DECL_TEMPLATE_PARMS as lambda_tparms to tsubst_template_decl.
 791
 792 2023-05-07  Patrick Palka  <ppalka@redhat.com>
 793
 794         PR c++/109480
 795         * semantics.cc (enforce_access): Check current_template_parms
 796         instead of processing_template_decl when deciding whether to
 797         defer the access check.
 798
 799 2023-05-07  Patrick Palka  <ppalka@redhat.com>
 800
 801         PR c++/109480
 802         * constexpr.cc (potential_constant_expression_1) <case CALL_EXPR>:
 803         Reorganize to call get_fns sooner.  Remove special handling of
 804         the object argument of a non-static member function call.  Remove
 805         dead store to 'fun'.
 806
 807 2023-05-05  Jason Merrill  <jason@redhat.com>
 808
 809         Revert:
 810         2023-04-27  Jason Merrill  <jason@redhat.com>
 811
 812         PR c++/61445
 813         * pt.cc (instantiate_decl): Assert !defer_ok for local
 814         class members.
 815
 816 2023-05-03  Jason Merrill  <jason@redhat.com>
 817
 818         PR c++/91618
 819         PR c++/109649
 820         * friend.cc (do_friend): Don't call check_explicit_specialization if
 821         DECL_TEMPLATE_INFO is already set.
 822         * decl2.cc (check_classfn): Set DECL_TEMPLATE_INFO.
 823         * name-lookup.cc (set_decl_namespace): Likewise.
 824
 825 2023-05-03  Jakub Jelinek  <jakub@redhat.com>
 826
 827         * cp-gimplify.cc (cp_fold_data): Move definition earlier.
 828         (cp_gimplify_expr): Pass address of ff_genericize | ff_mce_false
 829         constructed data rather than &pset to cp_walk_tree with cp_fold_r.
 830
 831 2023-05-03  Jason Merrill  <jason@redhat.com>
 832
 833         * pt.cc (reduce_template_parm_level): Fix comparison of
 834         template template parm to cached version.
 835
 836 2023-05-02  Jason Merrill  <jason@redhat.com>
 837
 838         * pt.cc (instantiate_class_template): Skip the RECORD_TYPE
 839         of a class template.
 840         (tsubst_template_decl): Clear CLASSTYPE_USE_TEMPLATE.
 841
 842 2023-05-02  Jason Merrill  <jason@redhat.com>
 843
 844         * name-lookup.cc (pop_from_top_level): Don't
 845         invalidate_class_lookup_cache.
 846
 847 2023-05-02  Jason Merrill  <jason@redhat.com>
 848
 849         PR c++/109678
 850         * cp-tree.h (lookup_base): Add offset parm.
 851         * constexpr.cc (cxx_fold_indirect_ref_1): Pass it.
 852         * search.cc (struct lookup_base_data_s): Add offset.
 853         (dfs_lookup_base): Handle it.
 854         (lookup_base): Pass it.
 855
 856 2023-05-02  Jason Merrill  <jason@redhat.com>
 857
 858         PR c++/109678
 859         * constexpr.cc (cxx_fold_indirect_ref_1): Handle empty base first.
 860
 861 2023-05-01  Jason Merrill  <jason@redhat.com>
 862
 863         PR c++/109666
 864         * name-lookup.cc (maybe_push_to_top_level)
 865         (maybe_pop_from_top_level): Split out...
 866         * pt.cc (instantiate_body): ...from here.
 867         * init.cc (maybe_instantiate_nsdmi_init): Use them.
 868         * name-lookup.h: Declare them..
 869
 870 2023-04-28  Eugene Rozenfeld  <erozen@microsoft.com>
 871
 872         * Make-lang.in: Merge perf data collected when compiling cc1plus and runtime libraries
 873
 874 2023-04-27  Jason Merrill  <jason@redhat.com>
 875
 876         * call.cc (print_conversion_rejection): Use iloc_sentinel.
 877
 878 2023-04-27  Jason Merrill  <jason@redhat.com>
 879
 880         PR c++/61445
 881         * pt.cc (instantiate_decl): Assert !defer_ok for local
 882         class members.
 883
 884 2023-04-26  Jason Merrill  <jason@redhat.com>
 885
 886         * init.cc (nsdmi_inst): Remove.
 887         (maybe_instantiate_nsdmi_init): Use DECL_INITIAL instead.
 888
 889 2023-04-26  Jason Merrill  <jason@redhat.com>
 890
 891         PR c++/109241
 892         * pt.cc (instantiate_class_template): Do partially instantiate.
 893         (tsubst_expr): Do call complete_type for partial instantiations.
 894
 895 2023-04-26  Jason Merrill  <jason@redhat.com>
 896
 897         PR c++/69836
 898         * pt.cc (regenerate_decl_from_template): Skip unique friends.
 899
 900 2023-04-26  Patrick Palka  <ppalka@redhat.com>
 901
 902         * pt.cc (most_specialized_partial_spec): Exit early when
 903         DECL_TEMPLATE_SPECIALIZATIONS is empty.  Move local variable
 904         declarations closer to their first use.  Remove redundant
 905         flag_concepts test.  Remove redundant forward declaration.
 906
 907 2023-04-25  Patrick Palka  <ppalka@redhat.com>
 908
 909         PR c++/108975
 910         * pt.cc (value_dependent_expression_p) <case VAR_DECL>:
 911         Suppress conservative early exit for reference variables
 912         when DECL_HAS_VALUE_EXPR_P.
 913
 914 2023-04-25  Tobias Burnus  <tobias@codesourcery.com>
 915
 916         * parser.cc (cp_parser_omp_scan_loop_body): Handle
 917         zero exec statements before/after 'omp scan'.
 918
 919 2023-04-24  Patrick Palka  <ppalka@redhat.com>
 920
 921         * cp-tree.h (cp_expr_location): Define here.
 922         * tree.cc (cp_expr_location): Don't define here.
 923
 924 2023-04-21  Jason Merrill  <jason@redhat.com>
 925
 926         PR c++/108099
 927         * decl.cc (grokdeclarator): Don't clear typedef_decl after 'unsigned
 928         typedef' pedwarn.  Use c_common_signed_or_unsigned_type.  Also
 929         handle 'signed typedef'.
 930
 931 2023-04-21  Patrick Palka  <ppalka@redhat.com>
 932
 933         * tree.cc (cp_walk_subtrees): Avoid repeatedly dereferencing tp.
 934         <case DECLTYPE_TYPE>: Use cp_unevaluated and WALK_SUBTREE.
 935         <case ALIGNOF_EXPR etc>: Likewise.
 936
 937 2023-04-20  Patrick Palka  <ppalka@redhat.com>
 938
 939         * pt.cc (tsubst) <case TEMPLATE_TYPE_PARM>: Don't recurse when
 940         level lowering a cv-qualified type template parameter.  Remove
 941         recursive loop breaker in the level lowering case for constrained
 942         autos.  Use the TEMPLATE_PARM_DESCENDANTS cache in this case as
 943         well.
 944
 945 2023-04-20  Patrick Palka  <ppalka@redhat.com>
 946
 947         * constraint.cc (diagnose_trait_expr): Convert a TREE_VEC
 948         of arguments into a TREE_LIST for sake of pretty printing.
 949         * cxx-pretty-print.cc (pp_cxx_trait): Handle TREE_VEC
 950         instead of TREE_LIST of trailing variadic trait arguments.
 951         * method.cc (constructible_expr): Likewise.
 952         (is_xible_helper): Likewise.
 953         * parser.cc (cp_parser_trait): Represent trailing variadic trait
 954         arguments as a TREE_VEC instead of TREE_LIST.
 955         * pt.cc (value_dependent_expression_p): Handle TREE_VEC
 956         instead of TREE_LIST of trailing variadic trait arguments.
 957         * semantics.cc (finish_type_pack_element): Likewise.
 958         (check_trait_type): Likewise.
 959
 960 2023-04-20  Patrick Palka  <ppalka@redhat.com>
 961
 962         * tree.cc (strip_typedefs): Move TREE_LIST handling to
 963         strip_typedefs_expr.  Dispatch to strip_typedefs_expr for
 964         non-type 't'.
 965         <case TYPENAME_TYPE>: Remove manual dispatching to
 966         strip_typedefs_expr.
 967         <case TRAIT_TYPE>: Likewise.
 968         (strip_typedefs_expr): Replaces calls to strip_typedefs_expr
 969         with strip_typedefs throughout.  Don't dispatch to strip_typedefs
 970         for type 't'.
 971         <case TREE_LIST>: Replace this with the better version from
 972         strip_typedefs.
 973
 974 2023-04-19  Patrick Palka  <ppalka@redhat.com>
 975             Jonathan Wakely  <jwakely@redhat.com>
 976
 977         PR c++/100157
 978         * cp-trait.def (TYPE_PACK_ELEMENT): Define.
 979         * cp-tree.h (finish_trait_type): Add complain parameter.
 980         * cxx-pretty-print.cc (pp_cxx_trait): Handle
 981         CPTK_TYPE_PACK_ELEMENT.
 982         * parser.cc (cp_parser_constant_expression): Document default
 983         arguments.
 984         (cp_parser_trait): Handle CPTK_TYPE_PACK_ELEMENT.  Pass
 985         tf_warning_or_error to finish_trait_type.
 986         * pt.cc (tsubst) <case TRAIT_TYPE>: Handle non-type first
 987         argument.  Pass complain to finish_trait_type.
 988         * semantics.cc (finish_type_pack_element): Define.
 989         (finish_trait_type): Add complain parameter.  Handle
 990         CPTK_TYPE_PACK_ELEMENT.
 991         * tree.cc (strip_typedefs): Handle non-type first argument.
 992         Pass tf_warning_or_error to finish_trait_type.
 993         * typeck.cc (structural_comptypes) <case TRAIT_TYPE>: Use
 994         cp_tree_equal instead of same_type_p for the first argument.
 995
 996 2023-04-19  Patrick Palka  <ppalka@redhat.com>
 997
 998         PR c++/109556
 999         * pt.cc (try_class_unification): Don't ggc_free the copy of
1000         'targs'.
1001
1002 2023-04-19  Jason Merrill  <jason@redhat.com>
1003
1004         PR c++/108099
1005         * decl.cc (grokdeclarator): Keep typedef_decl for __int128_t.
1006
1007 2023-04-17  Patrick Palka  <ppalka@redhat.com>
1008
1009         PR c++/109531
1010         * pt.cc (tsubst) <case BOUND_TEMPLATE_TEMPLATE_PARM>:
1011         In the level-lowering case just use lookup_template_class
1012         to rebuild the bound ttp.
1013
1014 2023-04-15  Jason Merrill  <jason@redhat.com>
1015
1016         PR c++/109357
1017         * constexpr.cc (cxx_eval_constant_expression) [TARGET_EXPR]:
1018         Check for complex initializer.
1019
1020 2023-04-13  Patrick Palka  <ppalka@redhat.com>
1021
1022         PR c++/109420
1023         * decl.cc (make_typename_type): Also ignore non-types during the
1024         lookup if tag_type corresponds to an elaborated-type-specifier.
1025         * pt.cc (tsubst) <case TYPENAME_TYPE>: Pass class_type or
1026         enum_type as tag_type to make_typename_type accordingly instead
1027         of always passing typename_type.
1028
1029 2023-04-13  Jason Merrill  <jason@redhat.com>
1030
1031         PR c++/109277
1032         * semantics.cc (check_trait_type): Handle incomplete type directly.
1033         * typeck2.cc (cxx_incomplete_type_diagnostic): Remove assert.
1034
1035 2023-04-13  Jason Merrill  <jason@redhat.com>
1036
1037         * typeck2.cc (cxx_incomplete_type_diagnostic): Return bool.
1038         * cp-tree.h (cxx_incomplete_type_diagnostic): Adjust.
1039
1040 2023-04-12  Jakub Jelinek  <jakub@redhat.com>
1041
1042         * Make-lang.in (s-cp-module-version): New target.
1043         (cp/module.o): Depend on it.
1044         (MODULE_VERSION): Remove variable.
1045         (CFLAGS-cp/module.o): For -DMODULE_VERSION= argument just
1046         cat s-cp-module-version.
1047
1048 2023-04-09  Iain Sandoe  <iain@sandoe.co.uk>
1049
1050         * coroutines.cc (coro_rewrite_function_body): Ensure that added
1051         bind expressions have scope blocks.
1052
1053 2023-04-04  Jason Merrill  <jason@redhat.com>
1054
1055         PR c++/107484
1056         * decl2.cc (find_last_decl): Return early if DECL_USE_TEMPLATE.
1057
1058 2023-04-03  Patrick Palka  <ppalka@redhat.com>
1059
1060         PR c++/109300
1061         * decl.cc (cp_finish_decl): Diagnose ordinary auto deduction
1062         with no initializer, instead of asserting.
1063
1064 2023-04-01  Patrick Palka  <ppalka@redhat.com>
1065
1066         PR c++/109160
1067         * cp-tree.h (do_auto_deduction): Add defaulted tmpl parameter.
1068         * pt.cc (convert_template_argument): Pass 'in_decl' as 'tmpl' to
1069         do_auto_deduction.
1070         (tsubst_decl) <case VAR_/TYPE_DECL>: Pass 'tmpl' instead of 't' as
1071         'in_decl' to coerce_template_parms.
1072         (unify) <case TEMPLATE_PARM_INDEX>: Pass TPARMS_PRIMARY_TEMPLATE
1073         as 'tmpl' to do_auto_deduction.
1074         (do_auto_deduction): Document default arguments.  Rename local
1075         variable 'tmpl' to 'ctmpl'.  Use 'tmpl' to obtain a full set of
1076         template arguments for satisfaction in the adc_unify case.
1077
1078 2023-04-01  Patrick Palka  <ppalka@redhat.com>
1079
1080         PR c++/53164
1081         PR c++/105848
1082         * pt.cc (invalid_tparm_referent_p): Accept ADDR_EXPR of
1083         FUNCTION_DECL.
1084         (instantiate_class_template): Call mark_template_arguments_used.
1085         (tsubst_copy_and_build) <case CALL_EXPR>: Revert r13-995 change.
1086         (mark_template_arguments_used): Define.
1087         (instantiate_body): Call mark_template_arguments_used.
1088
1089 2023-04-01  Iain Sandoe  <iain@sandoe.co.uk>
1090
1091         PR c++/101118
1092         * coroutines.cc (flatten_await_stmt): Use the current count of
1093         promoted temporaries to build a unique name for the frame entries.
1094
1095 2023-03-30  Jason Merrill  <jason@redhat.com>
1096
1097         PR c++/105452
1098         * search.cc (type_context_for_name_lookup): New.
1099         (accessible_p): Handle anonymous union.
1100         * init.cc (maybe_instantiate_nsdmi_init): Use
1101         type_context_for_name_lookup.
1102         * parser.cc (cp_parser_class_specifier): Likewise.
1103         * cp-tree.h (type_context_for_name_lookup): Declare.
1104
1105 2023-03-30  Jason Merrill  <jason@redhat.com>
1106
1107         PR c++/105221
1108         * pt.cc (unify) [FUNCTION_TYPE]: Handle function pointer
1109         conversions.
1110
1111 2023-03-30  Jakub Jelinek  <jakub@redhat.com>
1112
1113         PR c++/109319
1114         * decl2.cc (grok_array_decl): After emitting a pedwarn for
1115         -Wcomma-subscript, if processing_template_decl set orig_index_exp
1116         to compound expr from orig_index_exp_list.
1117
1118 2023-03-30  Jason Merrill  <jason@redhat.com>
1119
1120         PR c++/107897
1121         PR c++/108887
1122         * decl2.cc (record_mangling): Use symtab_node::reset.
1123
1124 2023-03-30  Jakub Jelinek  <jakub@redhat.com>
1125
1126         PR c++/109278
1127         * call.cc (convert_like_internal): If pedwarn for extended float
1128         type conversions doesn't report anything, avoid calling
1129         maybe_inform_about_fndecl_for_bogus_argument_init.
1130
1131 2023-03-29  Jason Merrill  <jason@redhat.com>
1132
1133         PR c++/109321
1134         PR c++/109320
1135         * pt.cc (alias_ctad_tweaks): Rewrite deduced args.
1136         (type_targs_deducible_from): Handle null pack deduction.
1137
1138 2023-03-28  David Malcolm  <dmalcolm@redhat.com>
1139
1140         PR c/107002
1141         * parser.cc (cp_parser_binary_expression): Update for new param of
1142         check_for_xor_used_as_pow.
1143
1144 2023-03-28  Jakub Jelinek  <jakub@redhat.com>
1145
1146         PR c++/109309
1147         * contracts.cc: Include intl.h.
1148         (check_postcondition_result): Don't form diagnostics from two halves
1149         of an English message to allow translations.
1150
1151 2023-03-24  Patrick Palka  <ppalka@redhat.com>
1152
1153         PR c++/106969
1154         * parser.cc (cp_parser_class_specifier): Clear current_class_ptr
1155         and current_class_ref sooner, before parsing a class definition.
1156
1157 2023-03-24  Jason Merrill  <jason@redhat.com>
1158
1159         PR c++/105481
1160         * pt.cc (type_unification_real): Adjust for partial ordering.
1161
1162 2023-03-23  Jason Merrill  <jason@redhat.com>
1163
1164         PR c++/105996
1165         * typeck.cc (build_ptrmemfunc): Drop 0-offset optimization
1166         and location wrappers.
1167
1168 2023-03-23  Marek Polacek  <polacek@redhat.com>
1169
1170         PR c++/107532
1171         * call.cc (class_has_reference_member_p): New.
1172         (class_has_reference_member_p_r): New.
1173         (reference_like_class_p): Don't look for a specific constructor.
1174         Use a DFS walk with class_has_reference_member_p_r.
1175
1176 2023-03-23  Jason Merrill  <jason@redhat.com>
1177
1178         PR c++/109241
1179         * pt.cc (find_parameter_packs_r): Handle null TREE_BINFO.
1180
1181 2023-03-22  Jason Merrill  <jason@redhat.com>
1182
1183         PR c++/108390
1184         * pt.cc (unify): Use fold of build_nop instead of fold_convert.
1185
1186 2023-03-22  Jason Merrill  <jason@redhat.com>
1187
1188         PR c++/108795
1189         * semantics.cc (finish_id_expression_1): Check scope before
1190         returning id_expression.
1191
1192 2023-03-22  Alex Coplan  <alex.coplan@arm.com>
1193
1194         PR c++/109177
1195         * call.cc (build_over_call): Use make_temp_override to suppress
1196         both unavailable and deprecated warnings when calling
1197         build_addr_func.
1198
1199 2023-03-21  Jason Merrill  <jason@redhat.com>
1200
1201         PR c++/106890
1202         * init.cc (maybe_instantiate_nsdmi_init): Don't leave
1203         current_function_decl set to a constructor.
1204
1205 2023-03-20  Marek Polacek  <polacek@redhat.com>
1206
1207         PR c++/109159
1208         * call.cc (add_template_candidate_real): Add explicit decls to the
1209         set of candidates when the initializer is a braced-init-list.
1210
1211 2023-03-20  Jakub Jelinek  <jakub@redhat.com>
1212
1213         PR c++/109164
1214         * cp-tree.h (var_needs_tls_wrapper): Declare.
1215         * decl2.cc (var_needs_tls_wrapper): No longer static.
1216         * decl.cc (cp_finish_decl): Clear TREE_READONLY on TLS variables
1217         for which a TLS wrapper will be needed.
1218
1219 2023-03-17  Jason Merrill  <jason@redhat.com>
1220
1221         PR c++/108975
1222         * lambda.cc (prune_lambda_captures): Don't bother in a template.
1223
1224 2023-03-17  Jason Merrill  <jason@redhat.com>
1225
1226         PR c++/109172
1227         * except.cc (build_throw): Check dtor access.
1228
1229 2023-03-17  Jason Merrill  <jason@redhat.com>
1230
1231         PR c++/69410
1232         * friend.cc (do_friend): Handle namespace as scope argument.
1233         * decl.cc (grokdeclarator): Pass down in_namespace.
1234
1235 2023-03-16  Jason Merrill  <jason@redhat.com>
1236
1237         PR c++/105809
1238         * init.cc (get_nsdmi): Split out...
1239         (maybe_instantiate_nsdmi_init): ...this function.
1240         * cp-tree.h: Declare it.
1241         * pt.cc (tsubst_expr): Use it.
1242
1243 2023-03-16  Jason Merrill  <jason@redhat.com>
1244
1245         PR c++/108242
1246         * pt.cc (tsubst_expr) [TAG_DEFN]: Handle partial instantiation.
1247
1248 2023-03-16  Jason Merrill  <jason@redhat.com>
1249
1250         PR c++/101869
1251         * semantics.cc (finish_qualified_id_expr): Don't try to build a
1252         pointer-to-member if the scope is an enumeration.
1253
1254 2023-03-16  Patrick Palka  <ppalka@redhat.com>
1255
1256         PR c++/109030
1257         * constexpr.cc (maybe_constant_init_1): For an unevaluated
1258         non-manifestly-constant operand, don't constant evaluate
1259         and instead call fold_to_constant as in maybe_constant_value.
1260
1261 2023-03-16  Patrick Palka  <ppalka@redhat.com>
1262
1263         PR c++/100288
1264         * constraint.cc (satisfaction_cache::get): Relax overly strict
1265         checking assert in the constraint recursion case.
1266
1267 2023-03-16  Jason Merrill  <jason@redhat.com>
1268
1269         PR c++/105406
1270         * coroutines.cc (build_co_await): Handle lvalue 'o'.
1271
1272 2023-03-15  Jason Merrill  <jason@redhat.com>
1273
1274         PR c++/103871
1275         PR c++/98056
1276         * typeck.cc (cp_build_modify_expr): Allow array initialization of
1277         DECL_ARTIFICIAL variable.
1278
1279 2023-03-15  Marek Polacek  <polacek@redhat.com>
1280
1281         PR c++/107280
1282         * constexpr.cc (cxx_eval_store_expression): Strip location wrappers.
1283
1284 2023-03-15  Jason Merrill  <jason@redhat.com>
1285
1286         PR c++/58538
1287         * semantics.cc (check_template_template_default_arg): Check
1288         maybe_get_template_decl_from_type_decl.
1289
1290 2023-03-15  Jason Merrill  <jason@redhat.com>
1291
1292         PR c++/108179
1293         PR c++/104107
1294         PR c++/95036
1295         * pt.cc (coerce_template_template_parms): Use args from
1296         DECL_CONTEXT (arg_tmpl) instead of outer_args.
1297
1298 2023-03-15  Jason Merrill  <jason@redhat.com>
1299
1300         PR c++/108179
1301         * pt.cc (coerce_template_template_parms): Take the arg and parm
1302         templates directly.
1303         (coerce_template_template_parm): Adjust.
1304         (template_template_parm_bindings_ok_p): Adjust.
1305         (convert_template_argument): Adjust.
1306
1307 2023-03-14  Patrick Palka  <ppalka@redhat.com>
1308
1309         PR c++/96830
1310         * pt.cc (push_inline_template_parms_recursive): Set
1311         TEMPLATE_PARMS_CONSTRAINTS.
1312         (push_template_decl): For an out-of-line declaration, verify
1313         constraints for each enclosing template scope match those of the
1314         original template declaratation.
1315
1316 2023-03-14  Patrick Palka  <ppalka@redhat.com>
1317
1318         PR c++/96830
1319         * pt.cc (redeclare_class_template): Add missing "of" in
1320         constraint mismatch diagnostic.
1321         (tsubst_friend_class): For an already declared class template,
1322         substitute and pass the friend declaration's constraints to
1323         redeclare_class_template instead of passing the existing
1324         template's constraints.
1325
1326 2023-03-14  Jason Merrill  <jason@redhat.com>
1327
1328         PR c++/108468
1329         * pt.cc (unify_pack_expansion): Check that TPARMS_PRIMARY_TEMPLATE
1330         is non-null.
1331
1332 2023-03-14  Jason Merrill  <jason@redhat.com>
1333
1334         PR c++/107310
1335         * cp-gimplify.cc (genericize_if_stmt): Restore folding
1336         of constant conditions.
1337
1338 2023-03-14  Jakub Jelinek  <jakub@redhat.com>
1339
1340         PR c++/109096
1341         * tree.cc (record_has_unique_obj_representations): Ignore unnamed
1342         bitfields.
1343
1344 2023-03-13  Jason Merrill  <jason@redhat.com>
1345
1346         PR c++/107128
1347         * parser.cc (cp_parser_set_decl_spec_type): Use
1348         redefined_builtin_type for extended_float_type_p.
1349
1350 2023-03-13  Marek Polacek  <polacek@redhat.com>
1351
1352         PR c++/107532
1353         * call.cc (reference_like_class_p): Check for std::span.
1354
1355 2023-03-10  Jakub Jelinek  <jakub@redhat.com>
1356
1357         PR c++/107558
1358         * decl.cc (cp_finish_decl): Don't clear TREE_READONLY on
1359         automatic non-aggregate variables just because of
1360         -fmerge-all-constants.
1361
1362 2023-03-10  Jakub Jelinek  <jakub@redhat.com>
1363
1364         PR c++/109039
1365         * class.cc (end_of_class): For bit-fields, instead of computing
1366         offset as sum of byte_position (field) and DECL_SIZE_UNIT (field),
1367         compute it as sum of bit_position (field) and DECL_SIZE (field)
1368         divided by BITS_PER_UNIT rounded up.
1369
1370 2023-03-10  Jason Merrill  <jason@redhat.com>
1371
1372         PR c++/108972
1373         * lambda.cc (compare_lambda_template_head): Check more
1374         for error_mark_node.
1375
1376 2023-03-10  Jason Merrill  <jason@redhat.com>
1377
1378         PR c++/108566
1379         * mangle.cc (anon_aggr_naming_decl): New.
1380         (write_unqualified_name): Use it.
1381
1382 2023-03-10  Jakub Jelinek  <jakub@redhat.com>
1383
1384         PR c/108079
1385         * decl.cc (poplevel): Suppress OPT_Wunused_variable warning
1386         after diagnosing it.
1387
1388 2023-03-10  Jason Merrill  <jason@redhat.com>
1389
1390         PR c++/108099
1391         * decl.cc (grokdeclarator): Handle non-typedef typedef_decl.
1392
1393 2023-03-10  Jason Merrill  <jason@redhat.com>
1394
1395         PR c++/108542
1396         * class.cc (instantiate_type): Strip location wrapper.
1397
1398 2023-03-09  Jason Merrill  <jason@redhat.com>
1399
1400         PR c++/108773
1401         * init.cc (find_allocator_temps_r): New.
1402         (combine_allocator_temps): Replace find_allocator_temp.
1403         (build_vec_init): Adjust.
1404
1405 2023-03-09  Jason Merrill  <jason@redhat.com>
1406
1407         DR 2664
1408         PR c++/102529
1409         * pt.cc (alias_ctad_tweaks): Continue after deduction failure.
1410
1411 2023-03-09  Jason Merrill  <jason@redhat.com>
1412             Michael Spertus  <mike@spertus.com>
1413
1414         PR c++/105841
1415         * pt.cc (corresponding_template_parameter_list): Split out...
1416         (corresponding_template_parameter): ...from here.
1417         (find_template_parameters): Factor out...
1418         (find_template_parameter_info::find_in): ...this function.
1419         (find_template_parameter_info::find_in_recursive): New.
1420         (find_template_parameter_info::found): New.
1421         (alias_ctad_tweaks): Only add parms used in the deduced args.
1422
1423 2023-03-09  Jason Merrill  <jason@redhat.com>
1424
1425         * cp-trait.def (IS_DEDUCIBLE): Add space to name.
1426
1427 2023-03-09  Jason Merrill  <jason@redhat.com>
1428
1429         PR c++/105841
1430         * cp-trait.def (IS_DEDUCIBLE): New.
1431         * cxx-pretty-print.cc (pp_cxx_trait): Handle non-type.
1432         * parser.cc (cp_parser_trait): Likewise.
1433         * tree.cc (cp_tree_equal): Likewise.
1434         * pt.cc (tsubst_copy_and_build): Likewise.
1435         (type_targs_deducible_from): New.
1436         (alias_ctad_tweaks): Use it.
1437         * semantics.cc (trait_expr_value): Handle CPTK_IS_DEDUCIBLE.
1438         (finish_trait_expr): Likewise.
1439         * constraint.cc (diagnose_trait_expr): Likewise.
1440         * cp-tree.h (type_targs_deducible_from): Declare.
1441
1442 2023-03-07  Jason Merrill  <jason@redhat.com>
1443
1444         PR c++/108526
1445         PR c++/106651
1446         * pt.cc (tsubst_function_decl): Don't replace the closure
1447         parameter if DECL_STATIC_FUNCTION_P.
1448
1449 2023-03-07  Marek Polacek  <polacek@redhat.com>
1450
1451         PR c++/107532
1452         * call.cc (reference_like_class_p): New.
1453         (do_warn_dangling_reference): Add new bool parameter.  See through
1454         reference_like_class_p.
1455
1456 2023-03-07  Jakub Jelinek  <jakub@redhat.com>
1457
1458         PR c++/109042
1459         * rtti.cc (emit_support_tinfo_1): Don't assert that last
1460         unemitted_tinfo_decls element is tinfo, instead pop from it only in
1461         that case.
1462         * decl2.cc (c_parse_final_cleanups): Don't call emit_tinfo_decl
1463         for unemitted_tinfO_decls which have already non-NULL DECL_INITIAL.
1464
1465 2023-03-07  Marek Polacek  <polacek@redhat.com>
1466
1467         PR c++/109030
1468         * constexpr.cc (cxx_eval_call_expression): Relax assert.
1469
1470 2023-03-07  Marek Polacek  <polacek@redhat.com>
1471
1472         PR c++/107939
1473         * constexpr.cc (potential_constant_expression_1) <case CALL_EXPR>: Pass
1474         'any' when recursing on a VAR_DECL and not a pointer to function.
1475
1476 2023-03-04  Jakub Jelinek  <jakub@redhat.com>
1477
1478         PR c++/108702
1479         * constexpr.cc: Include toplev.h.
1480         (cxx_eval_constant_expression) <case DECL_EXPR>: When seeing a local
1481         static initialized by constant expression outside of a constexpr
1482         function which has been deferred by make_rtl_for_nonlocal_decl,
1483         call rest_of_decl_compilation on it.
1484
1485 2023-03-03  Patrick Palka  <ppalka@redhat.com>
1486
1487         PR c++/108998
1488         * pt.cc (el_data::skipped_trees): New data member.
1489         (extract_locals_r): Push to skipped_trees any unevaluated
1490         contexts that we skipped over.
1491         (extract_local_specs): For the second walk, start from each
1492         tree in skipped_trees.
1493
1494 2023-03-03  Alexandre Oliva  <oliva@adacore.com>
1495
1496         * typeck.cc (cp_build_binary_op): Suppress redundant warning
1497         for pfn null test in pmfn test with vbit-in-delta.
1498
1499 2023-03-02  Jakub Jelinek  <jakub@redhat.com>
1500
1501         PR target/108883
1502         * cp-tree.h (enum cp_tree_index): Remove CPTI_FALLBACK_DFLOAT*_TYPE
1503         enumerators.
1504         (fallback_dfloat32_type, fallback_dfloat64_type,
1505         fallback_dfloat128_type): Remove.
1506         * rtti.cc (emit_support_tinfo_1): If not emitted already, call
1507         emit_tinfo_decl and remove from unemitted_tinfo_decls right away.
1508         (emit_support_tinfos): Move &dfloat*_type_node from fundamentals array
1509         into new fundamentals_with_fallback array.  Call emit_support_tinfo_1
1510         on elements of that array too, with the difference that if
1511         the type is NULL, use a fallback REAL_TYPE for it temporarily.
1512         Drop the !targetm.decimal_float_supported_p () handling.  Call
1513         targetm.emit_support_tinfos at the end.
1514         * mangle.cc (write_builtin_type): Remove references to
1515         fallback_dfloat*_type.  Handle bfloat16_type_node mangling.
1516
1517 2023-03-02  Patrick Palka  <ppalka@redhat.com>
1518
1519         PR c++/108243
1520         PR c++/97553
1521         * cp-gimplify.cc (cp_fully_fold): Add an internal overload that
1522         additionally takes and propagate an mce_value parameter, and
1523         define the existing public overload in terms of it.
1524         (cp_fully_fold_init): Pass mce_false to cp_fully_fold.
1525
1526 2023-03-02  Patrick Palka  <ppalka@redhat.com>
1527
1528         PR c++/108243
1529         * constexpr.cc (maybe_constant_init_1): Override
1530         manifestly_const_eval to true if is_static.
1531
1532 2023-03-02  Jakub Jelinek  <jakub@redhat.com>
1533
1534         PR debug/108716
1535         * cp-gimplify.cc (cp_genericize_r) <case USING_STMT>: Set
1536         DECL_SOURCE_LOCATION on IMPORTED_DECL to expression location
1537         of USING_STMT or input_location.
1538
1539 2023-03-02  Marek Polacek  <polacek@redhat.com>
1540
1541         PR c++/106259
1542         * parser.cc (class_decl_loc_t::diag_mismatched_tags): If the first
1543         lookup of SPEC didn't find anything, try to look for
1544         most_general_template.
1545
1546 2023-03-02  Jakub Jelinek  <jakub@redhat.com>
1547
1548         PR c++/105839
1549         * parser.cc (cp_convert_omp_range_for): Allow in assert
1550         decomp_first_name without DECL_HAS_VALUE_EXPR_P if it has
1551         error_mark_node type.
1552         (cp_finish_omp_range_for): Don't set DECL_HAS_VALUE_EXPR_P back
1553         on decls which have error_mark_node type.
1554
1555 2023-03-01  Marek Polacek  <polacek@redhat.com>
1556
1557         PR c++/107574
1558         * constexpr.cc (cxx_eval_constant_expression): Emit an error when
1559         a PTRMEM_CST cannot be evaluated.
1560
1561 2023-03-01  Patrick Palka  <ppalka@redhat.com>
1562
1563         * pt.cc (tsubst_scope): Define.
1564         (tsubst_decl) <case USING_DECL>: Call tsubst_scope instead of
1565         calling tsubst_scope with tf_qualifying_scope set.
1566         (tsubst_qualified_id): Call tsubst_scope instead of
1567         calling tsubst with tf_qualifying_scope set.
1568         (tsubst_copy): Immediately delegate to tsubst for all TYPE_P
1569         trees.  Remove tf_qualifying_scope manipulation.
1570         <case SCOPE_REF>: Call tsubst_scope instead of calling
1571         tsubst with tf_qualifying_scope set.
1572
1573 2023-03-01  Patrick Palka  <ppalka@redhat.com>
1574             Jason Merrill  <jason@redhat.com>
1575
1576         PR c++/108219
1577         PR c++/108218
1578         * constexpr.cc (fold_to_constant): Define.
1579         (maybe_constant_value): Move up early exit test for unevaluated
1580         operands.  Try reducing an unevaluated operand to a constant via
1581         fold_to_constant.
1582         (fold_non_dependent_expr_template): Add early exit test for
1583         CONSTANT_CLASS_P nodes.  Try reducing an unevaluated operand
1584         to a constant via fold_to_constant.
1585         * cp-tree.h (fold_to_constant): Declare.
1586
1587 2023-03-01  Jakub Jelinek  <jakub@redhat.com>
1588
1589         PR c++/108606
1590         * constexpr.cc (potential_constant_expression_1) <case DECL_EXPR>:
1591         Only recurse on DECL_INITIAL (tmp) if tmp is a VAR_DECL, otherwise
1592         just return true.
1593
1594 2023-02-28  Patrick Palka  <ppalka@redhat.com>
1595
1596         PR c++/108848
1597         * pt.cc (finish_template_variable): Move dependence check
1598         to here from ...
1599         (lookup_and_finish_template_variable): ... here.
1600         * semantics.cc (finish_id_expression_1): Call
1601         finish_template_variable sooner, before (and regardless of) the
1602         type_dependent_expression_p test.
1603
1604 2023-02-28  Marek Polacek  <polacek@redhat.com>
1605
1606         PR c++/108550
1607         * pt.cc (lookup_and_finish_template_variable): Clear tf_partial.
1608
1609 2023-02-20  Marek Polacek  <polacek@redhat.com>
1610
1611         PR c++/101073
1612         * constexpr.cc (cxx_eval_call_expression): Replace shortcutting trivial
1613         constructor/op= with a checking assert.
1614
1615 2023-02-20  Marek Polacek  <polacek@redhat.com>
1616
1617         PR c++/108829
1618         * pt.cc (prepend_one_capture): Set LAMBDA_CAPTURE_EXPLICIT_P.
1619         (tsubst_lambda_expr): Pass LAMBDA_CAPTURE_EXPLICIT_P to
1620         prepend_one_capture.
1621
1622 2023-02-18  Jason Merrill  <jason@redhat.com>
1623
1624         DR 2518
1625         PR c++/52809
1626         PR c++/53638
1627         PR c++/87389
1628         PR c++/89741
1629         PR c++/92099
1630         PR c++/104041
1631         PR c++/104691
1632         * semantics.cc (finish_static_assert): Don't diagnose in
1633         template context.
1634
1635 2023-02-17  Patrick Palka  <ppalka@redhat.com>
1636
1637         PR c++/108243
1638         PR c++/97553
1639         * cp-gimplify.cc (enum fold_flags): Define.
1640         (fold_flags_t): Declare.
1641         (cp_fold_data::genericize): Replace this data member with ...
1642         (cp_fold_data::fold_flags): ... this.
1643         (cp_fold_r): Adjust use of cp_fold_data and calls to cp_fold.
1644         (cp_fold_function): Likewise.
1645         (cp_fold_maybe_rvalue): Add an internal overload that
1646         additionally takes and propagates a fold_flags_t parameter, and
1647         define the existing public overload in terms of it.
1648         (cp_fold_rvalue): Likewise.
1649         (cp_fully_fold_init): Adjust use of cp_fold_data.
1650         (fold_cache): Replace with ...
1651         (fold_caches): ... this 2-element array of caches.
1652         (get_fold_cache): Define.
1653         (clear_fold_cache): Adjust.
1654         (cp_fold): Add fold_flags_t parameter.  Use get_fold_cache.
1655         Pass flags to calls to cp_fold, cp_fold_rvalue and
1656         cp_fold_maybe_rvalue.
1657         <case CALL_EXPR>: If ff_mce_false is set, fold
1658         __builtin_is_constant_evaluated to false and pass mce_false to
1659         maybe_constant_value.
1660
1661 2023-02-17  Patrick Palka  <ppalka@redhat.com>
1662
1663         * constexpr.cc (constexpr_call::manifestly_const_eval): Give
1664         it type int instead of bool.
1665         (constexpr_ctx::manifestly_const_eval): Give it type mce_value
1666         instead of bool.
1667         (cxx_eval_builtin_function_call): Adjust after making
1668         manifestly_const_eval tri-state.
1669         (cxx_eval_call_expression): Likewise.
1670         (cxx_eval_binary_expression): Likewise.
1671         (cxx_eval_conditional_expression): Likewise.
1672         (cxx_eval_constant_expression): Likewise.
1673         (cxx_eval_outermost_constant_expr): Likewise.
1674         (cxx_constant_value): Likewise.
1675         (cxx_constant_dtor): Likewise.
1676         (maybe_constant_value): Give manifestly_const_eval parameter
1677         type mce_value instead of bool and adjust accordingly.
1678         (fold_non_dependent_expr_template): Adjust call
1679         to cxx_eval_outermost_constant_expr.
1680         (fold_non_dependent_expr): Likewise.
1681         (maybe_constant_init_1): Likewise.
1682         * constraint.cc (satisfy_atom): Adjust call to
1683         maybe_constant_value.
1684         * cp-tree.h (enum class mce_value): Define.
1685         (maybe_constant_value): Adjust manifestly_const_eval parameter
1686         type and default argument.
1687         * decl.cc (compute_array_index_type_loc): Adjust call to
1688         maybe_constant_value.
1689         * pt.cc (convert_nontype_argument): Likewise.
1690
1691 2023-02-16  Patrick Palka  <ppalka@redhat.com>
1692
1693         PR c++/107773
1694         * cp-tree.h (enum tsubst_flags): New flag tf_qualifying_scope.
1695         * decl.cc (make_typename_type): Use lookup_member instead of
1696         lookup_field.  If tf_qualifying_scope is set, pass want_type=true
1697         instead of =false to lookup_member.  Generalize format specifier
1698         in diagnostic to handle both type and non-type bindings.
1699         * pt.cc (tsubst_aggr_type_1): Clear tf_qualifying_scope.  Tidy
1700         the function.
1701         (tsubst_decl) <case USING_DECL>: Set tf_qualifying_scope when
1702         substituting USING_DECL_SCOPE.
1703         (tsubst): Clear tf_qualifying_scope right away and remember if
1704         it was set.  Do the same for tf_tst_ok sooner.
1705         <case TYPENAME_TYPE>: Set tf_qualifying_scope when substituting
1706         TYPE_CONTEXT.  Pass tf_qualifying_scope to make_typename_type
1707         if it was set.
1708         (tsubst_qualified_id): Set tf_qualifying_scope when substituting
1709         the scope.
1710         (tsubst_copy): Clear tf_qualifying_scope and remember if it was
1711         set.
1712         <case SCOPE_REF>: Set tf_qualifying_scope when substituting the
1713         scope.
1714         <case *_TYPE>: Pass tf_qualifying_scope to tsubst if it was set.
1715         * search.cc (lookup_member): Document default argument.
1716
1717 2023-02-16  Patrick Palka  <ppalka@redhat.com>
1718
1719         * cp-tree.h: Mechanically drop static from static inline
1720         functions via s/^static inline/inline/g.
1721
1722 2023-02-15  Marek Polacek  <polacek@redhat.com>
1723
1724         PR c++/106675
1725         * call.cc (joust_maybe_elide_copy): Return false for ck_ambig.
1726
1727 2023-02-10  Marek Polacek  <polacek@redhat.com>
1728
1729         PR c++/107079
1730         * call.cc (set_up_extended_ref_temp): Pass var to maybe_constant_init.
1731
1732 2023-02-09  Tobias Burnus  <tobias@codesourcery.com>
1733
1734         * parser.cc (cp_parser_omp_allocate): Parse align
1735         clause and check for restrictions.
1736
1737 2023-02-09  Jakub Jelinek  <jakub@redhat.com>
1738
1739         PR c++/108698
1740         * mangle.cc (write_expression, write_template_arg): Handle
1741         EXCESS_PRECISION_EXPR with REAL_CST operand as
1742         write_template_arg_literal on fold_convert of the REAL_CST
1743         to EXCESS_PRECISION_EXPR type.
1744
1745 2023-02-06  Patrick Palka  <ppalka@redhat.com>
1746
1747         PR c++/107461
1748         * cp-tree.h (call_expr_dependent_name): Declare.
1749         * pt.cc (iterative_hash_template_arg) <case CALL_EXPR>: Use
1750         call_expr_dependent_name instead of dependent_name.
1751         * tree.cc (call_expr_dependent_name): Define.
1752         (called_fns_equal): Adjust to take two CALL_EXPRs instead of
1753         CALL_EXPR_FNs thereof.  Use call_expr_dependent_name instead
1754         of dependent_name.
1755         (cp_tree_equal) <case CALL_EXPR>: Adjust call to called_fns_equal.
1756
1757 2023-02-03  Marek Polacek  <polacek@redhat.com>
1758
1759         PR c++/108158
1760         * constexpr.cc (cxx_eval_array_reference): Don't replace
1761         new_ctx.object.
1762
1763 2023-02-03  Patrick Palka  <ppalka@redhat.com>
1764
1765         PR c++/107461
1766         * semantics.cc (finish_call_expr): Strip ADDR_EXPR from
1767         the selected callee during overload set pruning.
1768
1769 2023-02-03  Patrick Palka  <ppalka@redhat.com>
1770
1771         PR c++/96745
1772         * class.cc (check_methods): Diagnose an unviable OVERLOAD
1773         set for CLASSTYPE_DESTRUCTOR differently from an ambiguous one.
1774         Then prune the OVERLOAD to a single function.
1775         (check_bases_and_members): Handle CLASSTYPE_DESTRUCTOR being
1776         an OVERLOAD when calling deduce_noexcept_on_destructor.
1777         Document why it has to be called before check_methods.
1778
1779 2023-02-03  Patrick Palka  <ppalka@redhat.com>
1780
1781         PR c++/108579
1782         * class.cc (check_methods): Swap order of constraints_satisfied_p
1783         and copy/move_fn_p tests.
1784
1785 2023-02-01  Marek Polacek  <polacek@redhat.com>
1786
1787         PR c++/107755
1788         * call.cc (build_new_op): Don't call warn_logical_operator when
1789         processing a template.
1790
1791 2023-02-01  Jakub Jelinek  <jakub@redhat.com>
1792
1793         PR c++/108607
1794         * constexpr.cc (cxx_eval_constant_expression): Handle OMP_*
1795         and OACC_* constructs as non-constant.
1796         (potential_constant_expression_1): Handle OMP_SCAN and OMP_SCOPE.
1797
1798 2023-02-01  Jason Merrill  <jason@redhat.com>
1799
1800         * class.cc (note_name_declared_in_class): Change from permerror to
1801         -Wchanges-meaning pedwarn, forcing -pedantic-errors for most cases.
1802
1803 2023-01-31  Jason Merrill  <jason@redhat.com>
1804
1805         PR c++/108559
1806         * cp-gimplify.cc (any_non_eliding_target_exprs): New.
1807         (cp_genericize_init): Check it.
1808
1809 2023-01-31  Marek Polacek  <polacek@redhat.com>
1810
1811         PR c++/107593
1812         PR c++/108597
1813         * cp-tree.h (instantiation_dependent_expression_p): Don't
1814         declare here.
1815
1816 2023-01-26  Marek Polacek  <polacek@redhat.com>
1817
1818         PR c++/105300
1819         * parser.cc: Remove unnecessary forward declarations.
1820         (cp_parser_string_literal): New wrapper.
1821         (cp_parser_string_literal_common): Renamed from
1822         cp_parser_string_literal.  Add a bool parameter.  Give an error when
1823         UDLs are not permitted.
1824         (cp_parser_userdef_string_literal): New wrapper.
1825         (finish_userdef_string_literal): Renamed from
1826         cp_parser_userdef_string_literal.
1827         (cp_parser_primary_expression): Call cp_parser_userdef_string_literal
1828         instead of cp_parser_string_literal.
1829         (cp_parser_linkage_specification): Move a variable declaration closer
1830         to its first use.
1831         (cp_parser_static_assert): Likewise.
1832         (cp_parser_operator): Call cp_parser_userdef_string_literal instead of
1833         cp_parser_string_literal.
1834         (cp_parser_asm_definition): Move a variable declaration closer to its
1835         first use.
1836         (cp_parser_asm_specification_opt): Move variable declarations closer to
1837         their first use.
1838         (cp_parser_asm_operand_list): Likewise.
1839         (cp_parser_asm_clobber_list): Likewise.
1840
1841 2023-01-26  Jakub Jelinek  <jakub@redhat.com>
1842
1843         PR c++/108503
1844         * parser.cc (cp_convert_omp_range_for): If cp_finish_decomp has been
1845         called in !processing_template_decl with processing_template_decl
1846         temporarily set, clear DECL_HAS_VALUE_EXPR_P on the vars temporarily.
1847         (cp_finish_omp_range_for): And set it back again here.
1848
1849 2023-01-25  Jakub Jelinek  <jakub@redhat.com>
1850
1851         PR c++/108525
1852         * mangle.cc (write_closure_type_name): Don't assume all
1853         lambda operator() fns are methods.
1854
1855 2023-01-24  Jason Merrill  <jason@redhat.com>
1856
1857         PR c++/108504
1858         * parser.cc (cp_lexer_new_main): Pass C_LEX_STRING_NO_JOIN for first
1859         token, too.
1860
1861 2023-01-24  Jason Merrill  <jason@redhat.com>
1862
1863         PR c++/108526
1864         * pt.cc (tsubst_function_decl): Handle static lambda.
1865
1866 2023-01-24  Jakub Jelinek  <jakub@redhat.com>
1867
1868         PR c++/108474
1869         * cp-gimplify.cc (cp_fold_r): Revert 2023-01-19 changes.
1870
1871 2023-01-24  Jason Merrill  <jason@redhat.com>
1872
1873         PR c++/107303
1874         PR c++/107329
1875         * cp-gimplify.cc (cp_fold_r) [TARGET_EXPR]: In case of double
1876         TARGET_EXPR, keep the outer one instead of the inner one.
1877         (maybe_replace_decl): New.
1878
1879 2023-01-23  Jason Merrill  <jason@redhat.com>
1880
1881         PR c++/107267
1882         * cp-gimplify.cc (cp_gimplify_init_expr): Allow unexpected elision
1883         of trivial types.
1884
1885 2023-01-23  Marek Polacek  <polacek@redhat.com>
1886
1887         PR c++/107797
1888         * cvt.cc (ocp_convert): copy_warning when creating a new
1889         COMPOUND_EXPR.
1890         * init.cc (build_new_1): Suppress -Wunused-value on
1891         compiler-generated COMPOUND_EXPRs.
1892
1893 2023-01-23  Jason Merrill  <jason@redhat.com>
1894
1895         PR c++/108195
1896         * call.cc (build_user_type_conversion_1): Check whether the
1897         iterators also find a list ctor.
1898
1899 2023-01-23  Jason Merrill  <jason@redhat.com>
1900
1901         PR c++/108496
1902         * decl.cc (grokdeclarator): Check whether DECL_RESULT is already
1903         set.
1904
1905 2023-01-23  Jason Merrill  <jason@redhat.com>
1906
1907         PR c++/53288
1908         DR 1299
1909         * call.cc (extend_ref_init_temps_1): Handle ptrmem expression.
1910
1911 2023-01-19  Jakub Jelinek  <jakub@redhat.com>
1912
1913         PR c++/108437
1914         * cp-tree.h (keep_unused_object_arg): Declare.
1915         * call.cc (keep_unused_object_arg): No longer static.
1916         * tree.cc (build_min_non_dep_op_overload): Handle ARRAY_REF
1917         with overload being static member function.
1918
1919 2023-01-19  Jakub Jelinek  <jakub@redhat.com>
1920
1921         PR c++/53932
1922         * cp-gimplify.cc (cp_fold_r): During cp_fully_fold_init replace
1923         DECL_ANON_UNION_VAR_P VAR_DECLs with their corresponding
1924         DECL_VALUE_EXPR.
1925
1926 2023-01-16  Jakub Jelinek  <jakub@redhat.com>
1927
1928         PR c++/105593
1929         * decl.cc (cp_finish_decl): Check warning_enabled_at
1930         at the DECL_SOURCE_LOCATION (decl) for OPT_Winit_self instead
1931         of warn_init_self.
1932
1933 2023-01-14  Jakub Jelinek  <jakub@redhat.com>
1934
1935         PR c++/108365
1936         * typeck.cc (cp_build_binary_op): Use may_shorten_divmod for integral
1937         division or modulo.
1938
1939 2023-01-13  Jakub Jelinek  <jakub@redhat.com>
1940
1941         PR c++/108285
1942         * cvt.cc (cp_convert_and_check): For EXCESS_PRECISION_EXPR
1943         use its operand except that for warning purposes use the original
1944         EXCESS_PRECISION_EXPR.
1945         * call.cc (convert_like_internal): Only look through
1946         EXCESS_PRECISION_EXPR when calling cp_convert, not when calling
1947         cp_convert_and_check.
1948
1949 2023-01-09  Jakub Jelinek  <jakub@redhat.com>
1950
1951         PR c++/105838
1952         PR c++/108047
1953         PR c++/108266
1954         * call.cc (maybe_init_list_as_range): Always return NULL_TREE if
1955         processing_template_decl.
1956
1957 2023-01-05  Patrick Palka  <ppalka@redhat.com>
1958
1959         PR c++/108275
1960         * parser.cc (cp_parser_class_head): Use dk_deferred instead of
1961         dk_no_check when parsing the class name.
1962
1963 2023-01-05  Jakub Jelinek  <jakub@redhat.com>
1964
1965         PR c++/108286
1966         * semantics.cc (finish_omp_target_clauses): Ignore clauses other than
1967         OMP_CLAUSE_MAP.
1968
1969 2023-01-04  Patrick Palka  <ppalka@redhat.com>
1970
1971         PR c++/108282
1972         * decl2.cc (mark_single_function): Ignore mark_used failure
1973         only in a non-SFINAE context rather than in a SFINAE one.
1974
1975 2023-01-04  Jakub Jelinek  <jakub@redhat.com>
1976
1977         PR c++/108206
1978         * decl.cc (merge_default_template_args): Return false if either
1979         new_parm or old_parm are erroneous.
1980
1981 \f
1982 Copyright (C) 2023 Free Software Foundation, Inc.
1983
1984 Copying and distribution of this file, with or without modification,
1985 are permitted in any medium without royalty provided the copyright
1986 notice and this notice are preserved.