1 2023-11-14 Nathaniel Shead <nathanieloshead@gmail.com>
4 * module.cc (trees_out::decl_node): Write DECL_VINDEX for
6 (trees_in::tree_node): Read DECL_VINDEX for virtual clones.
8 2023-11-14 Nathaniel Shead <nathanieloshead@gmail.com>
11 * name-lookup.cc (do_nonmember_using_decl): Handle
12 TEMPLATE_DECLs when checking module attachment.
14 2023-11-14 David Malcolm <dmalcolm@redhat.com>
16 * decl.cc (finish_function): Update call to
17 global_dc->m_option_enabled to use option_enabled_p.
19 2023-11-14 David Malcolm <dmalcolm@redhat.com>
21 * contracts.cc (build_comment): Use global_dc's file_cache.
23 2023-11-14 Jonathan Wakely <jwakely@redhat.com>
27 * call.cc (convert_like_internal): Use OPT_Wnarrowing for
28 pedwarns about illformed conversions involving extended
29 floating-point types. Clarify that ISO C++ requires these
32 2023-11-14 Jakub Jelinek <jakub@redhat.com>
35 * call.cc (magic_varargs_p): Return 4 for
36 BUILT_IN_{CLZ,CTZ,CLRSB,FFS,PARITY,POPCOUNT}G.
37 (build_over_call): Don't promote first argument of
38 BUILT_IN_{CLZ,CTZ,CLRSB,FFS,PARITY,POPCOUNT}G.
39 * cp-gimplify.cc (cp_gimplify_expr): For BUILT_IN_C{L,T}ZG use
42 2023-11-10 Patrick Palka <ppalka@redhat.com>
45 * cp-tree.h (STRIP_REFERENCE_REF): Define.
46 * semantics.cc (outer_var_p): Assert REFERENCE_REF_P is false.
47 (finish_decltype_type): Look through implicit INDIRECT_REF when
48 deciding whether to call capture_decltype.
50 2023-11-10 Patrick Palka <ppalka@redhat.com>
54 * semantics.cc (finish_decltype_type): Handle an id-expression
55 naming a capture proxy specially.
57 2023-11-07 Kwok Cheung Yeung <kcy@codesourcery.com>
59 * cp-tree.h (cp_omp_declare_target_attr): Add indirect field.
60 * decl2.cc (cplus_decl_attributes): Add attribute for indirect
62 * parser.cc (cp_parser_omp_clause_name): Handle indirect clause.
63 (cp_parser_omp_clause_indirect): New.
64 (cp_parser_omp_all_clauses): Handle indirect clause.
65 (handle_omp_declare_target_clause): Add extra parameter. Add
66 indirect attribute for indirect functions.
67 (OMP_DECLARE_TARGET_CLAUSE_MASK): Add indirect clause to mask.
68 (cp_parser_omp_declare_target): Handle indirect clause. Emit error
69 message if device_type or indirect clauses used alone. Emit error
70 if indirect clause used with device_type that is not 'any'.
71 (OMP_BEGIN_DECLARE_TARGET_CLAUSE_MASK): Add indirect clause to mask.
72 (cp_parser_omp_begin): Handle indirect clause.
73 * semantics.cc (finish_omp_clauses): Handle indirect clause.
75 2023-11-04 Jakub Jelinek <jakub@redhat.com>
77 * parser.h (struct cp_parser): Adjust comment on omp_attrs_forbidden_p
79 * parser.cc (cp_parser_omp_section_scan): Allow __directive__ spelling.
81 2023-11-04 David Malcolm <dmalcolm@redhat.com>
83 * call.cc: Update for changes to diagnostic_context.
87 * except.cc: Likewise.
90 2023-11-02 Jason Merrill <jason@redhat.com>
92 * semantics.cc (nrv_data): Change visited to hash_set.
93 (finalize_nrv_r): Reorganize.
95 2023-11-02 Jason Merrill <jason@redhat.com>
100 * except.cc (maybe_splice_retval_cleanup): Clear
101 current_retval_sentinel when destroying retval.
102 * semantics.cc (nrv_data): Add in_nrv_cleanup.
103 (finalize_nrv): Set it.
104 (finalize_nrv_r): Fix handling of throwing cleanups.
106 2023-11-02 Jakub Jelinek <jakub@redhat.com>
109 * parser.cc: Implement C++26 P2361R6 - Unevaluated strings.
110 (uneval_string_attr): New enumerator.
111 (cp_parser_string_literal_common): Add UNEVAL argument. If true,
112 pass CPP_UNEVAL_STRING rather than CPP_STRING to
113 cpp_interpret_string_notranslate.
114 (cp_parser_string_literal, cp_parser_userdef_string_literal): Adjust
115 callers of cp_parser_string_literal_common.
116 (cp_parser_unevaluated_string_literal): New function.
117 (cp_parser_parenthesized_expression_list): Handle uneval_string_attr.
118 (cp_parser_linkage_specification): Use
119 cp_parser_unevaluated_string_literal for C++26.
120 (cp_parser_static_assert): Likewise.
121 (cp_parser_std_attribute): Use uneval_string_attr for standard
122 deprecated and nodiscard attributes.
124 2023-10-31 David Malcolm <dmalcolm@redhat.com>
126 * module.cc (ordinary_loc_of): Update for removal of
127 MACRO_MAP_EXPANSION_POINT_LOCATION.
128 (module_state::note_location): Update for renaming of field.
129 (module_state::write_macro_maps): Likewise.
131 2023-10-27 Patrick Palka <ppalka@redhat.com>
134 * init.cc (build_new_1): Remove unnecessary call to convert
135 on 'nelts'. Use build2 instead of fold_build2 for
136 'outer_nelts_checks'.
138 2023-10-27 Patrick Palka <ppalka@redhat.com>
140 * cp-tree.h (maybe_warn_unparenthesized_assignment): Declare.
141 * semantics.cc (is_assignment_op_expr_p): Generalize to return
142 true for any assignment operator expression, not just one that
143 has been resolved to an operator overload.
144 (maybe_warn_unparenthesized_assignment): Factored out from ...
145 (maybe_convert_cond): ... here.
146 (finish_parenthesized_expr): Mention
147 maybe_warn_unparenthesized_assignment.
148 * typeck.cc (convert_for_assignment): Replace -Wparentheses
149 warning logic with maybe_warn_unparenthesized_assignment.
151 2023-10-27 Lewis Hyatt <lhyatt@gmail.com>
153 PR preprocessor/87299
154 * parser.cc (cp_lexer_new_main): Call c_reset_target_pragmas ()
155 after preprocessing is complete, before starting compilation.
157 2023-10-26 liuhongt <hongtao.liu@intel.com>
159 * typeck.cc (build_vec_cmp): Pass type of arg0 to
162 2023-10-25 Jason Merrill <jason@redhat.com>
164 * cp-tree.def: Improve OFFSET_REF comment.
165 * cp-gimplify.cc (cp_fold_immediate): Add to comment.
167 2023-10-25 Thomas Schwinge <thomas@codesourcery.com>
169 * parser.cc (cp_parser_omp_clause_name): Return
170 'PRAGMA_OACC_CLAUSE_SELF' for "self".
171 (cp_parser_oacc_data_clause, OACC_UPDATE_CLAUSE_MASK): Adjust.
172 (cp_parser_oacc_all_clauses): Remove 'bool compute_p' formal
173 parameter, and instead locally determine whether we're called for
174 an OpenACC compute construct or OpenACC 'update' directive.
175 (cp_parser_oacc_compute): Adjust.
177 2023-10-25 Chung-Lin Tang <cltang@codesourcery.com>
179 * parser.cc (cp_parser_oacc_compute_clause_self): New function.
180 (cp_parser_oacc_all_clauses): Add new 'bool compute_p = false'
181 parameter, add parsing of self clause when compute_p is true.
182 (OACC_KERNELS_CLAUSE_MASK): Add PRAGMA_OACC_CLAUSE_SELF.
183 (OACC_PARALLEL_CLAUSE_MASK): Likewise,
184 (OACC_SERIAL_CLAUSE_MASK): Likewise.
185 (cp_parser_oacc_compute): Adjust call to c_parser_oacc_all_clauses to
186 set compute_p argument to true.
187 * pt.cc (tsubst_omp_clauses): Add OMP_CLAUSE_SELF case.
188 * semantics.cc (c_finish_omp_clauses): Add OMP_CLAUSE_SELF case, merged
189 with OMP_CLAUSE_IF case.
191 2023-10-25 Marek Polacek <polacek@redhat.com>
194 * typeck.cc (build_static_cast_1): Call decay_conversion.
196 2023-10-24 Patrick Palka <ppalka@redhat.com>
199 * init.cc (build_new_1): Use convert, build2, build3 and
200 cp_fully_fold instead of fold_convert, size_binop and
201 fold_build3 when building up 'size'.
203 2023-10-24 Patrick Palka <ppalka@redhat.com>
206 * tree.cc (cp_stabilize_reference): Do nothing when
207 processing_template_decl.
209 2023-10-22 Patrick Palka <ppalka@redhat.com>
212 * pt.cc (tsubst_expr) <case AT_ENCODE_EXPR>: Use tsubst instead
215 2023-10-20 Jason Merrill <jason@redhat.com>
217 * call.cc (implicit_conversion_1): Rename...
218 (implicit_conversion): ...to this. Remove the old wrapper.
220 2023-10-20 Jason Merrill <jason@redhat.com>
222 * call.cc (tourney): Only skip champ_compared_to_predecessor.
224 2023-10-20 Nathan Sidwell <nathan@acm.org>
227 * module.cc (trees_out::core_vals): Stream CONSTRUCTOR operands
229 (trees_in::core_vals): Likewise.
231 2023-10-20 Patrick Palka <ppalka@redhat.com>
233 * cp-lang.cc (objcp_tsubst_copy_and_build): Rename to ...
234 (objcp_tsubst_expr): ... this.
235 * cp-objcp-common.h (objcp_tsubst_copy_and_build): Rename to ...
236 (objcp_tsubst_expr): ... this.
237 * cp-tree.h (tsubst_copy_and_build): Remove declaration.
238 * init.cc (maybe_instantiate_nsdmi_init): Use tsubst_expr
239 instead of tsubst_copy_and_build.
240 * pt.cc (expand_integer_pack): Likewise.
241 (instantiate_non_dependent_expr_internal): Likewise.
242 (instantiate_class_template): Use tsubst_stmt instead of
243 tsubst_expr for STATIC_ASSERT.
244 (tsubst_function_decl): Adjust tsubst_copy_and_build uses.
245 (tsubst_arg_types): Likewise.
246 (tsubst_exception_specification): Likewise.
247 (tsubst_tree_list): Likewise.
249 (tsubst_name): Likewise.
250 (tsubst_omp_clause_decl): Use tsubst_stmt instead of tsubst_expr.
251 (tsubst_omp_clauses): Likewise.
252 (tsubst_copy_asm_operands): Adjust tsubst_copy_and_build use.
253 (tsubst_omp_for_iterator): Use tsubst_stmt instead of tsubst_expr.
254 (tsubst_expr): Rename to ...
255 (tsubst_stmt): ... this.
256 <case CO_YIELD_EXPR, CO_AWAIT_EXPR>: Move to tsubst_expr.
257 (tsubst_omp_udr): Use tsubst_stmt instead of tsubst_expr.
258 (tsubst_non_call_postfix_expression): Adjust tsubst_copy_and_build
260 (tsubst_lambda_expr): Likewise. Use tsubst_stmt instead of
261 tsubst_expr for the body of a lambda.
262 (tsubst_copy_and_build_call_args): Rename to ...
263 (tsubst_call_args): ... this. Adjust tsubst_copy_and_build use.
264 (tsubst_copy_and_build): Rename to tsubst_expr. Adjust
265 tsubst_copy_and_build and tsubst_copy_and_build_call_args use.
266 <case TRANSACTION_EXPR>: Use tsubst_stmt instead of tsubst_expr.
267 (maybe_instantiate_noexcept): Adjust tsubst_copy_and_build use.
268 (instantiate_body): Use tsubst_stmt instead of tsubst_expr for
269 substituting the function body.
270 (tsubst_initializer_list): Adjust tsubst_copy_and_build use.
272 2023-10-20 Patrick Palka <ppalka@redhat.com>
274 * cp-tree.h (enum tsubst_flags): Add tf_no_name_lookup.
275 * pt.cc (tsubst_pack_expansion): Use tsubst for substituting
277 (tsubst_decl) <case USING_DECL>: Use tsubst_name instead of
279 (tsubst) <case TEMPLATE_TYPE_PARM>: Use tsubst_copy_and_build
280 instead of tsubst_copy for substituting
281 CLASS_PLACEHOLDER_TEMPLATE.
282 <case TYPENAME_TYPE>: Use tsubst_name instead of tsubst_copy for
283 substituting TYPENAME_TYPE_FULLNAME.
284 (tsubst_name): Define.
285 (tsubst_qualified_id): Use tsubst_name instead of tsubst_copy
286 for substituting the component name of a SCOPE_REF.
287 (tsubst_copy): Remove.
288 (tsubst_copy_and_build): Clear tf_no_name_lookup at the start,
289 and remember if it was set. Call maybe_dependent_member_ref if
290 tf_no_name_lookup was not set.
291 <case IDENTIFIER_NODE>: Don't do name lookup if tf_no_name_lookup
293 <case TEMPLATE_ID_EXPR>: If tf_no_name_lookup was set, use
294 tsubst_name instead of tsubst_copy_and_build to substitute the
295 template and don't finish the template-id.
296 <case BIT_NOT_EXPR>: Handle identifier and type operand (if
297 tf_no_name_lookup was set).
298 <case SCOPE_REF>: Avoid trying to resolve a SCOPE_REF if
299 tf_no_name_lookup was set by calling build_qualified_name directly
300 instead of tsubst_qualified_id.
301 <case SIZEOF_EXPR>: Handling of sizeof... copied from tsubst_copy.
302 <case CALL_EXPR>: Use tsubst_name instead of tsubst_copy to
303 substitute a TEMPLATE_ID_EXPR callee naming an unresolved template.
304 <case COMPONENT_REF>: Likewise to substitute the member.
305 <case FUNCTION_DECL>: Copied from tsubst_copy and merged with ...
306 <case VAR_DECL, PARM_DECL>: ... these. Initial handling copied
307 from tsubst_copy. Optimize local variable substitution by
308 trying retrieve_local_specialization before checking
310 <case CONST_DECL>: Copied from tsubst_copy.
311 <case FIELD_DECL>: Likewise.
312 <case NAMESPACE_DECL>: Likewise.
313 <case OVERLOAD>: Likewise.
314 <case TEMPLATE_DECL>: Likewise.
315 <case TEMPLATE_PARM_INDEX>: Likewise.
316 <case TYPE_DECL>: Likewise.
317 <case CLEANUP_POINT_EXPR>: Likewise.
318 <case OFFSET_REF>: Likewise.
319 <case EXPR_PACK_EXPANSION>: Likewise.
320 <case NONTYPE_ARGUMENT_PACK>: Likewise.
321 <case *_CST>: Likewise.
322 <case *_*_FOLD_EXPR>: Likewise.
323 <case DEBUG_BEGIN_STMT>: Likewise.
324 <case CO_AWAIT_EXPR>: Likewise.
325 <case TRAIT_EXPR>: Use tsubst and tsubst_copy_and_build instead
327 <default>: Copied from tsubst_copy.
328 (tsubst_initializer_list): Use tsubst and tsubst_copy_and_build
329 instead of tsubst_copy.
331 2023-10-20 Patrick Palka <ppalka@redhat.com>
334 * parser.cc (cp_parser_postfix_expression): Consolidate three
335 calls to finish_call_expr, one to build_new_method_call and
336 one to build_min_nt_call_vec into one call to finish_call_expr.
337 Don't call maybe_generic_this_capture here.
338 * pt.cc (tsubst_copy_and_build) <case CALL_EXPR>: Remove
339 COMPONENT_REF callee handling.
340 (type_dependent_expression_p): Use t_d_object_e_p instead of
341 t_d_e_p for COMPONENT_REF and OFFSET_REF.
342 * semantics.cc (finish_call_expr): In the type-dependent case,
343 call maybe_generic_this_capture here instead.
345 2023-10-20 Patrick Palka <ppalka@redhat.com>
347 * call.cc (build_new_method_call): Remove calls to
348 build_non_dependent_expr and/or make_args_non_dependent.
349 * coroutines.cc (finish_co_return_stmt): Likewise.
350 * cp-tree.h (build_non_dependent_expr): Remove.
351 (make_args_non_dependent): Remove.
352 * decl2.cc (grok_array_decl): Remove calls to
353 build_non_dependent_expr and/or make_args_non_dependent.
354 (build_offset_ref_call_from_tree): Likewise.
355 * init.cc (build_new): Likewise.
356 * pt.cc (make_args_non_dependent): Remove.
357 (test_build_non_dependent_expr): Remove.
358 (cp_pt_cc_tests): Adjust.
359 * semantics.cc (finish_expr_stmt): Remove calls to
360 build_non_dependent_expr and/or make_args_non_dependent.
361 (finish_for_expr): Likewise.
362 (finish_call_expr): Likewise.
363 (finish_omp_atomic): Likewise.
364 * typeck.cc (finish_class_member_access_expr): Likewise.
365 (build_x_indirect_ref): Likewise.
366 (build_x_binary_op): Likewise.
367 (build_x_array_ref): Likewise.
368 (build_x_vec_perm_expr): Likewise.
369 (build_x_shufflevector): Likewise.
370 (build_x_unary_op): Likewise.
371 (cp_build_addressof): Likewise.
372 (build_x_conditional_expr): Likewise.
373 (build_x_compound_expr): Likewise.
374 (build_static_cast): Likewise.
375 (build_x_modify_expr): Likewise.
376 (check_return_expr): Likewise.
377 * typeck2.cc (build_x_arrow): Likewise.
379 2023-10-20 Patrick Palka <ppalka@redhat.com>
381 * class.cc (instantiate_type): Remove NON_DEPENDENT_EXPR
383 * constexpr.cc (cxx_eval_constant_expression): Likewise.
384 (potential_constant_expression_1): Likewise.
385 * coroutines.cc (coro_validate_builtin_call): Don't
386 expect ALIGNOF_EXPR to be wrapped in NON_DEPENDENT_EXPR.
387 * cp-objcp-common.cc (cp_common_init_ts): Remove
388 NON_DEPENDENT_EXPR handling.
389 * cp-tree.def (NON_DEPENDENT_EXPR): Remove.
390 * cp-tree.h (build_non_dependent_expr): Temporarily redefine as
391 the identity function.
392 * cvt.cc (maybe_warn_nodiscard): Handle type-dependent and
393 variable callee of CALL_EXPR.
394 * cxx-pretty-print.cc (cxx_pretty_printer::expression): Remove
395 NON_DEPENDENT_EXPR handling.
396 * error.cc (dump_decl): Likewise.
397 (dump_expr): Likewise.
398 * expr.cc (mark_use): Likewise.
399 (mark_exp_read): Likewise.
400 * pt.cc (build_non_dependent_expr): Remove.
401 * tree.cc (lvalue_kind): Remove NON_DEPENDENT_EXPR handling.
402 (cp_stabilize_reference): Likewise.
403 * typeck.cc (warn_for_null_address): Likewise.
404 (cp_build_binary_op): Handle type-dependent SIZEOF_EXPR operands.
405 (cp_build_unary_op) <case TRUTH_NOT_EXPR>: Don't fold inside a
408 2023-10-20 Alexandre Oliva <oliva@adacore.com>
410 * decl.cc (push_throw_library_fn): Mark with ECF_XTHROW.
411 * except.cc (build_throw): Likewise __cxa_throw,
412 _ITM_cxa_throw, __cxa_rethrow.
414 2023-10-20 Nathaniel Shead <nathanieloshead@gmail.com>
418 * call.cc (build_over_call): Fold more indirect refs for trivial
420 * class.cc (type_has_non_deleted_trivial_default_ctor): Create.
421 * constexpr.cc (cxx_eval_call_expression): Start lifetime of
422 union member before entering constructor.
423 (cxx_eval_component_reference): Check against first member of
424 value-initialised union.
425 (cxx_eval_store_expression): Activate member for
426 value-initialised union. Check for accessing inactive union
428 * cp-tree.h (type_has_non_deleted_trivial_default_ctor):
431 2023-10-20 Nathaniel Shead <nathanieloshead@gmail.com>
433 * constexpr.cc (is_std_source_location_current): New.
434 (cxx_eval_constant_expression): Only ignore cast from void* for
435 specific cases and improve other diagnostics.
437 2023-10-19 Marek Polacek <polacek@redhat.com>
439 * cp-gimplify.cc (cp_fold_r): Don't call maybe_constant_value.
441 2023-10-19 Jason Merrill <jason@redhat.com>
443 * typeck2.cc (check_narrowing): Adjust.
445 2023-10-19 Jason Merrill <jason@redhat.com>
447 * parser.cc (cp_parser_primary_expression): Use G_.
448 (cp_parser_using_enum): Likewise.
449 * decl.cc (identify_goto): Likewise.
451 2023-10-18 Jason Merrill <jason@redhat.com>
453 * typeck2.cc (check_narrowing): Use permerror.
455 2023-10-17 Marek Polacek <polacek@redhat.com>
458 * parser.cc (cp_parser_simple_declaration): Do cp_parser_error
461 2023-10-17 Marek Polacek <polacek@redhat.com>
464 * cp-gimplify.cc (cp_fold_immediate_r) <case COND_EXPR>: Don't
466 (cp_fold_r): Handle COND_EXPR here.
468 2023-10-17 Jason Merrill <jason@redhat.com>
470 * mangle.cc (abi_check): New.
471 (write_prefix, write_unqualified_name, write_discriminator)
472 (write_type, write_member_name, write_expression)
473 (write_template_arg, write_template_param): Use it.
474 (start_mangling): Assign from {}.
475 * cp-tree.h: Update comment.
477 2023-10-17 Nathaniel Shead <nathanieloshead@gmail.com>
479 * constexpr.cc (cxx_eval_dynamic_cast_fn): Add missing
480 auto_diagnostic_group.
481 (cxx_eval_call_expression): Likewise.
482 (diag_array_subscript): Likewise.
483 (outside_lifetime_error): Likewise.
484 (potential_constant_expression_1): Likewise.
486 2023-10-16 Jason Merrill <jason@redhat.com>
488 * parser.cc (cp_parser_fold_expression): Track location range.
489 * semantics.cc (finish_unary_fold_expr)
490 (finish_left_unary_fold_expr, finish_right_unary_fold_expr)
491 (finish_binary_fold_expr): Add location parm.
492 * constraint.cc (finish_shorthand_constraint): Pass it.
493 * pt.cc (convert_generic_types_to_packs): Likewise.
496 2023-10-16 Marek Polacek <polacek@redhat.com>
499 * constexpr.cc (explain_invalid_constexpr_fn): Also check the body of
500 a constructor in C++14 and up.
502 2023-10-14 Jakub Jelinek <jakub@redhat.com>
505 * module.cc (trees_out::start, trees_in::start): Remove
506 TREE_INT_CST_OFFSET_NUNITS handling.
508 2023-10-10 Jason Merrill <jason@redhat.com>
511 * mangle.cc (write_template_param): Also mangle level.
513 2023-10-08 David Malcolm <dmalcolm@redhat.com>
515 * module.cc (module_state::read_location): Update for renaming of
516 get_combined_adhoc_loc.
518 2023-10-03 David Malcolm <dmalcolm@redhat.com>
520 * error.cc (print_instantiation_partial_context_line): Call
521 diagnostic_show_locus.
523 2023-10-03 David Malcolm <dmalcolm@redhat.com>
525 * error.cc: Update for "m_" prefixes to text_info fields.
527 2023-09-30 Eugene Rozenfeld <erozen@microsoft.com>
529 * Make-lang.in: Make create_fdas_for_cc1plus target not .PHONY
531 2023-09-28 Richard Sandiford <richard.sandiford@arm.com>
533 * constexpr.cc (cxx_fold_indirect_ref): Remove unused variables.
535 2023-09-22 Jason Merrill <jason@redhat.com>
538 * pt.cc (expand_integer_pack): Use IMPLICIT_CONV_EXPR.
540 2023-09-22 Jason Merrill <jason@redhat.com>
542 * constexpr.cc (free_constructor): Handle null ce->value.
544 2023-09-22 Jason Merrill <jason@redhat.com>
547 * parser.cc (cp_parser_lambda_declarator_opt): Don't suggest
548 -std=c++14 for lambda templates.
549 * pt.cc (tsubst_expr): Move ANNOTATE_EXPR handling...
550 (tsubst_copy_and_build): ...here.
552 2023-09-22 Patrick Palka <ppalka@redhat.com>
555 * decl2.cc (grok_array_decl): Guard diagnostic and backward
556 compatibility fallback code paths with tf_error.
558 2023-09-22 Patrick Palka <ppalka@redhat.com>
561 * pt.cc (is_compatible_template_arg): New parameter 'args'.
562 Add the outer template arguments 'args' to 'new_args'.
563 (convert_template_argument): Pass 'args' to
564 is_compatible_template_arg.
566 2023-09-20 Jakub Jelinek <jakub@redhat.com>
568 * parser.cc (cp_parser_postfix_expression): Parse
569 __builtin_classify_type call with typename as argument.
570 * pt.cc (tsubst_copy_and_build): Handle __builtin_classify_type
571 with dependent typename as argument.
573 2023-09-20 Patrick Palka <ppalka@redhat.com>
576 * cxx-pretty-print.cc (cxx_pretty_printer::expression)
577 <case VAR_DECL>: Handle class NTTP objects by printing
578 their type and value.
579 <case VIEW_CONVERT_EXPR>: Strip const VIEW_CONVERT_EXPR
580 wrappers for class NTTPs.
581 (pp_cxx_template_argument_list): Don't handle class NTTP
584 2023-09-20 Patrick Palka <ppalka@redhat.com>
586 * pt.cc (tsubst_function_decl): Don't bother computing 'argvec'
587 when 'lambda_fntype' is set.
588 (tsubst_template_decl): Make sure we return a TEMPLATE_DECL
589 during specialization lookup. In the non-class non-function
590 template case, use tsubst_decl directly with use_spec_table=false,
591 update DECL_TI_ARGS and call register_specialization like
592 tsubst_decl would have done if use_spec_table=true.
594 2023-09-20 Jakub Jelinek <jakub@redhat.com>
597 * parser.h (struct cp_lexer): Add in_omp_decl_attribute member.
598 * cp-tree.h (cp_maybe_parse_omp_decl): Declare.
599 * parser.cc (cp_parser_handle_statement_omp_attributes): Diagnose
600 omp::decl attribute on statements. Adjust diagnostic wording for
602 (cp_parser_omp_directive_args): Add DECL_P argument, set TREE_PUBLIC
603 to it on the DEFERRED_PARSE tree.
604 (cp_parser_omp_sequence_args): Adjust caller.
605 (cp_parser_std_attribute): Handle omp::decl attribute.
606 (cp_parser_omp_var_list): If parser->lexer->in_omp_decl_attribute
607 don't expect any arguments, instead create clause or TREE_LIST for
609 (cp_parser_late_parsing_omp_declare_simd): Adjust diagnostic wording
611 (cp_maybe_parse_omp_decl): New function.
612 (cp_parser_omp_declare_target): If
613 parser->lexer->in_omp_decl_attribute and first token isn't name or
614 comma invoke cp_parser_omp_var_list.
615 * decl2.cc (cplus_decl_attributes): Adjust diagnostic wording for
616 omp::decl. Handle omp::decl on declarations.
617 * name-lookup.cc (finish_using_directive): Adjust diagnostic wording
620 2023-09-19 Ben Boeckel <ben.boeckel@kitware.com>
622 * mapper-client.cc, mapper-client.h (open_module_client): Accept
623 dependency tracking and track module mapper files as
625 * module.cc (make_mapper, get_mapper): Pass the dependency
628 2023-09-19 Ben Boeckel <ben.boeckel@kitware.com>
630 * module.cc (do_import): Report imported CMI files as
633 2023-09-19 Ben Boeckel <ben.boeckel@kitware.com>
635 * module.cc (preprocessed_module): Pass whether the module is
636 exported to dependency tracking.
638 2023-09-19 Javier Martinez <javier.martinez.bugzilla@gmail.com>
640 * class.cc (propagate_class_warmth_attribute): New function.
641 (check_bases_and_members): propagate hot and cold attributes
642 to all FUNCTION_DECL when the record is marked hot or cold.
643 * cp-tree.h (maybe_propagate_warmth_attributes): New function.
644 * decl2.cc (maybe_propagate_warmth_attributes): New function.
645 * method.cc (lazily_declare_fn): propagate hot and cold
646 attributes to lazily declared functions when the record is
649 2023-09-19 Patrick Palka <ppalka@redhat.com>
651 * ptree.cc (cxx_print_type): Remove TYPE_LANG_SPECIFIC
652 test guarding TYPE_TEMPLATE_INFO.
654 2023-09-19 Jason Merrill <jason@redhat.com>
657 * class.cc (add_implicit_default_ctor): Split out...
658 (add_implicitly_declared_members): ...from here.
659 Also call it when inheriting a default ctor.
661 2023-09-19 Marek Polacek <polacek@redhat.com>
663 * call.cc (build_over_call): Set ADDR_EXPR_DENOTES_CALL_P. Don't handle
664 immediate_invocation_p here.
665 * constexpr.cc (cxx_eval_call_expression): Use mce_true for
666 DECL_IMMEDIATE_FUNCTION_P.
667 (cxx_eval_conditional_expression): Call cp_fold_immediate.
668 * cp-gimplify.cc (enum fold_flags): Add ff_fold_immediate.
669 (maybe_replace_decl): Make static.
670 (cp_fold_r): Expand immediate invocations.
671 (cp_fold_immediate_r): New.
672 (cp_fold_immediate): New.
673 * cp-tree.h (ADDR_EXPR_DENOTES_CALL_P): Define.
674 (cp_fold_immediate): Declare.
675 * tree.cc (bot_replace): Don't handle immediate invocations here.
677 2023-09-19 Patrick Palka <ppalka@redhat.com>
680 * cvt.cc (convert_to_void) <case INDIRECT_REF>: Only call
681 complete_type if the type is volatile.
682 <case VAR_DECL>: Likewise.
684 2023-09-19 Patrick Palka <ppalka@redhat.com>
687 * semantics.cc (finish_decltype_type): For an NTTP object,
688 return its type modulo cv-quals.
690 2023-09-18 Patrick Palka <ppalka@redhat.com>
693 * pt.cc (try_class_unification): Strengthen TI_TEMPLATE equality
694 test by not calling most_general_template. Only unify the
695 innermost levels of template arguments.
696 (unify) <case CLASS_TYPE>: Only unify the innermost levels of
697 template arguments, and only if the template is primary.
699 2023-09-18 Patrick Palka <ppalka@redhat.com>
703 * semantics.cc (maybe_convert_cond): Look through implicit
704 INDIRECT_REF when deciding whether to issue a -Wparentheses
705 warning, and consider templated assignment expressions as well.
706 (finish_parenthesized_expr): Look through implicit INDIRECT_REF
707 when suppressing -Wparentheses warning.
708 * typeck.cc (build_x_modify_expr): Check simple assignments
709 ahead time too, not just compound assignments. Give the second
710 operand of MODOP_EXPR a non-null type so that it's not considered
711 always instantiation-dependent. Don't call suppress_warning.
713 2023-09-18 Patrick Palka <ppalka@redhat.com>
716 * pt.cc (unify): Return unify_success for identical dependent
717 DECL_P 'arg' and 'parm'.
718 <case CONST_DECL>: Remove handling.
720 2023-09-18 Patrick Palka <ppalka@redhat.com>
722 * call.cc (add_template_candidate_real): Check arity even
723 when there are no explicit template arguments. Combine the
724 two adjacent '!obj' tests into one.
726 2023-09-18 Patrick Palka <ppalka@redhat.com>
728 * pt.cc (register_specialization): Remove now-unnecessary
729 early exit for FUNCTION_DECL partial instantiation.
730 (tsubst_template_decl): Pass use_spec_table=false to
731 tsubst_function_decl. Set DECL_TI_ARGS of a non-lambda
732 FUNCTION_DECL specialization to the full set of arguments.
733 Simplify register_specialization call accordingly.
735 2023-09-18 Jason Merrill <jason@redhat.com>
737 * class.cc (check_subobject_offset): Use similar_type_p.
739 2023-09-12 Jason Merrill <jason@redhat.com>
742 * pt.cc (expand_integer_pack): Convert argument to int.
744 2023-09-12 Jason Merrill <jason@redhat.com>
747 * typeck2.cc (process_init_constructor_array): Use VEC_INIT_EXPR
748 regardless of seen_error.
750 2023-09-08 Patrick Palka <ppalka@redhat.com>
753 * pt.cc (check_non_deducible_conversions): Add bool parameter
754 passed down to check_non_deducible_conversion.
755 (fn_type_unification): Call check_non_deducible_conversions
756 an extra time before satisfaction with noninst_only_p=true.
757 (conversion_may_instantiate_p): Define.
758 (check_non_deducible_conversion): Add bool parameter controlling
759 whether to compute only conversions that are guaranteed to
760 not induce template instantiation.
762 2023-09-07 Sandra Loosemore <sandra@codesourcery.com>
765 * parser.cc (fixup_blocks_walker): Check for null BIND_EXPR_BLOCK.
767 2023-09-06 Jason Merrill <jason@redhat.com>
769 * class.cc (check_subobject_offset): Check
770 same_type_ignoring_top_level_qualifiers_p.
772 2023-09-05 Marek Polacek <polacek@redhat.com>
775 * constexpr.cc (verify_constant_explain_r): New.
776 (verify_constant): Call it.
778 2023-09-05 Jakub Jelinek <jakub@redhat.com>
781 * name-lookup.cc (check_local_shadow): Don't punt early for
782 DECL_EXTERNAL decls, instead just disable the shadowing of namespace
783 decls check for those and emit a pedwarn rather than error_at or
784 permerror for those. Formatting fix.
786 2023-09-05 Jakub Jelinek <jakub@redhat.com>
789 * name-lookup.h (struct cp_binding_level): Add artificial bit-field.
791 * name-lookup.cc (check_local_shadow): Skip artificial bindings when
792 checking if parameter scope is parent scope. Don't special case
793 FUNCTION_NEEDS_BODY_BLOCK. Diagnose the in_function_try_handler
794 cases in the b->kind == sk_function_parms test and verify no
795 non-artificial intervening scopes. Add missing auto_diagnostic_group.
796 * decl.cc (begin_function_body): Set
797 current_binding_level->artificial.
798 * semantics.cc (begin_function_try_block): Likewise.
800 2023-09-05 Patrick Palka <ppalka@redhat.com>
802 * parser.cc (cp_parser_parenthesized_expression_list_elt): Pass
803 nullptr as non_constant_p to cp_parser_braced_list if our
804 non_constant_p is null.
805 (cp_parser_initializer_list): Likewise to
806 cp_parser_initializer_clause. Avoid inspecting
807 clause_non_constant_p if it's uninitialized.
809 2023-09-05 Patrick Palka <ppalka@redhat.com>
811 * call.cc (build_user_type_conversion): Free allocated
813 (build_converted_constant_expr_internal): Use
814 conversion_obstack_sentinel instead.
815 (perform_dguide_overload_resolution): Likewise.
816 (build_new_function_call): Likewise.
817 (build_operator_new_call): Free allocated conversions.
818 (build_op_call): Use conversion_obstack_sentinel instead.
819 (build_conditional_expr): Use conversion_obstack_sentinel
820 instead, and hoist it out to the outermost scope.
821 (build_new_op): Use conversion_obstack_sentinel instead
822 and set it up before the first goto. Remove second unneeded goto.
823 (build_op_subscript): Use conversion_obstack_sentinel instead.
824 (ref_conv_binds_to_temporary): Likewise.
825 (build_new_method_call): Likewise.
826 (can_convert_arg): Likewise.
827 (can_convert_arg_bad): Likewise.
828 (perform_implicit_conversion_flags): Likewise.
829 (perform_direct_initialization_if_possible): Likewise.
830 (initialize_reference): Likewise.
832 2023-09-01 Jakub Jelinek <jakub@redhat.com>
835 * cp-tree.h (determine_local_discriminator): Add NAME argument with
837 (struct cp_decomp): New type.
838 (cp_finish_decl): Add DECOMP argument defaulted to nullptr.
839 (cp_maybe_mangle_decomp): Remove declaration.
840 (cp_finish_decomp): Add cp_decomp * argument, remove tree and unsigned
842 (cp_convert_range_for): Likewise.
843 * decl.cc (determine_local_discriminator): Add NAME argument, use it
844 if non-NULL, otherwise compute it the old way.
845 (maybe_commonize_var): Don't return early for structured bindings.
846 (cp_finish_decl): Add DECOMP argument, if non-NULL, call
847 cp_maybe_mangle_decomp.
848 (cp_maybe_mangle_decomp): Make it static with a forward declaration.
849 Call determine_local_discriminator. Replace FIRST and COUNT arguments
850 with DECOMP argument.
851 (cp_finish_decomp): Replace FIRST and COUNT arguments with DECOMP
853 * mangle.cc (find_decomp_unqualified_name): Remove.
854 (write_unqualified_name): Don't call find_decomp_unqualified_name.
855 (mangle_decomp): Handle mangling of static function/block scope
856 structured bindings. Don't call decl_mangling_context twice. Call
857 check_abi_tags, call write_abi_tags for abi version >= 19 and emit
858 -Wabi warnings if needed.
859 (write_guarded_var_name): Handle structured bindings.
860 (mangle_ref_init_variable): Use write_guarded_var_name.
861 * parser.cc (cp_parser_range_for): Adjust do_range_for_auto_deduction
862 and cp_convert_range_for callers.
863 (do_range_for_auto_deduction): Replace DECOMP_FIRST_NAME and
864 DECOMP_CNT arguments with DECOMP. Adjust cp_finish_decomp caller.
865 (cp_convert_range_for): Replace DECOMP_FIRST_NAME and
866 DECOMP_CNT arguments with DECOMP. Don't call cp_maybe_mangle_decomp,
867 adjust cp_finish_decl and cp_finish_decomp callers.
868 (cp_parser_decomposition_declaration): Don't call
869 cp_maybe_mangle_decomp, adjust cp_finish_decl and cp_finish_decomp
871 (cp_convert_omp_range_for): Adjust do_range_for_auto_deduction
872 and cp_finish_decomp callers.
873 (cp_finish_omp_range_for): Don't call cp_maybe_mangle_decomp,
874 adjust cp_finish_decl and cp_finish_decomp callers.
875 * pt.cc (tsubst_omp_for_iterator): Adjust tsubst_decomp_names
877 (tsubst_decomp_names): Replace FIRST and CNT arguments with DECOMP.
878 (tsubst_expr): Don't call cp_maybe_mangle_decomp, adjust
879 tsubst_decomp_names, cp_finish_decl, cp_finish_decomp and
880 cp_convert_range_for callers.
882 2023-08-30 Marek Polacek <polacek@redhat.com>
885 * parser.cc (cp_parser_initializer_list): Set CONSTRUCTOR_IS_DIRECT_INIT
886 when the designated initializer is of the .x{} form.
888 2023-08-30 Marek Polacek <polacek@redhat.com>
891 * decl.cc (grokdeclarator): Disallow constinit on functions.
893 2023-08-29 Marek Polacek <polacek@redhat.com>
895 * call.cc (convert_like_internal): Show where the conversion function
897 (maybe_show_nonconverting_candidate): New.
898 * cp-tree.h (maybe_show_nonconverting_candidate): Declare.
899 * typeck.cc (convert_for_assignment): Call it.
901 2023-08-25 Sandra Loosemore <sandra@codesourcery.com>
903 * cp-tree.h (cp_convert_omp_range_for): Adjust declaration.
904 * parser.cc (struct omp_for_parse_data): New.
905 (cp_parser_postfix_expression): Diagnose calls to OpenMP runtime
907 (check_omp_intervening_code): New.
908 (cp_parser_statement_seq_opt): Special-case nested loops, blocks,
909 and other constructs for OpenMP loops.
910 (cp_parser_iteration_statement): Reject loops in intervening code.
911 (cp_parser_omp_for_loop_init): Expand comments and tweak the
912 interface slightly to better distinguish input/output parameters.
913 (cp_convert_omp_range_for): Likewise.
914 (cp_parser_omp_loop_nest): New, split from cp_parser_omp_for_loop
915 and largely rewritten. Add more comments.
916 (insert_structured_blocks): New.
917 (find_structured_blocks): New.
918 (struct sit_data, substitute_in_tree_walker, substitute_in_tree):
920 (fixup_blocks_walker): New.
921 (cp_parser_omp_for_loop): Rewrite to use recursive descent instead
922 of a loop. Add logic to reshuffle the bits of code collected
923 during parsing so intervening code gets moved to the loop body.
924 (cp_parser_omp_loop): Remove call to finish_omp_for_block, which
926 (cp_parser_omp_simd): Likewise.
927 (cp_parser_omp_for): Likewise.
928 (cp_parser_omp_distribute): Likewise.
929 (cp_parser_oacc_loop): Likewise.
930 (cp_parser_omp_taskloop): Likewise.
931 (cp_parser_pragma): Reject OpenMP pragmas in intervening code.
932 * parser.h (struct cp_parser): Add omp_for_parse_state field.
933 * pt.cc (tsubst_omp_for_iterator): Adjust call to
934 cp_convert_omp_range_for.
935 * semantics.cc (finish_omp_for): Try harder to preserve location
936 of loop variable init expression for use in diagnostics.
937 (struct fofb_data, finish_omp_for_block_walker): New.
938 (finish_omp_for_block): Allow variables to be bound in a BIND_EXPR
939 nested inside BIND instead of directly in BIND itself.
941 2023-08-25 Sandra Loosemore <sandra@codesourcery.com>
943 * constexpr.cc (cxx_eval_constant_expression): Handle
944 OMP_STRUCTURED_BLOCK.
945 * pt.cc (tsubst_expr): Likewise.
947 2023-08-25 Uros Bizjak <ubizjak@gmail.com>
949 * call.cc (build_conditional_expr):
950 Rename TRUE/FALSE to true/false.
951 (build_new_op): Ditto.
953 2023-08-22 Jason Merrill <jason@redhat.com>
955 * pt.cc (outer_template_args): Handle non-template argument.
956 * constraint.cc (maybe_substitute_reqs_for): Pass decl to it.
957 * cp-tree.h (outer_template_args): Adjust.
959 2023-08-22 Jason Merrill <jason@redhat.com>
962 * cp-tree.h (member_like_constrained_friend_p): Declare.
963 * decl.cc (member_like_constrained_friend_p): New.
964 (function_requirements_equivalent_p): Check it.
965 (duplicate_decls): Check it.
966 (grokfndecl): Check friend template constraints.
967 * mangle.cc (decl_mangling_context): Check it.
968 (write_unqualified_name): Check it.
969 * pt.cc (uses_outer_template_parms_in_constraints): Fix for friends.
970 (tsubst_friend_function): Don't check satisfaction.
972 2023-08-22 Tobias Burnus <tobias@codesourcery.com>
974 * parser.cc (cp_parser_omp_clause_defaultmap): Parse
977 2023-08-15 Chung-Lin Tang <cltang@codesourcery.com>
978 Thomas Schwinge <thomas@codesourcery.com>
980 * parser.cc (OACC_DATA_CLAUSE_MASK): Add PRAGMA_OACC_CLAUSE_DEFAULT.
982 2023-08-14 gnaggnoyil <gnaggnoyil@gmail.com>
986 * decl.cc (get_tuple_size): Update implementation for DR 2386.
988 2023-08-14 Jason Merrill <jason@redhat.com>
990 * parser.cc (cp_parser_simple_type_specifier): Handle -std=c++14
993 2023-08-12 Patrick Palka <ppalka@redhat.com>
994 Jason Merrill <jason@redhat.com>
997 * decl.cc (redeclaration_error_message): Remove special handling
998 for deduction guides.
999 (grokfndecl): Give deduction guides a dummy DECL_INITIAL.
1001 2023-08-11 Patrick Palka <ppalka@redhat.com>
1004 * parser.cc (cp_parser_type_requirement): Pass
1005 check_dependency_p=true instead of =false.
1007 2023-08-11 Patrick Palka <ppalka@redhat.com>
1010 * decl.cc (grokdeclarator): Pass 'dname' instead of
1011 'unqualified_id' as the name when building the VAR_DECL for a
1012 static data member. Call check_explicit_specialization for a
1013 TEMPLATE_ID_EXPR such member.
1014 * pt.cc (finish_member_template_decl): Return NULL_TREE
1015 instead of 'decl' when DECL_TEMPLATE_SPECIALIZATION is not
1018 2023-08-11 Patrick Palka <ppalka@redhat.com>
1020 * ptree.cc (cxx_print_decl): Check for DECL_LANG_SPECIFIC and
1021 TS_DECL_COMMON only when necessary. Print DECL_TEMPLATE_INFO
1022 for all decls that have it, not just VAR_DECL or FUNCTION_DECL.
1023 Also print DECL_USE_TEMPLATE.
1024 (cxx_print_type): Print TYPE_TEMPLATE_INFO.
1025 <case BOUND_TEMPLATE_TEMPLATE_PARM>: Don't print TYPE_TI_ARGS
1027 <case TEMPLATE_TYPE/TEMPLATE_PARM>: Print TEMPLATE_TYPE_PARM_INDEX
1028 instead of printing the index, level and original level
1031 2023-08-08 Marek Polacek <polacek@redhat.com>
1033 * parser.cc (cp_parser_postfix_expression): Adjust the call to
1034 cp_parser_braced_list.
1035 (cp_parser_postfix_open_square_expression): Likewise.
1036 (cp_parser_new_initializer): Likewise.
1037 (cp_parser_assignment_expression): Adjust the call to
1038 cp_parser_initializer_clause.
1039 (cp_parser_lambda_introducer): Adjust the call to cp_parser_initializer.
1040 (cp_parser_range_for): Adjust the call to cp_parser_braced_list.
1041 (cp_parser_jump_statement): Likewise.
1042 (cp_parser_mem_initializer): Likewise.
1043 (cp_parser_template_argument): Likewise.
1044 (cp_parser_default_argument): Adjust the call to cp_parser_initializer.
1045 (cp_parser_initializer): Handle null is_direct_init and non_constant_p
1047 (cp_parser_initializer_clause): Handle null non_constant_p argument.
1048 (cp_parser_braced_list): Likewise.
1049 (cp_parser_initializer_list): Likewise.
1050 (cp_parser_member_declaration): Adjust the call to
1051 cp_parser_initializer_clause and cp_parser_initializer.
1052 (cp_parser_yield_expression): Adjust the call to cp_parser_braced_list.
1053 (cp_parser_functional_cast): Likewise.
1054 (cp_parser_late_parse_one_default_arg): Adjust the call to
1055 cp_parser_initializer.
1056 (cp_parser_omp_for_loop_init): Likewise.
1057 (cp_parser_omp_declare_reduction_exprs): Likewise.
1059 2023-08-08 Nathaniel Shead <nathanieloshead@gmail.com>
1062 * parser.cc (cp_parser_decltype_expr): Report errors raised by
1063 finish_id_expression.
1065 2023-08-04 Tamar Christina <tamar.christina@arm.com>
1067 * cp-tree.h (RANGE_FOR_NOVECTOR): New.
1068 (cp_convert_range_for, finish_while_stmt_cond, finish_do_stmt,
1069 finish_for_cond): Add novector param.
1070 * init.cc (build_vec_init): Default novector to false.
1071 * method.cc (build_comparison_op): Likewise.
1072 * parser.cc (cp_parser_statement): Likewise.
1073 (cp_parser_for, cp_parser_c_for, cp_parser_range_for,
1074 cp_convert_range_for, cp_parser_iteration_statement,
1075 cp_parser_omp_for_loop, cp_parser_pragma): Support novector.
1076 (cp_parser_pragma_novector): New.
1077 * pt.cc (tsubst_expr): Likewise.
1078 * semantics.cc (finish_while_stmt_cond, finish_do_stmt,
1079 finish_for_cond): Likewise.
1081 2023-08-01 Lewis Hyatt <lhyatt@gmail.com>
1083 * parser.cc (c_init_preprocess): New function.
1084 (maybe_read_tokens_for_pragma_lex): New function.
1085 (pragma_lex): Support preprocess-only mode.
1086 (pragma_lex_discard_to_eol): New function.
1088 2023-07-31 Chung-Lin Tang <cltang@codesourcery.com>
1090 * parser.cc (cp_parser_oacc_host_data): Add checking requiring OpenACC
1091 host_data construct to have an use_device clause.
1093 2023-07-28 Ng YongXiang <yongxiangng@gmail.com>
1097 * init.cc (build_vec_delete_1): Devirtualize array destruction.
1099 2023-07-27 Patrick Palka <ppalka@redhat.com>
1102 * constexpr.cc (cxx_eval_array_reference): Allow synthesizing an
1103 empty subobject even if CONSTRUCTOR_NO_CLEARING is set.
1104 (cxx_eval_bare_aggregate): Set 'no_slot' to true more generally
1105 whenever new_ctx.ctor is set to NULL_TREE by init_subob_ctx,
1106 i.e. whenever initializing an subobject of empty type.
1107 (cxx_eval_vec_init_1): Define 'no_slot' as above and use it
1110 2023-07-27 Nathaniel Shead <nathanieloshead@gmail.com>
1113 * pt.cc (type_uses_auto): Check inside parameter packs.
1115 2023-07-26 Patrick Palka <ppalka@redhat.com>
1119 * pt.cc (reduce_template_parm_level): Set DECL_TEMPLATE_INFO
1120 on the DECL_TEMPLATE_RESULT of the new ttp.
1121 (add_defaults_to_ttp): Make a copy of the original ttp's
1122 DECL_TEMPLATE_RESULT, and update this copy's DECL_TEMPLATE_INFO
1124 (coerce_template_template_parms): Make sure 'scope_args' has
1125 the right amount of levels for the ttp argument.
1126 (most_general_template): Handle template template parameters.
1127 (rewrite_template_parm): Set DECL_TEMPLATE_RESULT on the
1128 DECL_TEMPLATE_RESULT of the new ttp.
1130 2023-07-26 Patrick Palka <ppalka@redhat.com>
1134 * pt.cc (coerce_template_template_parms): Simplify by using
1135 DECL_INNERMOST_TEMPLATE_PARMS and removing redundant asserts.
1136 Always pass the parameters of the most general template to
1137 coerce_template_parms.
1139 2023-07-26 Patrick Palka <ppalka@redhat.com>
1142 * pt.cc (unify) <case INTEGER_CST>: Generalize to handle
1145 2023-07-26 Marek Polacek <polacek@redhat.com>
1147 * parser.cc (cp_parser_constant_expression): Allow non_constant_p to be
1148 nullptr even when allow_non_constant_p is true. Don't call
1149 _rvalue_constant_expression when not necessary. Move local variable
1150 declarations closer to their first use.
1151 (cp_parser_static_assert): Don't pass a dummy down to
1152 cp_parser_constant_expression.
1154 2023-07-26 Jason Merrill <jason@redhat.com>
1157 * parser.cc (cp_parser_template_name): Skip non-member
1158 lookup after the template keyword.
1159 (cp_parser_lookup_name): Pass down template_keyword_p.
1161 2023-07-26 Nathaniel Shead <nathanieloshead@gmail.com>
1166 * constexpr.cc (constexpr_global_ctx::is_outside_lifetime): New
1168 (constexpr_global_ctx::get_value): Don't return expired values.
1169 (constexpr_global_ctx::get_value_ptr): Likewise.
1170 (constexpr_global_ctx::remove_value): Mark value outside
1172 (outside_lifetime_error): New function.
1173 (cxx_eval_call_expression): No longer track save_exprs.
1174 (cxx_eval_loop_expr): Likewise.
1175 (cxx_eval_constant_expression): Add checks for outside lifetime
1176 values. Remove local variables at end of bind exprs, and
1177 temporaries after cleanup points.
1179 2023-07-26 Nathaniel Shead <nathanieloshead@gmail.com>
1182 * cp-gimplify.cc (cp_genericize_r): Transform RETURN_EXPRs to
1183 not return dangling pointers.
1184 * cp-tree.h (RETURN_EXPR_LOCAL_ADDR_P): New flag.
1185 (check_return_expr): Add a new parameter.
1186 * semantics.cc (finish_return_stmt): Set flag on RETURN_EXPR
1187 when referring to dangling pointer.
1188 * typeck.cc (check_return_expr): Disable transformation of
1189 dangling pointers, instead pass this information to caller.
1191 2023-07-26 Nathaniel Shead <nathanieloshead@gmail.com>
1193 * constexpr.cc (modifying_const_object_error): Find the source
1194 location of the const object's declaration.
1195 (cxx_eval_constant_expression): Update input_location to the
1196 location of the currently evaluated expression, if possible.
1198 2023-07-25 Marek Polacek <polacek@redhat.com>
1201 * pt.cc (lookup_and_finish_template_variable): Don't clear tf_partial
1203 (instantiate_template): Reset all complain flags except
1204 tf_warning_or_error.
1206 2023-07-25 Marek Polacek <polacek@redhat.com>
1209 * constexpr.cc (cxx_eval_array_reference): Create a new constructor
1210 only when we don't already have a matching one. Clear the object
1211 when the type is non-scalar.
1213 2023-07-21 Marek Polacek <polacek@redhat.com>
1216 * constexpr.cc (potential_constant_expression_1): Try to complete the
1217 type when !processing_template_decl.
1219 2023-07-20 Marek Polacek <polacek@redhat.com>
1222 * call.cc (implicit_conversion_1): Return early if the type isn't
1225 2023-07-19 Marek Polacek <polacek@redhat.com>
1228 * error.cc (dump_simple_decl): Print base class name.
1230 2023-07-19 Marek Polacek <polacek@redhat.com>
1233 * typeck2.cc (process_init_constructor_record): Don't emit
1234 -Wmissing-field-initializers for empty classes.
1236 2023-07-19 Patrick Palka <ppalka@redhat.com>
1238 * pt.cc (type_unification_real): Test for PARM_DECL instead
1239 of TEMPLATE_PARM_INDEX to distinguish a type vs non-type
1240 template parameter pack.
1241 (type_targs_deducible_from): Likewise.
1243 2023-07-19 Patrick Palka <ppalka@redhat.com>
1245 * pt.cc (tsubst_function_decl): Add defaulted 'use_spec_table'
1246 flag parameter. Don't look up or insert into the specializations
1247 table if 'use_spec_table' is false.
1248 (tsubst_decl): Add defaulted 'use_spec_table' flag parameter.
1249 Check for error_mark_node.
1250 <case FUNCTION_DECL>: Pass 'use_spec_table' to
1251 tsubst_function_decl.
1252 <case TYPE/VAR_DECL>: Don't call coerce_template_parms.
1253 Don't look up or insert into the specializations table if
1254 'use_spec_table' is false. Exit earlier if the substituted
1255 type is erroneous and we're not complaining, and do so for
1256 alias specializations as well.
1257 (instantiate_template): Pass false as 'use_spec_table'
1258 to tsubst_decl. Call register_specialization afterwards.
1260 2023-07-18 Jason Merrill <jason@redhat.com>
1262 * constexpr.cc (cxx_eval_bit_cast): Check that the result of
1263 native_interpret_aggregate doesn't need more evaluation.
1265 2023-07-18 Patrick Palka <ppalka@redhat.com>
1267 * call.cc (add_template_conv_candidate): Don't check for
1268 non-empty 'candidates' here.
1269 (build_op_call): Check it here, before we've considered any
1270 conversion functions.
1272 2023-07-18 Patrick Palka <ppalka@redhat.com>
1275 * call.cc (add_conv_candidate): Check constraints.
1277 2023-07-17 Jason Merrill <jason@redhat.com>
1279 * constexpr.cc (cxx_eval_call_expression): Only cache
1280 reduced_constant_expression_p results.
1281 (reduced_constant_expression_p): Handle CONSTRUCTOR of scalar type.
1282 (cxx_eval_constant_expression): Fold vectors here.
1283 (cxx_eval_bare_aggregate): Not here.
1285 2023-07-15 Patrick Palka <ppalka@redhat.com>
1288 * call.cc (keep_unused_object_arg): Use cp_build_compound_expr
1289 instead of building a COMPOUND_EXPR directly.
1291 2023-07-15 Patrick Palka <ppalka@redhat.com>
1294 * mangle.cc (write_expression): Handle TEMPLATE_ID_EXPR
1295 whose template is already an IDENTIFIER_NODE.
1297 2023-07-14 Nathaniel Shead <nathanieloshead@gmail.com>
1299 * constexpr.cc (cxx_eval_constant_expression): Pass t to get_value.
1301 2023-07-14 Jason Merrill <jason@redhat.com>
1304 * constexpr.cc (cxx_eval_constant_expression): Move P2738 handling
1305 after heap handling.
1306 * name-lookup.cc (get_cxx_dialect_name): Add C++26.
1308 2023-07-14 Marek Polacek <polacek@redhat.com>
1309 Jason Merrill <jason@redhat.com>
1312 * decl.cc (cp_finish_decl): Set TREE_CONSTANT when initializing
1313 an object of empty class type.
1314 * pt.cc (value_dependent_expression_p) <case VAR_DECL>: Treat a
1315 constexpr-declared non-constant variable as value-dependent.
1317 2023-07-11 Patrick Palka <ppalka@redhat.com>
1320 * pt.cc (lookup_template_variable): Pass all levels of arguments
1321 to coerce_template_parms, and use the parameters from the most
1324 2023-07-10 Patrick Palka <ppalka@redhat.com>
1327 * pt.cc (redeclare_class_template): Relax the ttp DECL_CONTEXT
1328 assert, and downgrade it to a checking assert.
1330 2023-06-30 Patrick Palka <ppalka@redhat.com>
1332 * cp-tree.h (TEMPLATE_PARM_DESCENDANTS): Harden.
1333 (TEMPLATE_TYPE_DESCENDANTS): Define.
1334 (TEMPLATE_TEMPLATE_PARM_SIMPLE_P): Define.
1335 * pt.cc (reduce_template_parm_level): Revert
1336 r14-418-g0bc2a1dc327af9 change.
1337 (process_template_parm): Set TEMPLATE_TEMPLATE_PARM_SIMPLE_P
1339 (uses_outer_template_parms): Determine the outer depth of
1340 a template template parm without relying on DECL_CONTEXT.
1341 (tsubst) <case TEMPLATE_TEMPLATE_PARM>: Cache lowering a
1342 simple template template parm. Consistently use 'code'.
1344 2023-06-29 Patrick Palka <ppalka@redhat.com>
1347 * init.cc (maybe_instantiate_nsdmi_init): Mask out all
1348 tsubst flags except for tf_warning_or_error.
1350 2023-06-29 Patrick Palka <ppalka@redhat.com>
1353 * cp-gimplify.cc (cp_fold) <case CONSTRUCTOR>: Propagate
1354 CONSTRUCTOR_MUTABLE_POISON.
1356 2023-06-29 Patrick Palka <ppalka@redhat.com>
1358 * cp-tree.h (tree_template_info::partial): New data member.
1359 (TI_PARTIAL_INFO): New tree accessor.
1360 (most_specialized_partial_spec): Add defaulted bool parameter.
1361 * module.cc (trees_out::core_vals) <case TEMPLATE_INFO>: Stream
1363 (trees_in::core_vals) <case TEMPLATE_INFO>: Likewise.
1364 * parser.cc (specialization_of): Adjust after making
1365 most_specialized_partial_spec return TEMPLATE_INFO instead
1367 * pt.cc (process_partial_specialization): Set TI_PARTIAL_INFO
1368 of 'decl' to point back to the partial TEMPLATE_DECL. Likewise
1369 (and pass rechecking=true to most_specialization_partial_spec).
1370 (instantiate_class_template): Likewise.
1371 (instantiate_template): Set TI_PARTIAL_INFO to the result of
1372 most_specialization_partial_spec after forming a variable
1373 template specialization.
1374 (most_specialized_partial_spec): Add 'rechecking' parameter.
1375 Exit early if the template is not primary. Use the TI_PARTIAL_INFO
1376 of the corresponding TEMPLATE_INFO as a cache unless 'rechecking'
1377 is true. Don't bother setting TREE_TYPE of each TREE_LIST.
1378 (instantiate_decl): Adjust after making
1379 most_specialized_partial_spec return TEMPLATE_INFO instead of
1381 * ptree.cc (cxx_print_xnode) <case TEMPLATE_INFO>: Dump
1384 2023-06-29 Eugene Rozenfeld <erozen@microsoft.com>
1386 * Make-lang.in: Pass correct stage cc1plus when processing
1387 profile data collected while building target libraries
1389 2023-06-28 Patrick Palka <ppalka@redhat.com>
1393 * cp-tree.h (lookup_template_variable): Add complain parameter.
1394 * parser.cc (cp_parser_template_id): Pass tf_warning_or_error
1395 to lookup_template_variable.
1396 * pt.cc (lookup_template_variable): Add complain parameter.
1397 Coerce template arguments here ...
1398 (finish_template_variable): ... instead of here.
1399 (lookup_and_finish_template_variable): Check for error_mark_node
1400 result from lookup_template_variable.
1401 (tsubst_copy) <case TEMPLATE_ID_EXPR>: Pass complain to
1402 lookup_template_variable.
1403 (instantiate_template): Use build2 instead of
1404 lookup_template_variable to build a TEMPLATE_ID_EXPR
1405 for most_specialized_partial_spec.
1407 2023-06-28 Marek Polacek <polacek@redhat.com>
1410 * typeck.cc (cp_build_unary_op): Check tf_warning before warning.
1412 2023-06-28 Jason Merrill <jason@redhat.com>
1415 * cp-tree.h (clone_attrs): Declare.
1416 * method.cc (implicitly_declare_fn): Use it for inherited
1418 * optimize.cc (clone_attrs): New.
1419 (maybe_clone_body): Use it.
1421 2023-06-28 Jason Merrill <jason@redhat.com>
1424 * constexpr.cc (cxx_eval_constant_expression): In C++26, allow cast
1425 from void* to the type of a pointed-to object.
1427 2023-06-23 David Malcolm <dmalcolm@redhat.com>
1430 * cp-name-hint.h (maybe_suggest_missing_header): New decl.
1431 * decl.cc: Define INCLUDE_MEMORY. Add include of
1432 "cp/cp-name-hint.h".
1433 (start_decl_1): Call maybe_suggest_missing_header.
1434 * name-lookup.cc (maybe_suggest_missing_header): Remove "static".
1436 2023-06-16 Alex Coplan <alex.coplan@arm.com>
1438 * parser.cc (cp_parser_enum_specifier): Don't reject
1439 elaborated-type-specifier with enum-base, instead emit new
1440 Welaborated-enum-base warning.
1442 2023-06-14 Jason Merrill <jason@redhat.com>
1446 * call.cc (joust_maybe_elide_copy): Don't change cand.
1447 (joust): Move the elided tiebreaker later.
1449 2023-06-13 David Malcolm <dmalcolm@redhat.com>
1452 * name-lookup.cc (missing_std_header::~missing_std_header): Reword
1453 note to avoid negative tone of "forgetting".
1455 2023-06-13 Jason Merrill <jason@redhat.com>
1457 * tree.cc (build_target_expr): Check TYPE_HAS_MUTABLE_P.
1459 2023-06-12 Tobias Burnus <tobias@codesourcery.com>
1461 * parser.cc (cp_parser_omp_clause_map): Reword error message for
1462 clearness especially with 'omp target (enter/exit) data.'
1463 * semantics.cc (handle_omp_array_sections): Handle
1464 GOMP_MAP_{ALWAYS_,}PRESENT_{TO,TOFROM,FROM,ALLOC} enum values.
1466 2023-06-12 Jason Merrill <jason@redhat.com>
1469 * call.cc (convert_like_internal) [ck_list]: Use
1470 maybe_init_list_as_array.
1471 * constexpr.cc (cxx_eval_vec_init_1): Init might have
1473 * tree.cc (build_vec_init_elt): Likewise.
1474 * init.cc (build_vec_init): Handle from_array from a
1475 TARGET_EXPR. Retain TARGET_EXPR of a different type.
1477 2023-06-11 Patrick Palka <ppalka@redhat.com>
1480 * constexpr.cc (cxx_eval_call_expression): Synthesize defaulted
1481 functions needed for constant evaluation.
1482 (instantiate_cx_fn_r): Likewise.
1484 2023-06-11 Patrick Palka <ppalka@redhat.com>
1487 * pt.cc (lookup_template_class): Extend shortcut for looking up the
1488 current class scope to consider outer class scopes too, and use
1489 current_nonlambda_class_type instead of current_class_type. Only
1490 call coerce_template_parms when specializing a primary template.
1492 2023-06-10 Nathan Sidwell <nathan@acm.org>
1495 * pt.cc (maybe_adjust_types_for_deduction): Implement DR976.
1497 2023-06-09 Jason Merrill <jason@redhat.com>
1501 * method.cc (build_comparison_op): Give retval a name.
1502 * typeck.cc (check_return_expr): Fix for nameless variables.
1504 2023-06-09 Jason Merrill <jason@redhat.com>
1506 * parser.cc (cp_parser_simple_type_specifier): Check for auto
1507 in template argument.
1508 (cp_parser_template_type_arg): Remove auto checking.
1510 2023-06-09 Jason Merrill <jason@redhat.com>
1513 * call.cc (maybe_init_list_as_array): Check that the element type is
1516 2023-06-07 Jason Merrill <jason@redhat.com>
1520 * cp-tree.h (INIT_EXPR_NRV_P): New.
1521 * semantics.cc (finalize_nrv_r): Check it.
1522 * name-lookup.h (decl_in_scope_p): Declare.
1523 * name-lookup.cc (decl_in_scope_p): New.
1524 * typeck.cc (check_return_expr): Allow non-NRV
1525 returns if the NRV is no longer in scope.
1527 2023-06-07 Jason Merrill <jason@redhat.com>
1530 * typeck.cc (want_nrvo_p): New.
1531 (check_return_expr): Handle -Wnrvo.
1533 2023-06-07 Jason Merrill <jason@redhat.com>
1537 * decl.cc (finish_function): Simplify NRV handling.
1538 * except.cc (maybe_set_retval_sentinel): Also set if NRV.
1539 (maybe_splice_retval_cleanup): Don't add the cleanup region
1540 if we don't need it.
1541 * semantics.cc (nrv_data): Add simple field.
1542 (finalize_nrv): Set it.
1543 (finalize_nrv_r): Check it and retval sentinel.
1544 * cp-tree.h (finalize_nrv): Adjust declaration.
1545 * typeck.cc (check_return_expr): Remove named_labels check.
1547 2023-06-07 Jason Merrill <jason@redhat.com>
1550 * typeck.cc (check_return_expr): Prevent NRV in the presence of
1553 2023-06-07 Jason Merrill <jason@redhat.com>
1556 * except.cc (maybe_splice_retval_cleanup): Change
1557 recognition of function body and try scopes.
1558 * semantics.cc (do_poplevel): Call it after poplevel.
1559 (at_try_scope): New.
1560 * cp-tree.h (maybe_splice_retval_cleanup): Adjust.
1562 2023-06-07 Jason Merrill <jason@redhat.com>
1564 * semantics.cc (finalize_nrv_r): [RETURN_EXPR]: Only replace the
1567 2023-06-06 Kwok Cheung Yeung <kcy@codesourcery.com>
1568 Tobias Burnus <tobias@codesourcery.com>
1570 * parser.cc (cp_parser_omp_clause_defaultmap,
1571 cp_parser_omp_clause_map): Parse 'present'.
1572 (cp_parser_omp_clause_from_to): New; parse to/from
1573 clauses with optional 'present' modifier.
1574 (cp_parser_omp_all_clauses): Update call.
1575 (cp_parser_omp_target_data, cp_parser_omp_target_enter_data,
1576 cp_parser_omp_target_exit_data): Handle new enum value for
1578 * semantics.cc (finish_omp_target): Likewise.
1580 2023-06-04 Jason Merrill <jason@redhat.com>
1583 * cp-tree.h (enum cp_tree_index): Add CPTI_CALL_TERMINATE_FN.
1584 (call_terminate_fn): New macro.
1585 * cp-gimplify.cc (gimplify_must_not_throw_expr): Use it.
1586 * except.cc (init_exception_processing): Set it.
1587 (cp_protect_cleanup_actions): Return it.
1589 2023-06-03 Patrick Palka <ppalka@redhat.com>
1592 * pt.cc (is_specialization_of_friend): Fix overbroad check for
1593 a non-template member function of a class template.
1595 2023-06-03 Patrick Palka <ppalka@redhat.com>
1597 * pt.cc (iterative_hash_template_arg): Don't hash
1598 TEMPLATE_TEMPLATE_PARM specially.
1600 2023-06-03 Patrick Palka <ppalka@redhat.com>
1602 * class.cc (build_base_path): Check in_template_context instead
1603 of in_template_function.
1604 (resolves_to_fixed_type_p): Likewise.
1605 * cp-tree.h (in_template_context): Define.
1606 (in_template_function): Remove.
1607 * decl.cc (cp_make_fname_decl): Check current_function_decl
1608 and in_template_context instead of in_template_function.
1609 * decl2.cc (mark_used): Check in_template_context instead of
1610 in_template_function.
1611 * pt.cc (in_template_function): Remove.
1612 * semantics.cc (enforce_access): Check in_template_context
1613 instead of current_template_parms directly.
1615 2023-06-03 Patrick Palka <ppalka@redhat.com>
1618 * mangle.cc (write_expression): Handle NOEXCEPT_EXPR.
1620 2023-06-02 Jason Merrill <jason@redhat.com>
1624 * call.cc (sfk_copy_or_move): New.
1625 (joust): Add tiebreaker for explicit conv and copy ctor.
1627 2023-06-02 Jason Merrill <jason@redhat.com>
1631 * call.cc (maybe_init_list_as_array): Set DECL_MERGEABLE.
1632 (convert_like_internal) [ck_list]: Set it.
1633 (set_up_extended_ref_temp): Copy it.
1634 * tree.cc (handle_no_unique_addr_attribute): Set it.
1636 2023-06-01 Jason Merrill <jason@redhat.com>
1638 * typeck2.cc (check_narrowing): Check flag_permissive.
1640 2023-05-30 Tobias Burnus <tobias@codesourcery.com>
1643 * parser.cc (cp_parser_oacc_all_clauses,
1644 cp_parser_omp_all_clauses): Improve error wording.
1646 2023-05-19 Andrew Pinski <apinski@marvell.com>
1649 * lang-specs.h ("@c++-header"): Add %w after
1651 ("@c++-system-header"): Likewise.
1652 ("@c++-user-header"): Likewise.
1654 2023-05-19 Patrick Palka <ppalka@redhat.com>
1656 * constraint.cc (normalize_concept_check): Avoid having to do
1657 two norm_cache lookups. Remove unnecessary early exit for an
1658 ill-formed concept definition.
1660 2023-05-19 Patrick Palka <ppalka@redhat.com>
1663 * pt.cc (lookup_and_finish_template_variable): Don't call
1664 convert_from_reference.
1665 (tsubst_copy_and_build) <case TEMPLATE_ID_EXPR>: Call
1666 convert_from_reference on the result of
1667 lookup_and_finish_template_variable.
1669 2023-05-18 Bernhard Reutner-Fischer <aldot@gcc.gnu.org>
1671 * call.cc (promoted_arithmetic_type_p): Use _P defines from tree.h.
1672 (build_conditional_expr): Ditto.
1673 (convert_like_internal): Ditto.
1674 (convert_arg_to_ellipsis): Ditto.
1675 (build_over_call): Ditto.
1676 (compare_ics): Ditto.
1677 * class.cc (is_empty_base_ref): Ditto.
1678 * coroutines.cc (rewrite_param_uses): Ditto.
1679 * cp-tree.h (DECL_DISCRIMINATOR_P): Ditto.
1680 (ARITHMETIC_TYPE_P): Ditto.
1681 * cvt.cc (ocp_convert): Ditto.
1682 * cxx-pretty-print.cc (pp_cxx_template_argument_list): Ditto.
1683 * decl.cc (layout_var_decl): Ditto.
1684 (get_tuple_size): Ditto.
1685 * error.cc (dump_simple_decl): Ditto.
1686 * lambda.cc (start_lambda_scope): Ditto.
1687 * mangle.cc (write_template_arg): Ditto.
1688 * method.cc (spaceship_comp_cat): Ditto.
1689 * module.cc (node_template_info): Ditto.
1690 (trees_out::start): Ditto.
1691 (trees_out::decl_node): Ditto.
1692 (trees_in::read_var_def): Ditto.
1693 (set_instantiating_module): Ditto.
1694 * name-lookup.cc (maybe_record_mergeable_decl): Ditto.
1695 (consider_decl): Ditto.
1696 (maybe_add_fuzzy_decl): Ditto.
1697 * pt.cc (convert_nontype_argument): Ditto.
1698 * semantics.cc (handle_omp_array_sections_1): Ditto.
1699 (finish_omp_clauses): Ditto.
1700 (finish_omp_target_clauses_r): Ditto.
1701 (is_this_parameter): Ditto.
1702 * tree.cc (build_cplus_array_type): Ditto.
1703 (is_this_expression): Ditto.
1704 * typeck.cc (do_warn_enum_conversions): Ditto.
1705 * typeck2.cc (store_init_value): Ditto.
1706 (check_narrowing): Ditto.
1708 2023-05-17 Jakub Jelinek <jakub@redhat.com>
1711 * init.cc (build_zero_init_1): Don't initialize zero-width bitfields.
1712 For unions only initialize the first FIELD_DECL.
1714 2023-05-16 Marek Polacek <polacek@redhat.com>
1717 * typeck.cc (check_return_expr): In a template, return only after
1718 suppressing -Wdangling-reference.
1720 2023-05-16 Patrick Palka <ppalka@redhat.com>
1723 * call.cc (add_list_candidates): Check for invalid designated
1724 initialization sooner and even for types that have a list
1727 2023-05-11 Patrick Palka <ppalka@redhat.com>
1730 * typeck2.cc (poison_mutable_constructors): Define.
1731 (store_init_value): Use it instead of setting
1732 CONSTRUCTOR_MUTABLE_POISON directly.
1734 2023-05-11 Patrick Palka <ppalka@redhat.com>
1735 Jonathan Wakely <jwakely@redhat.com>
1740 * pt.cc (convert_nontype_argument_function): Remove linkage
1741 requirement for C++17 and later.
1742 (invalid_tparm_referent_p) <case ADDR_EXPR>: Restrict
1743 DECL_ARTIFICIAL rejection test to VAR_DECL.
1745 2023-05-10 Marek Polacek <polacek@redhat.com>
1748 * method.cc (build_trait_object): New.
1749 (assignable_expr): Use it.
1750 (ref_xes_from_temporary): Likewise.
1751 (is_convertible_helper): Likewise. Check FUNC_OR_METHOD_TYPE_P.
1753 2023-05-10 Jason Merrill <jason@redhat.com>
1755 * call.cc (convert_like_internal): Share ck_ref_bind handling
1756 between all bad conversions.
1758 2023-05-10 Jason Merrill <jason@redhat.com>
1761 * constexpr.cc (cxx_eval_outermost_constant_expr): Preserve
1763 (potential_constant_expression_1): Check TARGET_EXPR_ELIDING_P.
1764 * typeck2.cc (store_init_value): Diagnose constinit sooner.
1766 2023-05-10 Jason Merrill <jason@redhat.com>
1768 * constexpr.cc (cxx_eval_outermost_constant_expr): Always check
1769 for address of immediate fn.
1770 (maybe_constant_init_1): Evaluate PTRMEM_CST.
1772 2023-05-10 Jakub Jelinek <jakub@redhat.com>
1775 * parser.cc (cp_parser_std_attribute): For unknown attributes with
1776 arguments set TREE_VALUE (attribute) to error_mark_node after skipping
1777 the balanced tokens.
1778 (cp_parser_std_attribute_list): If ... is used after attribute without
1779 arguments, diagnose it and return error_mark_node. If
1780 TREE_VALUE (attribute) is error_mark_node, don't call
1781 make_pack_expansion nor return early error_mark_node.
1783 2023-05-09 Patrick Palka <ppalka@redhat.com>
1786 * constraint.cc (satisfaction_cache::satisfaction_cache): In the
1787 unexpected case of evaluating an atom for the first time noisily,
1788 remove the cache slot that we inserted.
1790 2023-05-09 Patrick Palka <ppalka@redhat.com>
1793 * parser.cc (cp_parser_class_specifier): Don't pass a class
1794 context to noexcept_override_late_checks.
1795 (noexcept_override_late_checks): Remove 'type' parameter
1796 and use DECL_CONTEXT of 'fndecl' instead.
1798 2023-05-09 Jakub Jelinek <jakub@redhat.com>
1801 * cp-gimplify.cc (process_stmt_assume_attribute): Diagnose pack
1802 expansion of assume attribute.
1804 2023-05-08 Patrick Palka <ppalka@redhat.com>
1808 * pt.cc (do_auto_deduction): Move up resolve_nondeduced_context
1809 calls to happen before do_class_deduction. Add some
1810 error_mark_node tests.
1812 2023-05-07 Patrick Palka <ppalka@redhat.com>
1815 * cxx-pretty-print.cc (cxx_pretty_printer::unary_expression)
1816 <case ALIGNOF_EXPR>: Consider ALIGNOF_EXPR_STD_P.
1817 * error.cc (dump_expr) <case ALIGNOF_EXPR>: Likewise.
1819 2023-05-07 Patrick Palka <ppalka@redhat.com>
1823 * decl.cc (decl_jump_unsafe): Return bool instead of int.
1824 Don't consider TYPE_HAS_NONTRIVIAL_DESTRUCTOR.
1825 (check_previous_goto_1): Simplify now that decl_jump_unsafe
1826 returns bool instead of int.
1827 (check_goto): Likewise.
1829 2023-05-07 Patrick Palka <ppalka@redhat.com>
1831 * pt.cc (instantiate_alias_template): Exit early upon
1832 error from coerce_template_parms. Remove dependence test
1833 guarding constraints_satisfied_p.
1835 2023-05-07 Patrick Palka <ppalka@redhat.com>
1837 * cp-tree.h (PLACEHOLDER_TYPE_CONSTRAINTS_INFO): Harden via
1838 TEMPLATE_TYPE_PARM_CHECK.
1839 (TPARMS_PRIMARY_TEMPLATE): Harden via TREE_VEC_CHECK.
1840 (TEMPLATE_TEMPLATE_PARM_TEMPLATE_DECL): Harden via
1841 TEMPLATE_TEMPLATE_PARM_CHECK.
1842 * cxx-pretty-print.cc (cxx_pretty_printer::simple_type_specifier):
1843 Guard PLACEHOLDER_TYPE_CONSTRAINTS access.
1844 * error.cc (dump_type) <case TEMPLATE_TYPE_PARM>: Use separate
1845 variable to store CLASS_PLACEHOLDER_TEMPLATE result.
1846 * pt.cc (outer_template_args): Use strip_innermost_template_args.
1847 (any_type_dependent_arguments_p): Exit early if
1848 !processing_template_decl. Use range-based for.
1849 (any_dependent_template_arguments_p): Likewise.
1851 2023-05-07 Patrick Palka <ppalka@redhat.com>
1854 * pt.cc (tsubst_copy_and_build) <case COMPONENT_REF>: Propagate
1855 REF_PARENTHESIZED_P more generally via force_paren_expr.
1856 * semantics.cc (force_paren_expr): Document default argument.
1858 2023-05-07 Patrick Palka <ppalka@redhat.com>
1861 * pt.cc (coerce_template_args_for_ttp): Mention we can hit the
1862 current_template_parms fallback when level-lowering a bound ttp.
1863 (tsubst_template_decl): Add lambda_tparms parameter. Prefer to
1864 use lambda_tparms instead of substituting DECL_TEMPLATE_PARMS.
1865 (tsubst_decl) <case TEMPLATE_DECL>: Pass NULL_TREE as lambda_tparms
1866 to tsubst_template_decl.
1867 (tsubst_lambda_expr): For a generic lambda, substitute
1868 DECL_TEMPLATE_PARMS and set current_template_parms to it
1869 before substituting the function type. Pass the substituted
1870 DECL_TEMPLATE_PARMS as lambda_tparms to tsubst_template_decl.
1872 2023-05-07 Patrick Palka <ppalka@redhat.com>
1875 * semantics.cc (enforce_access): Check current_template_parms
1876 instead of processing_template_decl when deciding whether to
1877 defer the access check.
1879 2023-05-07 Patrick Palka <ppalka@redhat.com>
1882 * constexpr.cc (potential_constant_expression_1) <case CALL_EXPR>:
1883 Reorganize to call get_fns sooner. Remove special handling of
1884 the object argument of a non-static member function call. Remove
1885 dead store to 'fun'.
1887 2023-05-05 Jason Merrill <jason@redhat.com>
1890 2023-04-27 Jason Merrill <jason@redhat.com>
1893 * pt.cc (instantiate_decl): Assert !defer_ok for local
1896 2023-05-03 Jason Merrill <jason@redhat.com>
1900 * friend.cc (do_friend): Don't call check_explicit_specialization if
1901 DECL_TEMPLATE_INFO is already set.
1902 * decl2.cc (check_classfn): Set DECL_TEMPLATE_INFO.
1903 * name-lookup.cc (set_decl_namespace): Likewise.
1905 2023-05-03 Jakub Jelinek <jakub@redhat.com>
1907 * cp-gimplify.cc (cp_fold_data): Move definition earlier.
1908 (cp_gimplify_expr): Pass address of ff_genericize | ff_mce_false
1909 constructed data rather than &pset to cp_walk_tree with cp_fold_r.
1911 2023-05-03 Jason Merrill <jason@redhat.com>
1913 * pt.cc (reduce_template_parm_level): Fix comparison of
1914 template template parm to cached version.
1916 2023-05-02 Jason Merrill <jason@redhat.com>
1918 * pt.cc (instantiate_class_template): Skip the RECORD_TYPE
1919 of a class template.
1920 (tsubst_template_decl): Clear CLASSTYPE_USE_TEMPLATE.
1922 2023-05-02 Jason Merrill <jason@redhat.com>
1924 * name-lookup.cc (pop_from_top_level): Don't
1925 invalidate_class_lookup_cache.
1927 2023-05-02 Jason Merrill <jason@redhat.com>
1930 * cp-tree.h (lookup_base): Add offset parm.
1931 * constexpr.cc (cxx_fold_indirect_ref_1): Pass it.
1932 * search.cc (struct lookup_base_data_s): Add offset.
1933 (dfs_lookup_base): Handle it.
1934 (lookup_base): Pass it.
1936 2023-05-02 Jason Merrill <jason@redhat.com>
1939 * constexpr.cc (cxx_fold_indirect_ref_1): Handle empty base first.
1941 2023-05-01 Jason Merrill <jason@redhat.com>
1944 * name-lookup.cc (maybe_push_to_top_level)
1945 (maybe_pop_from_top_level): Split out...
1946 * pt.cc (instantiate_body): ...from here.
1947 * init.cc (maybe_instantiate_nsdmi_init): Use them.
1948 * name-lookup.h: Declare them..
1950 2023-04-28 Eugene Rozenfeld <erozen@microsoft.com>
1952 * Make-lang.in: Merge perf data collected when compiling cc1plus and runtime libraries
1954 2023-04-27 Jason Merrill <jason@redhat.com>
1956 * call.cc (print_conversion_rejection): Use iloc_sentinel.
1958 2023-04-27 Jason Merrill <jason@redhat.com>
1961 * pt.cc (instantiate_decl): Assert !defer_ok for local
1964 2023-04-26 Jason Merrill <jason@redhat.com>
1966 * init.cc (nsdmi_inst): Remove.
1967 (maybe_instantiate_nsdmi_init): Use DECL_INITIAL instead.
1969 2023-04-26 Jason Merrill <jason@redhat.com>
1972 * pt.cc (instantiate_class_template): Do partially instantiate.
1973 (tsubst_expr): Do call complete_type for partial instantiations.
1975 2023-04-26 Jason Merrill <jason@redhat.com>
1978 * pt.cc (regenerate_decl_from_template): Skip unique friends.
1980 2023-04-26 Patrick Palka <ppalka@redhat.com>
1982 * pt.cc (most_specialized_partial_spec): Exit early when
1983 DECL_TEMPLATE_SPECIALIZATIONS is empty. Move local variable
1984 declarations closer to their first use. Remove redundant
1985 flag_concepts test. Remove redundant forward declaration.
1987 2023-04-25 Patrick Palka <ppalka@redhat.com>
1990 * pt.cc (value_dependent_expression_p) <case VAR_DECL>:
1991 Suppress conservative early exit for reference variables
1992 when DECL_HAS_VALUE_EXPR_P.
1994 2023-04-25 Tobias Burnus <tobias@codesourcery.com>
1996 * parser.cc (cp_parser_omp_scan_loop_body): Handle
1997 zero exec statements before/after 'omp scan'.
1999 2023-04-24 Patrick Palka <ppalka@redhat.com>
2001 * cp-tree.h (cp_expr_location): Define here.
2002 * tree.cc (cp_expr_location): Don't define here.
2004 2023-04-21 Jason Merrill <jason@redhat.com>
2007 * decl.cc (grokdeclarator): Don't clear typedef_decl after 'unsigned
2008 typedef' pedwarn. Use c_common_signed_or_unsigned_type. Also
2009 handle 'signed typedef'.
2011 2023-04-21 Patrick Palka <ppalka@redhat.com>
2013 * tree.cc (cp_walk_subtrees): Avoid repeatedly dereferencing tp.
2014 <case DECLTYPE_TYPE>: Use cp_unevaluated and WALK_SUBTREE.
2015 <case ALIGNOF_EXPR etc>: Likewise.
2017 2023-04-20 Patrick Palka <ppalka@redhat.com>
2019 * pt.cc (tsubst) <case TEMPLATE_TYPE_PARM>: Don't recurse when
2020 level lowering a cv-qualified type template parameter. Remove
2021 recursive loop breaker in the level lowering case for constrained
2022 autos. Use the TEMPLATE_PARM_DESCENDANTS cache in this case as
2025 2023-04-20 Patrick Palka <ppalka@redhat.com>
2027 * constraint.cc (diagnose_trait_expr): Convert a TREE_VEC
2028 of arguments into a TREE_LIST for sake of pretty printing.
2029 * cxx-pretty-print.cc (pp_cxx_trait): Handle TREE_VEC
2030 instead of TREE_LIST of trailing variadic trait arguments.
2031 * method.cc (constructible_expr): Likewise.
2032 (is_xible_helper): Likewise.
2033 * parser.cc (cp_parser_trait): Represent trailing variadic trait
2034 arguments as a TREE_VEC instead of TREE_LIST.
2035 * pt.cc (value_dependent_expression_p): Handle TREE_VEC
2036 instead of TREE_LIST of trailing variadic trait arguments.
2037 * semantics.cc (finish_type_pack_element): Likewise.
2038 (check_trait_type): Likewise.
2040 2023-04-20 Patrick Palka <ppalka@redhat.com>
2042 * tree.cc (strip_typedefs): Move TREE_LIST handling to
2043 strip_typedefs_expr. Dispatch to strip_typedefs_expr for
2045 <case TYPENAME_TYPE>: Remove manual dispatching to
2046 strip_typedefs_expr.
2047 <case TRAIT_TYPE>: Likewise.
2048 (strip_typedefs_expr): Replaces calls to strip_typedefs_expr
2049 with strip_typedefs throughout. Don't dispatch to strip_typedefs
2051 <case TREE_LIST>: Replace this with the better version from
2054 2023-04-19 Patrick Palka <ppalka@redhat.com>
2055 Jonathan Wakely <jwakely@redhat.com>
2058 * cp-trait.def (TYPE_PACK_ELEMENT): Define.
2059 * cp-tree.h (finish_trait_type): Add complain parameter.
2060 * cxx-pretty-print.cc (pp_cxx_trait): Handle
2061 CPTK_TYPE_PACK_ELEMENT.
2062 * parser.cc (cp_parser_constant_expression): Document default
2064 (cp_parser_trait): Handle CPTK_TYPE_PACK_ELEMENT. Pass
2065 tf_warning_or_error to finish_trait_type.
2066 * pt.cc (tsubst) <case TRAIT_TYPE>: Handle non-type first
2067 argument. Pass complain to finish_trait_type.
2068 * semantics.cc (finish_type_pack_element): Define.
2069 (finish_trait_type): Add complain parameter. Handle
2070 CPTK_TYPE_PACK_ELEMENT.
2071 * tree.cc (strip_typedefs): Handle non-type first argument.
2072 Pass tf_warning_or_error to finish_trait_type.
2073 * typeck.cc (structural_comptypes) <case TRAIT_TYPE>: Use
2074 cp_tree_equal instead of same_type_p for the first argument.
2076 2023-04-19 Patrick Palka <ppalka@redhat.com>
2079 * pt.cc (try_class_unification): Don't ggc_free the copy of
2082 2023-04-19 Jason Merrill <jason@redhat.com>
2085 * decl.cc (grokdeclarator): Keep typedef_decl for __int128_t.
2087 2023-04-17 Patrick Palka <ppalka@redhat.com>
2090 * pt.cc (tsubst) <case BOUND_TEMPLATE_TEMPLATE_PARM>:
2091 In the level-lowering case just use lookup_template_class
2092 to rebuild the bound ttp.
2094 2023-04-15 Jason Merrill <jason@redhat.com>
2097 * constexpr.cc (cxx_eval_constant_expression) [TARGET_EXPR]:
2098 Check for complex initializer.
2100 2023-04-13 Patrick Palka <ppalka@redhat.com>
2103 * decl.cc (make_typename_type): Also ignore non-types during the
2104 lookup if tag_type corresponds to an elaborated-type-specifier.
2105 * pt.cc (tsubst) <case TYPENAME_TYPE>: Pass class_type or
2106 enum_type as tag_type to make_typename_type accordingly instead
2107 of always passing typename_type.
2109 2023-04-13 Jason Merrill <jason@redhat.com>
2112 * semantics.cc (check_trait_type): Handle incomplete type directly.
2113 * typeck2.cc (cxx_incomplete_type_diagnostic): Remove assert.
2115 2023-04-13 Jason Merrill <jason@redhat.com>
2117 * typeck2.cc (cxx_incomplete_type_diagnostic): Return bool.
2118 * cp-tree.h (cxx_incomplete_type_diagnostic): Adjust.
2120 2023-04-12 Jakub Jelinek <jakub@redhat.com>
2122 * Make-lang.in (s-cp-module-version): New target.
2123 (cp/module.o): Depend on it.
2124 (MODULE_VERSION): Remove variable.
2125 (CFLAGS-cp/module.o): For -DMODULE_VERSION= argument just
2126 cat s-cp-module-version.
2128 2023-04-09 Iain Sandoe <iain@sandoe.co.uk>
2130 * coroutines.cc (coro_rewrite_function_body): Ensure that added
2131 bind expressions have scope blocks.
2133 2023-04-04 Jason Merrill <jason@redhat.com>
2136 * decl2.cc (find_last_decl): Return early if DECL_USE_TEMPLATE.
2138 2023-04-03 Patrick Palka <ppalka@redhat.com>
2141 * decl.cc (cp_finish_decl): Diagnose ordinary auto deduction
2142 with no initializer, instead of asserting.
2144 2023-04-01 Patrick Palka <ppalka@redhat.com>
2147 * cp-tree.h (do_auto_deduction): Add defaulted tmpl parameter.
2148 * pt.cc (convert_template_argument): Pass 'in_decl' as 'tmpl' to
2150 (tsubst_decl) <case VAR_/TYPE_DECL>: Pass 'tmpl' instead of 't' as
2151 'in_decl' to coerce_template_parms.
2152 (unify) <case TEMPLATE_PARM_INDEX>: Pass TPARMS_PRIMARY_TEMPLATE
2153 as 'tmpl' to do_auto_deduction.
2154 (do_auto_deduction): Document default arguments. Rename local
2155 variable 'tmpl' to 'ctmpl'. Use 'tmpl' to obtain a full set of
2156 template arguments for satisfaction in the adc_unify case.
2158 2023-04-01 Patrick Palka <ppalka@redhat.com>
2162 * pt.cc (invalid_tparm_referent_p): Accept ADDR_EXPR of
2164 (instantiate_class_template): Call mark_template_arguments_used.
2165 (tsubst_copy_and_build) <case CALL_EXPR>: Revert r13-995 change.
2166 (mark_template_arguments_used): Define.
2167 (instantiate_body): Call mark_template_arguments_used.
2169 2023-04-01 Iain Sandoe <iain@sandoe.co.uk>
2172 * coroutines.cc (flatten_await_stmt): Use the current count of
2173 promoted temporaries to build a unique name for the frame entries.
2175 2023-03-30 Jason Merrill <jason@redhat.com>
2178 * search.cc (type_context_for_name_lookup): New.
2179 (accessible_p): Handle anonymous union.
2180 * init.cc (maybe_instantiate_nsdmi_init): Use
2181 type_context_for_name_lookup.
2182 * parser.cc (cp_parser_class_specifier): Likewise.
2183 * cp-tree.h (type_context_for_name_lookup): Declare.
2185 2023-03-30 Jason Merrill <jason@redhat.com>
2188 * pt.cc (unify) [FUNCTION_TYPE]: Handle function pointer
2191 2023-03-30 Jakub Jelinek <jakub@redhat.com>
2194 * decl2.cc (grok_array_decl): After emitting a pedwarn for
2195 -Wcomma-subscript, if processing_template_decl set orig_index_exp
2196 to compound expr from orig_index_exp_list.
2198 2023-03-30 Jason Merrill <jason@redhat.com>
2202 * decl2.cc (record_mangling): Use symtab_node::reset.
2204 2023-03-30 Jakub Jelinek <jakub@redhat.com>
2207 * call.cc (convert_like_internal): If pedwarn for extended float
2208 type conversions doesn't report anything, avoid calling
2209 maybe_inform_about_fndecl_for_bogus_argument_init.
2211 2023-03-29 Jason Merrill <jason@redhat.com>
2215 * pt.cc (alias_ctad_tweaks): Rewrite deduced args.
2216 (type_targs_deducible_from): Handle null pack deduction.
2218 2023-03-28 David Malcolm <dmalcolm@redhat.com>
2221 * parser.cc (cp_parser_binary_expression): Update for new param of
2222 check_for_xor_used_as_pow.
2224 2023-03-28 Jakub Jelinek <jakub@redhat.com>
2227 * contracts.cc: Include intl.h.
2228 (check_postcondition_result): Don't form diagnostics from two halves
2229 of an English message to allow translations.
2231 2023-03-24 Patrick Palka <ppalka@redhat.com>
2234 * parser.cc (cp_parser_class_specifier): Clear current_class_ptr
2235 and current_class_ref sooner, before parsing a class definition.
2237 2023-03-24 Jason Merrill <jason@redhat.com>
2240 * pt.cc (type_unification_real): Adjust for partial ordering.
2242 2023-03-23 Jason Merrill <jason@redhat.com>
2245 * typeck.cc (build_ptrmemfunc): Drop 0-offset optimization
2246 and location wrappers.
2248 2023-03-23 Marek Polacek <polacek@redhat.com>
2251 * call.cc (class_has_reference_member_p): New.
2252 (class_has_reference_member_p_r): New.
2253 (reference_like_class_p): Don't look for a specific constructor.
2254 Use a DFS walk with class_has_reference_member_p_r.
2256 2023-03-23 Jason Merrill <jason@redhat.com>
2259 * pt.cc (find_parameter_packs_r): Handle null TREE_BINFO.
2261 2023-03-22 Jason Merrill <jason@redhat.com>
2264 * pt.cc (unify): Use fold of build_nop instead of fold_convert.
2266 2023-03-22 Jason Merrill <jason@redhat.com>
2269 * semantics.cc (finish_id_expression_1): Check scope before
2270 returning id_expression.
2272 2023-03-22 Alex Coplan <alex.coplan@arm.com>
2275 * call.cc (build_over_call): Use make_temp_override to suppress
2276 both unavailable and deprecated warnings when calling
2279 2023-03-21 Jason Merrill <jason@redhat.com>
2282 * init.cc (maybe_instantiate_nsdmi_init): Don't leave
2283 current_function_decl set to a constructor.
2285 2023-03-20 Marek Polacek <polacek@redhat.com>
2288 * call.cc (add_template_candidate_real): Add explicit decls to the
2289 set of candidates when the initializer is a braced-init-list.
2291 2023-03-20 Jakub Jelinek <jakub@redhat.com>
2294 * cp-tree.h (var_needs_tls_wrapper): Declare.
2295 * decl2.cc (var_needs_tls_wrapper): No longer static.
2296 * decl.cc (cp_finish_decl): Clear TREE_READONLY on TLS variables
2297 for which a TLS wrapper will be needed.
2299 2023-03-17 Jason Merrill <jason@redhat.com>
2302 * lambda.cc (prune_lambda_captures): Don't bother in a template.
2304 2023-03-17 Jason Merrill <jason@redhat.com>
2307 * except.cc (build_throw): Check dtor access.
2309 2023-03-17 Jason Merrill <jason@redhat.com>
2312 * friend.cc (do_friend): Handle namespace as scope argument.
2313 * decl.cc (grokdeclarator): Pass down in_namespace.
2315 2023-03-16 Jason Merrill <jason@redhat.com>
2318 * init.cc (get_nsdmi): Split out...
2319 (maybe_instantiate_nsdmi_init): ...this function.
2320 * cp-tree.h: Declare it.
2321 * pt.cc (tsubst_expr): Use it.
2323 2023-03-16 Jason Merrill <jason@redhat.com>
2326 * pt.cc (tsubst_expr) [TAG_DEFN]: Handle partial instantiation.
2328 2023-03-16 Jason Merrill <jason@redhat.com>
2331 * semantics.cc (finish_qualified_id_expr): Don't try to build a
2332 pointer-to-member if the scope is an enumeration.
2334 2023-03-16 Patrick Palka <ppalka@redhat.com>
2337 * constexpr.cc (maybe_constant_init_1): For an unevaluated
2338 non-manifestly-constant operand, don't constant evaluate
2339 and instead call fold_to_constant as in maybe_constant_value.
2341 2023-03-16 Patrick Palka <ppalka@redhat.com>
2344 * constraint.cc (satisfaction_cache::get): Relax overly strict
2345 checking assert in the constraint recursion case.
2347 2023-03-16 Jason Merrill <jason@redhat.com>
2350 * coroutines.cc (build_co_await): Handle lvalue 'o'.
2352 2023-03-15 Jason Merrill <jason@redhat.com>
2356 * typeck.cc (cp_build_modify_expr): Allow array initialization of
2357 DECL_ARTIFICIAL variable.
2359 2023-03-15 Marek Polacek <polacek@redhat.com>
2362 * constexpr.cc (cxx_eval_store_expression): Strip location wrappers.
2364 2023-03-15 Jason Merrill <jason@redhat.com>
2367 * semantics.cc (check_template_template_default_arg): Check
2368 maybe_get_template_decl_from_type_decl.
2370 2023-03-15 Jason Merrill <jason@redhat.com>
2375 * pt.cc (coerce_template_template_parms): Use args from
2376 DECL_CONTEXT (arg_tmpl) instead of outer_args.
2378 2023-03-15 Jason Merrill <jason@redhat.com>
2381 * pt.cc (coerce_template_template_parms): Take the arg and parm
2383 (coerce_template_template_parm): Adjust.
2384 (template_template_parm_bindings_ok_p): Adjust.
2385 (convert_template_argument): Adjust.
2387 2023-03-14 Patrick Palka <ppalka@redhat.com>
2390 * pt.cc (push_inline_template_parms_recursive): Set
2391 TEMPLATE_PARMS_CONSTRAINTS.
2392 (push_template_decl): For an out-of-line declaration, verify
2393 constraints for each enclosing template scope match those of the
2394 original template declaratation.
2396 2023-03-14 Patrick Palka <ppalka@redhat.com>
2399 * pt.cc (redeclare_class_template): Add missing "of" in
2400 constraint mismatch diagnostic.
2401 (tsubst_friend_class): For an already declared class template,
2402 substitute and pass the friend declaration's constraints to
2403 redeclare_class_template instead of passing the existing
2404 template's constraints.
2406 2023-03-14 Jason Merrill <jason@redhat.com>
2409 * pt.cc (unify_pack_expansion): Check that TPARMS_PRIMARY_TEMPLATE
2412 2023-03-14 Jason Merrill <jason@redhat.com>
2415 * cp-gimplify.cc (genericize_if_stmt): Restore folding
2416 of constant conditions.
2418 2023-03-14 Jakub Jelinek <jakub@redhat.com>
2421 * tree.cc (record_has_unique_obj_representations): Ignore unnamed
2424 2023-03-13 Jason Merrill <jason@redhat.com>
2427 * parser.cc (cp_parser_set_decl_spec_type): Use
2428 redefined_builtin_type for extended_float_type_p.
2430 2023-03-13 Marek Polacek <polacek@redhat.com>
2433 * call.cc (reference_like_class_p): Check for std::span.
2435 2023-03-10 Jakub Jelinek <jakub@redhat.com>
2438 * decl.cc (cp_finish_decl): Don't clear TREE_READONLY on
2439 automatic non-aggregate variables just because of
2440 -fmerge-all-constants.
2442 2023-03-10 Jakub Jelinek <jakub@redhat.com>
2445 * class.cc (end_of_class): For bit-fields, instead of computing
2446 offset as sum of byte_position (field) and DECL_SIZE_UNIT (field),
2447 compute it as sum of bit_position (field) and DECL_SIZE (field)
2448 divided by BITS_PER_UNIT rounded up.
2450 2023-03-10 Jason Merrill <jason@redhat.com>
2453 * lambda.cc (compare_lambda_template_head): Check more
2454 for error_mark_node.
2456 2023-03-10 Jason Merrill <jason@redhat.com>
2459 * mangle.cc (anon_aggr_naming_decl): New.
2460 (write_unqualified_name): Use it.
2462 2023-03-10 Jakub Jelinek <jakub@redhat.com>
2465 * decl.cc (poplevel): Suppress OPT_Wunused_variable warning
2466 after diagnosing it.
2468 2023-03-10 Jason Merrill <jason@redhat.com>
2471 * decl.cc (grokdeclarator): Handle non-typedef typedef_decl.
2473 2023-03-10 Jason Merrill <jason@redhat.com>
2476 * class.cc (instantiate_type): Strip location wrapper.
2478 2023-03-09 Jason Merrill <jason@redhat.com>
2481 * init.cc (find_allocator_temps_r): New.
2482 (combine_allocator_temps): Replace find_allocator_temp.
2483 (build_vec_init): Adjust.
2485 2023-03-09 Jason Merrill <jason@redhat.com>
2489 * pt.cc (alias_ctad_tweaks): Continue after deduction failure.
2491 2023-03-09 Jason Merrill <jason@redhat.com>
2492 Michael Spertus <mike@spertus.com>
2495 * pt.cc (corresponding_template_parameter_list): Split out...
2496 (corresponding_template_parameter): ...from here.
2497 (find_template_parameters): Factor out...
2498 (find_template_parameter_info::find_in): ...this function.
2499 (find_template_parameter_info::find_in_recursive): New.
2500 (find_template_parameter_info::found): New.
2501 (alias_ctad_tweaks): Only add parms used in the deduced args.
2503 2023-03-09 Jason Merrill <jason@redhat.com>
2505 * cp-trait.def (IS_DEDUCIBLE): Add space to name.
2507 2023-03-09 Jason Merrill <jason@redhat.com>
2510 * cp-trait.def (IS_DEDUCIBLE): New.
2511 * cxx-pretty-print.cc (pp_cxx_trait): Handle non-type.
2512 * parser.cc (cp_parser_trait): Likewise.
2513 * tree.cc (cp_tree_equal): Likewise.
2514 * pt.cc (tsubst_copy_and_build): Likewise.
2515 (type_targs_deducible_from): New.
2516 (alias_ctad_tweaks): Use it.
2517 * semantics.cc (trait_expr_value): Handle CPTK_IS_DEDUCIBLE.
2518 (finish_trait_expr): Likewise.
2519 * constraint.cc (diagnose_trait_expr): Likewise.
2520 * cp-tree.h (type_targs_deducible_from): Declare.
2522 2023-03-07 Jason Merrill <jason@redhat.com>
2526 * pt.cc (tsubst_function_decl): Don't replace the closure
2527 parameter if DECL_STATIC_FUNCTION_P.
2529 2023-03-07 Marek Polacek <polacek@redhat.com>
2532 * call.cc (reference_like_class_p): New.
2533 (do_warn_dangling_reference): Add new bool parameter. See through
2534 reference_like_class_p.
2536 2023-03-07 Jakub Jelinek <jakub@redhat.com>
2539 * rtti.cc (emit_support_tinfo_1): Don't assert that last
2540 unemitted_tinfo_decls element is tinfo, instead pop from it only in
2542 * decl2.cc (c_parse_final_cleanups): Don't call emit_tinfo_decl
2543 for unemitted_tinfO_decls which have already non-NULL DECL_INITIAL.
2545 2023-03-07 Marek Polacek <polacek@redhat.com>
2548 * constexpr.cc (cxx_eval_call_expression): Relax assert.
2550 2023-03-07 Marek Polacek <polacek@redhat.com>
2553 * constexpr.cc (potential_constant_expression_1) <case CALL_EXPR>: Pass
2554 'any' when recursing on a VAR_DECL and not a pointer to function.
2556 2023-03-04 Jakub Jelinek <jakub@redhat.com>
2559 * constexpr.cc: Include toplev.h.
2560 (cxx_eval_constant_expression) <case DECL_EXPR>: When seeing a local
2561 static initialized by constant expression outside of a constexpr
2562 function which has been deferred by make_rtl_for_nonlocal_decl,
2563 call rest_of_decl_compilation on it.
2565 2023-03-03 Patrick Palka <ppalka@redhat.com>
2568 * pt.cc (el_data::skipped_trees): New data member.
2569 (extract_locals_r): Push to skipped_trees any unevaluated
2570 contexts that we skipped over.
2571 (extract_local_specs): For the second walk, start from each
2572 tree in skipped_trees.
2574 2023-03-03 Alexandre Oliva <oliva@adacore.com>
2576 * typeck.cc (cp_build_binary_op): Suppress redundant warning
2577 for pfn null test in pmfn test with vbit-in-delta.
2579 2023-03-02 Jakub Jelinek <jakub@redhat.com>
2582 * cp-tree.h (enum cp_tree_index): Remove CPTI_FALLBACK_DFLOAT*_TYPE
2584 (fallback_dfloat32_type, fallback_dfloat64_type,
2585 fallback_dfloat128_type): Remove.
2586 * rtti.cc (emit_support_tinfo_1): If not emitted already, call
2587 emit_tinfo_decl and remove from unemitted_tinfo_decls right away.
2588 (emit_support_tinfos): Move &dfloat*_type_node from fundamentals array
2589 into new fundamentals_with_fallback array. Call emit_support_tinfo_1
2590 on elements of that array too, with the difference that if
2591 the type is NULL, use a fallback REAL_TYPE for it temporarily.
2592 Drop the !targetm.decimal_float_supported_p () handling. Call
2593 targetm.emit_support_tinfos at the end.
2594 * mangle.cc (write_builtin_type): Remove references to
2595 fallback_dfloat*_type. Handle bfloat16_type_node mangling.
2597 2023-03-02 Patrick Palka <ppalka@redhat.com>
2601 * cp-gimplify.cc (cp_fully_fold): Add an internal overload that
2602 additionally takes and propagate an mce_value parameter, and
2603 define the existing public overload in terms of it.
2604 (cp_fully_fold_init): Pass mce_false to cp_fully_fold.
2606 2023-03-02 Patrick Palka <ppalka@redhat.com>
2609 * constexpr.cc (maybe_constant_init_1): Override
2610 manifestly_const_eval to true if is_static.
2612 2023-03-02 Jakub Jelinek <jakub@redhat.com>
2615 * cp-gimplify.cc (cp_genericize_r) <case USING_STMT>: Set
2616 DECL_SOURCE_LOCATION on IMPORTED_DECL to expression location
2617 of USING_STMT or input_location.
2619 2023-03-02 Marek Polacek <polacek@redhat.com>
2622 * parser.cc (class_decl_loc_t::diag_mismatched_tags): If the first
2623 lookup of SPEC didn't find anything, try to look for
2624 most_general_template.
2626 2023-03-02 Jakub Jelinek <jakub@redhat.com>
2629 * parser.cc (cp_convert_omp_range_for): Allow in assert
2630 decomp_first_name without DECL_HAS_VALUE_EXPR_P if it has
2631 error_mark_node type.
2632 (cp_finish_omp_range_for): Don't set DECL_HAS_VALUE_EXPR_P back
2633 on decls which have error_mark_node type.
2635 2023-03-01 Marek Polacek <polacek@redhat.com>
2638 * constexpr.cc (cxx_eval_constant_expression): Emit an error when
2639 a PTRMEM_CST cannot be evaluated.
2641 2023-03-01 Patrick Palka <ppalka@redhat.com>
2643 * pt.cc (tsubst_scope): Define.
2644 (tsubst_decl) <case USING_DECL>: Call tsubst_scope instead of
2645 calling tsubst_scope with tf_qualifying_scope set.
2646 (tsubst_qualified_id): Call tsubst_scope instead of
2647 calling tsubst with tf_qualifying_scope set.
2648 (tsubst_copy): Immediately delegate to tsubst for all TYPE_P
2649 trees. Remove tf_qualifying_scope manipulation.
2650 <case SCOPE_REF>: Call tsubst_scope instead of calling
2651 tsubst with tf_qualifying_scope set.
2653 2023-03-01 Patrick Palka <ppalka@redhat.com>
2654 Jason Merrill <jason@redhat.com>
2658 * constexpr.cc (fold_to_constant): Define.
2659 (maybe_constant_value): Move up early exit test for unevaluated
2660 operands. Try reducing an unevaluated operand to a constant via
2662 (fold_non_dependent_expr_template): Add early exit test for
2663 CONSTANT_CLASS_P nodes. Try reducing an unevaluated operand
2664 to a constant via fold_to_constant.
2665 * cp-tree.h (fold_to_constant): Declare.
2667 2023-03-01 Jakub Jelinek <jakub@redhat.com>
2670 * constexpr.cc (potential_constant_expression_1) <case DECL_EXPR>:
2671 Only recurse on DECL_INITIAL (tmp) if tmp is a VAR_DECL, otherwise
2674 2023-02-28 Patrick Palka <ppalka@redhat.com>
2677 * pt.cc (finish_template_variable): Move dependence check
2679 (lookup_and_finish_template_variable): ... here.
2680 * semantics.cc (finish_id_expression_1): Call
2681 finish_template_variable sooner, before (and regardless of) the
2682 type_dependent_expression_p test.
2684 2023-02-28 Marek Polacek <polacek@redhat.com>
2687 * pt.cc (lookup_and_finish_template_variable): Clear tf_partial.
2689 2023-02-20 Marek Polacek <polacek@redhat.com>
2692 * constexpr.cc (cxx_eval_call_expression): Replace shortcutting trivial
2693 constructor/op= with a checking assert.
2695 2023-02-20 Marek Polacek <polacek@redhat.com>
2698 * pt.cc (prepend_one_capture): Set LAMBDA_CAPTURE_EXPLICIT_P.
2699 (tsubst_lambda_expr): Pass LAMBDA_CAPTURE_EXPLICIT_P to
2700 prepend_one_capture.
2702 2023-02-18 Jason Merrill <jason@redhat.com>
2712 * semantics.cc (finish_static_assert): Don't diagnose in
2715 2023-02-17 Patrick Palka <ppalka@redhat.com>
2719 * cp-gimplify.cc (enum fold_flags): Define.
2720 (fold_flags_t): Declare.
2721 (cp_fold_data::genericize): Replace this data member with ...
2722 (cp_fold_data::fold_flags): ... this.
2723 (cp_fold_r): Adjust use of cp_fold_data and calls to cp_fold.
2724 (cp_fold_function): Likewise.
2725 (cp_fold_maybe_rvalue): Add an internal overload that
2726 additionally takes and propagates a fold_flags_t parameter, and
2727 define the existing public overload in terms of it.
2728 (cp_fold_rvalue): Likewise.
2729 (cp_fully_fold_init): Adjust use of cp_fold_data.
2730 (fold_cache): Replace with ...
2731 (fold_caches): ... this 2-element array of caches.
2732 (get_fold_cache): Define.
2733 (clear_fold_cache): Adjust.
2734 (cp_fold): Add fold_flags_t parameter. Use get_fold_cache.
2735 Pass flags to calls to cp_fold, cp_fold_rvalue and
2736 cp_fold_maybe_rvalue.
2737 <case CALL_EXPR>: If ff_mce_false is set, fold
2738 __builtin_is_constant_evaluated to false and pass mce_false to
2739 maybe_constant_value.
2741 2023-02-17 Patrick Palka <ppalka@redhat.com>
2743 * constexpr.cc (constexpr_call::manifestly_const_eval): Give
2744 it type int instead of bool.
2745 (constexpr_ctx::manifestly_const_eval): Give it type mce_value
2747 (cxx_eval_builtin_function_call): Adjust after making
2748 manifestly_const_eval tri-state.
2749 (cxx_eval_call_expression): Likewise.
2750 (cxx_eval_binary_expression): Likewise.
2751 (cxx_eval_conditional_expression): Likewise.
2752 (cxx_eval_constant_expression): Likewise.
2753 (cxx_eval_outermost_constant_expr): Likewise.
2754 (cxx_constant_value): Likewise.
2755 (cxx_constant_dtor): Likewise.
2756 (maybe_constant_value): Give manifestly_const_eval parameter
2757 type mce_value instead of bool and adjust accordingly.
2758 (fold_non_dependent_expr_template): Adjust call
2759 to cxx_eval_outermost_constant_expr.
2760 (fold_non_dependent_expr): Likewise.
2761 (maybe_constant_init_1): Likewise.
2762 * constraint.cc (satisfy_atom): Adjust call to
2763 maybe_constant_value.
2764 * cp-tree.h (enum class mce_value): Define.
2765 (maybe_constant_value): Adjust manifestly_const_eval parameter
2766 type and default argument.
2767 * decl.cc (compute_array_index_type_loc): Adjust call to
2768 maybe_constant_value.
2769 * pt.cc (convert_nontype_argument): Likewise.
2771 2023-02-16 Patrick Palka <ppalka@redhat.com>
2774 * cp-tree.h (enum tsubst_flags): New flag tf_qualifying_scope.
2775 * decl.cc (make_typename_type): Use lookup_member instead of
2776 lookup_field. If tf_qualifying_scope is set, pass want_type=true
2777 instead of =false to lookup_member. Generalize format specifier
2778 in diagnostic to handle both type and non-type bindings.
2779 * pt.cc (tsubst_aggr_type_1): Clear tf_qualifying_scope. Tidy
2781 (tsubst_decl) <case USING_DECL>: Set tf_qualifying_scope when
2782 substituting USING_DECL_SCOPE.
2783 (tsubst): Clear tf_qualifying_scope right away and remember if
2784 it was set. Do the same for tf_tst_ok sooner.
2785 <case TYPENAME_TYPE>: Set tf_qualifying_scope when substituting
2786 TYPE_CONTEXT. Pass tf_qualifying_scope to make_typename_type
2788 (tsubst_qualified_id): Set tf_qualifying_scope when substituting
2790 (tsubst_copy): Clear tf_qualifying_scope and remember if it was
2792 <case SCOPE_REF>: Set tf_qualifying_scope when substituting the
2794 <case *_TYPE>: Pass tf_qualifying_scope to tsubst if it was set.
2795 * search.cc (lookup_member): Document default argument.
2797 2023-02-16 Patrick Palka <ppalka@redhat.com>
2799 * cp-tree.h: Mechanically drop static from static inline
2800 functions via s/^static inline/inline/g.
2802 2023-02-15 Marek Polacek <polacek@redhat.com>
2805 * call.cc (joust_maybe_elide_copy): Return false for ck_ambig.
2807 2023-02-10 Marek Polacek <polacek@redhat.com>
2810 * call.cc (set_up_extended_ref_temp): Pass var to maybe_constant_init.
2812 2023-02-09 Tobias Burnus <tobias@codesourcery.com>
2814 * parser.cc (cp_parser_omp_allocate): Parse align
2815 clause and check for restrictions.
2817 2023-02-09 Jakub Jelinek <jakub@redhat.com>
2820 * mangle.cc (write_expression, write_template_arg): Handle
2821 EXCESS_PRECISION_EXPR with REAL_CST operand as
2822 write_template_arg_literal on fold_convert of the REAL_CST
2823 to EXCESS_PRECISION_EXPR type.
2825 2023-02-06 Patrick Palka <ppalka@redhat.com>
2828 * cp-tree.h (call_expr_dependent_name): Declare.
2829 * pt.cc (iterative_hash_template_arg) <case CALL_EXPR>: Use
2830 call_expr_dependent_name instead of dependent_name.
2831 * tree.cc (call_expr_dependent_name): Define.
2832 (called_fns_equal): Adjust to take two CALL_EXPRs instead of
2833 CALL_EXPR_FNs thereof. Use call_expr_dependent_name instead
2835 (cp_tree_equal) <case CALL_EXPR>: Adjust call to called_fns_equal.
2837 2023-02-03 Marek Polacek <polacek@redhat.com>
2840 * constexpr.cc (cxx_eval_array_reference): Don't replace
2843 2023-02-03 Patrick Palka <ppalka@redhat.com>
2846 * semantics.cc (finish_call_expr): Strip ADDR_EXPR from
2847 the selected callee during overload set pruning.
2849 2023-02-03 Patrick Palka <ppalka@redhat.com>
2852 * class.cc (check_methods): Diagnose an unviable OVERLOAD
2853 set for CLASSTYPE_DESTRUCTOR differently from an ambiguous one.
2854 Then prune the OVERLOAD to a single function.
2855 (check_bases_and_members): Handle CLASSTYPE_DESTRUCTOR being
2856 an OVERLOAD when calling deduce_noexcept_on_destructor.
2857 Document why it has to be called before check_methods.
2859 2023-02-03 Patrick Palka <ppalka@redhat.com>
2862 * class.cc (check_methods): Swap order of constraints_satisfied_p
2863 and copy/move_fn_p tests.
2865 2023-02-01 Marek Polacek <polacek@redhat.com>
2868 * call.cc (build_new_op): Don't call warn_logical_operator when
2869 processing a template.
2871 2023-02-01 Jakub Jelinek <jakub@redhat.com>
2874 * constexpr.cc (cxx_eval_constant_expression): Handle OMP_*
2875 and OACC_* constructs as non-constant.
2876 (potential_constant_expression_1): Handle OMP_SCAN and OMP_SCOPE.
2878 2023-02-01 Jason Merrill <jason@redhat.com>
2880 * class.cc (note_name_declared_in_class): Change from permerror to
2881 -Wchanges-meaning pedwarn, forcing -pedantic-errors for most cases.
2883 2023-01-31 Jason Merrill <jason@redhat.com>
2886 * cp-gimplify.cc (any_non_eliding_target_exprs): New.
2887 (cp_genericize_init): Check it.
2889 2023-01-31 Marek Polacek <polacek@redhat.com>
2893 * cp-tree.h (instantiation_dependent_expression_p): Don't
2896 2023-01-26 Marek Polacek <polacek@redhat.com>
2899 * parser.cc: Remove unnecessary forward declarations.
2900 (cp_parser_string_literal): New wrapper.
2901 (cp_parser_string_literal_common): Renamed from
2902 cp_parser_string_literal. Add a bool parameter. Give an error when
2903 UDLs are not permitted.
2904 (cp_parser_userdef_string_literal): New wrapper.
2905 (finish_userdef_string_literal): Renamed from
2906 cp_parser_userdef_string_literal.
2907 (cp_parser_primary_expression): Call cp_parser_userdef_string_literal
2908 instead of cp_parser_string_literal.
2909 (cp_parser_linkage_specification): Move a variable declaration closer
2911 (cp_parser_static_assert): Likewise.
2912 (cp_parser_operator): Call cp_parser_userdef_string_literal instead of
2913 cp_parser_string_literal.
2914 (cp_parser_asm_definition): Move a variable declaration closer to its
2916 (cp_parser_asm_specification_opt): Move variable declarations closer to
2918 (cp_parser_asm_operand_list): Likewise.
2919 (cp_parser_asm_clobber_list): Likewise.
2921 2023-01-26 Jakub Jelinek <jakub@redhat.com>
2924 * parser.cc (cp_convert_omp_range_for): If cp_finish_decomp has been
2925 called in !processing_template_decl with processing_template_decl
2926 temporarily set, clear DECL_HAS_VALUE_EXPR_P on the vars temporarily.
2927 (cp_finish_omp_range_for): And set it back again here.
2929 2023-01-25 Jakub Jelinek <jakub@redhat.com>
2932 * mangle.cc (write_closure_type_name): Don't assume all
2933 lambda operator() fns are methods.
2935 2023-01-24 Jason Merrill <jason@redhat.com>
2938 * parser.cc (cp_lexer_new_main): Pass C_LEX_STRING_NO_JOIN for first
2941 2023-01-24 Jason Merrill <jason@redhat.com>
2944 * pt.cc (tsubst_function_decl): Handle static lambda.
2946 2023-01-24 Jakub Jelinek <jakub@redhat.com>
2949 * cp-gimplify.cc (cp_fold_r): Revert 2023-01-19 changes.
2951 2023-01-24 Jason Merrill <jason@redhat.com>
2955 * cp-gimplify.cc (cp_fold_r) [TARGET_EXPR]: In case of double
2956 TARGET_EXPR, keep the outer one instead of the inner one.
2957 (maybe_replace_decl): New.
2959 2023-01-23 Jason Merrill <jason@redhat.com>
2962 * cp-gimplify.cc (cp_gimplify_init_expr): Allow unexpected elision
2965 2023-01-23 Marek Polacek <polacek@redhat.com>
2968 * cvt.cc (ocp_convert): copy_warning when creating a new
2970 * init.cc (build_new_1): Suppress -Wunused-value on
2971 compiler-generated COMPOUND_EXPRs.
2973 2023-01-23 Jason Merrill <jason@redhat.com>
2976 * call.cc (build_user_type_conversion_1): Check whether the
2977 iterators also find a list ctor.
2979 2023-01-23 Jason Merrill <jason@redhat.com>
2982 * decl.cc (grokdeclarator): Check whether DECL_RESULT is already
2985 2023-01-23 Jason Merrill <jason@redhat.com>
2989 * call.cc (extend_ref_init_temps_1): Handle ptrmem expression.
2991 2023-01-19 Jakub Jelinek <jakub@redhat.com>
2994 * cp-tree.h (keep_unused_object_arg): Declare.
2995 * call.cc (keep_unused_object_arg): No longer static.
2996 * tree.cc (build_min_non_dep_op_overload): Handle ARRAY_REF
2997 with overload being static member function.
2999 2023-01-19 Jakub Jelinek <jakub@redhat.com>
3002 * cp-gimplify.cc (cp_fold_r): During cp_fully_fold_init replace
3003 DECL_ANON_UNION_VAR_P VAR_DECLs with their corresponding
3006 2023-01-16 Jakub Jelinek <jakub@redhat.com>
3009 * decl.cc (cp_finish_decl): Check warning_enabled_at
3010 at the DECL_SOURCE_LOCATION (decl) for OPT_Winit_self instead
3013 2023-01-14 Jakub Jelinek <jakub@redhat.com>
3016 * typeck.cc (cp_build_binary_op): Use may_shorten_divmod for integral
3019 2023-01-13 Jakub Jelinek <jakub@redhat.com>
3022 * cvt.cc (cp_convert_and_check): For EXCESS_PRECISION_EXPR
3023 use its operand except that for warning purposes use the original
3024 EXCESS_PRECISION_EXPR.
3025 * call.cc (convert_like_internal): Only look through
3026 EXCESS_PRECISION_EXPR when calling cp_convert, not when calling
3027 cp_convert_and_check.
3029 2023-01-09 Jakub Jelinek <jakub@redhat.com>
3034 * call.cc (maybe_init_list_as_range): Always return NULL_TREE if
3035 processing_template_decl.
3037 2023-01-05 Patrick Palka <ppalka@redhat.com>
3040 * parser.cc (cp_parser_class_head): Use dk_deferred instead of
3041 dk_no_check when parsing the class name.
3043 2023-01-05 Jakub Jelinek <jakub@redhat.com>
3046 * semantics.cc (finish_omp_target_clauses): Ignore clauses other than
3049 2023-01-04 Patrick Palka <ppalka@redhat.com>
3052 * decl2.cc (mark_single_function): Ignore mark_used failure
3053 only in a non-SFINAE context rather than in a SFINAE one.
3055 2023-01-04 Jakub Jelinek <jakub@redhat.com>
3058 * decl.cc (merge_default_template_args): Return false if either
3059 new_parm or old_parm are erroneous.
3062 Copyright (C) 2023 Free Software Foundation, Inc.
3064 Copying and distribution of this file, with or without modification,
3065 are permitted in any medium without royalty provided the copyright
3066 notice and this notice are preserved.