gcc/cp/ChangeLog

   1 2023-05-01  Jason Merrill  <jason@redhat.com>
   2
   3         PR c++/109666
   4         * name-lookup.cc (maybe_push_to_top_level)
   5         (maybe_pop_from_top_level): Split out...
   6         * pt.cc (instantiate_body): ...from here.
   7         * init.cc (maybe_instantiate_nsdmi_init): Use them.
   8         * name-lookup.h: Declare them..
   9
  10 2023-04-28  Eugene Rozenfeld  <erozen@microsoft.com>
  11
  12         * Make-lang.in: Merge perf data collected when compiling cc1plus and runtime libraries
  13
  14 2023-04-27  Jason Merrill  <jason@redhat.com>
  15
  16         * call.cc (print_conversion_rejection): Use iloc_sentinel.
  17
  18 2023-04-27  Jason Merrill  <jason@redhat.com>
  19
  20         PR c++/61445
  21         * pt.cc (instantiate_decl): Assert !defer_ok for local
  22         class members.
  23
  24 2023-04-26  Jason Merrill  <jason@redhat.com>
  25
  26         * init.cc (nsdmi_inst): Remove.
  27         (maybe_instantiate_nsdmi_init): Use DECL_INITIAL instead.
  28
  29 2023-04-26  Jason Merrill  <jason@redhat.com>
  30
  31         PR c++/109241
  32         * pt.cc (instantiate_class_template): Do partially instantiate.
  33         (tsubst_expr): Do call complete_type for partial instantiations.
  34
  35 2023-04-26  Jason Merrill  <jason@redhat.com>
  36
  37         PR c++/69836
  38         * pt.cc (regenerate_decl_from_template): Skip unique friends.
  39
  40 2023-04-26  Patrick Palka  <ppalka@redhat.com>
  41
  42         * pt.cc (most_specialized_partial_spec): Exit early when
  43         DECL_TEMPLATE_SPECIALIZATIONS is empty.  Move local variable
  44         declarations closer to their first use.  Remove redundant
  45         flag_concepts test.  Remove redundant forward declaration.
  46
  47 2023-04-25  Patrick Palka  <ppalka@redhat.com>
  48
  49         PR c++/108975
  50         * pt.cc (value_dependent_expression_p) <case VAR_DECL>:
  51         Suppress conservative early exit for reference variables
  52         when DECL_HAS_VALUE_EXPR_P.
  53
  54 2023-04-25  Tobias Burnus  <tobias@codesourcery.com>
  55
  56         * parser.cc (cp_parser_omp_scan_loop_body): Handle
  57         zero exec statements before/after 'omp scan'.
  58
  59 2023-04-24  Patrick Palka  <ppalka@redhat.com>
  60
  61         * cp-tree.h (cp_expr_location): Define here.
  62         * tree.cc (cp_expr_location): Don't define here.
  63
  64 2023-04-21  Jason Merrill  <jason@redhat.com>
  65
  66         PR c++/108099
  67         * decl.cc (grokdeclarator): Don't clear typedef_decl after 'unsigned
  68         typedef' pedwarn.  Use c_common_signed_or_unsigned_type.  Also
  69         handle 'signed typedef'.
  70
  71 2023-04-21  Patrick Palka  <ppalka@redhat.com>
  72
  73         * tree.cc (cp_walk_subtrees): Avoid repeatedly dereferencing tp.
  74         <case DECLTYPE_TYPE>: Use cp_unevaluated and WALK_SUBTREE.
  75         <case ALIGNOF_EXPR etc>: Likewise.
  76
  77 2023-04-20  Patrick Palka  <ppalka@redhat.com>
  78
  79         * pt.cc (tsubst) <case TEMPLATE_TYPE_PARM>: Don't recurse when
  80         level lowering a cv-qualified type template parameter.  Remove
  81         recursive loop breaker in the level lowering case for constrained
  82         autos.  Use the TEMPLATE_PARM_DESCENDANTS cache in this case as
  83         well.
  84
  85 2023-04-20  Patrick Palka  <ppalka@redhat.com>
  86
  87         * constraint.cc (diagnose_trait_expr): Convert a TREE_VEC
  88         of arguments into a TREE_LIST for sake of pretty printing.
  89         * cxx-pretty-print.cc (pp_cxx_trait): Handle TREE_VEC
  90         instead of TREE_LIST of trailing variadic trait arguments.
  91         * method.cc (constructible_expr): Likewise.
  92         (is_xible_helper): Likewise.
  93         * parser.cc (cp_parser_trait): Represent trailing variadic trait
  94         arguments as a TREE_VEC instead of TREE_LIST.
  95         * pt.cc (value_dependent_expression_p): Handle TREE_VEC
  96         instead of TREE_LIST of trailing variadic trait arguments.
  97         * semantics.cc (finish_type_pack_element): Likewise.
  98         (check_trait_type): Likewise.
  99
 100 2023-04-20  Patrick Palka  <ppalka@redhat.com>
 101
 102         * tree.cc (strip_typedefs): Move TREE_LIST handling to
 103         strip_typedefs_expr.  Dispatch to strip_typedefs_expr for
 104         non-type 't'.
 105         <case TYPENAME_TYPE>: Remove manual dispatching to
 106         strip_typedefs_expr.
 107         <case TRAIT_TYPE>: Likewise.
 108         (strip_typedefs_expr): Replaces calls to strip_typedefs_expr
 109         with strip_typedefs throughout.  Don't dispatch to strip_typedefs
 110         for type 't'.
 111         <case TREE_LIST>: Replace this with the better version from
 112         strip_typedefs.
 113
 114 2023-04-19  Patrick Palka  <ppalka@redhat.com>
 115             Jonathan Wakely  <jwakely@redhat.com>
 116
 117         PR c++/100157
 118         * cp-trait.def (TYPE_PACK_ELEMENT): Define.
 119         * cp-tree.h (finish_trait_type): Add complain parameter.
 120         * cxx-pretty-print.cc (pp_cxx_trait): Handle
 121         CPTK_TYPE_PACK_ELEMENT.
 122         * parser.cc (cp_parser_constant_expression): Document default
 123         arguments.
 124         (cp_parser_trait): Handle CPTK_TYPE_PACK_ELEMENT.  Pass
 125         tf_warning_or_error to finish_trait_type.
 126         * pt.cc (tsubst) <case TRAIT_TYPE>: Handle non-type first
 127         argument.  Pass complain to finish_trait_type.
 128         * semantics.cc (finish_type_pack_element): Define.
 129         (finish_trait_type): Add complain parameter.  Handle
 130         CPTK_TYPE_PACK_ELEMENT.
 131         * tree.cc (strip_typedefs): Handle non-type first argument.
 132         Pass tf_warning_or_error to finish_trait_type.
 133         * typeck.cc (structural_comptypes) <case TRAIT_TYPE>: Use
 134         cp_tree_equal instead of same_type_p for the first argument.
 135
 136 2023-04-19  Patrick Palka  <ppalka@redhat.com>
 137
 138         PR c++/109556
 139         * pt.cc (try_class_unification): Don't ggc_free the copy of
 140         'targs'.
 141
 142 2023-04-19  Jason Merrill  <jason@redhat.com>
 143
 144         PR c++/108099
 145         * decl.cc (grokdeclarator): Keep typedef_decl for __int128_t.
 146
 147 2023-04-17  Patrick Palka  <ppalka@redhat.com>
 148
 149         PR c++/109531
 150         * pt.cc (tsubst) <case BOUND_TEMPLATE_TEMPLATE_PARM>:
 151         In the level-lowering case just use lookup_template_class
 152         to rebuild the bound ttp.
 153
 154 2023-04-15  Jason Merrill  <jason@redhat.com>
 155
 156         PR c++/109357
 157         * constexpr.cc (cxx_eval_constant_expression) [TARGET_EXPR]:
 158         Check for complex initializer.
 159
 160 2023-04-13  Patrick Palka  <ppalka@redhat.com>
 161
 162         PR c++/109420
 163         * decl.cc (make_typename_type): Also ignore non-types during the
 164         lookup if tag_type corresponds to an elaborated-type-specifier.
 165         * pt.cc (tsubst) <case TYPENAME_TYPE>: Pass class_type or
 166         enum_type as tag_type to make_typename_type accordingly instead
 167         of always passing typename_type.
 168
 169 2023-04-13  Jason Merrill  <jason@redhat.com>
 170
 171         PR c++/109277
 172         * semantics.cc (check_trait_type): Handle incomplete type directly.
 173         * typeck2.cc (cxx_incomplete_type_diagnostic): Remove assert.
 174
 175 2023-04-13  Jason Merrill  <jason@redhat.com>
 176
 177         * typeck2.cc (cxx_incomplete_type_diagnostic): Return bool.
 178         * cp-tree.h (cxx_incomplete_type_diagnostic): Adjust.
 179
 180 2023-04-12  Jakub Jelinek  <jakub@redhat.com>
 181
 182         * Make-lang.in (s-cp-module-version): New target.
 183         (cp/module.o): Depend on it.
 184         (MODULE_VERSION): Remove variable.
 185         (CFLAGS-cp/module.o): For -DMODULE_VERSION= argument just
 186         cat s-cp-module-version.
 187
 188 2023-04-09  Iain Sandoe  <iain@sandoe.co.uk>
 189
 190         * coroutines.cc (coro_rewrite_function_body): Ensure that added
 191         bind expressions have scope blocks.
 192
 193 2023-04-04  Jason Merrill  <jason@redhat.com>
 194
 195         PR c++/107484
 196         * decl2.cc (find_last_decl): Return early if DECL_USE_TEMPLATE.
 197
 198 2023-04-03  Patrick Palka  <ppalka@redhat.com>
 199
 200         PR c++/109300
 201         * decl.cc (cp_finish_decl): Diagnose ordinary auto deduction
 202         with no initializer, instead of asserting.
 203
 204 2023-04-01  Patrick Palka  <ppalka@redhat.com>
 205
 206         PR c++/109160
 207         * cp-tree.h (do_auto_deduction): Add defaulted tmpl parameter.
 208         * pt.cc (convert_template_argument): Pass 'in_decl' as 'tmpl' to
 209         do_auto_deduction.
 210         (tsubst_decl) <case VAR_/TYPE_DECL>: Pass 'tmpl' instead of 't' as
 211         'in_decl' to coerce_template_parms.
 212         (unify) <case TEMPLATE_PARM_INDEX>: Pass TPARMS_PRIMARY_TEMPLATE
 213         as 'tmpl' to do_auto_deduction.
 214         (do_auto_deduction): Document default arguments.  Rename local
 215         variable 'tmpl' to 'ctmpl'.  Use 'tmpl' to obtain a full set of
 216         template arguments for satisfaction in the adc_unify case.
 217
 218 2023-04-01  Patrick Palka  <ppalka@redhat.com>
 219
 220         PR c++/53164
 221         PR c++/105848
 222         * pt.cc (invalid_tparm_referent_p): Accept ADDR_EXPR of
 223         FUNCTION_DECL.
 224         (instantiate_class_template): Call mark_template_arguments_used.
 225         (tsubst_copy_and_build) <case CALL_EXPR>: Revert r13-995 change.
 226         (mark_template_arguments_used): Define.
 227         (instantiate_body): Call mark_template_arguments_used.
 228
 229 2023-04-01  Iain Sandoe  <iain@sandoe.co.uk>
 230
 231         PR c++/101118
 232         * coroutines.cc (flatten_await_stmt): Use the current count of
 233         promoted temporaries to build a unique name for the frame entries.
 234
 235 2023-03-30  Jason Merrill  <jason@redhat.com>
 236
 237         PR c++/105452
 238         * search.cc (type_context_for_name_lookup): New.
 239         (accessible_p): Handle anonymous union.
 240         * init.cc (maybe_instantiate_nsdmi_init): Use
 241         type_context_for_name_lookup.
 242         * parser.cc (cp_parser_class_specifier): Likewise.
 243         * cp-tree.h (type_context_for_name_lookup): Declare.
 244
 245 2023-03-30  Jason Merrill  <jason@redhat.com>
 246
 247         PR c++/105221
 248         * pt.cc (unify) [FUNCTION_TYPE]: Handle function pointer
 249         conversions.
 250
 251 2023-03-30  Jakub Jelinek  <jakub@redhat.com>
 252
 253         PR c++/109319
 254         * decl2.cc (grok_array_decl): After emitting a pedwarn for
 255         -Wcomma-subscript, if processing_template_decl set orig_index_exp
 256         to compound expr from orig_index_exp_list.
 257
 258 2023-03-30  Jason Merrill  <jason@redhat.com>
 259
 260         PR c++/107897
 261         PR c++/108887
 262         * decl2.cc (record_mangling): Use symtab_node::reset.
 263
 264 2023-03-30  Jakub Jelinek  <jakub@redhat.com>
 265
 266         PR c++/109278
 267         * call.cc (convert_like_internal): If pedwarn for extended float
 268         type conversions doesn't report anything, avoid calling
 269         maybe_inform_about_fndecl_for_bogus_argument_init.
 270
 271 2023-03-29  Jason Merrill  <jason@redhat.com>
 272
 273         PR c++/109321
 274         PR c++/109320
 275         * pt.cc (alias_ctad_tweaks): Rewrite deduced args.
 276         (type_targs_deducible_from): Handle null pack deduction.
 277
 278 2023-03-28  David Malcolm  <dmalcolm@redhat.com>
 279
 280         PR c/107002
 281         * parser.cc (cp_parser_binary_expression): Update for new param of
 282         check_for_xor_used_as_pow.
 283
 284 2023-03-28  Jakub Jelinek  <jakub@redhat.com>
 285
 286         PR c++/109309
 287         * contracts.cc: Include intl.h.
 288         (check_postcondition_result): Don't form diagnostics from two halves
 289         of an English message to allow translations.
 290
 291 2023-03-24  Patrick Palka  <ppalka@redhat.com>
 292
 293         PR c++/106969
 294         * parser.cc (cp_parser_class_specifier): Clear current_class_ptr
 295         and current_class_ref sooner, before parsing a class definition.
 296
 297 2023-03-24  Jason Merrill  <jason@redhat.com>
 298
 299         PR c++/105481
 300         * pt.cc (type_unification_real): Adjust for partial ordering.
 301
 302 2023-03-23  Jason Merrill  <jason@redhat.com>
 303
 304         PR c++/105996
 305         * typeck.cc (build_ptrmemfunc): Drop 0-offset optimization
 306         and location wrappers.
 307
 308 2023-03-23  Marek Polacek  <polacek@redhat.com>
 309
 310         PR c++/107532
 311         * call.cc (class_has_reference_member_p): New.
 312         (class_has_reference_member_p_r): New.
 313         (reference_like_class_p): Don't look for a specific constructor.
 314         Use a DFS walk with class_has_reference_member_p_r.
 315
 316 2023-03-23  Jason Merrill  <jason@redhat.com>
 317
 318         PR c++/109241
 319         * pt.cc (find_parameter_packs_r): Handle null TREE_BINFO.
 320
 321 2023-03-22  Jason Merrill  <jason@redhat.com>
 322
 323         PR c++/108390
 324         * pt.cc (unify): Use fold of build_nop instead of fold_convert.
 325
 326 2023-03-22  Jason Merrill  <jason@redhat.com>
 327
 328         PR c++/108795
 329         * semantics.cc (finish_id_expression_1): Check scope before
 330         returning id_expression.
 331
 332 2023-03-22  Alex Coplan  <alex.coplan@arm.com>
 333
 334         PR c++/109177
 335         * call.cc (build_over_call): Use make_temp_override to suppress
 336         both unavailable and deprecated warnings when calling
 337         build_addr_func.
 338
 339 2023-03-21  Jason Merrill  <jason@redhat.com>
 340
 341         PR c++/106890
 342         * init.cc (maybe_instantiate_nsdmi_init): Don't leave
 343         current_function_decl set to a constructor.
 344
 345 2023-03-20  Marek Polacek  <polacek@redhat.com>
 346
 347         PR c++/109159
 348         * call.cc (add_template_candidate_real): Add explicit decls to the
 349         set of candidates when the initializer is a braced-init-list.
 350
 351 2023-03-20  Jakub Jelinek  <jakub@redhat.com>
 352
 353         PR c++/109164
 354         * cp-tree.h (var_needs_tls_wrapper): Declare.
 355         * decl2.cc (var_needs_tls_wrapper): No longer static.
 356         * decl.cc (cp_finish_decl): Clear TREE_READONLY on TLS variables
 357         for which a TLS wrapper will be needed.
 358
 359 2023-03-17  Jason Merrill  <jason@redhat.com>
 360
 361         PR c++/108975
 362         * lambda.cc (prune_lambda_captures): Don't bother in a template.
 363
 364 2023-03-17  Jason Merrill  <jason@redhat.com>
 365
 366         PR c++/109172
 367         * except.cc (build_throw): Check dtor access.
 368
 369 2023-03-17  Jason Merrill  <jason@redhat.com>
 370
 371         PR c++/69410
 372         * friend.cc (do_friend): Handle namespace as scope argument.
 373         * decl.cc (grokdeclarator): Pass down in_namespace.
 374
 375 2023-03-16  Jason Merrill  <jason@redhat.com>
 376
 377         PR c++/105809
 378         * init.cc (get_nsdmi): Split out...
 379         (maybe_instantiate_nsdmi_init): ...this function.
 380         * cp-tree.h: Declare it.
 381         * pt.cc (tsubst_expr): Use it.
 382
 383 2023-03-16  Jason Merrill  <jason@redhat.com>
 384
 385         PR c++/108242
 386         * pt.cc (tsubst_expr) [TAG_DEFN]: Handle partial instantiation.
 387
 388 2023-03-16  Jason Merrill  <jason@redhat.com>
 389
 390         PR c++/101869
 391         * semantics.cc (finish_qualified_id_expr): Don't try to build a
 392         pointer-to-member if the scope is an enumeration.
 393
 394 2023-03-16  Patrick Palka  <ppalka@redhat.com>
 395
 396         PR c++/109030
 397         * constexpr.cc (maybe_constant_init_1): For an unevaluated
 398         non-manifestly-constant operand, don't constant evaluate
 399         and instead call fold_to_constant as in maybe_constant_value.
 400
 401 2023-03-16  Patrick Palka  <ppalka@redhat.com>
 402
 403         PR c++/100288
 404         * constraint.cc (satisfaction_cache::get): Relax overly strict
 405         checking assert in the constraint recursion case.
 406
 407 2023-03-16  Jason Merrill  <jason@redhat.com>
 408
 409         PR c++/105406
 410         * coroutines.cc (build_co_await): Handle lvalue 'o'.
 411
 412 2023-03-15  Jason Merrill  <jason@redhat.com>
 413
 414         PR c++/103871
 415         PR c++/98056
 416         * typeck.cc (cp_build_modify_expr): Allow array initialization of
 417         DECL_ARTIFICIAL variable.
 418
 419 2023-03-15  Marek Polacek  <polacek@redhat.com>
 420
 421         PR c++/107280
 422         * constexpr.cc (cxx_eval_store_expression): Strip location wrappers.
 423
 424 2023-03-15  Jason Merrill  <jason@redhat.com>
 425
 426         PR c++/58538
 427         * semantics.cc (check_template_template_default_arg): Check
 428         maybe_get_template_decl_from_type_decl.
 429
 430 2023-03-15  Jason Merrill  <jason@redhat.com>
 431
 432         PR c++/108179
 433         PR c++/104107
 434         PR c++/95036
 435         * pt.cc (coerce_template_template_parms): Use args from
 436         DECL_CONTEXT (arg_tmpl) instead of outer_args.
 437
 438 2023-03-15  Jason Merrill  <jason@redhat.com>
 439
 440         PR c++/108179
 441         * pt.cc (coerce_template_template_parms): Take the arg and parm
 442         templates directly.
 443         (coerce_template_template_parm): Adjust.
 444         (template_template_parm_bindings_ok_p): Adjust.
 445         (convert_template_argument): Adjust.
 446
 447 2023-03-14  Patrick Palka  <ppalka@redhat.com>
 448
 449         PR c++/96830
 450         * pt.cc (push_inline_template_parms_recursive): Set
 451         TEMPLATE_PARMS_CONSTRAINTS.
 452         (push_template_decl): For an out-of-line declaration, verify
 453         constraints for each enclosing template scope match those of the
 454         original template declaratation.
 455
 456 2023-03-14  Patrick Palka  <ppalka@redhat.com>
 457
 458         PR c++/96830
 459         * pt.cc (redeclare_class_template): Add missing "of" in
 460         constraint mismatch diagnostic.
 461         (tsubst_friend_class): For an already declared class template,
 462         substitute and pass the friend declaration's constraints to
 463         redeclare_class_template instead of passing the existing
 464         template's constraints.
 465
 466 2023-03-14  Jason Merrill  <jason@redhat.com>
 467
 468         PR c++/108468
 469         * pt.cc (unify_pack_expansion): Check that TPARMS_PRIMARY_TEMPLATE
 470         is non-null.
 471
 472 2023-03-14  Jason Merrill  <jason@redhat.com>
 473
 474         PR c++/107310
 475         * cp-gimplify.cc (genericize_if_stmt): Restore folding
 476         of constant conditions.
 477
 478 2023-03-14  Jakub Jelinek  <jakub@redhat.com>
 479
 480         PR c++/109096
 481         * tree.cc (record_has_unique_obj_representations): Ignore unnamed
 482         bitfields.
 483
 484 2023-03-13  Jason Merrill  <jason@redhat.com>
 485
 486         PR c++/107128
 487         * parser.cc (cp_parser_set_decl_spec_type): Use
 488         redefined_builtin_type for extended_float_type_p.
 489
 490 2023-03-13  Marek Polacek  <polacek@redhat.com>
 491
 492         PR c++/107532
 493         * call.cc (reference_like_class_p): Check for std::span.
 494
 495 2023-03-10  Jakub Jelinek  <jakub@redhat.com>
 496
 497         PR c++/107558
 498         * decl.cc (cp_finish_decl): Don't clear TREE_READONLY on
 499         automatic non-aggregate variables just because of
 500         -fmerge-all-constants.
 501
 502 2023-03-10  Jakub Jelinek  <jakub@redhat.com>
 503
 504         PR c++/109039
 505         * class.cc (end_of_class): For bit-fields, instead of computing
 506         offset as sum of byte_position (field) and DECL_SIZE_UNIT (field),
 507         compute it as sum of bit_position (field) and DECL_SIZE (field)
 508         divided by BITS_PER_UNIT rounded up.
 509
 510 2023-03-10  Jason Merrill  <jason@redhat.com>
 511
 512         PR c++/108972
 513         * lambda.cc (compare_lambda_template_head): Check more
 514         for error_mark_node.
 515
 516 2023-03-10  Jason Merrill  <jason@redhat.com>
 517
 518         PR c++/108566
 519         * mangle.cc (anon_aggr_naming_decl): New.
 520         (write_unqualified_name): Use it.
 521
 522 2023-03-10  Jakub Jelinek  <jakub@redhat.com>
 523
 524         PR c/108079
 525         * decl.cc (poplevel): Suppress OPT_Wunused_variable warning
 526         after diagnosing it.
 527
 528 2023-03-10  Jason Merrill  <jason@redhat.com>
 529
 530         PR c++/108099
 531         * decl.cc (grokdeclarator): Handle non-typedef typedef_decl.
 532
 533 2023-03-10  Jason Merrill  <jason@redhat.com>
 534
 535         PR c++/108542
 536         * class.cc (instantiate_type): Strip location wrapper.
 537
 538 2023-03-09  Jason Merrill  <jason@redhat.com>
 539
 540         PR c++/108773
 541         * init.cc (find_allocator_temps_r): New.
 542         (combine_allocator_temps): Replace find_allocator_temp.
 543         (build_vec_init): Adjust.
 544
 545 2023-03-09  Jason Merrill  <jason@redhat.com>
 546
 547         DR 2664
 548         PR c++/102529
 549         * pt.cc (alias_ctad_tweaks): Continue after deduction failure.
 550
 551 2023-03-09  Jason Merrill  <jason@redhat.com>
 552             Michael Spertus  <mike@spertus.com>
 553
 554         PR c++/105841
 555         * pt.cc (corresponding_template_parameter_list): Split out...
 556         (corresponding_template_parameter): ...from here.
 557         (find_template_parameters): Factor out...
 558         (find_template_parameter_info::find_in): ...this function.
 559         (find_template_parameter_info::find_in_recursive): New.
 560         (find_template_parameter_info::found): New.
 561         (alias_ctad_tweaks): Only add parms used in the deduced args.
 562
 563 2023-03-09  Jason Merrill  <jason@redhat.com>
 564
 565         * cp-trait.def (IS_DEDUCIBLE): Add space to name.
 566
 567 2023-03-09  Jason Merrill  <jason@redhat.com>
 568
 569         PR c++/105841
 570         * cp-trait.def (IS_DEDUCIBLE): New.
 571         * cxx-pretty-print.cc (pp_cxx_trait): Handle non-type.
 572         * parser.cc (cp_parser_trait): Likewise.
 573         * tree.cc (cp_tree_equal): Likewise.
 574         * pt.cc (tsubst_copy_and_build): Likewise.
 575         (type_targs_deducible_from): New.
 576         (alias_ctad_tweaks): Use it.
 577         * semantics.cc (trait_expr_value): Handle CPTK_IS_DEDUCIBLE.
 578         (finish_trait_expr): Likewise.
 579         * constraint.cc (diagnose_trait_expr): Likewise.
 580         * cp-tree.h (type_targs_deducible_from): Declare.
 581
 582 2023-03-07  Jason Merrill  <jason@redhat.com>
 583
 584         PR c++/108526
 585         PR c++/106651
 586         * pt.cc (tsubst_function_decl): Don't replace the closure
 587         parameter if DECL_STATIC_FUNCTION_P.
 588
 589 2023-03-07  Marek Polacek  <polacek@redhat.com>
 590
 591         PR c++/107532
 592         * call.cc (reference_like_class_p): New.
 593         (do_warn_dangling_reference): Add new bool parameter.  See through
 594         reference_like_class_p.
 595
 596 2023-03-07  Jakub Jelinek  <jakub@redhat.com>
 597
 598         PR c++/109042
 599         * rtti.cc (emit_support_tinfo_1): Don't assert that last
 600         unemitted_tinfo_decls element is tinfo, instead pop from it only in
 601         that case.
 602         * decl2.cc (c_parse_final_cleanups): Don't call emit_tinfo_decl
 603         for unemitted_tinfO_decls which have already non-NULL DECL_INITIAL.
 604
 605 2023-03-07  Marek Polacek  <polacek@redhat.com>
 606
 607         PR c++/109030
 608         * constexpr.cc (cxx_eval_call_expression): Relax assert.
 609
 610 2023-03-07  Marek Polacek  <polacek@redhat.com>
 611
 612         PR c++/107939
 613         * constexpr.cc (potential_constant_expression_1) <case CALL_EXPR>: Pass
 614         'any' when recursing on a VAR_DECL and not a pointer to function.
 615
 616 2023-03-04  Jakub Jelinek  <jakub@redhat.com>
 617
 618         PR c++/108702
 619         * constexpr.cc: Include toplev.h.
 620         (cxx_eval_constant_expression) <case DECL_EXPR>: When seeing a local
 621         static initialized by constant expression outside of a constexpr
 622         function which has been deferred by make_rtl_for_nonlocal_decl,
 623         call rest_of_decl_compilation on it.
 624
 625 2023-03-03  Patrick Palka  <ppalka@redhat.com>
 626
 627         PR c++/108998
 628         * pt.cc (el_data::skipped_trees): New data member.
 629         (extract_locals_r): Push to skipped_trees any unevaluated
 630         contexts that we skipped over.
 631         (extract_local_specs): For the second walk, start from each
 632         tree in skipped_trees.
 633
 634 2023-03-03  Alexandre Oliva  <oliva@adacore.com>
 635
 636         * typeck.cc (cp_build_binary_op): Suppress redundant warning
 637         for pfn null test in pmfn test with vbit-in-delta.
 638
 639 2023-03-02  Jakub Jelinek  <jakub@redhat.com>
 640
 641         PR target/108883
 642         * cp-tree.h (enum cp_tree_index): Remove CPTI_FALLBACK_DFLOAT*_TYPE
 643         enumerators.
 644         (fallback_dfloat32_type, fallback_dfloat64_type,
 645         fallback_dfloat128_type): Remove.
 646         * rtti.cc (emit_support_tinfo_1): If not emitted already, call
 647         emit_tinfo_decl and remove from unemitted_tinfo_decls right away.
 648         (emit_support_tinfos): Move &dfloat*_type_node from fundamentals array
 649         into new fundamentals_with_fallback array.  Call emit_support_tinfo_1
 650         on elements of that array too, with the difference that if
 651         the type is NULL, use a fallback REAL_TYPE for it temporarily.
 652         Drop the !targetm.decimal_float_supported_p () handling.  Call
 653         targetm.emit_support_tinfos at the end.
 654         * mangle.cc (write_builtin_type): Remove references to
 655         fallback_dfloat*_type.  Handle bfloat16_type_node mangling.
 656
 657 2023-03-02  Patrick Palka  <ppalka@redhat.com>
 658
 659         PR c++/108243
 660         PR c++/97553
 661         * cp-gimplify.cc (cp_fully_fold): Add an internal overload that
 662         additionally takes and propagate an mce_value parameter, and
 663         define the existing public overload in terms of it.
 664         (cp_fully_fold_init): Pass mce_false to cp_fully_fold.
 665
 666 2023-03-02  Patrick Palka  <ppalka@redhat.com>
 667
 668         PR c++/108243
 669         * constexpr.cc (maybe_constant_init_1): Override
 670         manifestly_const_eval to true if is_static.
 671
 672 2023-03-02  Jakub Jelinek  <jakub@redhat.com>
 673
 674         PR debug/108716
 675         * cp-gimplify.cc (cp_genericize_r) <case USING_STMT>: Set
 676         DECL_SOURCE_LOCATION on IMPORTED_DECL to expression location
 677         of USING_STMT or input_location.
 678
 679 2023-03-02  Marek Polacek  <polacek@redhat.com>
 680
 681         PR c++/106259
 682         * parser.cc (class_decl_loc_t::diag_mismatched_tags): If the first
 683         lookup of SPEC didn't find anything, try to look for
 684         most_general_template.
 685
 686 2023-03-02  Jakub Jelinek  <jakub@redhat.com>
 687
 688         PR c++/105839
 689         * parser.cc (cp_convert_omp_range_for): Allow in assert
 690         decomp_first_name without DECL_HAS_VALUE_EXPR_P if it has
 691         error_mark_node type.
 692         (cp_finish_omp_range_for): Don't set DECL_HAS_VALUE_EXPR_P back
 693         on decls which have error_mark_node type.
 694
 695 2023-03-01  Marek Polacek  <polacek@redhat.com>
 696
 697         PR c++/107574
 698         * constexpr.cc (cxx_eval_constant_expression): Emit an error when
 699         a PTRMEM_CST cannot be evaluated.
 700
 701 2023-03-01  Patrick Palka  <ppalka@redhat.com>
 702
 703         * pt.cc (tsubst_scope): Define.
 704         (tsubst_decl) <case USING_DECL>: Call tsubst_scope instead of
 705         calling tsubst_scope with tf_qualifying_scope set.
 706         (tsubst_qualified_id): Call tsubst_scope instead of
 707         calling tsubst with tf_qualifying_scope set.
 708         (tsubst_copy): Immediately delegate to tsubst for all TYPE_P
 709         trees.  Remove tf_qualifying_scope manipulation.
 710         <case SCOPE_REF>: Call tsubst_scope instead of calling
 711         tsubst with tf_qualifying_scope set.
 712
 713 2023-03-01  Patrick Palka  <ppalka@redhat.com>
 714             Jason Merrill  <jason@redhat.com>
 715
 716         PR c++/108219
 717         PR c++/108218
 718         * constexpr.cc (fold_to_constant): Define.
 719         (maybe_constant_value): Move up early exit test for unevaluated
 720         operands.  Try reducing an unevaluated operand to a constant via
 721         fold_to_constant.
 722         (fold_non_dependent_expr_template): Add early exit test for
 723         CONSTANT_CLASS_P nodes.  Try reducing an unevaluated operand
 724         to a constant via fold_to_constant.
 725         * cp-tree.h (fold_to_constant): Declare.
 726
 727 2023-03-01  Jakub Jelinek  <jakub@redhat.com>
 728
 729         PR c++/108606
 730         * constexpr.cc (potential_constant_expression_1) <case DECL_EXPR>:
 731         Only recurse on DECL_INITIAL (tmp) if tmp is a VAR_DECL, otherwise
 732         just return true.
 733
 734 2023-02-28  Patrick Palka  <ppalka@redhat.com>
 735
 736         PR c++/108848
 737         * pt.cc (finish_template_variable): Move dependence check
 738         to here from ...
 739         (lookup_and_finish_template_variable): ... here.
 740         * semantics.cc (finish_id_expression_1): Call
 741         finish_template_variable sooner, before (and regardless of) the
 742         type_dependent_expression_p test.
 743
 744 2023-02-28  Marek Polacek  <polacek@redhat.com>
 745
 746         PR c++/108550
 747         * pt.cc (lookup_and_finish_template_variable): Clear tf_partial.
 748
 749 2023-02-20  Marek Polacek  <polacek@redhat.com>
 750
 751         PR c++/101073
 752         * constexpr.cc (cxx_eval_call_expression): Replace shortcutting trivial
 753         constructor/op= with a checking assert.
 754
 755 2023-02-20  Marek Polacek  <polacek@redhat.com>
 756
 757         PR c++/108829
 758         * pt.cc (prepend_one_capture): Set LAMBDA_CAPTURE_EXPLICIT_P.
 759         (tsubst_lambda_expr): Pass LAMBDA_CAPTURE_EXPLICIT_P to
 760         prepend_one_capture.
 761
 762 2023-02-18  Jason Merrill  <jason@redhat.com>
 763
 764         DR 2518
 765         PR c++/52809
 766         PR c++/53638
 767         PR c++/87389
 768         PR c++/89741
 769         PR c++/92099
 770         PR c++/104041
 771         PR c++/104691
 772         * semantics.cc (finish_static_assert): Don't diagnose in
 773         template context.
 774
 775 2023-02-17  Patrick Palka  <ppalka@redhat.com>
 776
 777         PR c++/108243
 778         PR c++/97553
 779         * cp-gimplify.cc (enum fold_flags): Define.
 780         (fold_flags_t): Declare.
 781         (cp_fold_data::genericize): Replace this data member with ...
 782         (cp_fold_data::fold_flags): ... this.
 783         (cp_fold_r): Adjust use of cp_fold_data and calls to cp_fold.
 784         (cp_fold_function): Likewise.
 785         (cp_fold_maybe_rvalue): Add an internal overload that
 786         additionally takes and propagates a fold_flags_t parameter, and
 787         define the existing public overload in terms of it.
 788         (cp_fold_rvalue): Likewise.
 789         (cp_fully_fold_init): Adjust use of cp_fold_data.
 790         (fold_cache): Replace with ...
 791         (fold_caches): ... this 2-element array of caches.
 792         (get_fold_cache): Define.
 793         (clear_fold_cache): Adjust.
 794         (cp_fold): Add fold_flags_t parameter.  Use get_fold_cache.
 795         Pass flags to calls to cp_fold, cp_fold_rvalue and
 796         cp_fold_maybe_rvalue.
 797         <case CALL_EXPR>: If ff_mce_false is set, fold
 798         __builtin_is_constant_evaluated to false and pass mce_false to
 799         maybe_constant_value.
 800
 801 2023-02-17  Patrick Palka  <ppalka@redhat.com>
 802
 803         * constexpr.cc (constexpr_call::manifestly_const_eval): Give
 804         it type int instead of bool.
 805         (constexpr_ctx::manifestly_const_eval): Give it type mce_value
 806         instead of bool.
 807         (cxx_eval_builtin_function_call): Adjust after making
 808         manifestly_const_eval tri-state.
 809         (cxx_eval_call_expression): Likewise.
 810         (cxx_eval_binary_expression): Likewise.
 811         (cxx_eval_conditional_expression): Likewise.
 812         (cxx_eval_constant_expression): Likewise.
 813         (cxx_eval_outermost_constant_expr): Likewise.
 814         (cxx_constant_value): Likewise.
 815         (cxx_constant_dtor): Likewise.
 816         (maybe_constant_value): Give manifestly_const_eval parameter
 817         type mce_value instead of bool and adjust accordingly.
 818         (fold_non_dependent_expr_template): Adjust call
 819         to cxx_eval_outermost_constant_expr.
 820         (fold_non_dependent_expr): Likewise.
 821         (maybe_constant_init_1): Likewise.
 822         * constraint.cc (satisfy_atom): Adjust call to
 823         maybe_constant_value.
 824         * cp-tree.h (enum class mce_value): Define.
 825         (maybe_constant_value): Adjust manifestly_const_eval parameter
 826         type and default argument.
 827         * decl.cc (compute_array_index_type_loc): Adjust call to
 828         maybe_constant_value.
 829         * pt.cc (convert_nontype_argument): Likewise.
 830
 831 2023-02-16  Patrick Palka  <ppalka@redhat.com>
 832
 833         PR c++/107773
 834         * cp-tree.h (enum tsubst_flags): New flag tf_qualifying_scope.
 835         * decl.cc (make_typename_type): Use lookup_member instead of
 836         lookup_field.  If tf_qualifying_scope is set, pass want_type=true
 837         instead of =false to lookup_member.  Generalize format specifier
 838         in diagnostic to handle both type and non-type bindings.
 839         * pt.cc (tsubst_aggr_type_1): Clear tf_qualifying_scope.  Tidy
 840         the function.
 841         (tsubst_decl) <case USING_DECL>: Set tf_qualifying_scope when
 842         substituting USING_DECL_SCOPE.
 843         (tsubst): Clear tf_qualifying_scope right away and remember if
 844         it was set.  Do the same for tf_tst_ok sooner.
 845         <case TYPENAME_TYPE>: Set tf_qualifying_scope when substituting
 846         TYPE_CONTEXT.  Pass tf_qualifying_scope to make_typename_type
 847         if it was set.
 848         (tsubst_qualified_id): Set tf_qualifying_scope when substituting
 849         the scope.
 850         (tsubst_copy): Clear tf_qualifying_scope and remember if it was
 851         set.
 852         <case SCOPE_REF>: Set tf_qualifying_scope when substituting the
 853         scope.
 854         <case *_TYPE>: Pass tf_qualifying_scope to tsubst if it was set.
 855         * search.cc (lookup_member): Document default argument.
 856
 857 2023-02-16  Patrick Palka  <ppalka@redhat.com>
 858
 859         * cp-tree.h: Mechanically drop static from static inline
 860         functions via s/^static inline/inline/g.
 861
 862 2023-02-15  Marek Polacek  <polacek@redhat.com>
 863
 864         PR c++/106675
 865         * call.cc (joust_maybe_elide_copy): Return false for ck_ambig.
 866
 867 2023-02-10  Marek Polacek  <polacek@redhat.com>
 868
 869         PR c++/107079
 870         * call.cc (set_up_extended_ref_temp): Pass var to maybe_constant_init.
 871
 872 2023-02-09  Tobias Burnus  <tobias@codesourcery.com>
 873
 874         * parser.cc (cp_parser_omp_allocate): Parse align
 875         clause and check for restrictions.
 876
 877 2023-02-09  Jakub Jelinek  <jakub@redhat.com>
 878
 879         PR c++/108698
 880         * mangle.cc (write_expression, write_template_arg): Handle
 881         EXCESS_PRECISION_EXPR with REAL_CST operand as
 882         write_template_arg_literal on fold_convert of the REAL_CST
 883         to EXCESS_PRECISION_EXPR type.
 884
 885 2023-02-06  Patrick Palka  <ppalka@redhat.com>
 886
 887         PR c++/107461
 888         * cp-tree.h (call_expr_dependent_name): Declare.
 889         * pt.cc (iterative_hash_template_arg) <case CALL_EXPR>: Use
 890         call_expr_dependent_name instead of dependent_name.
 891         * tree.cc (call_expr_dependent_name): Define.
 892         (called_fns_equal): Adjust to take two CALL_EXPRs instead of
 893         CALL_EXPR_FNs thereof.  Use call_expr_dependent_name instead
 894         of dependent_name.
 895         (cp_tree_equal) <case CALL_EXPR>: Adjust call to called_fns_equal.
 896
 897 2023-02-03  Marek Polacek  <polacek@redhat.com>
 898
 899         PR c++/108158
 900         * constexpr.cc (cxx_eval_array_reference): Don't replace
 901         new_ctx.object.
 902
 903 2023-02-03  Patrick Palka  <ppalka@redhat.com>
 904
 905         PR c++/107461
 906         * semantics.cc (finish_call_expr): Strip ADDR_EXPR from
 907         the selected callee during overload set pruning.
 908
 909 2023-02-03  Patrick Palka  <ppalka@redhat.com>
 910
 911         PR c++/96745
 912         * class.cc (check_methods): Diagnose an unviable OVERLOAD
 913         set for CLASSTYPE_DESTRUCTOR differently from an ambiguous one.
 914         Then prune the OVERLOAD to a single function.
 915         (check_bases_and_members): Handle CLASSTYPE_DESTRUCTOR being
 916         an OVERLOAD when calling deduce_noexcept_on_destructor.
 917         Document why it has to be called before check_methods.
 918
 919 2023-02-03  Patrick Palka  <ppalka@redhat.com>
 920
 921         PR c++/108579
 922         * class.cc (check_methods): Swap order of constraints_satisfied_p
 923         and copy/move_fn_p tests.
 924
 925 2023-02-01  Marek Polacek  <polacek@redhat.com>
 926
 927         PR c++/107755
 928         * call.cc (build_new_op): Don't call warn_logical_operator when
 929         processing a template.
 930
 931 2023-02-01  Jakub Jelinek  <jakub@redhat.com>
 932
 933         PR c++/108607
 934         * constexpr.cc (cxx_eval_constant_expression): Handle OMP_*
 935         and OACC_* constructs as non-constant.
 936         (potential_constant_expression_1): Handle OMP_SCAN and OMP_SCOPE.
 937
 938 2023-02-01  Jason Merrill  <jason@redhat.com>
 939
 940         * class.cc (note_name_declared_in_class): Change from permerror to
 941         -Wchanges-meaning pedwarn, forcing -pedantic-errors for most cases.
 942
 943 2023-01-31  Jason Merrill  <jason@redhat.com>
 944
 945         PR c++/108559
 946         * cp-gimplify.cc (any_non_eliding_target_exprs): New.
 947         (cp_genericize_init): Check it.
 948
 949 2023-01-31  Marek Polacek  <polacek@redhat.com>
 950
 951         PR c++/107593
 952         PR c++/108597
 953         * cp-tree.h (instantiation_dependent_expression_p): Don't
 954         declare here.
 955
 956 2023-01-26  Marek Polacek  <polacek@redhat.com>
 957
 958         PR c++/105300
 959         * parser.cc: Remove unnecessary forward declarations.
 960         (cp_parser_string_literal): New wrapper.
 961         (cp_parser_string_literal_common): Renamed from
 962         cp_parser_string_literal.  Add a bool parameter.  Give an error when
 963         UDLs are not permitted.
 964         (cp_parser_userdef_string_literal): New wrapper.
 965         (finish_userdef_string_literal): Renamed from
 966         cp_parser_userdef_string_literal.
 967         (cp_parser_primary_expression): Call cp_parser_userdef_string_literal
 968         instead of cp_parser_string_literal.
 969         (cp_parser_linkage_specification): Move a variable declaration closer
 970         to its first use.
 971         (cp_parser_static_assert): Likewise.
 972         (cp_parser_operator): Call cp_parser_userdef_string_literal instead of
 973         cp_parser_string_literal.
 974         (cp_parser_asm_definition): Move a variable declaration closer to its
 975         first use.
 976         (cp_parser_asm_specification_opt): Move variable declarations closer to
 977         their first use.
 978         (cp_parser_asm_operand_list): Likewise.
 979         (cp_parser_asm_clobber_list): Likewise.
 980
 981 2023-01-26  Jakub Jelinek  <jakub@redhat.com>
 982
 983         PR c++/108503
 984         * parser.cc (cp_convert_omp_range_for): If cp_finish_decomp has been
 985         called in !processing_template_decl with processing_template_decl
 986         temporarily set, clear DECL_HAS_VALUE_EXPR_P on the vars temporarily.
 987         (cp_finish_omp_range_for): And set it back again here.
 988
 989 2023-01-25  Jakub Jelinek  <jakub@redhat.com>
 990
 991         PR c++/108525
 992         * mangle.cc (write_closure_type_name): Don't assume all
 993         lambda operator() fns are methods.
 994
 995 2023-01-24  Jason Merrill  <jason@redhat.com>
 996
 997         PR c++/108504
 998         * parser.cc (cp_lexer_new_main): Pass C_LEX_STRING_NO_JOIN for first
 999         token, too.
