]> 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
Daily bump.
[thirdparty/gcc.git] / gcc / cp / ChangeLog
CommitLineData
09ae3035
GA		 12023-06-10 Nathan Sidwell <nathan@acm.org>
2
3 PR c++/61663
4 * pt.cc (maybe_adjust_types_for_deduction): Implement DR976.
5
a2c019e2
GA		 62023-06-09 Jason Merrill <jason@redhat.com>
7
8 PR c++/110185
9 PR c++/58487
10 * method.cc (build_comparison_op): Give retval a name.
11 * typeck.cc (check_return_expr): Fix for nameless variables.
12
132023-06-09 Jason Merrill <jason@redhat.com>
14
15 * parser.cc (cp_parser_simple_type_specifier): Check for auto
16 in template argument.
17 (cp_parser_template_type_arg): Remove auto checking.
18
192023-06-09 Jason Merrill <jason@redhat.com>
20
21 PR c++/110102
22 * call.cc (maybe_init_list_as_array): Check that the element type is
23 copyable.
24
8c5b1365
GA		 252023-06-07 Jason Merrill <jason@redhat.com>
26
27 PR c++/58487
28 PR c++/53637
29 * cp-tree.h (INIT_EXPR_NRV_P): New.
30 * semantics.cc (finalize_nrv_r): Check it.
31 * name-lookup.h (decl_in_scope_p): Declare.
32 * name-lookup.cc (decl_in_scope_p): New.
33 * typeck.cc (check_return_expr): Allow non-NRV
34 returns if the NRV is no longer in scope.
35
362023-06-07 Jason Merrill <jason@redhat.com>
37
38 PR c++/58487
39 * typeck.cc (want_nrvo_p): New.
40 (check_return_expr): Handle -Wnrvo.
41
422023-06-07 Jason Merrill <jason@redhat.com>
43
44 PR c++/51571
45 PR c++/92407
46 * decl.cc (finish_function): Simplify NRV handling.
47 * except.cc (maybe_set_retval_sentinel): Also set if NRV.
48 (maybe_splice_retval_cleanup): Don't add the cleanup region
49 if we don't need it.
50 * semantics.cc (nrv_data): Add simple field.
51 (finalize_nrv): Set it.
52 (finalize_nrv_r): Check it and retval sentinel.
53 * cp-tree.h (finalize_nrv): Adjust declaration.
54 * typeck.cc (check_return_expr): Remove named_labels check.
55
562023-06-07 Jason Merrill <jason@redhat.com>
57
58 PR c++/92407
59 * typeck.cc (check_return_expr): Prevent NRV in the presence of
60 named labels.
61
622023-06-07 Jason Merrill <jason@redhat.com>
63
64 PR c++/33799
65 * except.cc (maybe_splice_retval_cleanup): Change
66 recognition of function body and try scopes.
67 * semantics.cc (do_poplevel): Call it after poplevel.
68 (at_try_scope): New.
69 * cp-tree.h (maybe_splice_retval_cleanup): Adjust.
70
712023-06-07 Jason Merrill <jason@redhat.com>
72
73 * semantics.cc (finalize_nrv_r): [RETURN_EXPR]: Only replace the
74 INIT_EXPR.
75
4f0d4825
GA		 762023-06-06 Kwok Cheung Yeung <kcy@codesourcery.com>
77 Tobias Burnus <tobias@codesourcery.com>
78
79 * parser.cc (cp_parser_omp_clause_defaultmap,
80 cp_parser_omp_clause_map): Parse 'present'.
81 (cp_parser_omp_clause_from_to): New; parse to/from
82 clauses with optional 'present' modifier.
83 (cp_parser_omp_all_clauses): Update call.
84 (cp_parser_omp_target_data, cp_parser_omp_target_enter_data,
85 cp_parser_omp_target_exit_data): Handle new enum value for
86 'present' mapping.
87 * semantics.cc (finish_omp_target): Likewise.
88
b4889084
GA		 892023-06-04 Jason Merrill <jason@redhat.com>
90
91 PR c++/97720
92 * cp-tree.h (enum cp_tree_index): Add CPTI_CALL_TERMINATE_FN.
93 (call_terminate_fn): New macro.
94 * cp-gimplify.cc (gimplify_must_not_throw_expr): Use it.
95 * except.cc (init_exception_processing): Set it.
96 (cp_protect_cleanup_actions): Return it.
97
321cee7e
GA		 982023-06-03 Patrick Palka <ppalka@redhat.com>
99
100 PR c++/109923
101 * pt.cc (is_specialization_of_friend): Fix overbroad check for
102 a non-template member function of a class template.
103
1042023-06-03 Patrick Palka <ppalka@redhat.com>
105
106 * pt.cc (iterative_hash_template_arg): Don't hash
107 TEMPLATE_TEMPLATE_PARM specially.
108
1092023-06-03 Patrick Palka <ppalka@redhat.com>
110
111 * class.cc (build_base_path): Check in_template_context instead
112 of in_template_function.
113 (resolves_to_fixed_type_p): Likewise.
114 * cp-tree.h (in_template_context): Define.
115 (in_template_function): Remove.
116 * decl.cc (cp_make_fname_decl): Check current_function_decl
117 and in_template_context instead of in_template_function.
118 * decl2.cc (mark_used): Check in_template_context instead of
119 in_template_function.
120 * pt.cc (in_template_function): Remove.
121 * semantics.cc (enforce_access): Check in_template_context
122 instead of current_template_parms directly.
123
1242023-06-03 Patrick Palka <ppalka@redhat.com>
125
126 PR c++/70790
127 * mangle.cc (write_expression): Handle NOEXCEPT_EXPR.
128
829d5975
GA		 1292023-06-02 Jason Merrill <jason@redhat.com>
130
131 DR 2735
132 PR c++/109247
133 * call.cc (sfk_copy_or_move): New.
134 (joust): Add tiebreaker for explicit conv and copy ctor.
135
1362023-06-02 Jason Merrill <jason@redhat.com>
137
138 PR c++/110070
139 PR c++/105838
140 * call.cc (maybe_init_list_as_array): Set DECL_MERGEABLE.
141 (convert_like_internal) [ck_list]: Set it.
142 (set_up_extended_ref_temp): Copy it.
143 * tree.cc (handle_no_unique_addr_attribute): Set it.
144
84749914
GA		 1452023-06-01 Jason Merrill <jason@redhat.com>
146
147 * typeck2.cc (check_narrowing): Check flag_permissive.
148
df2762ac
GA		 1492023-05-30 Tobias Burnus <tobias@codesourcery.com>
150
151 PR c/109999
152 * parser.cc (cp_parser_oacc_all_clauses,
153 cp_parser_omp_all_clauses): Improve error wording.
154
5df01f89
GA		 1552023-05-19 Andrew Pinski <apinski@marvell.com>
156
157 PR driver/33980
158 * lang-specs.h ("@c++-header"): Add %w after
159 the --output-pch.
160 ("@c++-system-header"): Likewise.
161 ("@c++-user-header"): Likewise.
162
1632023-05-19 Patrick Palka <ppalka@redhat.com>
164
165 * constraint.cc (normalize_concept_check): Avoid having to do
166 two norm_cache lookups. Remove unnecessary early exit for an
167 ill-formed concept definition.
168
1692023-05-19 Patrick Palka <ppalka@redhat.com>
170
171 PR c++/97340
172 * pt.cc (lookup_and_finish_template_variable): Don't call
173 convert_from_reference.
174 (tsubst_copy_and_build) <case TEMPLATE_ID_EXPR>: Call
175 convert_from_reference on the result of
176 lookup_and_finish_template_variable.
177
b2776076
GA		 1782023-05-18 Bernhard Reutner-Fischer <aldot@gcc.gnu.org>
179
180 * call.cc (promoted_arithmetic_type_p): Use _P defines from tree.h.
181 (build_conditional_expr): Ditto.
182 (convert_like_internal): Ditto.
183 (convert_arg_to_ellipsis): Ditto.
184 (build_over_call): Ditto.
185 (compare_ics): Ditto.
186 * class.cc (is_empty_base_ref): Ditto.
187 * coroutines.cc (rewrite_param_uses): Ditto.
188 * cp-tree.h (DECL_DISCRIMINATOR_P): Ditto.
189 (ARITHMETIC_TYPE_P): Ditto.
190 * cvt.cc (ocp_convert): Ditto.
191 * cxx-pretty-print.cc (pp_cxx_template_argument_list): Ditto.
192 * decl.cc (layout_var_decl): Ditto.
193 (get_tuple_size): Ditto.
194 * error.cc (dump_simple_decl): Ditto.
195 * lambda.cc (start_lambda_scope): Ditto.
196 * mangle.cc (write_template_arg): Ditto.
197 * method.cc (spaceship_comp_cat): Ditto.
198 * module.cc (node_template_info): Ditto.
199 (trees_out::start): Ditto.
200 (trees_out::decl_node): Ditto.
201 (trees_in::read_var_def): Ditto.
202 (set_instantiating_module): Ditto.
203 * name-lookup.cc (maybe_record_mergeable_decl): Ditto.
204 (consider_decl): Ditto.
205 (maybe_add_fuzzy_decl): Ditto.
206 * pt.cc (convert_nontype_argument): Ditto.
207 * semantics.cc (handle_omp_array_sections_1): Ditto.
208 (finish_omp_clauses): Ditto.
209 (finish_omp_target_clauses_r): Ditto.
210 (is_this_parameter): Ditto.
211 * tree.cc (build_cplus_array_type): Ditto.
212 (is_this_expression): Ditto.
213 * typeck.cc (do_warn_enum_conversions): Ditto.
214 * typeck2.cc (store_init_value): Ditto.
215 (check_narrowing): Ditto.
216
ff2dcddf
GA		 2172023-05-17 Jakub Jelinek <jakub@redhat.com>
218
219 PR c++/109868
220 * init.cc (build_zero_init_1): Don't initialize zero-width bitfields.
221 For unions only initialize the first FIELD_DECL.
222
0d566057
GA		 2232023-05-16 Marek Polacek <polacek@redhat.com>
224
225 PR c++/109774
226 * typeck.cc (check_return_expr): In a template, return only after
227 suppressing -Wdangling-reference.
228
2292023-05-16 Patrick Palka <ppalka@redhat.com>
230
231 PR c++/109871
232 * call.cc (add_list_candidates): Check for invalid designated
233 initialization sooner and even for types that have a list
234 constructor.
235
3d125c91
GA		 2362023-05-11 Patrick Palka <ppalka@redhat.com>
237
238 PR c++/109745
239 * typeck2.cc (poison_mutable_constructors): Define.
240 (store_init_value): Use it instead of setting
241 CONSTRUCTOR_MUTABLE_POISON directly.
242
2432023-05-11 Patrick Palka <ppalka@redhat.com>
244 Jonathan Wakely <jwakely@redhat.com>
245
246 PR c++/83258
247 PR c++/80488
248 PR c++/97700
249 * pt.cc (convert_nontype_argument_function): Remove linkage
250 requirement for C++17 and later.
251 (invalid_tparm_referent_p) <case ADDR_EXPR>: Restrict
252 DECL_ARTIFICIAL rejection test to VAR_DECL.
253
08d0d17b
GA		 2542023-05-10 Marek Polacek <polacek@redhat.com>
255
256 PR c++/109680
257 * method.cc (build_trait_object): New.
258 (assignable_expr): Use it.
259 (ref_xes_from_temporary): Likewise.
260 (is_convertible_helper): Likewise. Check FUNC_OR_METHOD_TYPE_P.
261
2622023-05-10 Jason Merrill <jason@redhat.com>
263
264 * call.cc (convert_like_internal): Share ck_ref_bind handling
265 between all bad conversions.
266
2672023-05-10 Jason Merrill <jason@redhat.com>
268
269 DR 2543
270 * constexpr.cc (cxx_eval_outermost_constant_expr): Preserve
271 TARGET_EXPR flags.
272 (potential_constant_expression_1): Check TARGET_EXPR_ELIDING_P.
273 * typeck2.cc (store_init_value): Diagnose constinit sooner.
274
2752023-05-10 Jason Merrill <jason@redhat.com>
276
277 * constexpr.cc (cxx_eval_outermost_constant_expr): Always check
278 for address of immediate fn.
279 (maybe_constant_init_1): Evaluate PTRMEM_CST.
280
2812023-05-10 Jakub Jelinek <jakub@redhat.com>
282
283 PR c++/109756
284 * parser.cc (cp_parser_std_attribute): For unknown attributes with
285 arguments set TREE_VALUE (attribute) to error_mark_node after skipping
286 the balanced tokens.
287 (cp_parser_std_attribute_list): If ... is used after attribute without
288 arguments, diagnose it and return error_mark_node. If
289 TREE_VALUE (attribute) is error_mark_node, don't call
290 make_pack_expansion nor return early error_mark_node.
291
35e324da
GA		 2922023-05-09 Patrick Palka <ppalka@redhat.com>
293
294 PR c++/109752
295 * constraint.cc (satisfaction_cache::satisfaction_cache): In the
296 unexpected case of evaluating an atom for the first time noisily,
297 remove the cache slot that we inserted.
298
2992023-05-09 Patrick Palka <ppalka@redhat.com>
300
301 PR c++/109761
302 * parser.cc (cp_parser_class_specifier): Don't pass a class
303 context to noexcept_override_late_checks.
304 (noexcept_override_late_checks): Remove 'type' parameter
305 and use DECL_CONTEXT of 'fndecl' instead.
306
3072023-05-09 Jakub Jelinek <jakub@redhat.com>
308
309 PR c++/109756
310 * cp-gimplify.cc (process_stmt_assume_attribute): Diagnose pack
311 expansion of assume attribute.
312
212905a4
GA		 3132023-05-08 Patrick Palka <ppalka@redhat.com>
314
315 PR c++/106214
316 PR c++/93107
317 * pt.cc (do_auto_deduction): Move up resolve_nondeduced_context
318 calls to happen before do_class_deduction. Add some
319 error_mark_node tests.
320
70d03823
GA		 3212023-05-07 Patrick Palka <ppalka@redhat.com>
322
323 PR c++/85979
324 * cxx-pretty-print.cc (cxx_pretty_printer::unary_expression)
325 <case ALIGNOF_EXPR>: Consider ALIGNOF_EXPR_STD_P.
326 * error.cc (dump_expr) <case ALIGNOF_EXPR>: Likewise.
327
3282023-05-07 Patrick Palka <ppalka@redhat.com>
329
330 DR 2256
331 PR c++/103091
332 * decl.cc (decl_jump_unsafe): Return bool instead of int.
333 Don't consider TYPE_HAS_NONTRIVIAL_DESTRUCTOR.
334 (check_previous_goto_1): Simplify now that decl_jump_unsafe
335 returns bool instead of int.
336 (check_goto): Likewise.
337
3382023-05-07 Patrick Palka <ppalka@redhat.com>
339
340 * pt.cc (instantiate_alias_template): Exit early upon
341 error from coerce_template_parms. Remove dependence test
342 guarding constraints_satisfied_p.
343
3442023-05-07 Patrick Palka <ppalka@redhat.com>
345
346 * cp-tree.h (PLACEHOLDER_TYPE_CONSTRAINTS_INFO): Harden via
347 TEMPLATE_TYPE_PARM_CHECK.
348 (TPARMS_PRIMARY_TEMPLATE): Harden via TREE_VEC_CHECK.
349 (TEMPLATE_TEMPLATE_PARM_TEMPLATE_DECL): Harden via
350 TEMPLATE_TEMPLATE_PARM_CHECK.
351 * cxx-pretty-print.cc (cxx_pretty_printer::simple_type_specifier):
352 Guard PLACEHOLDER_TYPE_CONSTRAINTS access.
353 * error.cc (dump_type) <case TEMPLATE_TYPE_PARM>: Use separate
354 variable to store CLASS_PLACEHOLDER_TEMPLATE result.
355 * pt.cc (outer_template_args): Use strip_innermost_template_args.
356 (any_type_dependent_arguments_p): Exit early if
357 !processing_template_decl. Use range-based for.
358 (any_dependent_template_arguments_p): Likewise.
359
3602023-05-07 Patrick Palka <ppalka@redhat.com>
361
362 PR c++/98283
363 * pt.cc (tsubst_copy_and_build) <case COMPONENT_REF>: Propagate
364 REF_PARENTHESIZED_P more generally via force_paren_expr.
365 * semantics.cc (force_paren_expr): Document default argument.
366
3672023-05-07 Patrick Palka <ppalka@redhat.com>
368
369 PR c++/109651
370 * pt.cc (coerce_template_args_for_ttp): Mention we can hit the
371 current_template_parms fallback when level-lowering a bound ttp.
372 (tsubst_template_decl): Add lambda_tparms parameter. Prefer to
373 use lambda_tparms instead of substituting DECL_TEMPLATE_PARMS.
374 (tsubst_decl) <case TEMPLATE_DECL>: Pass NULL_TREE as lambda_tparms
375 to tsubst_template_decl.
376 (tsubst_lambda_expr): For a generic lambda, substitute
377 DECL_TEMPLATE_PARMS and set current_template_parms to it
378 before substituting the function type. Pass the substituted
379 DECL_TEMPLATE_PARMS as lambda_tparms to tsubst_template_decl.
380
3812023-05-07 Patrick Palka <ppalka@redhat.com>
382
383 PR c++/109480
384 * semantics.cc (enforce_access): Check current_template_parms
385 instead of processing_template_decl when deciding whether to
386 defer the access check.
387
3882023-05-07 Patrick Palka <ppalka@redhat.com>
389
390 PR c++/109480
391 * constexpr.cc (potential_constant_expression_1) <case CALL_EXPR>:
392 Reorganize to call get_fns sooner. Remove special handling of
393 the object argument of a non-static member function call. Remove
394 dead store to 'fun'.
395
2ab31cde
GA		 3962023-05-05 Jason Merrill <jason@redhat.com>
397
398 Revert:
399 2023-04-27 Jason Merrill <jason@redhat.com>
400
401 PR c++/61445
402 * pt.cc (instantiate_decl): Assert !defer_ok for local
403 class members.
404
257df676
GA		 4052023-05-03 Jason Merrill <jason@redhat.com>
406
407 PR c++/91618
408 PR c++/109649
409 * friend.cc (do_friend): Don't call check_explicit_specialization if
410 DECL_TEMPLATE_INFO is already set.
411 * decl2.cc (check_classfn): Set DECL_TEMPLATE_INFO.
412 * name-lookup.cc (set_decl_namespace): Likewise.
413
4142023-05-03 Jakub Jelinek <jakub@redhat.com>
415
416 * cp-gimplify.cc (cp_fold_data): Move definition earlier.
417 (cp_gimplify_expr): Pass address of ff_genericize | ff_mce_false
418 constructed data rather than &pset to cp_walk_tree with cp_fold_r.
419
4202023-05-03 Jason Merrill <jason@redhat.com>
421
422 * pt.cc (reduce_template_parm_level): Fix comparison of
423 template template parm to cached version.
424
d7cb9720
GA		 4252023-05-02 Jason Merrill <jason@redhat.com>
426
427 * pt.cc (instantiate_class_template): Skip the RECORD_TYPE
428 of a class template.
429 (tsubst_template_decl): Clear CLASSTYPE_USE_TEMPLATE.
430
4312023-05-02 Jason Merrill <jason@redhat.com>
432
433 * name-lookup.cc (pop_from_top_level): Don't
434 invalidate_class_lookup_cache.
435
4362023-05-02 Jason Merrill <jason@redhat.com>
437
438 PR c++/109678
439 * cp-tree.h (lookup_base): Add offset parm.
440 * constexpr.cc (cxx_fold_indirect_ref_1): Pass it.
441 * search.cc (struct lookup_base_data_s): Add offset.
442 (dfs_lookup_base): Handle it.
443 (lookup_base): Pass it.
444
4452023-05-02 Jason Merrill <jason@redhat.com>
446
447 PR c++/109678
448 * constexpr.cc (cxx_fold_indirect_ref_1): Handle empty base first.
449
1fc8da95
GA		 4502023-05-01 Jason Merrill <jason@redhat.com>
451
452 PR c++/109666
453 * name-lookup.cc (maybe_push_to_top_level)
454 (maybe_pop_from_top_level): Split out...
455 * pt.cc (instantiate_body): ...from here.
456 * init.cc (maybe_instantiate_nsdmi_init): Use them.
457 * name-lookup.h: Declare them..
458
50205195
GA		 4592023-04-28 Eugene Rozenfeld <erozen@microsoft.com>
460
461 * Make-lang.in: Merge perf data collected when compiling cc1plus and runtime libraries
462
32a98ccd
GA		 4632023-04-27 Jason Merrill <jason@redhat.com>
464
465 * call.cc (print_conversion_rejection): Use iloc_sentinel.
466
4672023-04-27 Jason Merrill <jason@redhat.com>
468
469 PR c++/61445
470 * pt.cc (instantiate_decl): Assert !defer_ok for local
471 class members.
472
4a3dbcbd
GA		 4732023-04-26 Jason Merrill <jason@redhat.com>
474
475 * init.cc (nsdmi_inst): Remove.
476 (maybe_instantiate_nsdmi_init): Use DECL_INITIAL instead.
477
4782023-04-26 Jason Merrill <jason@redhat.com>
479
480 PR c++/109241
481 * pt.cc (instantiate_class_template): Do partially instantiate.
482 (tsubst_expr): Do call complete_type for partial instantiations.
483
4842023-04-26 Jason Merrill <jason@redhat.com>
485
486 PR c++/69836
487 * pt.cc (regenerate_decl_from_template): Skip unique friends.
488
4892023-04-26 Patrick Palka <ppalka@redhat.com>
490
491 * pt.cc (most_specialized_partial_spec): Exit early when
492 DECL_TEMPLATE_SPECIALIZATIONS is empty. Move local variable
493 declarations closer to their first use. Remove redundant
494 flag_concepts test. Remove redundant forward declaration.
495
49cea02d
GA		 4962023-04-25 Patrick Palka <ppalka@redhat.com>
497
498 PR c++/108975
499 * pt.cc (value_dependent_expression_p) <case VAR_DECL>:
500 Suppress conservative early exit for reference variables
501 when DECL_HAS_VALUE_EXPR_P.
502
5032023-04-25 Tobias Burnus <tobias@codesourcery.com>
504
505 * parser.cc (cp_parser_omp_scan_loop_body): Handle
506 zero exec statements before/after 'omp scan'.
507
aeaf9426
GA		 5082023-04-24 Patrick Palka <ppalka@redhat.com>
509
510 * cp-tree.h (cp_expr_location): Define here.
511 * tree.cc (cp_expr_location): Don't define here.
512
6d7f9ebf
GA		 5132023-04-21 Jason Merrill <jason@redhat.com>
514
515 PR c++/108099
516 * decl.cc (grokdeclarator): Don't clear typedef_decl after 'unsigned
517 typedef' pedwarn. Use c_common_signed_or_unsigned_type. Also
518 handle 'signed typedef'.
519
5202023-04-21 Patrick Palka <ppalka@redhat.com>
521
522 * tree.cc (cp_walk_subtrees): Avoid repeatedly dereferencing tp.
523 <case DECLTYPE_TYPE>: Use cp_unevaluated and WALK_SUBTREE.
524 <case ALIGNOF_EXPR etc>: Likewise.
525
ce4e4f37
GA		 5262023-04-20 Patrick Palka <ppalka@redhat.com>
527
528 * pt.cc (tsubst) <case TEMPLATE_TYPE_PARM>: Don't recurse when
529 level lowering a cv-qualified type template parameter. Remove
530 recursive loop breaker in the level lowering case for constrained
531 autos. Use the TEMPLATE_PARM_DESCENDANTS cache in this case as
532 well.
533
5342023-04-20 Patrick Palka <ppalka@redhat.com>
535
536 * constraint.cc (diagnose_trait_expr): Convert a TREE_VEC
537 of arguments into a TREE_LIST for sake of pretty printing.
538 * cxx-pretty-print.cc (pp_cxx_trait): Handle TREE_VEC
539 instead of TREE_LIST of trailing variadic trait arguments.
540 * method.cc (constructible_expr): Likewise.
541 (is_xible_helper): Likewise.
542 * parser.cc (cp_parser_trait): Represent trailing variadic trait
543 arguments as a TREE_VEC instead of TREE_LIST.
544 * pt.cc (value_dependent_expression_p): Handle TREE_VEC
545 instead of TREE_LIST of trailing variadic trait arguments.
546 * semantics.cc (finish_type_pack_element): Likewise.
547 (check_trait_type): Likewise.
548
5492023-04-20 Patrick Palka <ppalka@redhat.com>
550
551 * tree.cc (strip_typedefs): Move TREE_LIST handling to
552 strip_typedefs_expr. Dispatch to strip_typedefs_expr for
553 non-type 't'.
554 <case TYPENAME_TYPE>: Remove manual dispatching to
555 strip_typedefs_expr.
556 <case TRAIT_TYPE>: Likewise.
557 (strip_typedefs_expr): Replaces calls to strip_typedefs_expr
558 with strip_typedefs throughout. Don't dispatch to strip_typedefs
559 for type 't'.
560 <case TREE_LIST>: Replace this with the better version from
561 strip_typedefs.
562
cf0d9dbc
GA		 5632023-04-19 Patrick Palka <ppalka@redhat.com>
564 Jonathan Wakely <jwakely@redhat.com>
565
566 PR c++/100157
567 * cp-trait.def (TYPE_PACK_ELEMENT): Define.
568 * cp-tree.h (finish_trait_type): Add complain parameter.
569 * cxx-pretty-print.cc (pp_cxx_trait): Handle
570 CPTK_TYPE_PACK_ELEMENT.
571 * parser.cc (cp_parser_constant_expression): Document default
572 arguments.
573 (cp_parser_trait): Handle CPTK_TYPE_PACK_ELEMENT. Pass
574 tf_warning_or_error to finish_trait_type.
575 * pt.cc (tsubst) <case TRAIT_TYPE>: Handle non-type first
576 argument. Pass complain to finish_trait_type.
577 * semantics.cc (finish_type_pack_element): Define.
578 (finish_trait_type): Add complain parameter. Handle
579 CPTK_TYPE_PACK_ELEMENT.
580 * tree.cc (strip_typedefs): Handle non-type first argument.
581 Pass tf_warning_or_error to finish_trait_type.
582 * typeck.cc (structural_comptypes) <case TRAIT_TYPE>: Use
583 cp_tree_equal instead of same_type_p for the first argument.
584
5852023-04-19 Patrick Palka <ppalka@redhat.com>
586
587 PR c++/109556
588 * pt.cc (try_class_unification): Don't ggc_free the copy of
589 'targs'.
590
5912023-04-19 Jason Merrill <jason@redhat.com>
592
593 PR c++/108099
594 * decl.cc (grokdeclarator): Keep typedef_decl for __int128_t.
595
56b288f5
GA		 5962023-04-17 Patrick Palka <ppalka@redhat.com>
597
598 PR c++/109531
599 * pt.cc (tsubst) <case BOUND_TEMPLATE_TEMPLATE_PARM>:
600 In the level-lowering case just use lookup_template_class
601 to rebuild the bound ttp.
602
55085c7e
GA		 6032023-04-15 Jason Merrill <jason@redhat.com>
604
605 PR c++/109357
606 * constexpr.cc (cxx_eval_constant_expression) [TARGET_EXPR]:
607 Check for complex initializer.
608
48d0244b
GA		 6092023-04-13 Patrick Palka <ppalka@redhat.com>
610
611 PR c++/109420
612 * decl.cc (make_typename_type): Also ignore non-types during the
613 lookup if tag_type corresponds to an elaborated-type-specifier.
614 * pt.cc (tsubst) <case TYPENAME_TYPE>: Pass class_type or
615 enum_type as tag_type to make_typename_type accordingly instead
616 of always passing typename_type.
617
6182023-04-13 Jason Merrill <jason@redhat.com>
619
620 PR c++/109277
621 * semantics.cc (check_trait_type): Handle incomplete type directly.
622 * typeck2.cc (cxx_incomplete_type_diagnostic): Remove assert.
623
6242023-04-13 Jason Merrill <jason@redhat.com>
625
626 * typeck2.cc (cxx_incomplete_type_diagnostic): Return bool.
627 * cp-tree.h (cxx_incomplete_type_diagnostic): Adjust.
628
66c7257b
GA		 6292023-04-12 Jakub Jelinek <jakub@redhat.com>
630
631 * Make-lang.in (s-cp-module-version): New target.
632 (cp/module.o): Depend on it.
633 (MODULE_VERSION): Remove variable.
634 (CFLAGS-cp/module.o): For -DMODULE_VERSION= argument just
635 cat s-cp-module-version.
636
14a864ae
GA		 6372023-04-09 Iain Sandoe <iain@sandoe.co.uk>
638
639 * coroutines.cc (coro_rewrite_function_body): Ensure that added
640 bind expressions have scope blocks.
641
645b1362
GA		 6422023-04-04 Jason Merrill <jason@redhat.com>
643
644 PR c++/107484
645 * decl2.cc (find_last_decl): Return early if DECL_USE_TEMPLATE.
646
10bdf696
GA		 6472023-04-03 Patrick Palka <ppalka@redhat.com>
648
649 PR c++/109300
650 * decl.cc (cp_finish_decl): Diagnose ordinary auto deduction
651 with no initializer, instead of asserting.
652
236cde72
GA		 6532023-04-01 Patrick Palka <ppalka@redhat.com>
654
655 PR c++/109160
656 * cp-tree.h (do_auto_deduction): Add defaulted tmpl parameter.
657 * pt.cc (convert_template_argument): Pass 'in_decl' as 'tmpl' to
658 do_auto_deduction.
659 (tsubst_decl) <case VAR_/TYPE_DECL>: Pass 'tmpl' instead of 't' as
660 'in_decl' to coerce_template_parms.
661 (unify) <case TEMPLATE_PARM_INDEX>: Pass TPARMS_PRIMARY_TEMPLATE
662 as 'tmpl' to do_auto_deduction.
663 (do_auto_deduction): Document default arguments. Rename local
664 variable 'tmpl' to 'ctmpl'. Use 'tmpl' to obtain a full set of
665 template arguments for satisfaction in the adc_unify case.
666
6672023-04-01 Patrick Palka <ppalka@redhat.com>
668
669 PR c++/53164
670 PR c++/105848
671 * pt.cc (invalid_tparm_referent_p): Accept ADDR_EXPR of
672 FUNCTION_DECL.
673 (instantiate_class_template): Call mark_template_arguments_used.
674 (tsubst_copy_and_build) <case CALL_EXPR>: Revert r13-995 change.
675 (mark_template_arguments_used): Define.
676 (instantiate_body): Call mark_template_arguments_used.
677
6782023-04-01 Iain Sandoe <iain@sandoe.co.uk>
679
680 PR c++/101118
681 * coroutines.cc (flatten_await_stmt): Use the current count of
682 promoted temporaries to build a unique name for the frame entries.
683
d20a6a33
GA		 6842023-03-30 Jason Merrill <jason@redhat.com>
685
686 PR c++/105452
687 * search.cc (type_context_for_name_lookup): New.
688 (accessible_p): Handle anonymous union.
689 * init.cc (maybe_instantiate_nsdmi_init): Use
690 type_context_for_name_lookup.
691 * parser.cc (cp_parser_class_specifier): Likewise.
692 * cp-tree.h (type_context_for_name_lookup): Declare.
693
6942023-03-30 Jason Merrill <jason@redhat.com>
695
696 PR c++/105221
697 * pt.cc (unify) [FUNCTION_TYPE]: Handle function pointer
698 conversions.
699
7002023-03-30 Jakub Jelinek <jakub@redhat.com>
701
702 PR c++/109319
703 * decl2.cc (grok_array_decl): After emitting a pedwarn for
704 -Wcomma-subscript, if processing_template_decl set orig_index_exp
705 to compound expr from orig_index_exp_list.
706
7072023-03-30 Jason Merrill <jason@redhat.com>
708
709 PR c++/107897
710 PR c++/108887
711 * decl2.cc (record_mangling): Use symtab_node::reset.
712
7132023-03-30 Jakub Jelinek <jakub@redhat.com>
714
715 PR c++/109278
716 * call.cc (convert_like_internal): If pedwarn for extended float
717 type conversions doesn't report anything, avoid calling
718 maybe_inform_about_fndecl_for_bogus_argument_init.
719
00908886
GA		 7202023-03-29 Jason Merrill <jason@redhat.com>
721
722 PR c++/109321
723 PR c++/109320
724 * pt.cc (alias_ctad_tweaks): Rewrite deduced args.
725 (type_targs_deducible_from): Handle null pack deduction.
726
579cdc1e
GA		 7272023-03-28 David Malcolm <dmalcolm@redhat.com>
728
729 PR c/107002
730 * parser.cc (cp_parser_binary_expression): Update for new param of
731 check_for_xor_used_as_pow.
732
7332023-03-28 Jakub Jelinek <jakub@redhat.com>
734
735 PR c++/109309
736 * contracts.cc: Include intl.h.
737 (check_postcondition_result): Don't form diagnostics from two halves
738 of an English message to allow translations.
739
13ec81eb
GA		 7402023-03-24 Patrick Palka <ppalka@redhat.com>
741
742 PR c++/106969
743 * parser.cc (cp_parser_class_specifier): Clear current_class_ptr
744 and current_class_ref sooner, before parsing a class definition.
745
7462023-03-24 Jason Merrill <jason@redhat.com>
747
748 PR c++/105481
749 * pt.cc (type_unification_real): Adjust for partial ordering.
750
ec92be4a
GA		 7512023-03-23 Jason Merrill <jason@redhat.com>
752
753 PR c++/105996
754 * typeck.cc (build_ptrmemfunc): Drop 0-offset optimization
755 and location wrappers.
756
7572023-03-23 Marek Polacek <polacek@redhat.com>
758
759 PR c++/107532
760 * call.cc (class_has_reference_member_p): New.
761 (class_has_reference_member_p_r): New.
762 (reference_like_class_p): Don't look for a specific constructor.
763 Use a DFS walk with class_has_reference_member_p_r.
764
7652023-03-23 Jason Merrill <jason@redhat.com>
766
767 PR c++/109241
768 * pt.cc (find_parameter_packs_r): Handle null TREE_BINFO.
769
50bd9c41
GA		 7702023-03-22 Jason Merrill <jason@redhat.com>
771
772 PR c++/108390
773 * pt.cc (unify): Use fold of build_nop instead of fold_convert.
774
7752023-03-22 Jason Merrill <jason@redhat.com>
776
777 PR c++/108795
778 * semantics.cc (finish_id_expression_1): Check scope before
779 returning id_expression.
780
7812023-03-22 Alex Coplan <alex.coplan@arm.com>
782
783 PR c++/109177
784 * call.cc (build_over_call): Use make_temp_override to suppress
785 both unavailable and deprecated warnings when calling
786 build_addr_func.
787
03178527
GA		 7882023-03-21 Jason Merrill <jason@redhat.com>
789
790 PR c++/106890
791 * init.cc (maybe_instantiate_nsdmi_init): Don't leave
792 current_function_decl set to a constructor.
793
582f246b
GA		 7942023-03-20 Marek Polacek <polacek@redhat.com>
795
796 PR c++/109159
797 * call.cc (add_template_candidate_real): Add explicit decls to the
798 set of candidates when the initializer is a braced-init-list.
799
8002023-03-20 Jakub Jelinek <jakub@redhat.com>
801
802 PR c++/109164
803 * cp-tree.h (var_needs_tls_wrapper): Declare.
804 * decl2.cc (var_needs_tls_wrapper): No longer static.
805 * decl.cc (cp_finish_decl): Clear TREE_READONLY on TLS variables
806 for which a TLS wrapper will be needed.
807
454a4d50
GA		 8082023-03-17 Jason Merrill <jason@redhat.com>
809
810 PR c++/108975
811 * lambda.cc (prune_lambda_captures): Don't bother in a template.
812
8132023-03-17 Jason Merrill <jason@redhat.com>
814
815 PR c++/109172
816 * except.cc (build_throw): Check dtor access.
817
8182023-03-17 Jason Merrill <jason@redhat.com>
819
820 PR c++/69410
821 * friend.cc (do_friend): Handle namespace as scope argument.
822 * decl.cc (grokdeclarator): Pass down in_namespace.
823
5c389a5c
GA		 8242023-03-16 Jason Merrill <jason@redhat.com>
825
826 PR c++/105809
827 * init.cc (get_nsdmi): Split out...
828 (maybe_instantiate_nsdmi_init): ...this function.
829 * cp-tree.h: Declare it.
830 * pt.cc (tsubst_expr): Use it.
831
8322023-03-16 Jason Merrill <jason@redhat.com>
833
834 PR c++/108242
835 * pt.cc (tsubst_expr) [TAG_DEFN]: Handle partial instantiation.
836
8372023-03-16 Jason Merrill <jason@redhat.com>
838
839 PR c++/101869
840 * semantics.cc (finish_qualified_id_expr): Don't try to build a
841 pointer-to-member if the scope is an enumeration.
842
8432023-03-16 Patrick Palka <ppalka@redhat.com>
844
845 PR c++/109030
846 * constexpr.cc (maybe_constant_init_1): For an unevaluated
847 non-manifestly-constant operand, don't constant evaluate
848 and instead call fold_to_constant as in maybe_constant_value.
849
8502023-03-16 Patrick Palka <ppalka@redhat.com>
851
852 PR c++/100288
853 * constraint.cc (satisfaction_cache::get): Relax overly strict
854 checking assert in the constraint recursion case.
855
8562023-03-16 Jason Merrill <jason@redhat.com>
857
858 PR c++/105406
859 * coroutines.cc (build_co_await): Handle lvalue 'o'.
860
39b1814c
GA		 8612023-03-15 Jason Merrill <jason@redhat.com>
862
863 PR c++/103871
864 PR c++/98056
865 * typeck.cc (cp_build_modify_expr): Allow array initialization of
866 DECL_ARTIFICIAL variable.
867
8682023-03-15 Marek Polacek <polacek@redhat.com>
869
870 PR c++/107280
871 * constexpr.cc (cxx_eval_store_expression): Strip location wrappers.
872
8732023-03-15 Jason Merrill <jason@redhat.com>
874
875 PR c++/58538
876 * semantics.cc (check_template_template_default_arg): Check
877 maybe_get_template_decl_from_type_decl.
878
8792023-03-15 Jason Merrill <jason@redhat.com>
880
881 PR c++/108179
882 PR c++/104107
883 PR c++/95036
884 * pt.cc (coerce_template_template_parms): Use args from
885 DECL_CONTEXT (arg_tmpl) instead of outer_args.
886
8872023-03-15 Jason Merrill <jason@redhat.com>
888
889 PR c++/108179
890 * pt.cc (coerce_template_template_parms): Take the arg and parm
891 templates directly.
892 (coerce_template_template_parm): Adjust.
893 (template_template_parm_bindings_ok_p): Adjust.
894 (convert_template_argument): Adjust.
895
fd42a8fa
GA		 8962023-03-14 Patrick Palka <ppalka@redhat.com>
897
898 PR c++/96830
899 * pt.cc (push_inline_template_parms_recursive): Set
900 TEMPLATE_PARMS_CONSTRAINTS.
901 (push_template_decl): For an out-of-line declaration, verify
902 constraints for each enclosing template scope match those of the
903 original template declaratation.
904
9052023-03-14 Patrick Palka <ppalka@redhat.com>
906
907 PR c++/96830
908 * pt.cc (redeclare_class_template): Add missing "of" in
909 constraint mismatch diagnostic.
910 (tsubst_friend_class): For an already declared class template,
911 substitute and pass the friend declaration's constraints to
912 redeclare_class_template instead of passing the existing
913 template's constraints.
914
9152023-03-14 Jason Merrill <jason@redhat.com>
916
917 PR c++/108468
918 * pt.cc (unify_pack_expansion): Check that TPARMS_PRIMARY_TEMPLATE
919 is non-null.
920
9212023-03-14 Jason Merrill <jason@redhat.com>
922
923 PR c++/107310
924 * cp-gimplify.cc (genericize_if_stmt): Restore folding
925 of constant conditions.
926
9272023-03-14 Jakub Jelinek <jakub@redhat.com>
928
929 PR c++/109096
930 * tree.cc (record_has_unique_obj_representations): Ignore unnamed
931 bitfields.
932
a9835599
GA		 9332023-03-13 Jason Merrill <jason@redhat.com>
934
935 PR c++/107128
936 * parser.cc (cp_parser_set_decl_spec_type): Use
937 redefined_builtin_type for extended_float_type_p.
938
9392023-03-13 Marek Polacek <polacek@redhat.com>
940
941 PR c++/107532
942 * call.cc (reference_like_class_p): Check for std::span.
943
c8065441
GA		 9442023-03-10 Jakub Jelinek <jakub@redhat.com>
945
946 PR c++/107558
947 * decl.cc (cp_finish_decl): Don't clear TREE_READONLY on
948 automatic non-aggregate variables just because of
949 -fmerge-all-constants.
950
9512023-03-10 Jakub Jelinek <jakub@redhat.com>
952
953 PR c++/109039
954 * class.cc (end_of_class): For bit-fields, instead of computing
955 offset as sum of byte_position (field) and DECL_SIZE_UNIT (field),
956 compute it as sum of bit_position (field) and DECL_SIZE (field)
957 divided by BITS_PER_UNIT rounded up.
958
9592023-03-10 Jason Merrill <jason@redhat.com>
960
961 PR c++/108972
962 * lambda.cc (compare_lambda_template_head): Check more
963 for error_mark_node.
964
9652023-03-10 Jason Merrill <jason@redhat.com>
966
967 PR c++/108566
968 * mangle.cc (anon_aggr_naming_decl): New.
969 (write_unqualified_name): Use it.
970
9712023-03-10 Jakub Jelinek <jakub@redhat.com>
972
973 PR c/108079
974 * decl.cc (poplevel): Suppress OPT_Wunused_variable warning
975 after diagnosing it.
976
9772023-03-10 Jason Merrill <jason@redhat.com>
978
979 PR c++/108099
980 * decl.cc (grokdeclarator): Handle non-typedef typedef_decl.
981
9822023-03-10 Jason Merrill <jason@redhat.com>
983
984 PR c++/108542
985 * class.cc (instantiate_type): Strip location wrapper.
986
da2b9c6e
GA		 9872023-03-09 Jason Merrill <jason@redhat.com>
988
989 PR c++/108773
990 * init.cc (find_allocator_temps_r): New.
991 (combine_allocator_temps): Replace find_allocator_temp.
992 (build_vec_init): Adjust.
993
9942023-03-09 Jason Merrill <jason@redhat.com>
995
996 DR 2664
997 PR c++/102529
998 * pt.cc (alias_ctad_tweaks): Continue after deduction failure.
999
10002023-03-09 Jason Merrill <jason@redhat.com>
1001 Michael Spertus <mike@spertus.com>
1002
1003 PR c++/105841
1004 * pt.cc (corresponding_template_parameter_list): Split out...
1005 (corresponding_template_parameter): ...from here.
1006 (find_template_parameters): Factor out...
1007 (find_template_parameter_info::find_in): ...this function.
1008 (find_template_parameter_info::find_in_recursive): New.
1009 (find_template_parameter_info::found): New.
1010 (alias_ctad_tweaks): Only add parms used in the deduced args.
1011
10122023-03-09 Jason Merrill <jason@redhat.com>
1013
1014 * cp-trait.def (IS_DEDUCIBLE): Add space to name.
1015
10162023-03-09 Jason Merrill <jason@redhat.com>
1017
1018 PR c++/105841
1019 * cp-trait.def (IS_DEDUCIBLE): New.
1020 * cxx-pretty-print.cc (pp_cxx_trait): Handle non-type.
1021 * parser.cc (cp_parser_trait): Likewise.
1022 * tree.cc (cp_tree_equal): Likewise.
1023 * pt.cc (tsubst_copy_and_build): Likewise.
1024 (type_targs_deducible_from): New.
1025 (alias_ctad_tweaks): Use it.
1026 * semantics.cc (trait_expr_value): Handle CPTK_IS_DEDUCIBLE.
1027 (finish_trait_expr): Likewise.
1028 * constraint.cc (diagnose_trait_expr): Likewise.
1029 * cp-tree.h (type_targs_deducible_from): Declare.
1030
af320a16
GA		 10312023-03-07 Jason Merrill <jason@redhat.com>
1032
1033 PR c++/108526
1034 PR c++/106651
1035 * pt.cc (tsubst_function_decl): Don't replace the closure
1036 parameter if DECL_STATIC_FUNCTION_P.
1037
10382023-03-07 Marek Polacek <polacek@redhat.com>
1039
1040 PR c++/107532
1041 * call.cc (reference_like_class_p): New.
1042 (do_warn_dangling_reference): Add new bool parameter. See through
1043 reference_like_class_p.
1044
10452023-03-07 Jakub Jelinek <jakub@redhat.com>
1046
1047 PR c++/109042
1048 * rtti.cc (emit_support_tinfo_1): Don't assert that last
1049 unemitted_tinfo_decls element is tinfo, instead pop from it only in
1050 that case.
1051 * decl2.cc (c_parse_final_cleanups): Don't call emit_tinfo_decl
1052 for unemitted_tinfO_decls which have already non-NULL DECL_INITIAL.
1053
10542023-03-07 Marek Polacek <polacek@redhat.com>
1055
1056 PR c++/109030
1057 * constexpr.cc (cxx_eval_call_expression): Relax assert.
1058
10592023-03-07 Marek Polacek <polacek@redhat.com>
1060
1061 PR c++/107939
1062 * constexpr.cc (potential_constant_expression_1) <case CALL_EXPR>: Pass
1063 'any' when recursing on a VAR_DECL and not a pointer to function.
1064
2858bf16
GA		 10652023-03-04 Jakub Jelinek <jakub@redhat.com>
1066
1067 PR c++/108702
1068 * constexpr.cc: Include toplev.h.
1069 (cxx_eval_constant_expression) <case DECL_EXPR>: When seeing a local
1070 static initialized by constant expression outside of a constexpr
1071 function which has been deferred by make_rtl_for_nonlocal_decl,
1072 call rest_of_decl_compilation on it.
1073
2aa6673e
GA		 10742023-03-03 Patrick Palka <ppalka@redhat.com>
1075
1076 PR c++/108998
1077 * pt.cc (el_data::skipped_trees): New data member.
1078 (extract_locals_r): Push to skipped_trees any unevaluated
1079 contexts that we skipped over.
1080 (extract_local_specs): For the second walk, start from each
1081 tree in skipped_trees.
1082
10832023-03-03 Alexandre Oliva <oliva@adacore.com>
1084
1085 * typeck.cc (cp_build_binary_op): Suppress redundant warning
1086 for pfn null test in pmfn test with vbit-in-delta.
1087
14db9ed5
GA		 10882023-03-02 Jakub Jelinek <jakub@redhat.com>
1089
1090 PR target/108883
1091 * cp-tree.h (enum cp_tree_index): Remove CPTI_FALLBACK_DFLOAT*_TYPE
1092 enumerators.
1093 (fallback_dfloat32_type, fallback_dfloat64_type,
1094 fallback_dfloat128_type): Remove.
1095 * rtti.cc (emit_support_tinfo_1): If not emitted already, call
1096 emit_tinfo_decl and remove from unemitted_tinfo_decls right away.
1097 (emit_support_tinfos): Move &dfloat*_type_node from fundamentals array
1098 into new fundamentals_with_fallback array. Call emit_support_tinfo_1
1099 on elements of that array too, with the difference that if
1100 the type is NULL, use a fallback REAL_TYPE for it temporarily.
1101 Drop the !targetm.decimal_float_supported_p () handling. Call
1102 targetm.emit_support_tinfos at the end.
1103 * mangle.cc (write_builtin_type): Remove references to
1104 fallback_dfloat*_type. Handle bfloat16_type_node mangling.
1105
11062023-03-02 Patrick Palka <ppalka@redhat.com>
1107
1108 PR c++/108243
1109 PR c++/97553
1110 * cp-gimplify.cc (cp_fully_fold): Add an internal overload that
1111 additionally takes and propagate an mce_value parameter, and
1112 define the existing public overload in terms of it.
1113 (cp_fully_fold_init): Pass mce_false to cp_fully_fold.
1114
11152023-03-02 Patrick Palka <ppalka@redhat.com>
1116
1117 PR c++/108243
1118 * constexpr.cc (maybe_constant_init_1): Override
1119 manifestly_const_eval to true if is_static.
1120
11212023-03-02 Jakub Jelinek <jakub@redhat.com>
1122
1123 PR debug/108716
1124 * cp-gimplify.cc (cp_genericize_r) <case USING_STMT>: Set
1125 DECL_SOURCE_LOCATION on IMPORTED_DECL to expression location
1126 of USING_STMT or input_location.
1127
11282023-03-02 Marek Polacek <polacek@redhat.com>
1129
1130 PR c++/106259
1131 * parser.cc (class_decl_loc_t::diag_mismatched_tags): If the first
1132 lookup of SPEC didn't find anything, try to look for
1133 most_general_template.
1134
11352023-03-02 Jakub Jelinek <jakub@redhat.com>
1136
1137 PR c++/105839
1138 * parser.cc (cp_convert_omp_range_for): Allow in assert
1139 decomp_first_name without DECL_HAS_VALUE_EXPR_P if it has
1140 error_mark_node type.
1141 (cp_finish_omp_range_for): Don't set DECL_HAS_VALUE_EXPR_P back
1142 on decls which have error_mark_node type.
1143
c88a7c63
GA		 11442023-03-01 Marek Polacek <polacek@redhat.com>
1145
1146 PR c++/107574
1147 * constexpr.cc (cxx_eval_constant_expression): Emit an error when
1148 a PTRMEM_CST cannot be evaluated.
1149
11502023-03-01 Patrick Palka <ppalka@redhat.com>
1151
1152 * pt.cc (tsubst_scope): Define.
1153 (tsubst_decl) <case USING_DECL>: Call tsubst_scope instead of
1154 calling tsubst_scope with tf_qualifying_scope set.
1155 (tsubst_qualified_id): Call tsubst_scope instead of
1156 calling tsubst with tf_qualifying_scope set.
1157 (tsubst_copy): Immediately delegate to tsubst for all TYPE_P
1158 trees. Remove tf_qualifying_scope manipulation.
1159 <case SCOPE_REF>: Call tsubst_scope instead of calling
1160 tsubst with tf_qualifying_scope set.
1161
11622023-03-01 Patrick Palka <ppalka@redhat.com>
1163 Jason Merrill <jason@redhat.com>
1164
1165 PR c++/108219
1166 PR c++/108218
1167 * constexpr.cc (fold_to_constant): Define.
1168 (maybe_constant_value): Move up early exit test for unevaluated
1169 operands. Try reducing an unevaluated operand to a constant via
1170 fold_to_constant.
1171 (fold_non_dependent_expr_template): Add early exit test for
1172 CONSTANT_CLASS_P nodes. Try reducing an unevaluated operand
1173 to a constant via fold_to_constant.
1174 * cp-tree.h (fold_to_constant): Declare.
1175
11762023-03-01 Jakub Jelinek <jakub@redhat.com>
1177
1178 PR c++/108606
1179 * constexpr.cc (potential_constant_expression_1) <case DECL_EXPR>:
1180 Only recurse on DECL_INITIAL (tmp) if tmp is a VAR_DECL, otherwise
1181 just return true.
1182
6f9e2f14
GA		 11832023-02-28 Patrick Palka <ppalka@redhat.com>
1184
1185 PR c++/108848
1186 * pt.cc (finish_template_variable): Move dependence check
1187 to here from ...
1188 (lookup_and_finish_template_variable): ... here.
1189 * semantics.cc (finish_id_expression_1): Call
1190 finish_template_variable sooner, before (and regardless of) the
1191 type_dependent_expression_p test.
1192
11932023-02-28 Marek Polacek <polacek@redhat.com>
1194
1195 PR c++/108550
1196 * pt.cc (lookup_and_finish_template_variable): Clear tf_partial.
1197
65c64105
GA		 11982023-02-20 Marek Polacek <polacek@redhat.com>
1199
1200 PR c++/101073
1201 * constexpr.cc (cxx_eval_call_expression): Replace shortcutting trivial
1202 constructor/op= with a checking assert.
1203
12042023-02-20 Marek Polacek <polacek@redhat.com>
1205
1206 PR c++/108829
1207 * pt.cc (prepend_one_capture): Set LAMBDA_CAPTURE_EXPLICIT_P.
1208 (tsubst_lambda_expr): Pass LAMBDA_CAPTURE_EXPLICIT_P to
1209 prepend_one_capture.
1210
0263e9d5
GA		 12112023-02-18 Jason Merrill <jason@redhat.com>
1212
1213 DR 2518
1214 PR c++/52809
1215 PR c++/53638
1216 PR c++/87389
1217 PR c++/89741
1218 PR c++/92099
1219 PR c++/104041
1220 PR c++/104691
1221 * semantics.cc (finish_static_assert): Don't diagnose in
1222 template context.
1223
7814ce44
GA		 12242023-02-17 Patrick Palka <ppalka@redhat.com>
1225
1226 PR c++/108243
1227 PR c++/97553
1228 * cp-gimplify.cc (enum fold_flags): Define.
1229 (fold_flags_t): Declare.
1230 (cp_fold_data::genericize): Replace this data member with ...
1231 (cp_fold_data::fold_flags): ... this.
1232 (cp_fold_r): Adjust use of cp_fold_data and calls to cp_fold.
1233 (cp_fold_function): Likewise.
1234 (cp_fold_maybe_rvalue): Add an internal overload that
1235 additionally takes and propagates a fold_flags_t parameter, and
1236 define the existing public overload in terms of it.
1237 (cp_fold_rvalue): Likewise.
1238 (cp_fully_fold_init): Adjust use of cp_fold_data.
1239 (fold_cache): Replace with ...
1240 (fold_caches): ... this 2-element array of caches.
1241 (get_fold_cache): Define.
1242 (clear_fold_cache): Adjust.
1243 (cp_fold): Add fold_flags_t parameter. Use get_fold_cache.
1244 Pass flags to calls to cp_fold, cp_fold_rvalue and
1245 cp_fold_maybe_rvalue.
1246 <case CALL_EXPR>: If ff_mce_false is set, fold
1247 __builtin_is_constant_evaluated to false and pass mce_false to
1248 maybe_constant_value.
1249
12502023-02-17 Patrick Palka <ppalka@redhat.com>
1251
1252 * constexpr.cc (constexpr_call::manifestly_const_eval): Give
1253 it type int instead of bool.
1254 (constexpr_ctx::manifestly_const_eval): Give it type mce_value
1255 instead of bool.
1256 (cxx_eval_builtin_function_call): Adjust after making
1257 manifestly_const_eval tri-state.
1258 (cxx_eval_call_expression): Likewise.
1259 (cxx_eval_binary_expression): Likewise.
1260 (cxx_eval_conditional_expression): Likewise.
1261 (cxx_eval_constant_expression): Likewise.
1262 (cxx_eval_outermost_constant_expr): Likewise.
1263 (cxx_constant_value): Likewise.
1264 (cxx_constant_dtor): Likewise.
1265 (maybe_constant_value): Give manifestly_const_eval parameter
1266 type mce_value instead of bool and adjust accordingly.
1267 (fold_non_dependent_expr_template): Adjust call
1268 to cxx_eval_outermost_constant_expr.
1269 (fold_non_dependent_expr): Likewise.
1270 (maybe_constant_init_1): Likewise.
1271 * constraint.cc (satisfy_atom): Adjust call to
1272 maybe_constant_value.
1273 * cp-tree.h (enum class mce_value): Define.
1274 (maybe_constant_value): Adjust manifestly_const_eval parameter
1275 type and default argument.
1276 * decl.cc (compute_array_index_type_loc): Adjust call to
1277 maybe_constant_value.
1278 * pt.cc (convert_nontype_argument): Likewise.
1279
88cc4495
GA		 12802023-02-16 Patrick Palka <ppalka@redhat.com>
1281
1282 PR c++/107773
1283 * cp-tree.h (enum tsubst_flags): New flag tf_qualifying_scope.
1284 * decl.cc (make_typename_type): Use lookup_member instead of
1285 lookup_field. If tf_qualifying_scope is set, pass want_type=true
1286 instead of =false to lookup_member. Generalize format specifier
1287 in diagnostic to handle both type and non-type bindings.
1288 * pt.cc (tsubst_aggr_type_1): Clear tf_qualifying_scope. Tidy
1289 the function.
1290 (tsubst_decl) <case USING_DECL>: Set tf_qualifying_scope when
1291 substituting USING_DECL_SCOPE.
1292 (tsubst): Clear tf_qualifying_scope right away and remember if
1293 it was set. Do the same for tf_tst_ok sooner.
1294 <case TYPENAME_TYPE>: Set tf_qualifying_scope when substituting
1295 TYPE_CONTEXT. Pass tf_qualifying_scope to make_typename_type
1296 if it was set.
1297 (tsubst_qualified_id): Set tf_qualifying_scope when substituting
1298 the scope.
1299 (tsubst_copy): Clear tf_qualifying_scope and remember if it was
1300 set.
1301 <case SCOPE_REF>: Set tf_qualifying_scope when substituting the
1302 scope.
1303 <case *_TYPE>: Pass tf_qualifying_scope to tsubst if it was set.
1304 * search.cc (lookup_member): Document default argument.
1305
13062023-02-16 Patrick Palka <ppalka@redhat.com>
1307
1308 * cp-tree.h: Mechanically drop static from static inline
1309 functions via s/^static inline/inline/g.
1310
05467d08
GA		 13112023-02-15 Marek Polacek <polacek@redhat.com>
1312
1313 PR c++/106675
1314 * call.cc (joust_maybe_elide_copy): Return false for ck_ambig.
1315
e92e2c96
GA		 13162023-02-10 Marek Polacek <polacek@redhat.com>
1317
1318 PR c++/107079
1319 * call.cc (set_up_extended_ref_temp): Pass var to maybe_constant_init.
1320
13212023-02-09 Tobias Burnus <tobias@codesourcery.com>
1322
1323 * parser.cc (cp_parser_omp_allocate): Parse align
1324 clause and check for restrictions.
1325
13262023-02-09 Jakub Jelinek <jakub@redhat.com>
1327
1328 PR c++/108698
1329 * mangle.cc (write_expression, write_template_arg): Handle
1330 EXCESS_PRECISION_EXPR with REAL_CST operand as
1331 write_template_arg_literal on fold_convert of the REAL_CST
1332 to EXCESS_PRECISION_EXPR type.
1333
f0e73dd0
GA		 13342023-02-06 Patrick Palka <ppalka@redhat.com>
1335
1336 PR c++/107461
1337 * cp-tree.h (call_expr_dependent_name): Declare.
1338 * pt.cc (iterative_hash_template_arg) <case CALL_EXPR>: Use
1339 call_expr_dependent_name instead of dependent_name.
1340 * tree.cc (call_expr_dependent_name): Define.
1341 (called_fns_equal): Adjust to take two CALL_EXPRs instead of
1342 CALL_EXPR_FNs thereof. Use call_expr_dependent_name instead
1343 of dependent_name.
1344 (cp_tree_equal) <case CALL_EXPR>: Adjust call to called_fns_equal.
1345
49e52115
GA		 13462023-02-03 Marek Polacek <polacek@redhat.com>
1347
1348 PR c++/108158
1349 * constexpr.cc (cxx_eval_array_reference): Don't replace
1350 new_ctx.object.
1351
13522023-02-03 Patrick Palka <ppalka@redhat.com>
1353
1354 PR c++/107461
1355 * semantics.cc (finish_call_expr): Strip ADDR_EXPR from
1356 the selected callee during overload set pruning.
1357
13582023-02-03 Patrick Palka <ppalka@redhat.com>
1359
1360 PR c++/96745
1361 * class.cc (check_methods): Diagnose an unviable OVERLOAD
1362 set for CLASSTYPE_DESTRUCTOR differently from an ambiguous one.
1363 Then prune the OVERLOAD to a single function.
1364 (check_bases_and_members): Handle CLASSTYPE_DESTRUCTOR being
1365 an OVERLOAD when calling deduce_noexcept_on_destructor.
1366 Document why it has to be called before check_methods.
1367
13682023-02-03 Patrick Palka <ppalka@redhat.com>
1369
1370 PR c++/108579
1371 * class.cc (check_methods): Swap order of constraints_satisfied_p
1372 and copy/move_fn_p tests.
1373
0a251e74
GA		 13742023-02-01 Marek Polacek <polacek@redhat.com>
1375
1376 PR c++/107755
1377 * call.cc (build_new_op): Don't call warn_logical_operator when
1378 processing a template.
1379
13802023-02-01 Jakub Jelinek <jakub@redhat.com>
1381
1382 PR c++/108607
1383 * constexpr.cc (cxx_eval_constant_expression): Handle OMP_*
1384 and OACC_* constructs as non-constant.
1385 (potential_constant_expression_1): Handle OMP_SCAN and OMP_SCOPE.
1386
13872023-02-01 Jason Merrill <jason@redhat.com>
1388
1389 * class.cc (note_name_declared_in_class): Change from permerror to
1390 -Wchanges-meaning pedwarn, forcing -pedantic-errors for most cases.
1391
317525b0
GA		 13922023-01-31 Jason Merrill <jason@redhat.com>
1393
1394 PR c++/108559
1395 * cp-gimplify.cc (any_non_eliding_target_exprs): New.
1396 (cp_genericize_init): Check it.
1397
13982023-01-31 Marek Polacek <polacek@redhat.com>
1399
1400 PR c++/107593
1401 PR c++/108597
1402 * cp-tree.h (instantiation_dependent_expression_p): Don't
1403 declare here.
1404
2371d100
GA		 14052023-01-26 Marek Polacek <polacek@redhat.com>
1406
1407 PR c++/105300
1408 * parser.cc: Remove unnecessary forward declarations.
1409 (cp_parser_string_literal): New wrapper.
1410 (cp_parser_string_literal_common): Renamed from
1411 cp_parser_string_literal. Add a bool parameter. Give an error when
1412 UDLs are not permitted.
1413 (cp_parser_userdef_string_literal): New wrapper.
1414 (finish_userdef_string_literal): Renamed from
1415 cp_parser_userdef_string_literal.
1416 (cp_parser_primary_expression): Call cp_parser_userdef_string_literal
1417 instead of cp_parser_string_literal.
1418 (cp_parser_linkage_specification): Move a variable declaration closer
1419 to its first use.
1420 (cp_parser_static_assert): Likewise.
1421 (cp_parser_operator): Call cp_parser_userdef_string_literal instead of
1422 cp_parser_string_literal.
1423 (cp_parser_asm_definition): Move a variable declaration closer to its
1424 first use.
1425 (cp_parser_asm_specification_opt): Move variable declarations closer to
1426 their first use.
1427 (cp_parser_asm_operand_list): Likewise.
1428 (cp_parser_asm_clobber_list): Likewise.
1429
14302023-01-26 Jakub Jelinek <jakub@redhat.com>
1431
1432 PR c++/108503
1433 * parser.cc (cp_convert_omp_range_for): If cp_finish_decomp has been
1434 called in !processing_template_decl with processing_template_decl
1435 temporarily set, clear DECL_HAS_VALUE_EXPR_P on the vars temporarily.
1436 (cp_finish_omp_range_for): And set it back again here.
1437
9bb6515b
GA		 14382023-01-25 Jakub Jelinek <jakub@redhat.com>
1439
1440 PR c++/108525
1441 * mangle.cc (write_closure_type_name): Don't assume all
1442 lambda operator() fns are methods.
1443
0fa22168
GA		 14442023-01-24 Jason Merrill <jason@redhat.com>
1445
1446 PR c++/108504
1447 * parser.cc (cp_lexer_new_main): Pass C_LEX_STRING_NO_JOIN for first
1448 token, too.
1449
14502023-01-24 Jason Merrill <jason@redhat.com>
1451
1452 PR c++/108526
1453 * pt.cc (tsubst_function_decl): Handle static lambda.
1454
14552023-01-24 Jakub Jelinek <jakub@redhat.com>
1456
1457 PR c++/108474
1458 * cp-gimplify.cc (cp_fold_r): Revert 2023-01-19 changes.
1459
14602023-01-24 Jason Merrill <jason@redhat.com>
1461
1462 PR c++/107303
1463 PR c++/107329
1464 * cp-gimplify.cc (cp_fold_r) [TARGET_EXPR]: In case of double
1465 TARGET_EXPR, keep the outer one instead of the inner one.
1466 (maybe_replace_decl): New.
1467
607f278a
GA		 14682023-01-23 Jason Merrill <jason@redhat.com>
1469
1470 PR c++/107267
1471 * cp-gimplify.cc (cp_gimplify_init_expr): Allow unexpected elision
1472 of trivial types.
1473
14742023-01-23 Marek Polacek <polacek@redhat.com>
1475
1476 PR c++/107797
1477 * cvt.cc (ocp_convert): copy_warning when creating a new
1478 COMPOUND_EXPR.
1479 * init.cc (build_new_1): Suppress -Wunused-value on
1480 compiler-generated COMPOUND_EXPRs.
1481
14822023-01-23 Jason Merrill <jason@redhat.com>
1483
1484 PR c++/108195
1485 * call.cc (build_user_type_conversion_1): Check whether the
1486 iterators also find a list ctor.
1487
14882023-01-23 Jason Merrill <jason@redhat.com>
1489
1490 PR c++/108496
1491 * decl.cc (grokdeclarator): Check whether DECL_RESULT is already
1492 set.
1493
14942023-01-23 Jason Merrill <jason@redhat.com>
1495
1496 PR c++/53288
1497 DR 1299
1498 * call.cc (extend_ref_init_temps_1): Handle ptrmem expression.
1499
0846336d
GA		 15002023-01-19 Jakub Jelinek <jakub@redhat.com>
1501
1502 PR c++/108437
1503 * cp-tree.h (keep_unused_object_arg): Declare.
1504 * call.cc (keep_unused_object_arg): No longer static.
1505 * tree.cc (build_min_non_dep_op_overload): Handle ARRAY_REF
1506 with overload being static member function.
1507
15082023-01-19 Jakub Jelinek <jakub@redhat.com>
1509
1510 PR c++/53932
1511 * cp-gimplify.cc (cp_fold_r): During cp_fully_fold_init replace
1512 DECL_ANON_UNION_VAR_P VAR_DECLs with their corresponding
1513 DECL_VALUE_EXPR.
1514
f457a62e
GA		 15152023-01-16 Jakub Jelinek <jakub@redhat.com>
1516
1517 PR c++/105593
1518 * decl.cc (cp_finish_decl): Check warning_enabled_at
1519 at the DECL_SOURCE_LOCATION (decl) for OPT_Winit_self instead
1520 of warn_init_self.
1521
5013c3bb
GA		 15222023-01-14 Jakub Jelinek <jakub@redhat.com>
1523
1524 PR c++/108365
1525 * typeck.cc (cp_build_binary_op): Use may_shorten_divmod for integral
1526 division or modulo.
1527
15282023-01-13 Jakub Jelinek <jakub@redhat.com>
1529
1530 PR c++/108285
1531 * cvt.cc (cp_convert_and_check): For EXCESS_PRECISION_EXPR
1532 use its operand except that for warning purposes use the original
1533 EXCESS_PRECISION_EXPR.
1534 * call.cc (convert_like_internal): Only look through
1535 EXCESS_PRECISION_EXPR when calling cp_convert, not when calling
1536 cp_convert_and_check.
1537
84723aca
GA		 15382023-01-09 Jakub Jelinek <jakub@redhat.com>
1539
1540 PR c++/105838
1541 PR c++/108047
1542 PR c++/108266
1543 * call.cc (maybe_init_list_as_range): Always return NULL_TREE if
1544 processing_template_decl.
1545
53ef7c1d
GA		 15462023-01-05 Patrick Palka <ppalka@redhat.com>
1547
1548 PR c++/108275
1549 * parser.cc (cp_parser_class_head): Use dk_deferred instead of
1550 dk_no_check when parsing the class name.
1551
15522023-01-05 Jakub Jelinek <jakub@redhat.com>
1553
1554 PR c++/108286
1555 * semantics.cc (finish_omp_target_clauses): Ignore clauses other than
1556 OMP_CLAUSE_MAP.
1557
faccda27
GA		 15582023-01-04 Patrick Palka <ppalka@redhat.com>
1559
1560 PR c++/108282
1561 * decl2.cc (mark_single_function): Ignore mark_used failure
1562 only in a non-SFINAE context rather than in a SFINAE one.
1563
15642023-01-04 Jakub Jelinek <jakub@redhat.com>
1565
1566 PR c++/108206
1567 * decl.cc (merge_default_template_args): Return false if either
1568 new_parm or old_parm are erroneous.
1569
ad41bd84 1570\f
d64f8779 1571Copyright (C) 2023 Free Software Foundation, Inc.
ad41bd84
JM		 1572
1573Copying and distribution of this file, with or without modification,
1574are permitted in any medium without royalty provided the copyright
1575notice and this notice are preserved.
Mirror of https://gcc.gnu.org/git/gcc.git