gcc/cp/ChangeLog

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