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