]> 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
ecca503b
GA		 12023-10-26 liuhongt <hongtao.liu@intel.com>
2
3 * typeck.cc (build_vec_cmp): Pass type of arg0 to
4 truth_type_for.
5
f75fc1f0
GA		 62023-10-25 Jason Merrill <jason@redhat.com>
7
8 * cp-tree.def: Improve OFFSET_REF comment.
9 * cp-gimplify.cc (cp_fold_immediate): Add to comment.
10
112023-10-25 Thomas Schwinge <thomas@codesourcery.com>
12
13 * parser.cc (cp_parser_omp_clause_name): Return
14 'PRAGMA_OACC_CLAUSE_SELF' for "self".
15 (cp_parser_oacc_data_clause, OACC_UPDATE_CLAUSE_MASK): Adjust.
16 (cp_parser_oacc_all_clauses): Remove 'bool compute_p' formal
17 parameter, and instead locally determine whether we're called for
18 an OpenACC compute construct or OpenACC 'update' directive.
19 (cp_parser_oacc_compute): Adjust.
20
212023-10-25 Chung-Lin Tang <cltang@codesourcery.com>
22
23 * parser.cc (cp_parser_oacc_compute_clause_self): New function.
24 (cp_parser_oacc_all_clauses): Add new 'bool compute_p = false'
25 parameter, add parsing of self clause when compute_p is true.
26 (OACC_KERNELS_CLAUSE_MASK): Add PRAGMA_OACC_CLAUSE_SELF.
27 (OACC_PARALLEL_CLAUSE_MASK): Likewise,
28 (OACC_SERIAL_CLAUSE_MASK): Likewise.
29 (cp_parser_oacc_compute): Adjust call to c_parser_oacc_all_clauses to
30 set compute_p argument to true.
31 * pt.cc (tsubst_omp_clauses): Add OMP_CLAUSE_SELF case.
32 * semantics.cc (c_finish_omp_clauses): Add OMP_CLAUSE_SELF case, merged
33 with OMP_CLAUSE_IF case.
34
352023-10-25 Marek Polacek <polacek@redhat.com>
36
37 PR c++/111895
38 * typeck.cc (build_static_cast_1): Call decay_conversion.
39
444a485f
GA		 402023-10-24 Patrick Palka <ppalka@redhat.com>
41
42 PR c++/111929
43 * init.cc (build_new_1): Use convert, build2, build3 and
44 cp_fully_fold instead of fold_convert, size_binop and
45 fold_build3 when building up 'size'.
46
472023-10-24 Patrick Palka <ppalka@redhat.com>
48
49 PR c++/111919
50 * tree.cc (cp_stabilize_reference): Do nothing when
51 processing_template_decl.
52
3b632746
GA		 532023-10-22 Patrick Palka <ppalka@redhat.com>
54
55 PR objc++/111920
56 * pt.cc (tsubst_expr) <case AT_ENCODE_EXPR>: Use tsubst instead
57 of tsubst_expr.
58
6f684dd2
GA		 592023-10-20 Jason Merrill <jason@redhat.com>
60
61 * call.cc (implicit_conversion_1): Rename...
62 (implicit_conversion): ...to this. Remove the old wrapper.
63
642023-10-20 Jason Merrill <jason@redhat.com>
65
66 * call.cc (tourney): Only skip champ_compared_to_predecessor.
67
682023-10-20 Nathan Sidwell <nathan@acm.org>
69
70 PR c++/105322
71 * module.cc (trees_out::core_vals): Stream CONSTRUCTOR operands
72 after the type.
73 (trees_in::core_vals): Likewise.
74
752023-10-20 Patrick Palka <ppalka@redhat.com>
76
77 * cp-lang.cc (objcp_tsubst_copy_and_build): Rename to ...
78 (objcp_tsubst_expr): ... this.
79 * cp-objcp-common.h (objcp_tsubst_copy_and_build): Rename to ...
80 (objcp_tsubst_expr): ... this.
81 * cp-tree.h (tsubst_copy_and_build): Remove declaration.
82 * init.cc (maybe_instantiate_nsdmi_init): Use tsubst_expr
83 instead of tsubst_copy_and_build.
84 * pt.cc (expand_integer_pack): Likewise.
85 (instantiate_non_dependent_expr_internal): Likewise.
86 (instantiate_class_template): Use tsubst_stmt instead of
87 tsubst_expr for STATIC_ASSERT.
88 (tsubst_function_decl): Adjust tsubst_copy_and_build uses.
89 (tsubst_arg_types): Likewise.
90 (tsubst_exception_specification): Likewise.
91 (tsubst_tree_list): Likewise.
92 (tsubst): Likewise.
93 (tsubst_name): Likewise.
94 (tsubst_omp_clause_decl): Use tsubst_stmt instead of tsubst_expr.
95 (tsubst_omp_clauses): Likewise.
96 (tsubst_copy_asm_operands): Adjust tsubst_copy_and_build use.
97 (tsubst_omp_for_iterator): Use tsubst_stmt instead of tsubst_expr.
98 (tsubst_expr): Rename to ...
99 (tsubst_stmt): ... this.
100 <case CO_YIELD_EXPR, CO_AWAIT_EXPR>: Move to tsubst_expr.
101 (tsubst_omp_udr): Use tsubst_stmt instead of tsubst_expr.
102 (tsubst_non_call_postfix_expression): Adjust tsubst_copy_and_build
103 use.
104 (tsubst_lambda_expr): Likewise. Use tsubst_stmt instead of
105 tsubst_expr for the body of a lambda.
106 (tsubst_copy_and_build_call_args): Rename to ...
107 (tsubst_call_args): ... this. Adjust tsubst_copy_and_build use.
108 (tsubst_copy_and_build): Rename to tsubst_expr. Adjust
109 tsubst_copy_and_build and tsubst_copy_and_build_call_args use.
110 <case TRANSACTION_EXPR>: Use tsubst_stmt instead of tsubst_expr.
111 (maybe_instantiate_noexcept): Adjust tsubst_copy_and_build use.
112 (instantiate_body): Use tsubst_stmt instead of tsubst_expr for
113 substituting the function body.
114 (tsubst_initializer_list): Adjust tsubst_copy_and_build use.
115
1162023-10-20 Patrick Palka <ppalka@redhat.com>
117
118 * cp-tree.h (enum tsubst_flags): Add tf_no_name_lookup.
119 * pt.cc (tsubst_pack_expansion): Use tsubst for substituting
120 BASES_TYPE.
121 (tsubst_decl) <case USING_DECL>: Use tsubst_name instead of
122 tsubst_copy.
123 (tsubst) <case TEMPLATE_TYPE_PARM>: Use tsubst_copy_and_build
124 instead of tsubst_copy for substituting
125 CLASS_PLACEHOLDER_TEMPLATE.
126 <case TYPENAME_TYPE>: Use tsubst_name instead of tsubst_copy for
127 substituting TYPENAME_TYPE_FULLNAME.
128 (tsubst_name): Define.
129 (tsubst_qualified_id): Use tsubst_name instead of tsubst_copy
130 for substituting the component name of a SCOPE_REF.
131 (tsubst_copy): Remove.
132 (tsubst_copy_and_build): Clear tf_no_name_lookup at the start,
133 and remember if it was set. Call maybe_dependent_member_ref if
134 tf_no_name_lookup was not set.
135 <case IDENTIFIER_NODE>: Don't do name lookup if tf_no_name_lookup
136 was set.
137 <case TEMPLATE_ID_EXPR>: If tf_no_name_lookup was set, use
138 tsubst_name instead of tsubst_copy_and_build to substitute the
139 template and don't finish the template-id.
140 <case BIT_NOT_EXPR>: Handle identifier and type operand (if
141 tf_no_name_lookup was set).
142 <case SCOPE_REF>: Avoid trying to resolve a SCOPE_REF if
143 tf_no_name_lookup was set by calling build_qualified_name directly
144 instead of tsubst_qualified_id.
145 <case SIZEOF_EXPR>: Handling of sizeof... copied from tsubst_copy.
146 <case CALL_EXPR>: Use tsubst_name instead of tsubst_copy to
147 substitute a TEMPLATE_ID_EXPR callee naming an unresolved template.
148 <case COMPONENT_REF>: Likewise to substitute the member.
149 <case FUNCTION_DECL>: Copied from tsubst_copy and merged with ...
150 <case VAR_DECL, PARM_DECL>: ... these. Initial handling copied
151 from tsubst_copy. Optimize local variable substitution by
152 trying retrieve_local_specialization before checking
153 uses_template_parms.
154 <case CONST_DECL>: Copied from tsubst_copy.
155 <case FIELD_DECL>: Likewise.
156 <case NAMESPACE_DECL>: Likewise.
157 <case OVERLOAD>: Likewise.
158 <case TEMPLATE_DECL>: Likewise.
159 <case TEMPLATE_PARM_INDEX>: Likewise.
160 <case TYPE_DECL>: Likewise.
161 <case CLEANUP_POINT_EXPR>: Likewise.
162 <case OFFSET_REF>: Likewise.
163 <case EXPR_PACK_EXPANSION>: Likewise.
164 <case NONTYPE_ARGUMENT_PACK>: Likewise.
165 <case *_CST>: Likewise.
166 <case *_*_FOLD_EXPR>: Likewise.
167 <case DEBUG_BEGIN_STMT>: Likewise.
168 <case CO_AWAIT_EXPR>: Likewise.
169 <case TRAIT_EXPR>: Use tsubst and tsubst_copy_and_build instead
170 of tsubst_copy.
171 <default>: Copied from tsubst_copy.
172 (tsubst_initializer_list): Use tsubst and tsubst_copy_and_build
173 instead of tsubst_copy.
174
1752023-10-20 Patrick Palka <ppalka@redhat.com>
176
177 PR c++/106086
178 * parser.cc (cp_parser_postfix_expression): Consolidate three
179 calls to finish_call_expr, one to build_new_method_call and
180 one to build_min_nt_call_vec into one call to finish_call_expr.
181 Don't call maybe_generic_this_capture here.
182 * pt.cc (tsubst_copy_and_build) <case CALL_EXPR>: Remove
183 COMPONENT_REF callee handling.
184 (type_dependent_expression_p): Use t_d_object_e_p instead of
185 t_d_e_p for COMPONENT_REF and OFFSET_REF.
186 * semantics.cc (finish_call_expr): In the type-dependent case,
187 call maybe_generic_this_capture here instead.
188
1892023-10-20 Patrick Palka <ppalka@redhat.com>
190
191 * call.cc (build_new_method_call): Remove calls to
192 build_non_dependent_expr and/or make_args_non_dependent.
193 * coroutines.cc (finish_co_return_stmt): Likewise.
194 * cp-tree.h (build_non_dependent_expr): Remove.
195 (make_args_non_dependent): Remove.
196 * decl2.cc (grok_array_decl): Remove calls to
197 build_non_dependent_expr and/or make_args_non_dependent.
198 (build_offset_ref_call_from_tree): Likewise.
199 * init.cc (build_new): Likewise.
200 * pt.cc (make_args_non_dependent): Remove.
201 (test_build_non_dependent_expr): Remove.
202 (cp_pt_cc_tests): Adjust.
203 * semantics.cc (finish_expr_stmt): Remove calls to
204 build_non_dependent_expr and/or make_args_non_dependent.
205 (finish_for_expr): Likewise.
206 (finish_call_expr): Likewise.
207 (finish_omp_atomic): Likewise.
208 * typeck.cc (finish_class_member_access_expr): Likewise.
209 (build_x_indirect_ref): Likewise.
210 (build_x_binary_op): Likewise.
211 (build_x_array_ref): Likewise.
212 (build_x_vec_perm_expr): Likewise.
213 (build_x_shufflevector): Likewise.
214 (build_x_unary_op): Likewise.
215 (cp_build_addressof): Likewise.
216 (build_x_conditional_expr): Likewise.
217 (build_x_compound_expr): Likewise.
218 (build_static_cast): Likewise.
219 (build_x_modify_expr): Likewise.
220 (check_return_expr): Likewise.
221 * typeck2.cc (build_x_arrow): Likewise.
222
2232023-10-20 Patrick Palka <ppalka@redhat.com>
224
225 * class.cc (instantiate_type): Remove NON_DEPENDENT_EXPR
226 handling.
227 * constexpr.cc (cxx_eval_constant_expression): Likewise.
228 (potential_constant_expression_1): Likewise.
229 * coroutines.cc (coro_validate_builtin_call): Don't
230 expect ALIGNOF_EXPR to be wrapped in NON_DEPENDENT_EXPR.
231 * cp-objcp-common.cc (cp_common_init_ts): Remove
232 NON_DEPENDENT_EXPR handling.
233 * cp-tree.def (NON_DEPENDENT_EXPR): Remove.
234 * cp-tree.h (build_non_dependent_expr): Temporarily redefine as
235 the identity function.
236 * cvt.cc (maybe_warn_nodiscard): Handle type-dependent and
237 variable callee of CALL_EXPR.
238 * cxx-pretty-print.cc (cxx_pretty_printer::expression): Remove
239 NON_DEPENDENT_EXPR handling.
240 * error.cc (dump_decl): Likewise.
241 (dump_expr): Likewise.
242 * expr.cc (mark_use): Likewise.
243 (mark_exp_read): Likewise.
244 * pt.cc (build_non_dependent_expr): Remove.
245 * tree.cc (lvalue_kind): Remove NON_DEPENDENT_EXPR handling.
246 (cp_stabilize_reference): Likewise.
247 * typeck.cc (warn_for_null_address): Likewise.
248 (cp_build_binary_op): Handle type-dependent SIZEOF_EXPR operands.
249 (cp_build_unary_op) <case TRUTH_NOT_EXPR>: Don't fold inside a
250 template.
251
2522023-10-20 Alexandre Oliva <oliva@adacore.com>
253
254 * decl.cc (push_throw_library_fn): Mark with ECF_XTHROW.
255 * except.cc (build_throw): Likewise __cxa_throw,
256 _ITM_cxa_throw, __cxa_rethrow.
257
2582023-10-20 Nathaniel Shead <nathanieloshead@gmail.com>
259
260 PR c++/101631
261 PR c++/102286
262 * call.cc (build_over_call): Fold more indirect refs for trivial
263 assignment op.
264 * class.cc (type_has_non_deleted_trivial_default_ctor): Create.
265 * constexpr.cc (cxx_eval_call_expression): Start lifetime of
266 union member before entering constructor.
267 (cxx_eval_component_reference): Check against first member of
268 value-initialised union.
269 (cxx_eval_store_expression): Activate member for
270 value-initialised union. Check for accessing inactive union
271 member indirectly.
272 * cp-tree.h (type_has_non_deleted_trivial_default_ctor):
273 Forward declare.
274
2752023-10-20 Nathaniel Shead <nathanieloshead@gmail.com>
276
277 * constexpr.cc (is_std_source_location_current): New.
278 (cxx_eval_constant_expression): Only ignore cast from void* for
279 specific cases and improve other diagnostics.
280
c85f7481
GA		 2812023-10-19 Marek Polacek <polacek@redhat.com>
282
283 * cp-gimplify.cc (cp_fold_r): Don't call maybe_constant_value.
284
2852023-10-19 Jason Merrill <jason@redhat.com>
286
287 * typeck2.cc (check_narrowing): Adjust.
288
2892023-10-19 Jason Merrill <jason@redhat.com>
290
291 * parser.cc (cp_parser_primary_expression): Use G_.
292 (cp_parser_using_enum): Likewise.
293 * decl.cc (identify_goto): Likewise.
294
0308461d
GA		 2952023-10-18 Jason Merrill <jason@redhat.com>
296
297 * typeck2.cc (check_narrowing): Use permerror.
298
fb69acff
GA		 2992023-10-17 Marek Polacek <polacek@redhat.com>
300
301 PR c++/111840
302 * parser.cc (cp_parser_simple_declaration): Do cp_parser_error
303 for FUNCTION_DECLs.
304
3052023-10-17 Marek Polacek <polacek@redhat.com>
306
307 PR c++/111660
308 * cp-gimplify.cc (cp_fold_immediate_r) <case COND_EXPR>: Don't
309 handle it here.
310 (cp_fold_r): Handle COND_EXPR here.
311
3122023-10-17 Jason Merrill <jason@redhat.com>
313
314 * mangle.cc (abi_check): New.
315 (write_prefix, write_unqualified_name, write_discriminator)
316 (write_type, write_member_name, write_expression)
317 (write_template_arg, write_template_param): Use it.
318 (start_mangling): Assign from {}.
319 * cp-tree.h: Update comment.
320
3212023-10-17 Nathaniel Shead <nathanieloshead@gmail.com>
322
323 * constexpr.cc (cxx_eval_dynamic_cast_fn): Add missing
324 auto_diagnostic_group.
325 (cxx_eval_call_expression): Likewise.
326 (diag_array_subscript): Likewise.
327 (outside_lifetime_error): Likewise.
328 (potential_constant_expression_1): Likewise.
329
e16ace7c
GA		 3302023-10-16 Jason Merrill <jason@redhat.com>
331
332 * parser.cc (cp_parser_fold_expression): Track location range.
333 * semantics.cc (finish_unary_fold_expr)
334 (finish_left_unary_fold_expr, finish_right_unary_fold_expr)
335 (finish_binary_fold_expr): Add location parm.
336 * constraint.cc (finish_shorthand_constraint): Pass it.
337 * pt.cc (convert_generic_types_to_packs): Likewise.
338 * cp-tree.h: Adjust.
339
3402023-10-16 Marek Polacek <polacek@redhat.com>
341
342 PR c++/111272
343 * constexpr.cc (explain_invalid_constexpr_fn): Also check the body of
344 a constructor in C++14 and up.
345
b3cb98d7
GA		 3462023-10-14 Jakub Jelinek <jakub@redhat.com>
347
348 PR c/102989
349 * module.cc (trees_out::start, trees_in::start): Remove
350 TREE_INT_CST_OFFSET_NUNITS handling.
351
69e3072c
GA		 3522023-10-10 Jason Merrill <jason@redhat.com>
353
354 PR c++/109422
355 * mangle.cc (write_template_param): Also mangle level.
356
00c67d62
GA		 3572023-10-08 David Malcolm <dmalcolm@redhat.com>
358
359 * module.cc (module_state::read_location): Update for renaming of
360 get_combined_adhoc_loc.
361
96557ee6
GA		 3622023-10-03 David Malcolm <dmalcolm@redhat.com>
363
364 * error.cc (print_instantiation_partial_context_line): Call
365 diagnostic_show_locus.
366
3672023-10-03 David Malcolm <dmalcolm@redhat.com>
368
369 * error.cc: Update for "m_" prefixes to text_info fields.
370
125781fb
GA		 3712023-09-30 Eugene Rozenfeld <erozen@microsoft.com>
372
373 * Make-lang.in: Make create_fdas_for_cc1plus target not .PHONY
374
14c363c1
GA		 3752023-09-28 Richard Sandiford <richard.sandiford@arm.com>
376
377 * constexpr.cc (cxx_fold_indirect_ref): Remove unused variables.
378
f72591c8
GA		 3792023-09-22 Jason Merrill <jason@redhat.com>
380
381 PR c++/111357
382 * pt.cc (expand_integer_pack): Use IMPLICIT_CONV_EXPR.
383
3842023-09-22 Jason Merrill <jason@redhat.com>
385
386 * constexpr.cc (free_constructor): Handle null ce->value.
387
3882023-09-22 Jason Merrill <jason@redhat.com>
389
390 PR c++/111529
391 * parser.cc (cp_parser_lambda_declarator_opt): Don't suggest
392 -std=c++14 for lambda templates.
393 * pt.cc (tsubst_expr): Move ANNOTATE_EXPR handling...
394 (tsubst_copy_and_build): ...here.
395
3962023-09-22 Patrick Palka <ppalka@redhat.com>
397
398 PR c++/111493
399 * decl2.cc (grok_array_decl): Guard diagnostic and backward
400 compatibility fallback code paths with tf_error.
401
4022023-09-22 Patrick Palka <ppalka@redhat.com>
403
404 PR c++/111485
405 * pt.cc (is_compatible_template_arg): New parameter 'args'.
406 Add the outer template arguments 'args' to 'new_args'.
407 (convert_template_argument): Pass 'args' to
408 is_compatible_template_arg.
409
4907d220
GA		 4102023-09-20 Jakub Jelinek <jakub@redhat.com>
411
412 * parser.cc (cp_parser_postfix_expression): Parse
413 __builtin_classify_type call with typename as argument.
414 * pt.cc (tsubst_copy_and_build): Handle __builtin_classify_type
415 with dependent typename as argument.
416
4172023-09-20 Patrick Palka <ppalka@redhat.com>
418
419 PR c++/111471
420 * cxx-pretty-print.cc (cxx_pretty_printer::expression)
421 <case VAR_DECL>: Handle class NTTP objects by printing
422 their type and value.
423 <case VIEW_CONVERT_EXPR>: Strip const VIEW_CONVERT_EXPR
424 wrappers for class NTTPs.
425 (pp_cxx_template_argument_list): Don't handle class NTTP
426 objects here.
427
4282023-09-20 Patrick Palka <ppalka@redhat.com>
429
430 * pt.cc (tsubst_function_decl): Don't bother computing 'argvec'
431 when 'lambda_fntype' is set.
432 (tsubst_template_decl): Make sure we return a TEMPLATE_DECL
433 during specialization lookup. In the non-class non-function
434 template case, use tsubst_decl directly with use_spec_table=false,
435 update DECL_TI_ARGS and call register_specialization like
436 tsubst_decl would have done if use_spec_table=true.
437
4382023-09-20 Jakub Jelinek <jakub@redhat.com>
439
440 PR c++/111392
441 * parser.h (struct cp_lexer): Add in_omp_decl_attribute member.
442 * cp-tree.h (cp_maybe_parse_omp_decl): Declare.
443 * parser.cc (cp_parser_handle_statement_omp_attributes): Diagnose
444 omp::decl attribute on statements. Adjust diagnostic wording for
445 omp::decl.
446 (cp_parser_omp_directive_args): Add DECL_P argument, set TREE_PUBLIC
447 to it on the DEFERRED_PARSE tree.
448 (cp_parser_omp_sequence_args): Adjust caller.
449 (cp_parser_std_attribute): Handle omp::decl attribute.
450 (cp_parser_omp_var_list): If parser->lexer->in_omp_decl_attribute
451 don't expect any arguments, instead create clause or TREE_LIST for
452 that decl.
453 (cp_parser_late_parsing_omp_declare_simd): Adjust diagnostic wording
454 for omp::decl.
455 (cp_maybe_parse_omp_decl): New function.
456 (cp_parser_omp_declare_target): If
457 parser->lexer->in_omp_decl_attribute and first token isn't name or
458 comma invoke cp_parser_omp_var_list.
459 * decl2.cc (cplus_decl_attributes): Adjust diagnostic wording for
460 omp::decl. Handle omp::decl on declarations.
461 * name-lookup.cc (finish_using_directive): Adjust diagnostic wording
462 for omp::decl.
463
590a8bec
GA		 4642023-09-19 Ben Boeckel <ben.boeckel@kitware.com>
465
466 * mapper-client.cc, mapper-client.h (open_module_client): Accept
467 dependency tracking and track module mapper files as
468 dependencies.
469 * module.cc (make_mapper, get_mapper): Pass the dependency
470 tracking class down.
471
4722023-09-19 Ben Boeckel <ben.boeckel@kitware.com>
473
474 * module.cc (do_import): Report imported CMI files as
475 dependencies.
476
4772023-09-19 Ben Boeckel <ben.boeckel@kitware.com>
478
479 * module.cc (preprocessed_module): Pass whether the module is
480 exported to dependency tracking.
481
4822023-09-19 Javier Martinez <javier.martinez.bugzilla@gmail.com>
483
484 * class.cc (propagate_class_warmth_attribute): New function.
485 (check_bases_and_members): propagate hot and cold attributes
486 to all FUNCTION_DECL when the record is marked hot or cold.
487 * cp-tree.h (maybe_propagate_warmth_attributes): New function.
488 * decl2.cc (maybe_propagate_warmth_attributes): New function.
489 * method.cc (lazily_declare_fn): propagate hot and cold
490 attributes to lazily declared functions when the record is
491 marked hot or cold.
492
4932023-09-19 Patrick Palka <ppalka@redhat.com>
494
495 * ptree.cc (cxx_print_type): Remove TYPE_LANG_SPECIFIC
496 test guarding TYPE_TEMPLATE_INFO.
497
4982023-09-19 Jason Merrill <jason@redhat.com>
499
500 DR 2799
501 * class.cc (add_implicit_default_ctor): Split out...
502 (add_implicitly_declared_members): ...from here.
503 Also call it when inheriting a default ctor.
504
5052023-09-19 Marek Polacek <polacek@redhat.com>
506
507 * call.cc (build_over_call): Set ADDR_EXPR_DENOTES_CALL_P. Don't handle
508 immediate_invocation_p here.
509 * constexpr.cc (cxx_eval_call_expression): Use mce_true for
510 DECL_IMMEDIATE_FUNCTION_P.
511 (cxx_eval_conditional_expression): Call cp_fold_immediate.
512 * cp-gimplify.cc (enum fold_flags): Add ff_fold_immediate.
513 (maybe_replace_decl): Make static.
514 (cp_fold_r): Expand immediate invocations.
515 (cp_fold_immediate_r): New.
516 (cp_fold_immediate): New.
517 * cp-tree.h (ADDR_EXPR_DENOTES_CALL_P): Define.
518 (cp_fold_immediate): Declare.
519 * tree.cc (bot_replace): Don't handle immediate invocations here.
520
5212023-09-19 Patrick Palka <ppalka@redhat.com>
522
523 PR c++/111419
524 * cvt.cc (convert_to_void) <case INDIRECT_REF>: Only call
525 complete_type if the type is volatile.
526 <case VAR_DECL>: Likewise.
527
5282023-09-19 Patrick Palka <ppalka@redhat.com>
529
530 PR c++/99631
531 * semantics.cc (finish_decltype_type): For an NTTP object,
532 return its type modulo cv-quals.
533
6b78e9a5
GA		 5342023-09-18 Patrick Palka <ppalka@redhat.com>
535
536 PR c++/89231
537 * pt.cc (try_class_unification): Strengthen TI_TEMPLATE equality
538 test by not calling most_general_template. Only unify the
539 innermost levels of template arguments.
540 (unify) <case CLASS_TYPE>: Only unify the innermost levels of
541 template arguments, and only if the template is primary.
542
5432023-09-18 Patrick Palka <ppalka@redhat.com>
544
545 PR c++/63198
546 PR c++/18474
547 * semantics.cc (maybe_convert_cond): Look through implicit
548 INDIRECT_REF when deciding whether to issue a -Wparentheses
549 warning, and consider templated assignment expressions as well.
550 (finish_parenthesized_expr): Look through implicit INDIRECT_REF
551 when suppressing -Wparentheses warning.
552 * typeck.cc (build_x_modify_expr): Check simple assignments
553 ahead time too, not just compound assignments. Give the second
554 operand of MODOP_EXPR a non-null type so that it's not considered
555 always instantiation-dependent. Don't call suppress_warning.
556
5572023-09-18 Patrick Palka <ppalka@redhat.com>
558
559 PR c++/108347
560 * pt.cc (unify): Return unify_success for identical dependent
561 DECL_P 'arg' and 'parm'.
562 <case CONST_DECL>: Remove handling.
563
5642023-09-18 Patrick Palka <ppalka@redhat.com>
565
566 * call.cc (add_template_candidate_real): Check arity even
567 when there are no explicit template arguments. Combine the
568 two adjacent '!obj' tests into one.
569
5702023-09-18 Patrick Palka <ppalka@redhat.com>
571
572 * pt.cc (register_specialization): Remove now-unnecessary
573 early exit for FUNCTION_DECL partial instantiation.
574 (tsubst_template_decl): Pass use_spec_table=false to
575 tsubst_function_decl. Set DECL_TI_ARGS of a non-lambda
576 FUNCTION_DECL specialization to the full set of arguments.
577 Simplify register_specialization call accordingly.
578
5792023-09-18 Jason Merrill <jason@redhat.com>
580
581 * class.cc (check_subobject_offset): Use similar_type_p.
582
a1c20158
GA		 5832023-09-12 Jason Merrill <jason@redhat.com>
584
585 PR c++/111357
586 * pt.cc (expand_integer_pack): Convert argument to int.
587
5882023-09-12 Jason Merrill <jason@redhat.com>
589
590 PR c++/107198
591 * typeck2.cc (process_init_constructor_array): Use VEC_INIT_EXPR
592 regardless of seen_error.
593
fd0b9521
GA		 5942023-09-08 Patrick Palka <ppalka@redhat.com>
595
596 PR c++/99599
597 * pt.cc (check_non_deducible_conversions): Add bool parameter
598 passed down to check_non_deducible_conversion.
599 (fn_type_unification): Call check_non_deducible_conversions
600 an extra time before satisfaction with noninst_only_p=true.
601 (conversion_may_instantiate_p): Define.
602 (check_non_deducible_conversion): Add bool parameter controlling
603 whether to compute only conversions that are guaranteed to
604 not induce template instantiation.
605
109c11f6
GA		 6062023-09-07 Sandra Loosemore <sandra@codesourcery.com>
607
608 PR c++/111274
609 * parser.cc (fixup_blocks_walker): Check for null BIND_EXPR_BLOCK.
610
a134b6ce
GA		 6112023-09-06 Jason Merrill <jason@redhat.com>
612
613 * class.cc (check_subobject_offset): Check
614 same_type_ignoring_top_level_qualifiers_p.
615
4388bc82
GA		 6162023-09-05 Marek Polacek <polacek@redhat.com>
617
618 PR c++/91483
619 * constexpr.cc (verify_constant_explain_r): New.
620 (verify_constant): Call it.
621
6222023-09-05 Jakub Jelinek <jakub@redhat.com>
623
624 PR c++/52953
625 * name-lookup.cc (check_local_shadow): Don't punt early for
626 DECL_EXTERNAL decls, instead just disable the shadowing of namespace
627 decls check for those and emit a pedwarn rather than error_at or
628 permerror for those. Formatting fix.
629
6302023-09-05 Jakub Jelinek <jakub@redhat.com>
631
632 PR c++/52953
633 * name-lookup.h (struct cp_binding_level): Add artificial bit-field.
634 Formatting fixes.
635 * name-lookup.cc (check_local_shadow): Skip artificial bindings when
636 checking if parameter scope is parent scope. Don't special case
637 FUNCTION_NEEDS_BODY_BLOCK. Diagnose the in_function_try_handler
638 cases in the b->kind == sk_function_parms test and verify no
639 non-artificial intervening scopes. Add missing auto_diagnostic_group.
640 * decl.cc (begin_function_body): Set
641 current_binding_level->artificial.
642 * semantics.cc (begin_function_try_block): Likewise.
643
6442023-09-05 Patrick Palka <ppalka@redhat.com>
645
646 * parser.cc (cp_parser_parenthesized_expression_list_elt): Pass
647 nullptr as non_constant_p to cp_parser_braced_list if our
648 non_constant_p is null.
649 (cp_parser_initializer_list): Likewise to
650 cp_parser_initializer_clause. Avoid inspecting
651 clause_non_constant_p if it's uninitialized.
652
6532023-09-05 Patrick Palka <ppalka@redhat.com>
654
655 * call.cc (build_user_type_conversion): Free allocated
656 conversions.
657 (build_converted_constant_expr_internal): Use
658 conversion_obstack_sentinel instead.
659 (perform_dguide_overload_resolution): Likewise.
660 (build_new_function_call): Likewise.
661 (build_operator_new_call): Free allocated conversions.
662 (build_op_call): Use conversion_obstack_sentinel instead.
663 (build_conditional_expr): Use conversion_obstack_sentinel
664 instead, and hoist it out to the outermost scope.
665 (build_new_op): Use conversion_obstack_sentinel instead
666 and set it up before the first goto. Remove second unneeded goto.
667 (build_op_subscript): Use conversion_obstack_sentinel instead.
668 (ref_conv_binds_to_temporary): Likewise.
669 (build_new_method_call): Likewise.
670 (can_convert_arg): Likewise.
671 (can_convert_arg_bad): Likewise.
672 (perform_implicit_conversion_flags): Likewise.
673 (perform_direct_initialization_if_possible): Likewise.
674 (initialize_reference): Likewise.
675
80907b03
GA		 6762023-09-01 Jakub Jelinek <jakub@redhat.com>
677
678 PR c++/111069
679 * cp-tree.h (determine_local_discriminator): Add NAME argument with
680 NULL_TREE default.
681 (struct cp_decomp): New type.
682 (cp_finish_decl): Add DECOMP argument defaulted to nullptr.
683 (cp_maybe_mangle_decomp): Remove declaration.
684 (cp_finish_decomp): Add cp_decomp * argument, remove tree and unsigned
685 args.
686 (cp_convert_range_for): Likewise.
687 * decl.cc (determine_local_discriminator): Add NAME argument, use it
688 if non-NULL, otherwise compute it the old way.
689 (maybe_commonize_var): Don't return early for structured bindings.
690 (cp_finish_decl): Add DECOMP argument, if non-NULL, call
691 cp_maybe_mangle_decomp.
692 (cp_maybe_mangle_decomp): Make it static with a forward declaration.
693 Call determine_local_discriminator. Replace FIRST and COUNT arguments
694 with DECOMP argument.
695 (cp_finish_decomp): Replace FIRST and COUNT arguments with DECOMP
696 argument.
697 * mangle.cc (find_decomp_unqualified_name): Remove.
698 (write_unqualified_name): Don't call find_decomp_unqualified_name.
699 (mangle_decomp): Handle mangling of static function/block scope
700 structured bindings. Don't call decl_mangling_context twice. Call
701 check_abi_tags, call write_abi_tags for abi version >= 19 and emit
702 -Wabi warnings if needed.
703 (write_guarded_var_name): Handle structured bindings.
704 (mangle_ref_init_variable): Use write_guarded_var_name.
705 * parser.cc (cp_parser_range_for): Adjust do_range_for_auto_deduction
706 and cp_convert_range_for callers.
707 (do_range_for_auto_deduction): Replace DECOMP_FIRST_NAME and
708 DECOMP_CNT arguments with DECOMP. Adjust cp_finish_decomp caller.
709 (cp_convert_range_for): Replace DECOMP_FIRST_NAME and
710 DECOMP_CNT arguments with DECOMP. Don't call cp_maybe_mangle_decomp,
711 adjust cp_finish_decl and cp_finish_decomp callers.
712 (cp_parser_decomposition_declaration): Don't call
713 cp_maybe_mangle_decomp, adjust cp_finish_decl and cp_finish_decomp
714 callers.
715 (cp_convert_omp_range_for): Adjust do_range_for_auto_deduction
716 and cp_finish_decomp callers.
717 (cp_finish_omp_range_for): Don't call cp_maybe_mangle_decomp,
718 adjust cp_finish_decl and cp_finish_decomp callers.
719 * pt.cc (tsubst_omp_for_iterator): Adjust tsubst_decomp_names
720 caller.
721 (tsubst_decomp_names): Replace FIRST and CNT arguments with DECOMP.
722 (tsubst_expr): Don't call cp_maybe_mangle_decomp, adjust
723 tsubst_decomp_names, cp_finish_decl, cp_finish_decomp and
724 cp_convert_range_for callers.
725
ffb8568a
GA		 7262023-08-30 Marek Polacek <polacek@redhat.com>
727
728 PR c++/91319
729 * parser.cc (cp_parser_initializer_list): Set CONSTRUCTOR_IS_DIRECT_INIT
730 when the designated initializer is of the .x{} form.
731
7322023-08-30 Marek Polacek <polacek@redhat.com>
733
734 PR c++/111173
735 * decl.cc (grokdeclarator): Disallow constinit on functions.
736
ded52c9f
GA		 7372023-08-29 Marek Polacek <polacek@redhat.com>
738
739 * call.cc (convert_like_internal): Show where the conversion function
740 was declared.
741 (maybe_show_nonconverting_candidate): New.
742 * cp-tree.h (maybe_show_nonconverting_candidate): Declare.
743 * typeck.cc (convert_for_assignment): Call it.
744
b8863640
GA		 7452023-08-25 Sandra Loosemore <sandra@codesourcery.com>
746
747 * cp-tree.h (cp_convert_omp_range_for): Adjust declaration.
748 * parser.cc (struct omp_for_parse_data): New.
749 (cp_parser_postfix_expression): Diagnose calls to OpenMP runtime
750 in intervening code.
751 (check_omp_intervening_code): New.
752 (cp_parser_statement_seq_opt): Special-case nested loops, blocks,
753 and other constructs for OpenMP loops.
754 (cp_parser_iteration_statement): Reject loops in intervening code.
755 (cp_parser_omp_for_loop_init): Expand comments and tweak the
756 interface slightly to better distinguish input/output parameters.
757 (cp_convert_omp_range_for): Likewise.
758 (cp_parser_omp_loop_nest): New, split from cp_parser_omp_for_loop
759 and largely rewritten. Add more comments.
760 (insert_structured_blocks): New.
761 (find_structured_blocks): New.
762 (struct sit_data, substitute_in_tree_walker, substitute_in_tree):
763 New.
764 (fixup_blocks_walker): New.
765 (cp_parser_omp_for_loop): Rewrite to use recursive descent instead
766 of a loop. Add logic to reshuffle the bits of code collected
767 during parsing so intervening code gets moved to the loop body.
768 (cp_parser_omp_loop): Remove call to finish_omp_for_block, which
769 is now redundant.
770 (cp_parser_omp_simd): Likewise.
771 (cp_parser_omp_for): Likewise.
772 (cp_parser_omp_distribute): Likewise.
773 (cp_parser_oacc_loop): Likewise.
774 (cp_parser_omp_taskloop): Likewise.
775 (cp_parser_pragma): Reject OpenMP pragmas in intervening code.
776 * parser.h (struct cp_parser): Add omp_for_parse_state field.
777 * pt.cc (tsubst_omp_for_iterator): Adjust call to
778 cp_convert_omp_range_for.
779 * semantics.cc (finish_omp_for): Try harder to preserve location
780 of loop variable init expression for use in diagnostics.
781 (struct fofb_data, finish_omp_for_block_walker): New.
782 (finish_omp_for_block): Allow variables to be bound in a BIND_EXPR
783 nested inside BIND instead of directly in BIND itself.
784
7852023-08-25 Sandra Loosemore <sandra@codesourcery.com>
786
787 * constexpr.cc (cxx_eval_constant_expression): Handle
788 OMP_STRUCTURED_BLOCK.
789 * pt.cc (tsubst_expr): Likewise.
790
7912023-08-25 Uros Bizjak <ubizjak@gmail.com>
792
793 * call.cc (build_conditional_expr):
794 Rename TRUE/FALSE to true/false.
795 (build_new_op): Ditto.
796
6cd85273
GA		 7972023-08-22 Jason Merrill <jason@redhat.com>
798
799 * pt.cc (outer_template_args): Handle non-template argument.
800 * constraint.cc (maybe_substitute_reqs_for): Pass decl to it.
801 * cp-tree.h (outer_template_args): Adjust.
802
8032023-08-22 Jason Merrill <jason@redhat.com>
804
805 PR c++/109751
806 * cp-tree.h (member_like_constrained_friend_p): Declare.
807 * decl.cc (member_like_constrained_friend_p): New.
808 (function_requirements_equivalent_p): Check it.
809 (duplicate_decls): Check it.
810 (grokfndecl): Check friend template constraints.
811 * mangle.cc (decl_mangling_context): Check it.
812 (write_unqualified_name): Check it.
813 * pt.cc (uses_outer_template_parms_in_constraints): Fix for friends.
814 (tsubst_friend_function): Don't check satisfaction.
815
8162023-08-22 Tobias Burnus <tobias@codesourcery.com>
817
818 * parser.cc (cp_parser_omp_clause_defaultmap): Parse
819 'all' as category.
820
b01e96f8
GA		 8212023-08-15 Chung-Lin Tang <cltang@codesourcery.com>
822 Thomas Schwinge <thomas@codesourcery.com>
823
824 * parser.cc (OACC_DATA_CLAUSE_MASK): Add PRAGMA_OACC_CLAUSE_DEFAULT.
825
3cc78cf2
GA		 8262023-08-14 gnaggnoyil <gnaggnoyil@gmail.com>
827
828 DR 2386
829 PR c++/110216
830 * decl.cc (get_tuple_size): Update implementation for DR 2386.
831
8322023-08-14 Jason Merrill <jason@redhat.com>
833
834 * parser.cc (cp_parser_simple_type_specifier): Handle -std=c++14
835 -fconcepts.
836
adae87c1
GA		 8372023-08-12 Patrick Palka <ppalka@redhat.com>
838 Jason Merrill <jason@redhat.com>
839
840 PR c++/106604
841 * decl.cc (redeclaration_error_message): Remove special handling
842 for deduction guides.
843 (grokfndecl): Give deduction guides a dummy DECL_INITIAL.
844
886afed6
GA		 8452023-08-11 Patrick Palka <ppalka@redhat.com>
846
847 PR c++/110927
848 * parser.cc (cp_parser_type_requirement): Pass
849 check_dependency_p=true instead of =false.
850
8512023-08-11 Patrick Palka <ppalka@redhat.com>
852
853 PR c++/71954
854 * decl.cc (grokdeclarator): Pass 'dname' instead of
855 'unqualified_id' as the name when building the VAR_DECL for a
856 static data member. Call check_explicit_specialization for a
857 TEMPLATE_ID_EXPR such member.
858 * pt.cc (finish_member_template_decl): Return NULL_TREE
859 instead of 'decl' when DECL_TEMPLATE_SPECIALIZATION is not
860 set.
861
8622023-08-11 Patrick Palka <ppalka@redhat.com>
863
864 * ptree.cc (cxx_print_decl): Check for DECL_LANG_SPECIFIC and
865 TS_DECL_COMMON only when necessary. Print DECL_TEMPLATE_INFO
866 for all decls that have it, not just VAR_DECL or FUNCTION_DECL.
867 Also print DECL_USE_TEMPLATE.
868 (cxx_print_type): Print TYPE_TEMPLATE_INFO.
869 <case BOUND_TEMPLATE_TEMPLATE_PARM>: Don't print TYPE_TI_ARGS
870 anymore.
871 <case TEMPLATE_TYPE/TEMPLATE_PARM>: Print TEMPLATE_TYPE_PARM_INDEX
872 instead of printing the index, level and original level
873 individually.
874
c8b39624
GA		 8752023-08-08 Marek Polacek <polacek@redhat.com>
876
877 * parser.cc (cp_parser_postfix_expression): Adjust the call to
878 cp_parser_braced_list.
879 (cp_parser_postfix_open_square_expression): Likewise.
880 (cp_parser_new_initializer): Likewise.
881 (cp_parser_assignment_expression): Adjust the call to
882 cp_parser_initializer_clause.
883 (cp_parser_lambda_introducer): Adjust the call to cp_parser_initializer.
884 (cp_parser_range_for): Adjust the call to cp_parser_braced_list.
885 (cp_parser_jump_statement): Likewise.
886 (cp_parser_mem_initializer): Likewise.
887 (cp_parser_template_argument): Likewise.
888 (cp_parser_default_argument): Adjust the call to cp_parser_initializer.
889 (cp_parser_initializer): Handle null is_direct_init and non_constant_p
890 arguments.
891 (cp_parser_initializer_clause): Handle null non_constant_p argument.
892 (cp_parser_braced_list): Likewise.
893 (cp_parser_initializer_list): Likewise.
894 (cp_parser_member_declaration): Adjust the call to
895 cp_parser_initializer_clause and cp_parser_initializer.
896 (cp_parser_yield_expression): Adjust the call to cp_parser_braced_list.
897 (cp_parser_functional_cast): Likewise.
898 (cp_parser_late_parse_one_default_arg): Adjust the call to
899 cp_parser_initializer.
900 (cp_parser_omp_for_loop_init): Likewise.
901 (cp_parser_omp_declare_reduction_exprs): Likewise.
902
9032023-08-08 Nathaniel Shead <nathanieloshead@gmail.com>
904
905 PR c++/100482
906 * parser.cc (cp_parser_decltype_expr): Report errors raised by
907 finish_id_expression.
908
5b42ee2c
GA		 9092023-08-04 Tamar Christina <tamar.christina@arm.com>
910
911 * cp-tree.h (RANGE_FOR_NOVECTOR): New.
912 (cp_convert_range_for, finish_while_stmt_cond, finish_do_stmt,
913 finish_for_cond): Add novector param.
914 * init.cc (build_vec_init): Default novector to false.
915 * method.cc (build_comparison_op): Likewise.
916 * parser.cc (cp_parser_statement): Likewise.
917 (cp_parser_for, cp_parser_c_for, cp_parser_range_for,
918 cp_convert_range_for, cp_parser_iteration_statement,
919 cp_parser_omp_for_loop, cp_parser_pragma): Support novector.
920 (cp_parser_pragma_novector): New.
921 * pt.cc (tsubst_expr): Likewise.
922 * semantics.cc (finish_while_stmt_cond, finish_do_stmt,
923 finish_for_cond): Likewise.
924
cf58b896
GA		 9252023-08-01 Lewis Hyatt <lhyatt@gmail.com>
926
927 * parser.cc (c_init_preprocess): New function.
928 (maybe_read_tokens_for_pragma_lex): New function.
929 (pragma_lex): Support preprocess-only mode.
930 (pragma_lex_discard_to_eol): New function.
931
a2f31d79
GA		 9322023-07-31 Chung-Lin Tang <cltang@codesourcery.com>
933
934 * parser.cc (cp_parser_oacc_host_data): Add checking requiring OpenACC
935 host_data construct to have an use_device clause.
936
e0f91730
GA		 9372023-07-28 Ng YongXiang <yongxiangng@gmail.com>
938
939 PR c++/110057
940 PR ipa/83054
941 * init.cc (build_vec_delete_1): Devirtualize array destruction.
942
0c7b0745
GA		 9432023-07-27 Patrick Palka <ppalka@redhat.com>
944
945 PR c++/110197
946 * constexpr.cc (cxx_eval_array_reference): Allow synthesizing an
947 empty subobject even if CONSTRUCTOR_NO_CLEARING is set.
948 (cxx_eval_bare_aggregate): Set 'no_slot' to true more generally
949 whenever new_ctx.ctor is set to NULL_TREE by init_subob_ctx,
950 i.e. whenever initializing an subobject of empty type.
951 (cxx_eval_vec_init_1): Define 'no_slot' as above and use it
952 accordingly.
953
9542023-07-27 Nathaniel Shead <nathanieloshead@gmail.com>
955
956 PR c++/103497
957 * pt.cc (type_uses_auto): Check inside parameter packs.
958
5278cd6a
GA		 9592023-07-26 Patrick Palka <ppalka@redhat.com>
960
961 PR c++/110566
962 PR c++/108179
963 * pt.cc (reduce_template_parm_level): Set DECL_TEMPLATE_INFO
964 on the DECL_TEMPLATE_RESULT of the new ttp.
965 (add_defaults_to_ttp): Make a copy of the original ttp's
966 DECL_TEMPLATE_RESULT, and update this copy's DECL_TEMPLATE_INFO
967 as well.
968 (coerce_template_template_parms): Make sure 'scope_args' has
969 the right amount of levels for the ttp argument.
970 (most_general_template): Handle template template parameters.
971 (rewrite_template_parm): Set DECL_TEMPLATE_RESULT on the
972 DECL_TEMPLATE_RESULT of the new ttp.
973
9742023-07-26 Patrick Palka <ppalka@redhat.com>
975
976 PR c++/110566
977 PR c++/108179
978 * pt.cc (coerce_template_template_parms): Simplify by using
979 DECL_INNERMOST_TEMPLATE_PARMS and removing redundant asserts.
980 Always pass the parameters of the most general template to
981 coerce_template_parms.
982
9832023-07-26 Patrick Palka <ppalka@redhat.com>
984
985 PR c++/110809
986 * pt.cc (unify) <case INTEGER_CST>: Generalize to handle
987 REAL_CST as well.
988
9892023-07-26 Marek Polacek <polacek@redhat.com>
990
991 * parser.cc (cp_parser_constant_expression): Allow non_constant_p to be
992 nullptr even when allow_non_constant_p is true. Don't call
993 _rvalue_constant_expression when not necessary. Move local variable
994 declarations closer to their first use.
995 (cp_parser_static_assert): Don't pass a dummy down to
996 cp_parser_constant_expression.
997
9982023-07-26 Jason Merrill <jason@redhat.com>
999
1000 PR c++/106310
1001 * parser.cc (cp_parser_template_name): Skip non-member
1002 lookup after the template keyword.
1003 (cp_parser_lookup_name): Pass down template_keyword_p.
1004
10052023-07-26 Nathaniel Shead <nathanieloshead@gmail.com>
1006
1007 PR c++/96630
1008 PR c++/98675
1009 PR c++/70331
1010 * constexpr.cc (constexpr_global_ctx::is_outside_lifetime): New
1011 function.
1012 (constexpr_global_ctx::get_value): Don't return expired values.
1013 (constexpr_global_ctx::get_value_ptr): Likewise.
1014 (constexpr_global_ctx::remove_value): Mark value outside
1015 lifetime.
1016 (outside_lifetime_error): New function.
1017 (cxx_eval_call_expression): No longer track save_exprs.
1018 (cxx_eval_loop_expr): Likewise.
1019 (cxx_eval_constant_expression): Add checks for outside lifetime
1020 values. Remove local variables at end of bind exprs, and
1021 temporaries after cleanup points.
1022
10232023-07-26 Nathaniel Shead <nathanieloshead@gmail.com>
1024
1025 PR c++/110619
1026 * cp-gimplify.cc (cp_genericize_r): Transform RETURN_EXPRs to
1027 not return dangling pointers.
1028 * cp-tree.h (RETURN_EXPR_LOCAL_ADDR_P): New flag.
1029 (check_return_expr): Add a new parameter.
1030 * semantics.cc (finish_return_stmt): Set flag on RETURN_EXPR
1031 when referring to dangling pointer.
1032 * typeck.cc (check_return_expr): Disable transformation of
1033 dangling pointers, instead pass this information to caller.
1034
10352023-07-26 Nathaniel Shead <nathanieloshead@gmail.com>
1036
1037 * constexpr.cc (modifying_const_object_error): Find the source
1038 location of the const object's declaration.
1039 (cxx_eval_constant_expression): Update input_location to the
1040 location of the currently evaluated expression, if possible.
1041
af37e394
GA		 10422023-07-25 Marek Polacek <polacek@redhat.com>
1043
1044 PR c++/108960
1045 * pt.cc (lookup_and_finish_template_variable): Don't clear tf_partial
1046 here.
1047 (instantiate_template): Reset all complain flags except
1048 tf_warning_or_error.
1049
10502023-07-25 Marek Polacek <polacek@redhat.com>
1051
1052 PR c++/110382
1053 * constexpr.cc (cxx_eval_array_reference): Create a new constructor
1054 only when we don't already have a matching one. Clear the object
1055 when the type is non-scalar.
1056
0ce63530
GA		 10572023-07-21 Marek Polacek <polacek@redhat.com>
1058
1059 PR c++/110106
1060 * constexpr.cc (potential_constant_expression_1): Try to complete the
1061 type when !processing_template_decl.
1062
e2bf82d5
GA		 10632023-07-20 Marek Polacek <polacek@redhat.com>
1064
1065 PR c++/110114
1066 * call.cc (implicit_conversion_1): Return early if the type isn't
1067 complete.
1068
49bed11d
GA		 10692023-07-19 Marek Polacek <polacek@redhat.com>
1070
1071 PR c++/110745
1072 * error.cc (dump_simple_decl): Print base class name.
1073
10742023-07-19 Marek Polacek <polacek@redhat.com>
1075
1076 PR c++/110064
1077 * typeck2.cc (process_init_constructor_record): Don't emit
1078 -Wmissing-field-initializers for empty classes.
1079
10802023-07-19 Patrick Palka <ppalka@redhat.com>
1081
1082 * pt.cc (type_unification_real): Test for PARM_DECL instead
1083 of TEMPLATE_PARM_INDEX to distinguish a type vs non-type
1084 template parameter pack.
1085 (type_targs_deducible_from): Likewise.
1086
10872023-07-19 Patrick Palka <ppalka@redhat.com>
1088
1089 * pt.cc (tsubst_function_decl): Add defaulted 'use_spec_table'
1090 flag parameter. Don't look up or insert into the specializations
1091 table if 'use_spec_table' is false.
1092 (tsubst_decl): Add defaulted 'use_spec_table' flag parameter.
1093 Check for error_mark_node.
1094 <case FUNCTION_DECL>: Pass 'use_spec_table' to
1095 tsubst_function_decl.
1096 <case TYPE/VAR_DECL>: Don't call coerce_template_parms.
1097 Don't look up or insert into the specializations table if
1098 'use_spec_table' is false. Exit earlier if the substituted
1099 type is erroneous and we're not complaining, and do so for
1100 alias specializations as well.
1101 (instantiate_template): Pass false as 'use_spec_table'
1102 to tsubst_decl. Call register_specialization afterwards.
1103
ec842611
GA		 11042023-07-18 Jason Merrill <jason@redhat.com>
1105
1106 * constexpr.cc (cxx_eval_bit_cast): Check that the result of
1107 native_interpret_aggregate doesn't need more evaluation.
1108
11092023-07-18 Patrick Palka <ppalka@redhat.com>
1110
1111 * call.cc (add_template_conv_candidate): Don't check for
1112 non-empty 'candidates' here.
1113 (build_op_call): Check it here, before we've considered any
1114 conversion functions.
1115
11162023-07-18 Patrick Palka <ppalka@redhat.com>
1117
1118 PR c++/110535
1119 * call.cc (add_conv_candidate): Check constraints.
1120
473c1b58
GA		 11212023-07-17 Jason Merrill <jason@redhat.com>
1122
1123 * constexpr.cc (cxx_eval_call_expression): Only cache
1124 reduced_constant_expression_p results.
1125 (reduced_constant_expression_p): Handle CONSTRUCTOR of scalar type.
1126 (cxx_eval_constant_expression): Fold vectors here.
1127 (cxx_eval_bare_aggregate): Not here.
1128
d76d19c9
GA		 11292023-07-15 Patrick Palka <ppalka@redhat.com>
1130
1131 PR c++/110441
1132 * call.cc (keep_unused_object_arg): Use cp_build_compound_expr
1133 instead of building a COMPOUND_EXPR directly.
1134
11352023-07-15 Patrick Palka <ppalka@redhat.com>
1136
1137 PR c++/110524
1138 * mangle.cc (write_expression): Handle TEMPLATE_ID_EXPR
1139 whose template is already an IDENTIFIER_NODE.
1140
18dac101
GA		 11412023-07-14 Nathaniel Shead <nathanieloshead@gmail.com>
1142
1143 * constexpr.cc (cxx_eval_constant_expression): Pass t to get_value.
1144
11452023-07-14 Jason Merrill <jason@redhat.com>
1146
1147 PR c++/110344
1148 * constexpr.cc (cxx_eval_constant_expression): Move P2738 handling
1149 after heap handling.
1150 * name-lookup.cc (get_cxx_dialect_name): Add C++26.
1151
11522023-07-14 Marek Polacek <polacek@redhat.com>
1153 Jason Merrill <jason@redhat.com>
1154
1155 PR c++/109876
1156 * decl.cc (cp_finish_decl): Set TREE_CONSTANT when initializing
1157 an object of empty class type.
1158 * pt.cc (value_dependent_expression_p) <case VAR_DECL>: Treat a
1159 constexpr-declared non-constant variable as value-dependent.
1160
af3d3ce3
GA		 11612023-07-11 Patrick Palka <ppalka@redhat.com>
1162
1163 PR c++/110580
1164 * pt.cc (lookup_template_variable): Pass all levels of arguments
1165 to coerce_template_parms, and use the parameters from the most
1166 general template.
1167
322d17ae
GA		 11682023-07-10 Patrick Palka <ppalka@redhat.com>
1169
1170 PR c++/110523
1171 * pt.cc (redeclare_class_template): Relax the ttp DECL_CONTEXT
1172 assert, and downgrade it to a checking assert.
1173
69d3015a
GA		 11742023-06-30 Patrick Palka <ppalka@redhat.com>
1175
1176 * cp-tree.h (TEMPLATE_PARM_DESCENDANTS): Harden.
1177 (TEMPLATE_TYPE_DESCENDANTS): Define.
1178 (TEMPLATE_TEMPLATE_PARM_SIMPLE_P): Define.
1179 * pt.cc (reduce_template_parm_level): Revert
1180 r14-418-g0bc2a1dc327af9 change.
1181 (process_template_parm): Set TEMPLATE_TEMPLATE_PARM_SIMPLE_P
1182 appropriately.
1183 (uses_outer_template_parms): Determine the outer depth of
1184 a template template parm without relying on DECL_CONTEXT.
1185 (tsubst) <case TEMPLATE_TEMPLATE_PARM>: Cache lowering a
1186 simple template template parm. Consistently use 'code'.
1187
14bfda60
GA		 11882023-06-29 Patrick Palka <ppalka@redhat.com>
1189
1190 PR c++/110468
1191 * init.cc (maybe_instantiate_nsdmi_init): Mask out all
1192 tsubst flags except for tf_warning_or_error.
1193
11942023-06-29 Patrick Palka <ppalka@redhat.com>
1195
1196 PR c++/110463
1197 * cp-gimplify.cc (cp_fold) <case CONSTRUCTOR>: Propagate
1198 CONSTRUCTOR_MUTABLE_POISON.
1199
12002023-06-29 Patrick Palka <ppalka@redhat.com>
1201
1202 * cp-tree.h (tree_template_info::partial): New data member.
1203 (TI_PARTIAL_INFO): New tree accessor.
1204 (most_specialized_partial_spec): Add defaulted bool parameter.
1205 * module.cc (trees_out::core_vals) <case TEMPLATE_INFO>: Stream
1206 TI_PARTIAL_INFO.
1207 (trees_in::core_vals) <case TEMPLATE_INFO>: Likewise.
1208 * parser.cc (specialization_of): Adjust after making
1209 most_specialized_partial_spec return TEMPLATE_INFO instead
1210 of TREE_LIST.
1211 * pt.cc (process_partial_specialization): Set TI_PARTIAL_INFO
1212 of 'decl' to point back to the partial TEMPLATE_DECL. Likewise
1213 (and pass rechecking=true to most_specialization_partial_spec).
1214 (instantiate_class_template): Likewise.
1215 (instantiate_template): Set TI_PARTIAL_INFO to the result of
1216 most_specialization_partial_spec after forming a variable
1217 template specialization.
1218 (most_specialized_partial_spec): Add 'rechecking' parameter.
1219 Exit early if the template is not primary. Use the TI_PARTIAL_INFO
1220 of the corresponding TEMPLATE_INFO as a cache unless 'rechecking'
1221 is true. Don't bother setting TREE_TYPE of each TREE_LIST.
1222 (instantiate_decl): Adjust after making
1223 most_specialized_partial_spec return TEMPLATE_INFO instead of
1224 TREE_LIST.
1225 * ptree.cc (cxx_print_xnode) <case TEMPLATE_INFO>: Dump
1226 TI_PARTIAL_INFO.
1227
12282023-06-29 Eugene Rozenfeld <erozen@microsoft.com>
1229
1230 * Make-lang.in: Pass correct stage cc1plus when processing
1231 profile data collected while building target libraries
1232
5f590ee3
GA		 12332023-06-28 Patrick Palka <ppalka@redhat.com>
1234
1235 PR c++/89442
1236 PR c++/107437
1237 * cp-tree.h (lookup_template_variable): Add complain parameter.
1238 * parser.cc (cp_parser_template_id): Pass tf_warning_or_error
1239 to lookup_template_variable.
1240 * pt.cc (lookup_template_variable): Add complain parameter.
1241 Coerce template arguments here ...
1242 (finish_template_variable): ... instead of here.
1243 (lookup_and_finish_template_variable): Check for error_mark_node
1244 result from lookup_template_variable.
1245 (tsubst_copy) <case TEMPLATE_ID_EXPR>: Pass complain to
1246 lookup_template_variable.
1247 (instantiate_template): Use build2 instead of
1248 lookup_template_variable to build a TEMPLATE_ID_EXPR
1249 for most_specialized_partial_spec.
1250
12512023-06-28 Marek Polacek <polacek@redhat.com>
1252
1253 PR c++/110175
1254 * typeck.cc (cp_build_unary_op): Check tf_warning before warning.
1255
12562023-06-28 Jason Merrill <jason@redhat.com>
1257
1258 PR c++/110334
1259 * cp-tree.h (clone_attrs): Declare.
1260 * method.cc (implicitly_declare_fn): Use it for inherited
1261 constructor.
1262 * optimize.cc (clone_attrs): New.
1263 (maybe_clone_body): Use it.
1264
12652023-06-28 Jason Merrill <jason@redhat.com>
1266
1267 PR c++/110344
1268 * constexpr.cc (cxx_eval_constant_expression): In C++26, allow cast
1269 from void* to the type of a pointed-to object.
1270
6f78df4c
GA		 12712023-06-23 David Malcolm <dmalcolm@redhat.com>
1272
1273 PR c++/110164
1274 * cp-name-hint.h (maybe_suggest_missing_header): New decl.
1275 * decl.cc: Define INCLUDE_MEMORY. Add include of
1276 "cp/cp-name-hint.h".
1277 (start_decl_1): Call maybe_suggest_missing_header.
1278 * name-lookup.cc (maybe_suggest_missing_header): Remove "static".
1279
f10a4ce0
GA		 12802023-06-16 Alex Coplan <alex.coplan@arm.com>
1281
1282 * parser.cc (cp_parser_enum_specifier): Don't reject
1283 elaborated-type-specifier with enum-base, instead emit new
1284 Welaborated-enum-base warning.
1285
c1c5edef
GA		 12862023-06-14 Jason Merrill <jason@redhat.com>
1287
1288 DR 2327
1289 PR c++/86521
1290 * call.cc (joust_maybe_elide_copy): Don't change cand.
1291 (joust): Move the elided tiebreaker later.
1292
532fb120
GA		 12932023-06-13 David Malcolm <dmalcolm@redhat.com>
1294
1295 PR c/84890
1296 * name-lookup.cc (missing_std_header::~missing_std_header): Reword
1297 note to avoid negative tone of "forgetting".
1298
12992023-06-13 Jason Merrill <jason@redhat.com>
1300
1301 * tree.cc (build_target_expr): Check TYPE_HAS_MUTABLE_P.
1302
9d250bdb
GA		 13032023-06-12 Tobias Burnus <tobias@codesourcery.com>
1304
1305 * parser.cc (cp_parser_omp_clause_map): Reword error message for
1306 clearness especially with 'omp target (enter/exit) data.'
1307 * semantics.cc (handle_omp_array_sections): Handle
1308 GOMP_MAP_{ALWAYS_,}PRESENT_{TO,TOFROM,FROM,ALLOC} enum values.
1309
13102023-06-12 Jason Merrill <jason@redhat.com>
1311
1312 PR c++/105838
1313 * call.cc (convert_like_internal) [ck_list]: Use
1314 maybe_init_list_as_array.
1315 * constexpr.cc (cxx_eval_vec_init_1): Init might have
1316 a different type.
1317 * tree.cc (build_vec_init_elt): Likewise.
1318 * init.cc (build_vec_init): Handle from_array from a
1319 TARGET_EXPR. Retain TARGET_EXPR of a different type.
1320
35e50a0e
GA		 13212023-06-11 Patrick Palka <ppalka@redhat.com>
1322
1323 PR c++/110122
1324 * constexpr.cc (cxx_eval_call_expression): Synthesize defaulted
1325 functions needed for constant evaluation.
1326 (instantiate_cx_fn_r): Likewise.
1327
13282023-06-11 Patrick Palka <ppalka@redhat.com>
1329
1330 PR c++/110122
1331 * pt.cc (lookup_template_class): Extend shortcut for looking up the
1332 current class scope to consider outer class scopes too, and use
1333 current_nonlambda_class_type instead of current_class_type. Only
1334 call coerce_template_parms when specializing a primary template.
1335
09ae3035
GA		 13362023-06-10 Nathan Sidwell <nathan@acm.org>
1337
1338 PR c++/61663
1339 * pt.cc (maybe_adjust_types_for_deduction): Implement DR976.
1340
a2c019e2
GA		 13412023-06-09 Jason Merrill <jason@redhat.com>
1342
1343 PR c++/110185
1344 PR c++/58487
1345 * method.cc (build_comparison_op): Give retval a name.
1346 * typeck.cc (check_return_expr): Fix for nameless variables.
1347
13482023-06-09 Jason Merrill <jason@redhat.com>
1349
1350 * parser.cc (cp_parser_simple_type_specifier): Check for auto
1351 in template argument.
1352 (cp_parser_template_type_arg): Remove auto checking.
1353
13542023-06-09 Jason Merrill <jason@redhat.com>
1355
1356 PR c++/110102
1357 * call.cc (maybe_init_list_as_array): Check that the element type is
1358 copyable.
1359
8c5b1365
GA		 13602023-06-07 Jason Merrill <jason@redhat.com>
1361
1362 PR c++/58487
1363 PR c++/53637
1364 * cp-tree.h (INIT_EXPR_NRV_P): New.
1365 * semantics.cc (finalize_nrv_r): Check it.
1366 * name-lookup.h (decl_in_scope_p): Declare.
1367 * name-lookup.cc (decl_in_scope_p): New.
1368 * typeck.cc (check_return_expr): Allow non-NRV
1369 returns if the NRV is no longer in scope.
1370
13712023-06-07 Jason Merrill <jason@redhat.com>
1372
1373 PR c++/58487
1374 * typeck.cc (want_nrvo_p): New.
1375 (check_return_expr): Handle -Wnrvo.
1376
13772023-06-07 Jason Merrill <jason@redhat.com>
1378
1379 PR c++/51571
1380 PR c++/92407
1381 * decl.cc (finish_function): Simplify NRV handling.
1382 * except.cc (maybe_set_retval_sentinel): Also set if NRV.
1383 (maybe_splice_retval_cleanup): Don't add the cleanup region
1384 if we don't need it.
1385 * semantics.cc (nrv_data): Add simple field.
1386 (finalize_nrv): Set it.
1387 (finalize_nrv_r): Check it and retval sentinel.
1388 * cp-tree.h (finalize_nrv): Adjust declaration.
1389 * typeck.cc (check_return_expr): Remove named_labels check.
1390
13912023-06-07 Jason Merrill <jason@redhat.com>
1392
1393 PR c++/92407
1394 * typeck.cc (check_return_expr): Prevent NRV in the presence of
1395 named labels.
1396
13972023-06-07 Jason Merrill <jason@redhat.com>
1398
1399 PR c++/33799
1400 * except.cc (maybe_splice_retval_cleanup): Change
1401 recognition of function body and try scopes.
1402 * semantics.cc (do_poplevel): Call it after poplevel.
1403 (at_try_scope): New.
1404 * cp-tree.h (maybe_splice_retval_cleanup): Adjust.
1405
14062023-06-07 Jason Merrill <jason@redhat.com>
1407
1408 * semantics.cc (finalize_nrv_r): [RETURN_EXPR]: Only replace the
1409 INIT_EXPR.
1410
4f0d4825
GA		 14112023-06-06 Kwok Cheung Yeung <kcy@codesourcery.com>
1412 Tobias Burnus <tobias@codesourcery.com>
1413
1414 * parser.cc (cp_parser_omp_clause_defaultmap,
1415 cp_parser_omp_clause_map): Parse 'present'.
1416 (cp_parser_omp_clause_from_to): New; parse to/from
1417 clauses with optional 'present' modifier.
1418 (cp_parser_omp_all_clauses): Update call.
1419 (cp_parser_omp_target_data, cp_parser_omp_target_enter_data,
1420 cp_parser_omp_target_exit_data): Handle new enum value for
1421 'present' mapping.
1422 * semantics.cc (finish_omp_target): Likewise.
1423
b4889084
GA		 14242023-06-04 Jason Merrill <jason@redhat.com>
1425
1426 PR c++/97720
1427 * cp-tree.h (enum cp_tree_index): Add CPTI_CALL_TERMINATE_FN.
1428 (call_terminate_fn): New macro.
1429 * cp-gimplify.cc (gimplify_must_not_throw_expr): Use it.
1430 * except.cc (init_exception_processing): Set it.
1431 (cp_protect_cleanup_actions): Return it.
1432
321cee7e
GA		 14332023-06-03 Patrick Palka <ppalka@redhat.com>
1434
1435 PR c++/109923
1436 * pt.cc (is_specialization_of_friend): Fix overbroad check for
1437 a non-template member function of a class template.
1438
14392023-06-03 Patrick Palka <ppalka@redhat.com>
1440
1441 * pt.cc (iterative_hash_template_arg): Don't hash
1442 TEMPLATE_TEMPLATE_PARM specially.
1443
14442023-06-03 Patrick Palka <ppalka@redhat.com>
1445
1446 * class.cc (build_base_path): Check in_template_context instead
1447 of in_template_function.
1448 (resolves_to_fixed_type_p): Likewise.
1449 * cp-tree.h (in_template_context): Define.
1450 (in_template_function): Remove.
1451 * decl.cc (cp_make_fname_decl): Check current_function_decl
1452 and in_template_context instead of in_template_function.
1453 * decl2.cc (mark_used): Check in_template_context instead of
1454 in_template_function.
1455 * pt.cc (in_template_function): Remove.
1456 * semantics.cc (enforce_access): Check in_template_context
1457 instead of current_template_parms directly.
1458
14592023-06-03 Patrick Palka <ppalka@redhat.com>
1460
1461 PR c++/70790
1462 * mangle.cc (write_expression): Handle NOEXCEPT_EXPR.
1463
829d5975
GA		 14642023-06-02 Jason Merrill <jason@redhat.com>
1465
1466 DR 2735
1467 PR c++/109247
1468 * call.cc (sfk_copy_or_move): New.
1469 (joust): Add tiebreaker for explicit conv and copy ctor.
1470
14712023-06-02 Jason Merrill <jason@redhat.com>
1472
1473 PR c++/110070
1474 PR c++/105838
1475 * call.cc (maybe_init_list_as_array): Set DECL_MERGEABLE.
1476 (convert_like_internal) [ck_list]: Set it.
1477 (set_up_extended_ref_temp): Copy it.
1478 * tree.cc (handle_no_unique_addr_attribute): Set it.
1479
84749914
GA		 14802023-06-01 Jason Merrill <jason@redhat.com>
1481
1482 * typeck2.cc (check_narrowing): Check flag_permissive.
1483
df2762ac
GA		 14842023-05-30 Tobias Burnus <tobias@codesourcery.com>
1485
1486 PR c/109999
1487 * parser.cc (cp_parser_oacc_all_clauses,
1488 cp_parser_omp_all_clauses): Improve error wording.
1489
5df01f89
GA		 14902023-05-19 Andrew Pinski <apinski@marvell.com>
1491
1492 PR driver/33980
1493 * lang-specs.h ("@c++-header"): Add %w after
1494 the --output-pch.
1495 ("@c++-system-header"): Likewise.
1496 ("@c++-user-header"): Likewise.
1497
14982023-05-19 Patrick Palka <ppalka@redhat.com>
1499
1500 * constraint.cc (normalize_concept_check): Avoid having to do
1501 two norm_cache lookups. Remove unnecessary early exit for an
1502 ill-formed concept definition.
1503
15042023-05-19 Patrick Palka <ppalka@redhat.com>
1505
1506 PR c++/97340
1507 * pt.cc (lookup_and_finish_template_variable): Don't call
1508 convert_from_reference.
1509 (tsubst_copy_and_build) <case TEMPLATE_ID_EXPR>: Call
1510 convert_from_reference on the result of
1511 lookup_and_finish_template_variable.
1512
b2776076
GA		 15132023-05-18 Bernhard Reutner-Fischer <aldot@gcc.gnu.org>
1514
1515 * call.cc (promoted_arithmetic_type_p): Use _P defines from tree.h.
1516 (build_conditional_expr): Ditto.
1517 (convert_like_internal): Ditto.
1518 (convert_arg_to_ellipsis): Ditto.
1519 (build_over_call): Ditto.
1520 (compare_ics): Ditto.
1521 * class.cc (is_empty_base_ref): Ditto.
1522 * coroutines.cc (rewrite_param_uses): Ditto.
1523 * cp-tree.h (DECL_DISCRIMINATOR_P): Ditto.
1524 (ARITHMETIC_TYPE_P): Ditto.
1525 * cvt.cc (ocp_convert): Ditto.
1526 * cxx-pretty-print.cc (pp_cxx_template_argument_list): Ditto.
1527 * decl.cc (layout_var_decl): Ditto.
1528 (get_tuple_size): Ditto.
1529 * error.cc (dump_simple_decl): Ditto.
1530 * lambda.cc (start_lambda_scope): Ditto.
1531 * mangle.cc (write_template_arg): Ditto.
1532 * method.cc (spaceship_comp_cat): Ditto.
1533 * module.cc (node_template_info): Ditto.
1534 (trees_out::start): Ditto.
1535 (trees_out::decl_node): Ditto.
1536 (trees_in::read_var_def): Ditto.
1537 (set_instantiating_module): Ditto.
1538 * name-lookup.cc (maybe_record_mergeable_decl): Ditto.
1539 (consider_decl): Ditto.
1540 (maybe_add_fuzzy_decl): Ditto.
1541 * pt.cc (convert_nontype_argument): Ditto.
1542 * semantics.cc (handle_omp_array_sections_1): Ditto.
1543 (finish_omp_clauses): Ditto.
1544 (finish_omp_target_clauses_r): Ditto.
1545 (is_this_parameter): Ditto.
1546 * tree.cc (build_cplus_array_type): Ditto.
1547 (is_this_expression): Ditto.
1548 * typeck.cc (do_warn_enum_conversions): Ditto.
1549 * typeck2.cc (store_init_value): Ditto.
1550 (check_narrowing): Ditto.
1551
ff2dcddf
GA		 15522023-05-17 Jakub Jelinek <jakub@redhat.com>
1553
1554 PR c++/109868
1555 * init.cc (build_zero_init_1): Don't initialize zero-width bitfields.
1556 For unions only initialize the first FIELD_DECL.
1557
0d566057
GA		 15582023-05-16 Marek Polacek <polacek@redhat.com>
1559
1560 PR c++/109774
1561 * typeck.cc (check_return_expr): In a template, return only after
1562 suppressing -Wdangling-reference.
1563
15642023-05-16 Patrick Palka <ppalka@redhat.com>
1565
1566 PR c++/109871
1567 * call.cc (add_list_candidates): Check for invalid designated
1568 initialization sooner and even for types that have a list
1569 constructor.
1570
3d125c91
GA		 15712023-05-11 Patrick Palka <ppalka@redhat.com>
1572
1573 PR c++/109745
1574 * typeck2.cc (poison_mutable_constructors): Define.
1575 (store_init_value): Use it instead of setting
1576 CONSTRUCTOR_MUTABLE_POISON directly.
1577
15782023-05-11 Patrick Palka <ppalka@redhat.com>
1579 Jonathan Wakely <jwakely@redhat.com>
1580
1581 PR c++/83258
1582 PR c++/80488
1583 PR c++/97700
1584 * pt.cc (convert_nontype_argument_function): Remove linkage
1585 requirement for C++17 and later.
1586 (invalid_tparm_referent_p) <case ADDR_EXPR>: Restrict
1587 DECL_ARTIFICIAL rejection test to VAR_DECL.
1588
08d0d17b
GA		 15892023-05-10 Marek Polacek <polacek@redhat.com>
1590
1591 PR c++/109680
1592 * method.cc (build_trait_object): New.
1593 (assignable_expr): Use it.
1594 (ref_xes_from_temporary): Likewise.
1595 (is_convertible_helper): Likewise. Check FUNC_OR_METHOD_TYPE_P.
1596
15972023-05-10 Jason Merrill <jason@redhat.com>
1598
1599 * call.cc (convert_like_internal): Share ck_ref_bind handling
1600 between all bad conversions.
1601
16022023-05-10 Jason Merrill <jason@redhat.com>
1603
1604 DR 2543
1605 * constexpr.cc (cxx_eval_outermost_constant_expr): Preserve
1606 TARGET_EXPR flags.
1607 (potential_constant_expression_1): Check TARGET_EXPR_ELIDING_P.
1608 * typeck2.cc (store_init_value): Diagnose constinit sooner.
1609
16102023-05-10 Jason Merrill <jason@redhat.com>
1611
1612 * constexpr.cc (cxx_eval_outermost_constant_expr): Always check
1613 for address of immediate fn.
1614 (maybe_constant_init_1): Evaluate PTRMEM_CST.
1615
16162023-05-10 Jakub Jelinek <jakub@redhat.com>
1617
1618 PR c++/109756
1619 * parser.cc (cp_parser_std_attribute): For unknown attributes with
1620 arguments set TREE_VALUE (attribute) to error_mark_node after skipping
1621 the balanced tokens.
1622 (cp_parser_std_attribute_list): If ... is used after attribute without
1623 arguments, diagnose it and return error_mark_node. If
1624 TREE_VALUE (attribute) is error_mark_node, don't call
1625 make_pack_expansion nor return early error_mark_node.
1626
35e324da
GA		 16272023-05-09 Patrick Palka <ppalka@redhat.com>
1628
1629 PR c++/109752
1630 * constraint.cc (satisfaction_cache::satisfaction_cache): In the
1631 unexpected case of evaluating an atom for the first time noisily,
1632 remove the cache slot that we inserted.
1633
16342023-05-09 Patrick Palka <ppalka@redhat.com>
1635
1636 PR c++/109761
1637 * parser.cc (cp_parser_class_specifier): Don't pass a class
1638 context to noexcept_override_late_checks.
1639 (noexcept_override_late_checks): Remove 'type' parameter
1640 and use DECL_CONTEXT of 'fndecl' instead.
1641
16422023-05-09 Jakub Jelinek <jakub@redhat.com>
1643
1644 PR c++/109756
1645 * cp-gimplify.cc (process_stmt_assume_attribute): Diagnose pack
1646 expansion of assume attribute.
1647
212905a4
GA		 16482023-05-08 Patrick Palka <ppalka@redhat.com>
1649
1650 PR c++/106214
1651 PR c++/93107
1652 * pt.cc (do_auto_deduction): Move up resolve_nondeduced_context
1653 calls to happen before do_class_deduction. Add some
1654 error_mark_node tests.
1655
70d03823
GA		 16562023-05-07 Patrick Palka <ppalka@redhat.com>
1657
1658 PR c++/85979
1659 * cxx-pretty-print.cc (cxx_pretty_printer::unary_expression)
1660 <case ALIGNOF_EXPR>: Consider ALIGNOF_EXPR_STD_P.
1661 * error.cc (dump_expr) <case ALIGNOF_EXPR>: Likewise.
1662
16632023-05-07 Patrick Palka <ppalka@redhat.com>
1664
1665 DR 2256
1666 PR c++/103091
1667 * decl.cc (decl_jump_unsafe): Return bool instead of int.
1668 Don't consider TYPE_HAS_NONTRIVIAL_DESTRUCTOR.
1669 (check_previous_goto_1): Simplify now that decl_jump_unsafe
1670 returns bool instead of int.
1671 (check_goto): Likewise.
1672
16732023-05-07 Patrick Palka <ppalka@redhat.com>
1674
1675 * pt.cc (instantiate_alias_template): Exit early upon
1676 error from coerce_template_parms. Remove dependence test
1677 guarding constraints_satisfied_p.
1678
16792023-05-07 Patrick Palka <ppalka@redhat.com>
1680
1681 * cp-tree.h (PLACEHOLDER_TYPE_CONSTRAINTS_INFO): Harden via
1682 TEMPLATE_TYPE_PARM_CHECK.
1683 (TPARMS_PRIMARY_TEMPLATE): Harden via TREE_VEC_CHECK.
1684 (TEMPLATE_TEMPLATE_PARM_TEMPLATE_DECL): Harden via
1685 TEMPLATE_TEMPLATE_PARM_CHECK.
1686 * cxx-pretty-print.cc (cxx_pretty_printer::simple_type_specifier):
1687 Guard PLACEHOLDER_TYPE_CONSTRAINTS access.
1688 * error.cc (dump_type) <case TEMPLATE_TYPE_PARM>: Use separate
1689 variable to store CLASS_PLACEHOLDER_TEMPLATE result.
1690 * pt.cc (outer_template_args): Use strip_innermost_template_args.
1691 (any_type_dependent_arguments_p): Exit early if
1692 !processing_template_decl. Use range-based for.
1693 (any_dependent_template_arguments_p): Likewise.
1694
16952023-05-07 Patrick Palka <ppalka@redhat.com>
1696
1697 PR c++/98283
1698 * pt.cc (tsubst_copy_and_build) <case COMPONENT_REF>: Propagate
1699 REF_PARENTHESIZED_P more generally via force_paren_expr.
1700 * semantics.cc (force_paren_expr): Document default argument.
1701
17022023-05-07 Patrick Palka <ppalka@redhat.com>
1703
1704 PR c++/109651
1705 * pt.cc (coerce_template_args_for_ttp): Mention we can hit the
1706 current_template_parms fallback when level-lowering a bound ttp.
1707 (tsubst_template_decl): Add lambda_tparms parameter. Prefer to
1708 use lambda_tparms instead of substituting DECL_TEMPLATE_PARMS.
1709 (tsubst_decl) <case TEMPLATE_DECL>: Pass NULL_TREE as lambda_tparms
1710 to tsubst_template_decl.
1711 (tsubst_lambda_expr): For a generic lambda, substitute
1712 DECL_TEMPLATE_PARMS and set current_template_parms to it
1713 before substituting the function type. Pass the substituted
1714 DECL_TEMPLATE_PARMS as lambda_tparms to tsubst_template_decl.
1715
17162023-05-07 Patrick Palka <ppalka@redhat.com>
1717
1718 PR c++/109480
1719 * semantics.cc (enforce_access): Check current_template_parms
1720 instead of processing_template_decl when deciding whether to
1721 defer the access check.
1722
17232023-05-07 Patrick Palka <ppalka@redhat.com>
1724
1725 PR c++/109480
1726 * constexpr.cc (potential_constant_expression_1) <case CALL_EXPR>:
1727 Reorganize to call get_fns sooner. Remove special handling of
1728 the object argument of a non-static member function call. Remove
1729 dead store to 'fun'.
1730
2ab31cde
GA		 17312023-05-05 Jason Merrill <jason@redhat.com>
1732
1733 Revert:
1734 2023-04-27 Jason Merrill <jason@redhat.com>
1735
1736 PR c++/61445
1737 * pt.cc (instantiate_decl): Assert !defer_ok for local
1738 class members.
1739
257df676
GA		 17402023-05-03 Jason Merrill <jason@redhat.com>
1741
1742 PR c++/91618
1743 PR c++/109649
1744 * friend.cc (do_friend): Don't call check_explicit_specialization if
1745 DECL_TEMPLATE_INFO is already set.
1746 * decl2.cc (check_classfn): Set DECL_TEMPLATE_INFO.
1747 * name-lookup.cc (set_decl_namespace): Likewise.
1748
17492023-05-03 Jakub Jelinek <jakub@redhat.com>
1750
1751 * cp-gimplify.cc (cp_fold_data): Move definition earlier.
1752 (cp_gimplify_expr): Pass address of ff_genericize | ff_mce_false
1753 constructed data rather than &pset to cp_walk_tree with cp_fold_r.
1754
17552023-05-03 Jason Merrill <jason@redhat.com>
1756
1757 * pt.cc (reduce_template_parm_level): Fix comparison of
1758 template template parm to cached version.
1759
d7cb9720
GA		 17602023-05-02 Jason Merrill <jason@redhat.com>
1761
1762 * pt.cc (instantiate_class_template): Skip the RECORD_TYPE
1763 of a class template.
1764 (tsubst_template_decl): Clear CLASSTYPE_USE_TEMPLATE.
1765
17662023-05-02 Jason Merrill <jason@redhat.com>
1767
1768 * name-lookup.cc (pop_from_top_level): Don't
1769 invalidate_class_lookup_cache.
1770
17712023-05-02 Jason Merrill <jason@redhat.com>
1772
1773 PR c++/109678
1774 * cp-tree.h (lookup_base): Add offset parm.
1775 * constexpr.cc (cxx_fold_indirect_ref_1): Pass it.
1776 * search.cc (struct lookup_base_data_s): Add offset.
1777 (dfs_lookup_base): Handle it.
1778 (lookup_base): Pass it.
1779
17802023-05-02 Jason Merrill <jason@redhat.com>
1781
1782 PR c++/109678
1783 * constexpr.cc (cxx_fold_indirect_ref_1): Handle empty base first.
1784
1fc8da95
GA		 17852023-05-01 Jason Merrill <jason@redhat.com>
1786
1787 PR c++/109666
1788 * name-lookup.cc (maybe_push_to_top_level)
1789 (maybe_pop_from_top_level): Split out...
1790 * pt.cc (instantiate_body): ...from here.
1791 * init.cc (maybe_instantiate_nsdmi_init): Use them.
1792 * name-lookup.h: Declare them..
1793
50205195
GA		 17942023-04-28 Eugene Rozenfeld <erozen@microsoft.com>
1795
1796 * Make-lang.in: Merge perf data collected when compiling cc1plus and runtime libraries
1797
32a98ccd
GA		 17982023-04-27 Jason Merrill <jason@redhat.com>
1799
1800 * call.cc (print_conversion_rejection): Use iloc_sentinel.
1801
18022023-04-27 Jason Merrill <jason@redhat.com>
1803
1804 PR c++/61445
1805 * pt.cc (instantiate_decl): Assert !defer_ok for local
1806 class members.
1807
4a3dbcbd
GA		 18082023-04-26 Jason Merrill <jason@redhat.com>
1809
1810 * init.cc (nsdmi_inst): Remove.
1811 (maybe_instantiate_nsdmi_init): Use DECL_INITIAL instead.
1812
18132023-04-26 Jason Merrill <jason@redhat.com>
1814
1815 PR c++/109241
1816 * pt.cc (instantiate_class_template): Do partially instantiate.
1817 (tsubst_expr): Do call complete_type for partial instantiations.
1818
18192023-04-26 Jason Merrill <jason@redhat.com>
1820
1821 PR c++/69836
1822 * pt.cc (regenerate_decl_from_template): Skip unique friends.
1823
18242023-04-26 Patrick Palka <ppalka@redhat.com>
1825
1826 * pt.cc (most_specialized_partial_spec): Exit early when
1827 DECL_TEMPLATE_SPECIALIZATIONS is empty. Move local variable
1828 declarations closer to their first use. Remove redundant
1829 flag_concepts test. Remove redundant forward declaration.
1830
49cea02d
GA		 18312023-04-25 Patrick Palka <ppalka@redhat.com>
1832
1833 PR c++/108975
1834 * pt.cc (value_dependent_expression_p) <case VAR_DECL>:
1835 Suppress conservative early exit for reference variables
1836 when DECL_HAS_VALUE_EXPR_P.
1837
18382023-04-25 Tobias Burnus <tobias@codesourcery.com>
1839
1840 * parser.cc (cp_parser_omp_scan_loop_body): Handle
1841 zero exec statements before/after 'omp scan'.
1842
aeaf9426
GA		 18432023-04-24 Patrick Palka <ppalka@redhat.com>
1844
1845 * cp-tree.h (cp_expr_location): Define here.
1846 * tree.cc (cp_expr_location): Don't define here.
1847
6d7f9ebf
GA		 18482023-04-21 Jason Merrill <jason@redhat.com>
1849
1850 PR c++/108099
1851 * decl.cc (grokdeclarator): Don't clear typedef_decl after 'unsigned
1852 typedef' pedwarn. Use c_common_signed_or_unsigned_type. Also
1853 handle 'signed typedef'.
1854
18552023-04-21 Patrick Palka <ppalka@redhat.com>
1856
1857 * tree.cc (cp_walk_subtrees): Avoid repeatedly dereferencing tp.
1858 <case DECLTYPE_TYPE>: Use cp_unevaluated and WALK_SUBTREE.
1859 <case ALIGNOF_EXPR etc>: Likewise.
1860
ce4e4f37
GA		 18612023-04-20 Patrick Palka <ppalka@redhat.com>
1862
1863 * pt.cc (tsubst) <case TEMPLATE_TYPE_PARM>: Don't recurse when
1864 level lowering a cv-qualified type template parameter. Remove
1865 recursive loop breaker in the level lowering case for constrained
1866 autos. Use the TEMPLATE_PARM_DESCENDANTS cache in this case as
1867 well.
1868
18692023-04-20 Patrick Palka <ppalka@redhat.com>
1870
1871 * constraint.cc (diagnose_trait_expr): Convert a TREE_VEC
1872 of arguments into a TREE_LIST for sake of pretty printing.
1873 * cxx-pretty-print.cc (pp_cxx_trait): Handle TREE_VEC
1874 instead of TREE_LIST of trailing variadic trait arguments.
1875 * method.cc (constructible_expr): Likewise.
1876 (is_xible_helper): Likewise.
1877 * parser.cc (cp_parser_trait): Represent trailing variadic trait
1878 arguments as a TREE_VEC instead of TREE_LIST.
1879 * pt.cc (value_dependent_expression_p): Handle TREE_VEC
1880 instead of TREE_LIST of trailing variadic trait arguments.
1881 * semantics.cc (finish_type_pack_element): Likewise.
1882 (check_trait_type): Likewise.
1883
18842023-04-20 Patrick Palka <ppalka@redhat.com>
1885
1886 * tree.cc (strip_typedefs): Move TREE_LIST handling to
1887 strip_typedefs_expr. Dispatch to strip_typedefs_expr for
1888 non-type 't'.
1889 <case TYPENAME_TYPE>: Remove manual dispatching to
1890 strip_typedefs_expr.
1891 <case TRAIT_TYPE>: Likewise.
1892 (strip_typedefs_expr): Replaces calls to strip_typedefs_expr
1893 with strip_typedefs throughout. Don't dispatch to strip_typedefs
1894 for type 't'.
1895 <case TREE_LIST>: Replace this with the better version from
1896 strip_typedefs.
1897
cf0d9dbc
GA		 18982023-04-19 Patrick Palka <ppalka@redhat.com>
1899 Jonathan Wakely <jwakely@redhat.com>
1900
1901 PR c++/100157
1902 * cp-trait.def (TYPE_PACK_ELEMENT): Define.
1903 * cp-tree.h (finish_trait_type): Add complain parameter.
1904 * cxx-pretty-print.cc (pp_cxx_trait): Handle
1905 CPTK_TYPE_PACK_ELEMENT.
1906 * parser.cc (cp_parser_constant_expression): Document default
1907 arguments.
1908 (cp_parser_trait): Handle CPTK_TYPE_PACK_ELEMENT. Pass
1909 tf_warning_or_error to finish_trait_type.
1910 * pt.cc (tsubst) <case TRAIT_TYPE>: Handle non-type first
1911 argument. Pass complain to finish_trait_type.
1912 * semantics.cc (finish_type_pack_element): Define.
1913 (finish_trait_type): Add complain parameter. Handle
1914 CPTK_TYPE_PACK_ELEMENT.
1915 * tree.cc (strip_typedefs): Handle non-type first argument.
1916 Pass tf_warning_or_error to finish_trait_type.
1917 * typeck.cc (structural_comptypes) <case TRAIT_TYPE>: Use
1918 cp_tree_equal instead of same_type_p for the first argument.
1919
19202023-04-19 Patrick Palka <ppalka@redhat.com>
1921
1922 PR c++/109556
1923 * pt.cc (try_class_unification): Don't ggc_free the copy of
1924 'targs'.
1925
19262023-04-19 Jason Merrill <jason@redhat.com>
1927
1928 PR c++/108099
1929 * decl.cc (grokdeclarator): Keep typedef_decl for __int128_t.
1930
56b288f5
GA		 19312023-04-17 Patrick Palka <ppalka@redhat.com>
1932
1933 PR c++/109531
1934 * pt.cc (tsubst) <case BOUND_TEMPLATE_TEMPLATE_PARM>:
1935 In the level-lowering case just use lookup_template_class
1936 to rebuild the bound ttp.
1937
55085c7e
GA		 19382023-04-15 Jason Merrill <jason@redhat.com>
1939
1940 PR c++/109357
1941 * constexpr.cc (cxx_eval_constant_expression) [TARGET_EXPR]:
1942 Check for complex initializer.
1943
48d0244b
GA		 19442023-04-13 Patrick Palka <ppalka@redhat.com>
1945
1946 PR c++/109420
1947 * decl.cc (make_typename_type): Also ignore non-types during the
1948 lookup if tag_type corresponds to an elaborated-type-specifier.
1949 * pt.cc (tsubst) <case TYPENAME_TYPE>: Pass class_type or
1950 enum_type as tag_type to make_typename_type accordingly instead
1951 of always passing typename_type.
1952
19532023-04-13 Jason Merrill <jason@redhat.com>
1954
1955 PR c++/109277
1956 * semantics.cc (check_trait_type): Handle incomplete type directly.
1957 * typeck2.cc (cxx_incomplete_type_diagnostic): Remove assert.
1958
19592023-04-13 Jason Merrill <jason@redhat.com>
1960
1961 * typeck2.cc (cxx_incomplete_type_diagnostic): Return bool.
1962 * cp-tree.h (cxx_incomplete_type_diagnostic): Adjust.
1963
66c7257b
GA		 19642023-04-12 Jakub Jelinek <jakub@redhat.com>
1965
1966 * Make-lang.in (s-cp-module-version): New target.
1967 (cp/module.o): Depend on it.
1968 (MODULE_VERSION): Remove variable.
1969 (CFLAGS-cp/module.o): For -DMODULE_VERSION= argument just
1970 cat s-cp-module-version.
1971
14a864ae
GA		 19722023-04-09 Iain Sandoe <iain@sandoe.co.uk>
1973
1974 * coroutines.cc (coro_rewrite_function_body): Ensure that added
1975 bind expressions have scope blocks.
1976
645b1362
GA		 19772023-04-04 Jason Merrill <jason@redhat.com>
1978
1979 PR c++/107484
1980 * decl2.cc (find_last_decl): Return early if DECL_USE_TEMPLATE.
1981
10bdf696
GA		 19822023-04-03 Patrick Palka <ppalka@redhat.com>
1983
1984 PR c++/109300
1985 * decl.cc (cp_finish_decl): Diagnose ordinary auto deduction
1986 with no initializer, instead of asserting.
1987
236cde72
GA		 19882023-04-01 Patrick Palka <ppalka@redhat.com>
1989
1990 PR c++/109160
1991 * cp-tree.h (do_auto_deduction): Add defaulted tmpl parameter.
1992 * pt.cc (convert_template_argument): Pass 'in_decl' as 'tmpl' to
1993 do_auto_deduction.
1994 (tsubst_decl) <case VAR_/TYPE_DECL>: Pass 'tmpl' instead of 't' as
1995 'in_decl' to coerce_template_parms.
1996 (unify) <case TEMPLATE_PARM_INDEX>: Pass TPARMS_PRIMARY_TEMPLATE
1997 as 'tmpl' to do_auto_deduction.
1998 (do_auto_deduction): Document default arguments. Rename local
1999 variable 'tmpl' to 'ctmpl'. Use 'tmpl' to obtain a full set of
2000 template arguments for satisfaction in the adc_unify case.
2001
20022023-04-01 Patrick Palka <ppalka@redhat.com>
2003
2004 PR c++/53164
2005 PR c++/105848
2006 * pt.cc (invalid_tparm_referent_p): Accept ADDR_EXPR of
2007 FUNCTION_DECL.
2008 (instantiate_class_template): Call mark_template_arguments_used.
2009 (tsubst_copy_and_build) <case CALL_EXPR>: Revert r13-995 change.
2010 (mark_template_arguments_used): Define.
2011 (instantiate_body): Call mark_template_arguments_used.
2012
20132023-04-01 Iain Sandoe <iain@sandoe.co.uk>
2014
2015 PR c++/101118
2016 * coroutines.cc (flatten_await_stmt): Use the current count of
2017 promoted temporaries to build a unique name for the frame entries.
2018
d20a6a33
GA		 20192023-03-30 Jason Merrill <jason@redhat.com>
2020
2021 PR c++/105452
2022 * search.cc (type_context_for_name_lookup): New.
2023 (accessible_p): Handle anonymous union.
2024 * init.cc (maybe_instantiate_nsdmi_init): Use
2025 type_context_for_name_lookup.
2026 * parser.cc (cp_parser_class_specifier): Likewise.
2027 * cp-tree.h (type_context_for_name_lookup): Declare.
2028
20292023-03-30 Jason Merrill <jason@redhat.com>
2030
2031 PR c++/105221
2032 * pt.cc (unify) [FUNCTION_TYPE]: Handle function pointer
2033 conversions.
2034
20352023-03-30 Jakub Jelinek <jakub@redhat.com>
2036
2037 PR c++/109319
2038 * decl2.cc (grok_array_decl): After emitting a pedwarn for
2039 -Wcomma-subscript, if processing_template_decl set orig_index_exp
2040 to compound expr from orig_index_exp_list.
2041
20422023-03-30 Jason Merrill <jason@redhat.com>
2043
2044 PR c++/107897
2045 PR c++/108887
2046 * decl2.cc (record_mangling): Use symtab_node::reset.
2047
20482023-03-30 Jakub Jelinek <jakub@redhat.com>
2049
2050 PR c++/109278
2051 * call.cc (convert_like_internal): If pedwarn for extended float
2052 type conversions doesn't report anything, avoid calling
2053 maybe_inform_about_fndecl_for_bogus_argument_init.
2054
00908886
GA		 20552023-03-29 Jason Merrill <jason@redhat.com>
2056
2057 PR c++/109321
2058 PR c++/109320
2059 * pt.cc (alias_ctad_tweaks): Rewrite deduced args.
2060 (type_targs_deducible_from): Handle null pack deduction.
2061
579cdc1e
GA		 20622023-03-28 David Malcolm <dmalcolm@redhat.com>
2063
2064 PR c/107002
2065 * parser.cc (cp_parser_binary_expression): Update for new param of
2066 check_for_xor_used_as_pow.
2067
20682023-03-28 Jakub Jelinek <jakub@redhat.com>
2069
2070 PR c++/109309
2071 * contracts.cc: Include intl.h.
2072 (check_postcondition_result): Don't form diagnostics from two halves
2073 of an English message to allow translations.
2074
13ec81eb
GA		 20752023-03-24 Patrick Palka <ppalka@redhat.com>
2076
2077 PR c++/106969
2078 * parser.cc (cp_parser_class_specifier): Clear current_class_ptr
2079 and current_class_ref sooner, before parsing a class definition.
2080
20812023-03-24 Jason Merrill <jason@redhat.com>
2082
2083 PR c++/105481
2084 * pt.cc (type_unification_real): Adjust for partial ordering.
2085
ec92be4a
GA		 20862023-03-23 Jason Merrill <jason@redhat.com>
2087
2088 PR c++/105996
2089 * typeck.cc (build_ptrmemfunc): Drop 0-offset optimization
2090 and location wrappers.
2091
20922023-03-23 Marek Polacek <polacek@redhat.com>
2093
2094 PR c++/107532
2095 * call.cc (class_has_reference_member_p): New.
2096 (class_has_reference_member_p_r): New.
2097 (reference_like_class_p): Don't look for a specific constructor.
2098 Use a DFS walk with class_has_reference_member_p_r.
2099
21002023-03-23 Jason Merrill <jason@redhat.com>
2101
2102 PR c++/109241
2103 * pt.cc (find_parameter_packs_r): Handle null TREE_BINFO.
2104
50bd9c41
GA		 21052023-03-22 Jason Merrill <jason@redhat.com>
2106
2107 PR c++/108390
2108 * pt.cc (unify): Use fold of build_nop instead of fold_convert.
2109
21102023-03-22 Jason Merrill <jason@redhat.com>
2111
2112 PR c++/108795
2113 * semantics.cc (finish_id_expression_1): Check scope before
2114 returning id_expression.
2115
21162023-03-22 Alex Coplan <alex.coplan@arm.com>
2117
2118 PR c++/109177
2119 * call.cc (build_over_call): Use make_temp_override to suppress
2120 both unavailable and deprecated warnings when calling
2121 build_addr_func.
2122
03178527
GA		 21232023-03-21 Jason Merrill <jason@redhat.com>
2124
2125 PR c++/106890
2126 * init.cc (maybe_instantiate_nsdmi_init): Don't leave
2127 current_function_decl set to a constructor.
2128
582f246b
GA		 21292023-03-20 Marek Polacek <polacek@redhat.com>
2130
2131 PR c++/109159
2132 * call.cc (add_template_candidate_real): Add explicit decls to the
2133 set of candidates when the initializer is a braced-init-list.
2134
21352023-03-20 Jakub Jelinek <jakub@redhat.com>
2136
2137 PR c++/109164
2138 * cp-tree.h (var_needs_tls_wrapper): Declare.
2139 * decl2.cc (var_needs_tls_wrapper): No longer static.
2140 * decl.cc (cp_finish_decl): Clear TREE_READONLY on TLS variables
2141 for which a TLS wrapper will be needed.
2142
454a4d50
GA		 21432023-03-17 Jason Merrill <jason@redhat.com>
2144
2145 PR c++/108975
2146 * lambda.cc (prune_lambda_captures): Don't bother in a template.
2147
21482023-03-17 Jason Merrill <jason@redhat.com>
2149
2150 PR c++/109172
2151 * except.cc (build_throw): Check dtor access.
2152
21532023-03-17 Jason Merrill <jason@redhat.com>
2154
2155 PR c++/69410
2156 * friend.cc (do_friend): Handle namespace as scope argument.
2157 * decl.cc (grokdeclarator): Pass down in_namespace.
2158
5c389a5c
GA		 21592023-03-16 Jason Merrill <jason@redhat.com>
2160
2161 PR c++/105809
2162 * init.cc (get_nsdmi): Split out...
2163 (maybe_instantiate_nsdmi_init): ...this function.
2164 * cp-tree.h: Declare it.
2165 * pt.cc (tsubst_expr): Use it.
2166
21672023-03-16 Jason Merrill <jason@redhat.com>
2168
2169 PR c++/108242
2170 * pt.cc (tsubst_expr) [TAG_DEFN]: Handle partial instantiation.
2171
21722023-03-16 Jason Merrill <jason@redhat.com>
2173
2174 PR c++/101869
2175 * semantics.cc (finish_qualified_id_expr): Don't try to build a
2176 pointer-to-member if the scope is an enumeration.
2177
21782023-03-16 Patrick Palka <ppalka@redhat.com>
2179
2180 PR c++/109030
2181 * constexpr.cc (maybe_constant_init_1): For an unevaluated
2182 non-manifestly-constant operand, don't constant evaluate
2183 and instead call fold_to_constant as in maybe_constant_value.
2184
21852023-03-16 Patrick Palka <ppalka@redhat.com>
2186
2187 PR c++/100288
2188 * constraint.cc (satisfaction_cache::get): Relax overly strict
2189 checking assert in the constraint recursion case.
2190
21912023-03-16 Jason Merrill <jason@redhat.com>
2192
2193 PR c++/105406
2194 * coroutines.cc (build_co_await): Handle lvalue 'o'.
2195
39b1814c
GA		 21962023-03-15 Jason Merrill <jason@redhat.com>
2197
2198 PR c++/103871
2199 PR c++/98056
2200 * typeck.cc (cp_build_modify_expr): Allow array initialization of
2201 DECL_ARTIFICIAL variable.
2202
22032023-03-15 Marek Polacek <polacek@redhat.com>
2204
2205 PR c++/107280
2206 * constexpr.cc (cxx_eval_store_expression): Strip location wrappers.
2207
22082023-03-15 Jason Merrill <jason@redhat.com>
2209
2210 PR c++/58538
2211 * semantics.cc (check_template_template_default_arg): Check
2212 maybe_get_template_decl_from_type_decl.
2213
22142023-03-15 Jason Merrill <jason@redhat.com>
2215
2216 PR c++/108179
2217 PR c++/104107
2218 PR c++/95036
2219 * pt.cc (coerce_template_template_parms): Use args from
2220 DECL_CONTEXT (arg_tmpl) instead of outer_args.
2221
22222023-03-15 Jason Merrill <jason@redhat.com>
2223
2224 PR c++/108179
2225 * pt.cc (coerce_template_template_parms): Take the arg and parm
2226 templates directly.
2227 (coerce_template_template_parm): Adjust.
2228 (template_template_parm_bindings_ok_p): Adjust.
2229 (convert_template_argument): Adjust.
2230
fd42a8fa
GA		 22312023-03-14 Patrick Palka <ppalka@redhat.com>
2232
2233 PR c++/96830
2234 * pt.cc (push_inline_template_parms_recursive): Set
2235 TEMPLATE_PARMS_CONSTRAINTS.
2236 (push_template_decl): For an out-of-line declaration, verify
2237 constraints for each enclosing template scope match those of the
2238 original template declaratation.
2239
22402023-03-14 Patrick Palka <ppalka@redhat.com>
2241
2242 PR c++/96830
2243 * pt.cc (redeclare_class_template): Add missing "of" in
2244 constraint mismatch diagnostic.
2245 (tsubst_friend_class): For an already declared class template,
2246 substitute and pass the friend declaration's constraints to
2247 redeclare_class_template instead of passing the existing
2248 template's constraints.
2249
22502023-03-14 Jason Merrill <jason@redhat.com>
2251
2252 PR c++/108468
2253 * pt.cc (unify_pack_expansion): Check that TPARMS_PRIMARY_TEMPLATE
2254 is non-null.
2255
22562023-03-14 Jason Merrill <jason@redhat.com>
2257
2258 PR c++/107310
2259 * cp-gimplify.cc (genericize_if_stmt): Restore folding
2260 of constant conditions.
2261
22622023-03-14 Jakub Jelinek <jakub@redhat.com>
2263
2264 PR c++/109096
2265 * tree.cc (record_has_unique_obj_representations): Ignore unnamed
2266 bitfields.
2267
a9835599
GA		 22682023-03-13 Jason Merrill <jason@redhat.com>
2269
2270 PR c++/107128
2271 * parser.cc (cp_parser_set_decl_spec_type): Use
2272 redefined_builtin_type for extended_float_type_p.
2273
22742023-03-13 Marek Polacek <polacek@redhat.com>
2275
2276 PR c++/107532
2277 * call.cc (reference_like_class_p): Check for std::span.
2278
c8065441
GA		 22792023-03-10 Jakub Jelinek <jakub@redhat.com>
2280
2281 PR c++/107558
2282 * decl.cc (cp_finish_decl): Don't clear TREE_READONLY on
2283 automatic non-aggregate variables just because of
2284 -fmerge-all-constants.
2285
22862023-03-10 Jakub Jelinek <jakub@redhat.com>
2287
2288 PR c++/109039
2289 * class.cc (end_of_class): For bit-fields, instead of computing
2290 offset as sum of byte_position (field) and DECL_SIZE_UNIT (field),
2291 compute it as sum of bit_position (field) and DECL_SIZE (field)
2292 divided by BITS_PER_UNIT rounded up.
2293
22942023-03-10 Jason Merrill <jason@redhat.com>
2295
2296 PR c++/108972
2297 * lambda.cc (compare_lambda_template_head): Check more
2298 for error_mark_node.
2299
23002023-03-10 Jason Merrill <jason@redhat.com>
2301
2302 PR c++/108566
2303 * mangle.cc (anon_aggr_naming_decl): New.
2304 (write_unqualified_name): Use it.
2305
23062023-03-10 Jakub Jelinek <jakub@redhat.com>
2307
2308 PR c/108079
2309 * decl.cc (poplevel): Suppress OPT_Wunused_variable warning
2310 after diagnosing it.
2311
23122023-03-10 Jason Merrill <jason@redhat.com>
2313
2314 PR c++/108099
2315 * decl.cc (grokdeclarator): Handle non-typedef typedef_decl.
2316
23172023-03-10 Jason Merrill <jason@redhat.com>
2318
2319 PR c++/108542
2320 * class.cc (instantiate_type): Strip location wrapper.
2321
da2b9c6e
GA		 23222023-03-09 Jason Merrill <jason@redhat.com>
2323
2324 PR c++/108773
2325 * init.cc (find_allocator_temps_r): New.
2326 (combine_allocator_temps): Replace find_allocator_temp.
2327 (build_vec_init): Adjust.
2328
23292023-03-09 Jason Merrill <jason@redhat.com>
2330
2331 DR 2664
2332 PR c++/102529
2333 * pt.cc (alias_ctad_tweaks): Continue after deduction failure.
2334
23352023-03-09 Jason Merrill <jason@redhat.com>
2336 Michael Spertus <mike@spertus.com>
2337
2338 PR c++/105841
2339 * pt.cc (corresponding_template_parameter_list): Split out...
2340 (corresponding_template_parameter): ...from here.
2341 (find_template_parameters): Factor out...
2342 (find_template_parameter_info::find_in): ...this function.
2343 (find_template_parameter_info::find_in_recursive): New.
2344 (find_template_parameter_info::found): New.
2345 (alias_ctad_tweaks): Only add parms used in the deduced args.
2346
23472023-03-09 Jason Merrill <jason@redhat.com>
2348
2349 * cp-trait.def (IS_DEDUCIBLE): Add space to name.
2350
23512023-03-09 Jason Merrill <jason@redhat.com>
2352
2353 PR c++/105841
2354 * cp-trait.def (IS_DEDUCIBLE): New.
2355 * cxx-pretty-print.cc (pp_cxx_trait): Handle non-type.
2356 * parser.cc (cp_parser_trait): Likewise.
2357 * tree.cc (cp_tree_equal): Likewise.
2358 * pt.cc (tsubst_copy_and_build): Likewise.
2359 (type_targs_deducible_from): New.
2360 (alias_ctad_tweaks): Use it.
2361 * semantics.cc (trait_expr_value): Handle CPTK_IS_DEDUCIBLE.
2362 (finish_trait_expr): Likewise.
2363 * constraint.cc (diagnose_trait_expr): Likewise.
2364 * cp-tree.h (type_targs_deducible_from): Declare.
2365
af320a16
GA		 23662023-03-07 Jason Merrill <jason@redhat.com>
2367
2368 PR c++/108526
2369 PR c++/106651
2370 * pt.cc (tsubst_function_decl): Don't replace the closure
2371 parameter if DECL_STATIC_FUNCTION_P.
2372
23732023-03-07 Marek Polacek <polacek@redhat.com>
2374
2375 PR c++/107532
2376 * call.cc (reference_like_class_p): New.
2377 (do_warn_dangling_reference): Add new bool parameter. See through
2378 reference_like_class_p.
2379
23802023-03-07 Jakub Jelinek <jakub@redhat.com>
2381
2382 PR c++/109042
2383 * rtti.cc (emit_support_tinfo_1): Don't assert that last
2384 unemitted_tinfo_decls element is tinfo, instead pop from it only in
2385 that case.
2386 * decl2.cc (c_parse_final_cleanups): Don't call emit_tinfo_decl
2387 for unemitted_tinfO_decls which have already non-NULL DECL_INITIAL.
2388
23892023-03-07 Marek Polacek <polacek@redhat.com>
2390
2391 PR c++/109030
2392 * constexpr.cc (cxx_eval_call_expression): Relax assert.
2393
23942023-03-07 Marek Polacek <polacek@redhat.com>
2395
2396 PR c++/107939
2397 * constexpr.cc (potential_constant_expression_1) <case CALL_EXPR>: Pass
2398 'any' when recursing on a VAR_DECL and not a pointer to function.
2399
2858bf16
GA		 24002023-03-04 Jakub Jelinek <jakub@redhat.com>
2401
2402 PR c++/108702
2403 * constexpr.cc: Include toplev.h.
2404 (cxx_eval_constant_expression) <case DECL_EXPR>: When seeing a local
2405 static initialized by constant expression outside of a constexpr
2406 function which has been deferred by make_rtl_for_nonlocal_decl,
2407 call rest_of_decl_compilation on it.
2408
2aa6673e
GA		 24092023-03-03 Patrick Palka <ppalka@redhat.com>
2410
2411 PR c++/108998
2412 * pt.cc (el_data::skipped_trees): New data member.
2413 (extract_locals_r): Push to skipped_trees any unevaluated
2414 contexts that we skipped over.
2415 (extract_local_specs): For the second walk, start from each
2416 tree in skipped_trees.
2417
24182023-03-03 Alexandre Oliva <oliva@adacore.com>
2419
2420 * typeck.cc (cp_build_binary_op): Suppress redundant warning
2421 for pfn null test in pmfn test with vbit-in-delta.
2422
14db9ed5
GA		 24232023-03-02 Jakub Jelinek <jakub@redhat.com>
2424
2425 PR target/108883
2426 * cp-tree.h (enum cp_tree_index): Remove CPTI_FALLBACK_DFLOAT*_TYPE
2427 enumerators.
2428 (fallback_dfloat32_type, fallback_dfloat64_type,
2429 fallback_dfloat128_type): Remove.
2430 * rtti.cc (emit_support_tinfo_1): If not emitted already, call
2431 emit_tinfo_decl and remove from unemitted_tinfo_decls right away.
2432 (emit_support_tinfos): Move &dfloat*_type_node from fundamentals array
2433 into new fundamentals_with_fallback array. Call emit_support_tinfo_1
2434 on elements of that array too, with the difference that if
2435 the type is NULL, use a fallback REAL_TYPE for it temporarily.
2436 Drop the !targetm.decimal_float_supported_p () handling. Call
2437 targetm.emit_support_tinfos at the end.
2438 * mangle.cc (write_builtin_type): Remove references to
2439 fallback_dfloat*_type. Handle bfloat16_type_node mangling.
2440
24412023-03-02 Patrick Palka <ppalka@redhat.com>
2442
2443 PR c++/108243
2444 PR c++/97553
2445 * cp-gimplify.cc (cp_fully_fold): Add an internal overload that
2446 additionally takes and propagate an mce_value parameter, and
2447 define the existing public overload in terms of it.
2448 (cp_fully_fold_init): Pass mce_false to cp_fully_fold.
2449
24502023-03-02 Patrick Palka <ppalka@redhat.com>
2451
2452 PR c++/108243
2453 * constexpr.cc (maybe_constant_init_1): Override
2454 manifestly_const_eval to true if is_static.
2455
24562023-03-02 Jakub Jelinek <jakub@redhat.com>
2457
2458 PR debug/108716
2459 * cp-gimplify.cc (cp_genericize_r) <case USING_STMT>: Set
2460 DECL_SOURCE_LOCATION on IMPORTED_DECL to expression location
2461 of USING_STMT or input_location.
2462
24632023-03-02 Marek Polacek <polacek@redhat.com>
2464
2465 PR c++/106259
2466 * parser.cc (class_decl_loc_t::diag_mismatched_tags): If the first
2467 lookup of SPEC didn't find anything, try to look for
2468 most_general_template.
2469
24702023-03-02 Jakub Jelinek <jakub@redhat.com>
2471
2472 PR c++/105839
2473 * parser.cc (cp_convert_omp_range_for): Allow in assert
2474 decomp_first_name without DECL_HAS_VALUE_EXPR_P if it has
2475 error_mark_node type.
2476 (cp_finish_omp_range_for): Don't set DECL_HAS_VALUE_EXPR_P back
2477 on decls which have error_mark_node type.
2478
c88a7c63
GA		 24792023-03-01 Marek Polacek <polacek@redhat.com>
2480
2481 PR c++/107574
2482 * constexpr.cc (cxx_eval_constant_expression): Emit an error when
2483 a PTRMEM_CST cannot be evaluated.
2484
24852023-03-01 Patrick Palka <ppalka@redhat.com>
2486
2487 * pt.cc (tsubst_scope): Define.
2488 (tsubst_decl) <case USING_DECL>: Call tsubst_scope instead of
2489 calling tsubst_scope with tf_qualifying_scope set.
2490 (tsubst_qualified_id): Call tsubst_scope instead of
2491 calling tsubst with tf_qualifying_scope set.
2492 (tsubst_copy): Immediately delegate to tsubst for all TYPE_P
2493 trees. Remove tf_qualifying_scope manipulation.
2494 <case SCOPE_REF>: Call tsubst_scope instead of calling
2495 tsubst with tf_qualifying_scope set.
2496
24972023-03-01 Patrick Palka <ppalka@redhat.com>
2498 Jason Merrill <jason@redhat.com>
2499
2500 PR c++/108219
2501 PR c++/108218
2502 * constexpr.cc (fold_to_constant): Define.
2503 (maybe_constant_value): Move up early exit test for unevaluated
2504 operands. Try reducing an unevaluated operand to a constant via
2505 fold_to_constant.
2506 (fold_non_dependent_expr_template): Add early exit test for
2507 CONSTANT_CLASS_P nodes. Try reducing an unevaluated operand
2508 to a constant via fold_to_constant.
2509 * cp-tree.h (fold_to_constant): Declare.
2510
25112023-03-01 Jakub Jelinek <jakub@redhat.com>
2512
2513 PR c++/108606
2514 * constexpr.cc (potential_constant_expression_1) <case DECL_EXPR>:
2515 Only recurse on DECL_INITIAL (tmp) if tmp is a VAR_DECL, otherwise
2516 just return true.
2517
6f9e2f14
GA		 25182023-02-28 Patrick Palka <ppalka@redhat.com>
2519
2520 PR c++/108848
2521 * pt.cc (finish_template_variable): Move dependence check
2522 to here from ...
2523 (lookup_and_finish_template_variable): ... here.
2524 * semantics.cc (finish_id_expression_1): Call
2525 finish_template_variable sooner, before (and regardless of) the
2526 type_dependent_expression_p test.
2527
25282023-02-28 Marek Polacek <polacek@redhat.com>
2529
2530 PR c++/108550
2531 * pt.cc (lookup_and_finish_template_variable): Clear tf_partial.
2532
65c64105
GA		 25332023-02-20 Marek Polacek <polacek@redhat.com>
2534
2535 PR c++/101073
2536 * constexpr.cc (cxx_eval_call_expression): Replace shortcutting trivial
2537 constructor/op= with a checking assert.
2538
25392023-02-20 Marek Polacek <polacek@redhat.com>
2540
2541 PR c++/108829
2542 * pt.cc (prepend_one_capture): Set LAMBDA_CAPTURE_EXPLICIT_P.
2543 (tsubst_lambda_expr): Pass LAMBDA_CAPTURE_EXPLICIT_P to
2544 prepend_one_capture.
2545
0263e9d5
GA		 25462023-02-18 Jason Merrill <jason@redhat.com>
2547
2548 DR 2518
2549 PR c++/52809
2550 PR c++/53638
2551 PR c++/87389
2552 PR c++/89741
2553 PR c++/92099
2554 PR c++/104041
2555 PR c++/104691
2556 * semantics.cc (finish_static_assert): Don't diagnose in
2557 template context.
2558
7814ce44
GA		 25592023-02-17 Patrick Palka <ppalka@redhat.com>
2560
2561 PR c++/108243
2562 PR c++/97553
2563 * cp-gimplify.cc (enum fold_flags): Define.
2564 (fold_flags_t): Declare.
2565 (cp_fold_data::genericize): Replace this data member with ...
2566 (cp_fold_data::fold_flags): ... this.
2567 (cp_fold_r): Adjust use of cp_fold_data and calls to cp_fold.
2568 (cp_fold_function): Likewise.
2569 (cp_fold_maybe_rvalue): Add an internal overload that
2570 additionally takes and propagates a fold_flags_t parameter, and
2571 define the existing public overload in terms of it.
2572 (cp_fold_rvalue): Likewise.
2573 (cp_fully_fold_init): Adjust use of cp_fold_data.
2574 (fold_cache): Replace with ...
2575 (fold_caches): ... this 2-element array of caches.
2576 (get_fold_cache): Define.
2577 (clear_fold_cache): Adjust.
2578 (cp_fold): Add fold_flags_t parameter. Use get_fold_cache.
2579 Pass flags to calls to cp_fold, cp_fold_rvalue and
2580 cp_fold_maybe_rvalue.
2581 <case CALL_EXPR>: If ff_mce_false is set, fold
2582 __builtin_is_constant_evaluated to false and pass mce_false to
2583 maybe_constant_value.
2584
25852023-02-17 Patrick Palka <ppalka@redhat.com>
2586
2587 * constexpr.cc (constexpr_call::manifestly_const_eval): Give
2588 it type int instead of bool.
2589 (constexpr_ctx::manifestly_const_eval): Give it type mce_value
2590 instead of bool.
2591 (cxx_eval_builtin_function_call): Adjust after making
2592 manifestly_const_eval tri-state.
2593 (cxx_eval_call_expression): Likewise.
2594 (cxx_eval_binary_expression): Likewise.
2595 (cxx_eval_conditional_expression): Likewise.
2596 (cxx_eval_constant_expression): Likewise.
2597 (cxx_eval_outermost_constant_expr): Likewise.
2598 (cxx_constant_value): Likewise.
2599 (cxx_constant_dtor): Likewise.
2600 (maybe_constant_value): Give manifestly_const_eval parameter
2601 type mce_value instead of bool and adjust accordingly.
2602 (fold_non_dependent_expr_template): Adjust call
2603 to cxx_eval_outermost_constant_expr.
2604 (fold_non_dependent_expr): Likewise.
2605 (maybe_constant_init_1): Likewise.
2606 * constraint.cc (satisfy_atom): Adjust call to
2607 maybe_constant_value.
2608 * cp-tree.h (enum class mce_value): Define.
2609 (maybe_constant_value): Adjust manifestly_const_eval parameter
2610 type and default argument.
2611 * decl.cc (compute_array_index_type_loc): Adjust call to
2612 maybe_constant_value.
2613 * pt.cc (convert_nontype_argument): Likewise.
2614
88cc4495
GA		 26152023-02-16 Patrick Palka <ppalka@redhat.com>
2616
2617 PR c++/107773
2618 * cp-tree.h (enum tsubst_flags): New flag tf_qualifying_scope.
2619 * decl.cc (make_typename_type): Use lookup_member instead of
2620 lookup_field. If tf_qualifying_scope is set, pass want_type=true
2621 instead of =false to lookup_member. Generalize format specifier
2622 in diagnostic to handle both type and non-type bindings.
2623 * pt.cc (tsubst_aggr_type_1): Clear tf_qualifying_scope. Tidy
2624 the function.
2625 (tsubst_decl) <case USING_DECL>: Set tf_qualifying_scope when
2626 substituting USING_DECL_SCOPE.
2627 (tsubst): Clear tf_qualifying_scope right away and remember if
2628 it was set. Do the same for tf_tst_ok sooner.
2629 <case TYPENAME_TYPE>: Set tf_qualifying_scope when substituting
2630 TYPE_CONTEXT. Pass tf_qualifying_scope to make_typename_type
2631 if it was set.
2632 (tsubst_qualified_id): Set tf_qualifying_scope when substituting
2633 the scope.
2634 (tsubst_copy): Clear tf_qualifying_scope and remember if it was
2635 set.
2636 <case SCOPE_REF>: Set tf_qualifying_scope when substituting the
2637 scope.
2638 <case *_TYPE>: Pass tf_qualifying_scope to tsubst if it was set.
2639 * search.cc (lookup_member): Document default argument.
2640
26412023-02-16 Patrick Palka <ppalka@redhat.com>
2642
2643 * cp-tree.h: Mechanically drop static from static inline
2644 functions via s/^static inline/inline/g.
2645
05467d08
GA		 26462023-02-15 Marek Polacek <polacek@redhat.com>
2647
2648 PR c++/106675
2649 * call.cc (joust_maybe_elide_copy): Return false for ck_ambig.
2650
e92e2c96
GA		 26512023-02-10 Marek Polacek <polacek@redhat.com>
2652
2653 PR c++/107079
2654 * call.cc (set_up_extended_ref_temp): Pass var to maybe_constant_init.
2655
26562023-02-09 Tobias Burnus <tobias@codesourcery.com>
2657
2658 * parser.cc (cp_parser_omp_allocate): Parse align
2659 clause and check for restrictions.
2660
26612023-02-09 Jakub Jelinek <jakub@redhat.com>
2662
2663 PR c++/108698
2664 * mangle.cc (write_expression, write_template_arg): Handle
2665 EXCESS_PRECISION_EXPR with REAL_CST operand as
2666 write_template_arg_literal on fold_convert of the REAL_CST
2667 to EXCESS_PRECISION_EXPR type.
2668
f0e73dd0
GA		 26692023-02-06 Patrick Palka <ppalka@redhat.com>
2670
2671 PR c++/107461
2672 * cp-tree.h (call_expr_dependent_name): Declare.
2673 * pt.cc (iterative_hash_template_arg) <case CALL_EXPR>: Use
2674 call_expr_dependent_name instead of dependent_name.
2675 * tree.cc (call_expr_dependent_name): Define.
2676 (called_fns_equal): Adjust to take two CALL_EXPRs instead of
2677 CALL_EXPR_FNs thereof. Use call_expr_dependent_name instead
2678 of dependent_name.
2679 (cp_tree_equal) <case CALL_EXPR>: Adjust call to called_fns_equal.
2680
49e52115
GA		 26812023-02-03 Marek Polacek <polacek@redhat.com>
2682
2683 PR c++/108158
2684 * constexpr.cc (cxx_eval_array_reference): Don't replace
2685 new_ctx.object.
2686
26872023-02-03 Patrick Palka <ppalka@redhat.com>
2688
2689 PR c++/107461
2690 * semantics.cc (finish_call_expr): Strip ADDR_EXPR from
2691 the selected callee during overload set pruning.
2692
26932023-02-03 Patrick Palka <ppalka@redhat.com>
2694
2695 PR c++/96745
2696 * class.cc (check_methods): Diagnose an unviable OVERLOAD
2697 set for CLASSTYPE_DESTRUCTOR differently from an ambiguous one.
2698 Then prune the OVERLOAD to a single function.
2699 (check_bases_and_members): Handle CLASSTYPE_DESTRUCTOR being
2700 an OVERLOAD when calling deduce_noexcept_on_destructor.
2701 Document why it has to be called before check_methods.
2702
27032023-02-03 Patrick Palka <ppalka@redhat.com>
2704
2705 PR c++/108579
2706 * class.cc (check_methods): Swap order of constraints_satisfied_p
2707 and copy/move_fn_p tests.
2708
0a251e74
GA		 27092023-02-01 Marek Polacek <polacek@redhat.com>
2710
2711 PR c++/107755
2712 * call.cc (build_new_op): Don't call warn_logical_operator when
2713 processing a template.
2714
27152023-02-01 Jakub Jelinek <jakub@redhat.com>
2716
2717 PR c++/108607
2718 * constexpr.cc (cxx_eval_constant_expression): Handle OMP_*
2719 and OACC_* constructs as non-constant.
2720 (potential_constant_expression_1): Handle OMP_SCAN and OMP_SCOPE.
2721
27222023-02-01 Jason Merrill <jason@redhat.com>
2723
2724 * class.cc (note_name_declared_in_class): Change from permerror to
2725 -Wchanges-meaning pedwarn, forcing -pedantic-errors for most cases.
2726
317525b0
GA		 27272023-01-31 Jason Merrill <jason@redhat.com>
2728
2729 PR c++/108559
2730 * cp-gimplify.cc (any_non_eliding_target_exprs): New.
2731 (cp_genericize_init): Check it.
2732
27332023-01-31 Marek Polacek <polacek@redhat.com>
2734
2735 PR c++/107593
2736 PR c++/108597
2737 * cp-tree.h (instantiation_dependent_expression_p): Don't
2738 declare here.
2739
2371d100
GA		 27402023-01-26 Marek Polacek <polacek@redhat.com>
2741
2742 PR c++/105300
2743 * parser.cc: Remove unnecessary forward declarations.
2744 (cp_parser_string_literal): New wrapper.
2745 (cp_parser_string_literal_common): Renamed from
2746 cp_parser_string_literal. Add a bool parameter. Give an error when
2747 UDLs are not permitted.
2748 (cp_parser_userdef_string_literal): New wrapper.
2749 (finish_userdef_string_literal): Renamed from
2750 cp_parser_userdef_string_literal.
2751 (cp_parser_primary_expression): Call cp_parser_userdef_string_literal
2752 instead of cp_parser_string_literal.
2753 (cp_parser_linkage_specification): Move a variable declaration closer
2754 to its first use.
2755 (cp_parser_static_assert): Likewise.
2756 (cp_parser_operator): Call cp_parser_userdef_string_literal instead of
2757 cp_parser_string_literal.
2758 (cp_parser_asm_definition): Move a variable declaration closer to its
2759 first use.
2760 (cp_parser_asm_specification_opt): Move variable declarations closer to
2761 their first use.
2762 (cp_parser_asm_operand_list): Likewise.
2763 (cp_parser_asm_clobber_list): Likewise.
2764
27652023-01-26 Jakub Jelinek <jakub@redhat.com>
2766
2767 PR c++/108503
2768 * parser.cc (cp_convert_omp_range_for): If cp_finish_decomp has been
2769 called in !processing_template_decl with processing_template_decl
2770 temporarily set, clear DECL_HAS_VALUE_EXPR_P on the vars temporarily.
2771 (cp_finish_omp_range_for): And set it back again here.
2772
9bb6515b
GA		 27732023-01-25 Jakub Jelinek <jakub@redhat.com>
2774
2775 PR c++/108525
2776 * mangle.cc (write_closure_type_name): Don't assume all
2777 lambda operator() fns are methods.
2778
0fa22168
GA		 27792023-01-24 Jason Merrill <jason@redhat.com>
2780
2781 PR c++/108504
2782 * parser.cc (cp_lexer_new_main): Pass C_LEX_STRING_NO_JOIN for first
2783 token, too.
2784
27852023-01-24 Jason Merrill <jason@redhat.com>
2786
2787 PR c++/108526
2788 * pt.cc (tsubst_function_decl): Handle static lambda.
2789
27902023-01-24 Jakub Jelinek <jakub@redhat.com>
2791
2792 PR c++/108474
2793 * cp-gimplify.cc (cp_fold_r): Revert 2023-01-19 changes.
2794
27952023-01-24 Jason Merrill <jason@redhat.com>
2796
2797 PR c++/107303
2798 PR c++/107329
2799 * cp-gimplify.cc (cp_fold_r) [TARGET_EXPR]: In case of double
2800 TARGET_EXPR, keep the outer one instead of the inner one.
2801 (maybe_replace_decl): New.
2802
607f278a
GA		 28032023-01-23 Jason Merrill <jason@redhat.com>
2804
2805 PR c++/107267
2806 * cp-gimplify.cc (cp_gimplify_init_expr): Allow unexpected elision
2807 of trivial types.
2808
28092023-01-23 Marek Polacek <polacek@redhat.com>
2810
2811 PR c++/107797
2812 * cvt.cc (ocp_convert): copy_warning when creating a new
2813 COMPOUND_EXPR.
2814 * init.cc (build_new_1): Suppress -Wunused-value on
2815 compiler-generated COMPOUND_EXPRs.
2816
28172023-01-23 Jason Merrill <jason@redhat.com>
2818
2819 PR c++/108195
2820 * call.cc (build_user_type_conversion_1): Check whether the
2821 iterators also find a list ctor.
2822
28232023-01-23 Jason Merrill <jason@redhat.com>
2824
2825 PR c++/108496
2826 * decl.cc (grokdeclarator): Check whether DECL_RESULT is already
2827 set.
2828
28292023-01-23 Jason Merrill <jason@redhat.com>
2830
2831 PR c++/53288
2832 DR 1299
2833 * call.cc (extend_ref_init_temps_1): Handle ptrmem expression.
2834
0846336d
GA		 28352023-01-19 Jakub Jelinek <jakub@redhat.com>
2836
2837 PR c++/108437
2838 * cp-tree.h (keep_unused_object_arg): Declare.
2839 * call.cc (keep_unused_object_arg): No longer static.
2840 * tree.cc (build_min_non_dep_op_overload): Handle ARRAY_REF
2841 with overload being static member function.
2842
28432023-01-19 Jakub Jelinek <jakub@redhat.com>
2844
2845 PR c++/53932
2846 * cp-gimplify.cc (cp_fold_r): During cp_fully_fold_init replace
2847 DECL_ANON_UNION_VAR_P VAR_DECLs with their corresponding
2848 DECL_VALUE_EXPR.
2849
f457a62e
GA		 28502023-01-16 Jakub Jelinek <jakub@redhat.com>
2851
2852 PR c++/105593
2853 * decl.cc (cp_finish_decl): Check warning_enabled_at
2854 at the DECL_SOURCE_LOCATION (decl) for OPT_Winit_self instead
2855 of warn_init_self.
2856
5013c3bb
GA		 28572023-01-14 Jakub Jelinek <jakub@redhat.com>
2858
2859 PR c++/108365
2860 * typeck.cc (cp_build_binary_op): Use may_shorten_divmod for integral
2861 division or modulo.
2862
28632023-01-13 Jakub Jelinek <jakub@redhat.com>
2864
2865 PR c++/108285
2866 * cvt.cc (cp_convert_and_check): For EXCESS_PRECISION_EXPR
2867 use its operand except that for warning purposes use the original
2868 EXCESS_PRECISION_EXPR.
2869 * call.cc (convert_like_internal): Only look through
2870 EXCESS_PRECISION_EXPR when calling cp_convert, not when calling
2871 cp_convert_and_check.
2872
84723aca
GA		 28732023-01-09 Jakub Jelinek <jakub@redhat.com>
2874
2875 PR c++/105838
2876 PR c++/108047
2877 PR c++/108266
2878 * call.cc (maybe_init_list_as_range): Always return NULL_TREE if
2879 processing_template_decl.
2880
53ef7c1d
GA		 28812023-01-05 Patrick Palka <ppalka@redhat.com>
2882
2883 PR c++/108275
2884 * parser.cc (cp_parser_class_head): Use dk_deferred instead of
2885 dk_no_check when parsing the class name.
2886
28872023-01-05 Jakub Jelinek <jakub@redhat.com>
2888
2889 PR c++/108286
2890 * semantics.cc (finish_omp_target_clauses): Ignore clauses other than
2891 OMP_CLAUSE_MAP.
2892
faccda27
GA		 28932023-01-04 Patrick Palka <ppalka@redhat.com>
2894
2895 PR c++/108282
2896 * decl2.cc (mark_single_function): Ignore mark_used failure
2897 only in a non-SFINAE context rather than in a SFINAE one.
2898
28992023-01-04 Jakub Jelinek <jakub@redhat.com>
2900
2901 PR c++/108206
2902 * decl.cc (merge_default_template_args): Return false if either
2903 new_parm or old_parm are erroneous.
2904
ad41bd84 2905\f
d64f8779 2906Copyright (C) 2023 Free Software Foundation, Inc.
ad41bd84
JM		 2907
2908Copying and distribution of this file, with or without modification,
2909are permitted in any medium without royalty provided the copyright
2910notice and this notice are preserved.
Mirror of https://gcc.gnu.org/git/gcc.git