gcc/cp/ChangeLog

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