gcc/cp/ChangeLog

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