1000
1001 2023-01-24  Jason Merrill  <jason@redhat.com>
1002
1003         PR c++/108526
1004         * pt.cc (tsubst_function_decl): Handle static lambda.
1005
1006 2023-01-24  Jakub Jelinek  <jakub@redhat.com>
1007
1008         PR c++/108474
1009         * cp-gimplify.cc (cp_fold_r): Revert 2023-01-19 changes.
1010
1011 2023-01-24  Jason Merrill  <jason@redhat.com>
1012
1013         PR c++/107303
1014         PR c++/107329
1015         * cp-gimplify.cc (cp_fold_r) [TARGET_EXPR]: In case of double
1016         TARGET_EXPR, keep the outer one instead of the inner one.
1017         (maybe_replace_decl): New.
1018
1019 2023-01-23  Jason Merrill  <jason@redhat.com>
1020
1021         PR c++/107267
1022         * cp-gimplify.cc (cp_gimplify_init_expr): Allow unexpected elision
1023         of trivial types.
1024
1025 2023-01-23  Marek Polacek  <polacek@redhat.com>
1026
1027         PR c++/107797
1028         * cvt.cc (ocp_convert): copy_warning when creating a new
1029         COMPOUND_EXPR.
1030         * init.cc (build_new_1): Suppress -Wunused-value on
1031         compiler-generated COMPOUND_EXPRs.
1032
1033 2023-01-23  Jason Merrill  <jason@redhat.com>
1034
1035         PR c++/108195
1036         * call.cc (build_user_type_conversion_1): Check whether the
1037         iterators also find a list ctor.
1038
1039 2023-01-23  Jason Merrill  <jason@redhat.com>
1040
1041         PR c++/108496
1042         * decl.cc (grokdeclarator): Check whether DECL_RESULT is already
1043         set.
1044
1045 2023-01-23  Jason Merrill  <jason@redhat.com>
1046
1047         PR c++/53288
1048         DR 1299
1049         * call.cc (extend_ref_init_temps_1): Handle ptrmem expression.
1050
1051 2023-01-19  Jakub Jelinek  <jakub@redhat.com>
1052
1053         PR c++/108437
1054         * cp-tree.h (keep_unused_object_arg): Declare.
1055         * call.cc (keep_unused_object_arg): No longer static.
1056         * tree.cc (build_min_non_dep_op_overload): Handle ARRAY_REF
1057         with overload being static member function.
1058
1059 2023-01-19  Jakub Jelinek  <jakub@redhat.com>
1060
1061         PR c++/53932
1062         * cp-gimplify.cc (cp_fold_r): During cp_fully_fold_init replace
1063         DECL_ANON_UNION_VAR_P VAR_DECLs with their corresponding
1064         DECL_VALUE_EXPR.
1065
1066 2023-01-16  Jakub Jelinek  <jakub@redhat.com>
1067
1068         PR c++/105593
1069         * decl.cc (cp_finish_decl): Check warning_enabled_at
1070         at the DECL_SOURCE_LOCATION (decl) for OPT_Winit_self instead
1071         of warn_init_self.
1072
1073 2023-01-14  Jakub Jelinek  <jakub@redhat.com>
1074
1075         PR c++/108365
1076         * typeck.cc (cp_build_binary_op): Use may_shorten_divmod for integral
1077         division or modulo.
1078
1079 2023-01-13  Jakub Jelinek  <jakub@redhat.com>
1080
1081         PR c++/108285
1082         * cvt.cc (cp_convert_and_check): For EXCESS_PRECISION_EXPR
1083         use its operand except that for warning purposes use the original
1084         EXCESS_PRECISION_EXPR.
1085         * call.cc (convert_like_internal): Only look through
1086         EXCESS_PRECISION_EXPR when calling cp_convert, not when calling
1087         cp_convert_and_check.
1088
1089 2023-01-09  Jakub Jelinek  <jakub@redhat.com>
1090
1091         PR c++/105838
1092         PR c++/108047
1093         PR c++/108266
1094         * call.cc (maybe_init_list_as_range): Always return NULL_TREE if
1095         processing_template_decl.
1096
1097 2023-01-05  Patrick Palka  <ppalka@redhat.com>
1098
1099         PR c++/108275
1100         * parser.cc (cp_parser_class_head): Use dk_deferred instead of
1101         dk_no_check when parsing the class name.
1102
1103 2023-01-05  Jakub Jelinek  <jakub@redhat.com>
1104
1105         PR c++/108286
1106         * semantics.cc (finish_omp_target_clauses): Ignore clauses other than
1107         OMP_CLAUSE_MAP.
1108
1109 2023-01-04  Patrick Palka  <ppalka@redhat.com>
1110
1111         PR c++/108282
1112         * decl2.cc (mark_single_function): Ignore mark_used failure
1113         only in a non-SFINAE context rather than in a SFINAE one.
1114
1115 2023-01-04  Jakub Jelinek  <jakub@redhat.com>
1116
1117         PR c++/108206
1118         * decl.cc (merge_default_template_args): Return false if either
1119         new_parm or old_parm are erroneous.
1120
1121 \f
1122 Copyright (C) 2023 Free Software Foundation, Inc.
1123
1124 Copying and distribution of this file, with or without modification,
1125 are permitted in any medium without royalty provided the copyright
1126 notice and this notice are preserved.