gcc/cp/ChangeLog

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