gcc/cp/ChangeLog

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