Daily bump.

11 files changed, 914 insertions, 1 deletions

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 7941616..3a4a3f5 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,153 @@
+2025-06-06  David Malcolm  <dmalcolm@redhat.com>
+
+	* diagnostic-format-html.cc (struct html_doctypedecl): New.
+	(html_builder::html_builder): Use it to populate the document's
+	m_doctypedecl.
+	* xml.cc (xml::document::write_as_xml): Replace hardcoded HTML DTD
+	with use of m_doctypedecl field.
+	(selftest::test_no_dtd): New.
+	(selftest::xml_cc_tests): New.
+	* xml.h (struct doctypedecl): New decl.
+
+2025-06-06  David Malcolm  <dmalcolm@redhat.com>
+
+	* Makefile.in (OBJS-libcommon): Add xml.o.
+	* diagnostic-format-html.cc (namespace xml): Move implementation
+	to xml.cc
+	(selftest::test_printer): Likewise.
+	(selftest::test_attribute_ordering): Likewise.
+	(selftest::diagnostic_format_html_cc_tests): Don't call the moved
+	tests here; they will be called from xml_cc_tests in xml.cc.
+	* selftest-run-tests.cc (selftest::run_tests): Call xml_cc_tests.
+	* selftest.h (selftest::xml_cc_tests): New decl.
+	* xml.cc: New file, based on material from
+	diagnostic-format-html.cc.
+
+2025-06-06  David Malcolm  <dmalcolm@redhat.com>
+
+	* selftest.h: Fix the sorting of the various *_cc_tests decls.
+
+2025-06-06  David Malcolm  <dmalcolm@redhat.com>
+
+	* text-art/widget.cc (selftest::test_empty_wrapper_widget): New.
+	(selftest::text_art_widget_cc_tests): Call it.
+	* text-art/widget.h (text_art::wrapper_widget::calc_req_size):
+	Gracefully handle m_child being null.
+	(text_art::wrapper_widget::update_child_alloc_rects): Likewise.
+	(text_art::wrapper_widget::paint_to_canvas): Likewise.
+
+2025-06-06  Andrew Pinski  <quic_apinski@quicinc.com>
+
+	* tree-ssa-phiopt.cc (cond_if_else_store_replacement_1): Add vphi argument.
+	Manually update the vphi and new_stmt vdef/lhs.
+	(cond_if_else_store_replacement): Update call to cond_if_else_store_replacement_1.
+
+2025-06-06  Tobias Burnus  <tburnus@baylibre.com>
+	    Sandra Loosemore  <sloosemore@baylibre.com>
+
+	* gimple-fold.cc (gimple_fold_builtin_omp_get_initial_device,
+	gimple_fold_builtin_omp_get_num_devices): New.
+	(gimple_fold_builtin): Call them.
+	* omp-builtins.def (BUILT_IN_OMP_GET_INITIAL_DEVICE): Add
+	(BUILT_IN_OMP_GET_NUM_DEVICES): Make uservisible + pure.
+
+2025-06-06  Tobias Burnus  <tburnus@baylibre.com>
+
+	* builtins.def (DEF_GOACC_BUILTIN_COMPILER, DEF_GOMP_BUILTIN_COMPILER):
+	Set NONANSI_P = false to enable those also with -fno-nonansi-builtins.
+
+2025-06-06  Richard Biener  <rguenther@suse.de>
+
+	* tree-vect-stmts.cc (get_group_load_store_type): Remove
+	non-SLP path.
+	(get_load_store_type): Likewise.
+
+2025-06-06  Pan Li  <pan2.li@intel.com>
+
+	* config/riscv/riscv-v.cc (expand_vx_binary_vec_vec_dup): Add new
+	case UDIV.
+	* config/riscv/riscv.cc (riscv_rtx_costs): Ditto.
+	* config/riscv/vector-iterators.md: Add new op divu.
+
+2025-06-06  Richard Biener  <rguenther@suse.de>
+
+	* tree-vect-stmts.cc (vectorizable_store): Remove non-SLP
+	paths.
+
+2025-06-06  Richard Biener  <rguenther@suse.de>
+
+	* gimple-fold.h (create_tmp_reg_or_ssa_name): Remove.
+	* gimple-fold.cc (create_tmp_reg_or_ssa_name): Likewise.
+	(gimple_fold_builtin_memory_op): Use make_ssa_name.
+	(gimple_fold_builtin_strchr): Likewise.
+	(gimple_fold_builtin_strcat): Likewise.
+	(gimple_load_first_char): Likewise.
+	(gimple_fold_builtin_string_compare): Likewise.
+	(gimple_build): Likewise.
+	* tree-inline.cc (copy_bb): Likewise.
+	* config/rs6000/rs6000-builtin.cc (fold_build_vec_cmp): Likewise.
+	(rs6000_gimple_fold_mma_builtin): Likewise.
+	(rs6000_gimple_fold_builtin): Likewise.
+
+2025-06-06  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* expr.cc (store_constructor) <ARRAY_TYPE>: Perform the arithmetics
+	on offsets in (unsigned) sizetype.
+
+2025-06-06  Jan Hubicka  <hubicka@ucw.cz>
+
+	* coverage.cc (coverage_init): Return early when in LTO
+
+2025-06-06  Jan Hubicka  <hubicka@ucw.cz>
+
+	* profile-count.cc (profile_count::to_sreal_scale): Special case 0 of autofdo.
+	(profile_count::combine_with_ipa_count): If outer function has GLOBAL0 profile
+	but innter counter has non-zero profile, force it to be 0.
+
+2025-06-06  Jiawei  <jiawei@iscas.ac.cn>
+	    Jiawei Chen  <jiawei@iscas.ac.cn>
+	    Yangyu Chen  <cyy@cyyself.name>
+	    Tang Haojin  <tanghaojin@outlook.com>
+
+	* config/riscv/riscv-cores.def (RISCV_TUNE): New cpu tune.
+	(RISCV_CORE): New cpu.
+	* doc/invoke.texi: Ditto.
+
+2025-06-06  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/120032
+	* tree-ssa-forwprop.cc (simplify_count_zeroes): When we cannot use
+	the IFN to determine the result at zero use a conditional move
+	to reproduce the correct result from the table-based
+	algorithm.
+
+2025-06-06  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/120032
+	* match.pd (clz_table_index): New match.
+	* tree-ssa-forwprop.cc (check_table_array): Rename from
+	check_ctz_array.  Split out actual verification to a functor.
+	(check_table_string): Rename from check_ctz_string and likewise.
+	(check_table): Rename from check_ctz_table and adjust.
+	(gimple_clz_table_index): Declare.
+	(simplify_count_zeroes): Rename from simplify_count_trailing_zeroes.
+	Extend to cover CLZ.
+	(pass_forwprop::execute): Adjust.
+
+2025-06-06  Richard Biener  <rguenther@suse.de>
+
+	* tree-ssa-forwprop.cc (simplify_count_trailing_zeroes):
+	Use ranger instead of tree_expr_nonzero_p.
+
+2025-06-06  Richard Biener  <rguenther@suse.de>
+
+	* tree-ssa-forwprop.cc (optimize_count_trailing_zeroes):
+	Inline into ...
+	(simplify_count_trailing_zeroes): ... this function.
+	Split out ...
+	(check_ctz_table): ... a wrapper for CONSTRUCTOR vs. STRING_CST
+	handling.
+
 2025-06-05  Jeff Law  <jlaw@ventanamicro.com>
 
 	* config/riscv/riscv.cc (riscv_expand_conditional_move): Avoid
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index c6de4e3..a3a91b5 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20250606
+20250607
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 7ef50ea..f45c81a 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,479 @@
+2025-06-06  Piotr Trojanek  <trojanek@adacore.com>
+
+	* urealp.adb (UR_Negate): Capture array element in a local constant.
+
+2025-06-06  Piotr Trojanek  <trojanek@adacore.com>
+
+	* urealp.adb (UR_Exponentiate): Use local variable.
+
+2025-06-06  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_ch13.adb (Analyze_Attribute_Definition_Clause): Tune code for
+	attribute Small.
+	* sem_prag.adb (Analyze_Attribute): Tune code for pragma Time_Slice.
+
+2025-06-06  Piotr Trojanek  <trojanek@adacore.com>
+
+	* ada_get_targ.adb, cstand.ads, cstand.adb, sem_eval.adb, sem_eval.ads,
+	urealp.adb, urealp.ads: Tune style.
+
+2025-06-06  Piotr Trojanek  <trojanek@adacore.com>
+
+	* get_targ.ads (Register_Proc_Type): Add null exclusion.
+
+2025-06-06  Piotr Trojanek  <trojanek@adacore.com>
+
+	* cstand.adb (Build_Float_Type, Register_Float_Type): Refine
+	parameter subtypes.
+	* set_targ.ads (FPT_Mode_Entry): Refine component subtype.
+
+2025-06-06  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_prag.adb (Analyze_Pragma): Add dependency of Program_Exit on
+	Global and Depends contracts.
+	(Analyze_Program_Exit_In_Decl_Part): Check references to subprogram
+	outputs.
+
+2025-06-06  Claire Dross  <dross@adacore.com>
+
+	* doc/gnat_rm/implementation_defined_pragmas.rst
+	(Pragma Exit_Cases): Update the documentation for Exit_Cases.
+	* sem_prag.adb
+	(Anlayze_Pragma): Accept Program_Exit as an exit kind.
+	* gnat_rm.texi: Regenerate.
+	* gnat_ugn.texi: Regenerate.
+
+2025-06-06  Piotr Trojanek  <trojanek@adacore.com>
+
+	* aspects.ads (Aspect_Argument): Argument for Program_Exit is now
+	optional.
+	* doc/gnat_rm/implementation_defined_pragmas.rst
+	(Pragma Program_Exit): Change documentation for pragma syntax.
+	* sem_prag.adb (Analyze_Pragma): Argument for Program_Exit is now
+	optional.
+	(Analyze_Program_Exit_In_Decl_Part): Likewise.
+	* gnat_rm.texi: Regenerate.
+	* gnat_ugn.texi: Regenerate.
+
+2025-06-06  Piotr Trojanek  <trojanek@adacore.com>
+
+	* aspects.ads (Aspect_Id): Add new aspect identifier.
+	(Aspect_Argument): Specify argument for the new aspect.
+	(Is_Representation_Aspect): New aspect is not a representation aspect.
+	(Aspect_Names): Map new aspect to name.
+	(Aspect_Delay): New aspect is always delayed.
+	* contracts.adb (Expand_Subprogram_Contract)
+	(Add_Pre_Post_Condition, Add_Contract_Item)
+	(Analyze_Entry_Or_Subprogram_Contract)
+	(Analyze_Entry_Or_Subprogram_Body_Contract)
+	(Analyze_Subprogram_Body_Stub_Contract): Support new aspect.
+	* contracts.ads (Add_Contract_Item,
+	Analyze_Entry_Or_Subprogram_Contract,
+	Analyze_Entry_Or_Subprogram_Body_Contract,
+	Analyze_Subprogram_Body_Stub_Contract): Mention new contract in
+	comment.
+	* doc/gnat_rm/implementation_defined_aspects.rst
+	(Aspect Program_Exit): Document new aspect.
+	* doc/gnat_rm/implementation_defined_pragmas.rst
+	(Pragma Program_Exit): Document new pragma.
+	* einfo-utils.adb (Get_Pragma): Support new pragma.
+	* einfo-utils.ads (Get_Pragma): Mention new pragma in comment.
+	* exp_prag.adb (Expand_Pragma_Program_Exit): Expand new pragma;
+	body.
+	* exp_prag.ads (Expand_Pragma_Program_Exit): Expand new pragma;
+	spec.
+	* inline.adb (Remove_Aspects_And_Pragmas): Support new pragma.
+	* par-prag.adb (Prag): Support new pragma.
+	* sem_attr.adb (Analyze_Attribute_Old_Result): Accept attribute
+	Old in new pragma.
+	* sem_ch12.adb (Implementation of Generic Contracts): Mention new
+	aspect in comment.
+	* sem_ch13.adb (Insert_Pragma, Analyze_Aspect_Specifications):
+	Convert new new aspect to pragma.
+	* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Renumber
+	subsequent rule in comment.
+	* sem_prag.adb (Check_Postcondition_Use_In_Inlined_Subprogram)
+	(Contract_Freeze_Error): Mention new pragma in comment.
+	(Analyze_Pragma): Support new pragma; renumber subsequent rule in
+	comment.
+	(Analyze_Program_Exit_In_Decl_Part): Analyze new pragma; body.
+	(Sig_Flags): References in new pragma are significant when
+	detecting unreferenced objects.
+	* sem_prag.ads (Aspect_Specifying_Pragma)
+	(Assertion_Expression_Pragma, Pragma_Significant_To_Subprograms):
+	Support new aspect and pragma.
+	(Analyze_Program_Exit_In_Decl_Part): Analyze new pragma; spec.
+	(Find_Related_Package_Or_Body): Mention new pragma in comment.
+	* sem_util.adb (Is_Subprogram_Contract_Annotation): Support new
+	pragma.
+	* sem_util.ads (Is_Subprogram_Contract_Annotation): Mention new
+	pragma in comment.
+	* sinfo.ads (Is_Generic_Contract_Pragma): Mention new pragma in
+	comment.
+	* snames.ads-tmpl (Preset Names, Pragma_Id): Add name and pragma
+	identifiers.
+	* gnat_rm.texi: Regenerate.
+
+2025-06-06  Piotr Trojanek  <trojanek@adacore.com>
+
+	* libgnat/g-dyntab.ads (Instance): Update and extend comment.
+	* scos.ads: Remove comment about the corresponding C header.
+	* scos.h: Remove.
+
+2025-06-06  Steve Baird  <baird@adacore.com>
+
+	* sem_util.adb (Collect_Primitive_Operations): When collecting
+	primitive operations, do not include child unit subprograms.
+
+2025-06-06  Javier Miranda  <miranda@adacore.com>
+
+	* sem_ch4.adb (Constant_Indexing_OK): Add missing support for
+	RM 4.1.6(13/3), and improve performance to avoid climbing more
+	than needed. Add documentation.
+	(Try_Indexing_Function): New subprogram.
+	(Expr_Matches_In_Formal): Added new formals.
+	(Handle_Selected_Component): New subprogram.
+	(Has_IN_Mode): New subprogram.
+	(Try_Container_Indexing): Add documentation, code reorganization
+	and extend its functionality to improve its support for prefixed
+	notation calls.
+
+2025-06-06  Viljar Indus  <indus@adacore.com>
+
+	* debug.adb: Mark -gnatd_D as unused.
+	* diagnostics-repository.adb: Move to...
+	* errid.adb: ...here.
+	* diagnostics-repository.ads: Move to...
+	* errid.ads: ...here.
+	* errout.adb (Error_Msg_Internal): Add new arguments for the new
+	attributes of Error_Msg_Objects.
+	(Error_Msg): Likewise.
+	(Error_Msg_N): Likewise.
+	(Labeled_Span): New method for creating Labeled_Span-s
+	(Primary_Label_Span): New method for creating primary Labeled_Spans.
+	(Secondary_Labeled_Span): New method for creating secondary
+	Labeled_Spans.
+	(Edit): New method for creating Edit elements.
+	(Fix): New method for creating Fix elements.
+	(Error_Msg_F): Simplify code for evaluating the span.
+	(Error_Msg_FE): Likewise.
+	(Error_Msg_NE): Likewise.
+	(Error_Msg_NEL): Likewise.
+	(Error_Msg_N_Gigi): New method that is used as a wrapper for the
+	Error_Msg_xxx methods that have the new arguments. This function
+	is later mapped to the Error_Msg method used inside gigi.
+	(Error_Msg_NE_Gigi): Likewise.
+	(Write_JSON_Span): Ensure that the Style prefix is included that is
+	removed when parsing the message is reinserted to the JSON report.
+	(Output_Messages): Use the new Pretty_Printer and Sarif_Printer
+	packages to print the messages and remove the old implementation
+	for the pretty printer.
+	(Set_Msg_Text): Remove message kind insertion characters from the
+	final message text to avoid some message kinds being duplicated.
+	(To_Full_Span_First): New method for creating a span for a node.
+	(To_Full_Span): Likewise.
+	* errout.ads: Add the specs for all of the newly added functions.
+	* diagnostics-pretty_emitter.adb: Move to...
+	* erroutc-pretty_emitter.adb: ...here.
+	* diagnostics-pretty_emitter.ads: Move to...
+	* erroutc-pretty_emitter.ads: ...here.
+	* diagnostics-sarif_emitter.adb: Move to...
+	* erroutc-sarif_emitter.adb: ...here.
+	* diagnostics-sarif_emitter.ads: Move to...
+	* erroutc-sarif_emitter.ads: ...here.
+	* erroutc.adb (Next_Error_Msg): New method for iterating to the
+	next error message.
+	(Next_Continuation_Msg): New method for iterating to the next
+	continuation message.
+	(Primary_Location): New method for returning the first primary
+	location for the error message.
+	(Get_Human_Id): New method for returning the human readable
+	name for the switch associated with this error message.
+	(Get_Doc_Switch): New method for creating the tag for the switch
+	used in the error message.
+	(Output_Text_Within): Change the method to operating on Strings
+	instead of String pointers.
+	(Output_Msg_Text): Simplify implementation for generating the
+	error message.
+	(Prescan_Message): Make the String handling more error proof.
+	* erroutc.ads (Error_Msg_Object): Add new attributes that were
+	added to Diagnostic objects to Error_Msg_Objects.
+	Add new methods for handling the new error objects.
+	* diagnostics-switch_repository.adb: Move to...
+	* errsw.adb: ...here.
+	* errutil.adb (Error_Msg): Initialize all of the new attributes
+	added to Error_Msg_Object-s.
+	* fe.h (Error_Msg_N): Update the binding.
+	(Error_Msg_NE): Update the binding.
+	For now the error_msg methods in gigi will use the old
+	simplified interface for those methods.
+	* diagnostics-json_utils.adb: Move to...
+	* json_utils.adb: ...here.
+	* diagnostics-json_utils.ads: Move to...
+	* json_utils.ads: ...here.
+	* par-endh.adb: Replace the old error_msg
+	calls with the updated interface.
+	* sem_aggr.adb: Likewise.
+	* sem_ch13.adb: Likewise.
+	* sem_ch4.adb: Likewise.
+	* sem_ch9.adb: Likewise.
+	* diagnostics-brief_emitter.adb: Removed.
+	* diagnostics-brief_emitter.ads: Removed.
+	* diagnostics-constructors.adb: Removed.
+	* diagnostics-constructors.ads: Removed.
+	* diagnostics-converter.adb: Removed.
+	* diagnostics-converter.ads: Removed.
+	* diagnostics-switch_repository.ads: Removed.
+	* diagnostics-utils.adb: Removed.
+	* diagnostics-utils.ads: Removed.
+	* diagnostics.adb: Removed.
+	* diagnostics.ads: Removed.
+	* errsw.ads: New file. Based on diagnostics-switch_repository.ads.
+	It additionally contains all the switch enumerations.
+	* gcc-interface/Make-lang.in: Update compilation dependencies.
+	* gcc-interface/Makefile.in: Likewise.
+
+2025-06-06  Ronan Desplanques  <desplanques@adacore.com>
+
+	* contracts.adb (Add_Invariant_And_Predicate_Checks): Assign Ekind.
+	* inline.adb (Expand_Inlined_Call): Likewise.
+	* exp_ch9.adb (Build_Simple_Entry_Call): Likewise.
+	* exp_dist.adb (Append_Array_Traversal): Likewise.
+	* exp_fixd.adb (Build_Double_Divide_Code, Build_Scaled_Divide_Code):
+	Likewise.
+
+2025-06-06  Olivier Hainque  <hainque@adacore.com>
+
+	* libgnarl/s-linux__android-aarch64.ads: Provide an
+	Android_Sigaction generic package to expose an aarch64
+	version of struct_sigation, using a provided sigset_t
+	for sa_flags.
+	* libgnarl/s-linux__android-arm.ads: Likewise, for ARM
+	rather than aarch64.
+	* libgnarl/s-osinte__android.ads: Move sigset_t definition
+	to the visible part and use it to instantiate the Android_Sigation
+	generic provided by System.Linux, which is specialized for ARM vs
+	aarch64. Define struct_sigaction out of the Android_Sigaction
+	instance, remove the local representation clauses.
+
+2025-06-06  Olivier Hainque  <hainque@adacore.com>
+
+	* Makefile.rtl: Rework the Android pairs to match those of a
+	regular Linux port rather than a generic posix one.
+	* libgnarl/s-osinte__android.ads: Import pcrtl and add bindings
+	for the pthread_rwlock entry points, used by the Linux units now
+	in the libgnat target pairs.
+	* sysdep.c (__gnat_has_cap_sys_nice): Define for Android,
+	conservative return 0.
+	* adaint.c (__gnat_cpu_alloc): Define for Android as for Linux.
+
+2025-06-06  Piotr Trojanek  <trojanek@adacore.com>
+
+	* namet.ads (Name_Entry): Update comments to explain the current needs.
+
+2025-06-06  Piotr Trojanek  <trojanek@adacore.com>
+
+	* lib.ads (Unit_Record): Remove representation clauses and filler
+	components
+	* lib-load.adb, lib-writ.adb: Remove initialization of data fillers.
+	* nlists.adb (Allocate_List_Tables): Remove explicit initialization.
+	* repinfo.adb (Exp_Node): Remove representation clauses.
+	* sinput.ads (Source_File_Record): Likewise.
+	* urealp.adb (Ureal_Entry): Likewise.
+
+2025-06-06  Piotr Trojanek  <trojanek@adacore.com>
+
+	* doc/gnat_rm/representation_clauses_and_pragmas.rst
+	(Effect of Convention on Representation): Fix number of list items.
+	* gnat_rm.texi: Regenerate.
+	* gnat_ugn.texi: Regenerate.
+
+2025-06-06  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_ch10.adb (Install_Siblings.In_Context): Add missing guard.
+
+2025-06-06  Ronan Desplanques  <desplanques@adacore.com>
+
+	* sem_ch4.adb (Analyze_Selected_Component): Tweak condition.
+
+2025-06-06  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch4.adb (Insert_Conditional_Object_Declaration): Make sure the
+	object is allocated properly by the code generator at library level.
+
+2025-06-06  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_eval.adb (Check_Non_Static_Context): Remove special handling of
+	floating-point zero.
+
+2025-06-06  Piotr Trojanek  <trojanek@adacore.com>
+
+	* einfo.ads (Incomplete_View): Move from Sinfo; adapt wording.
+	* exp_ch3.adb (Build_Record_Init_Proc): Adapt retrieval of
+	Incomplete_View.
+	* gen_il-fields.ads (Opt_Field_Enum): Move Incomplete_View from node
+	to entity field.
+	* gen_il-gen-gen_entities.adb (Gen_Entities): Add field.
+	* gen_il-gen-gen_nodes.adb (Gen_Nodes): Remove field.
+	* sem_ch3.adb (Analyze_Full_Type_Declaration,
+	Check_Anonymous_Access_Component): Adapt setting of Incomplete_View.
+	* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Adapt retrieval of
+	Incomplete_View for class-wide types; no longer rely on class-wide
+	type being attached to non-classwide type declaration.
+	* sem_util.adb (Collect_Primitive_Operations): Adapt retrieval of
+	Incomplete_View.
+	* sinfo.ads (Incomplete_View): Move to Einfo.
+
+2025-06-06  squirek  <squirek@adacore.com>
+
+	* aspects.ads: Add support for constructors.
+	* exp_aggr.adb: Likewise.
+	* exp_attr.adb: Likewise.
+	* exp_ch3.adb: Likewise.
+	* exp_ch4.adb: Likewise.
+	* exp_util.adb: Likewise.
+	* gen_il-fields.ads: Likewise.
+	* gen_il-gen-gen_entities.adb: Likewise.
+	* gen_il-gen-gen_nodes.adb: Likewise.
+	* par-ch4.adb: Likewise.
+	* sem_aggr.adb: Likewise.
+	* sem_attr.adb, sem_attr.ads: Likewise.
+	* sem_ch13.adb: Likewise.
+	* sem_ch3.adb: Likewise.
+	* sem_ch5.adb: Likewise.
+	* sem_ch6.adb: Likewise.
+	* sem_res.adb: Likewise.
+	* sem_util.adb, sem_util.ads: Likewise.
+	* snames.ads-tmpl: Likewise.
+
+2025-06-06  squirek  <squirek@adacore.com>
+
+	* doc/gnat_rm/gnat_language_extensions.rst: Add documentation.
+	* gnat_rm.texi: Regenerate.
+
+2025-06-06  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* einfo.ads (Modulus): Change to implementation base type only.
+	* gen_il-gen-gen_entities.adb (Modular_Integer_Kind): Change type
+	of Modulus field to Impl_Base_Type_Only.
+
+2025-06-06  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* einfo.ads (Original_Access_Type): Restore.
+	* gen_il-fields.ads (Opt_Field_Enum): Restore Original_Access_Type.
+	* gen_il-gen-gen_entities.adb: Adjust accordingly.
+	* exp_ch9.adb (Expand_Access_Protected_Subprogram_Type): Restore the
+	call to Set_Original_Access_Type.
+
+2025-06-06  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* einfo.ads (Default_Expr_Function): Delete.
+	(Dependent_Instances): Likewise.
+	(Handler_Records): Likewise.
+	(Needs_Activation_Record): Likewise.
+	(Original_Access_Type): Likewise.
+	(Register_Exception_Call): Likewise.
+	* sinfo.ads (Accept_Handler_Records): Likewise.
+	* gen_il-fields.ads (Opt_Field_Enum): Remove Accept_Handler_Records,
+	Default_Expr_Function, Dependent_Instances, Handler_Records,
+	Needs_Activation_Record, Original_Access_Type and
+	Register_Exception_Call.
+	* gen_il-gen-gen_entities.adb: Adjust accordingly.
+	* gen_il-gen-gen_nodes.adb: Likewise.
+	* exp_ch9.adb (Expand_Access_Protected_Subprogram_Type): Remove call
+	to Set_Original_Access_Type.
+	(Expand_N_Selective_Accept): Remove call to Set_Handler_Records.
+	* exp_ch11.adb (Expand_N_Exception_Declaration): Remove call to
+	Set_Register_Exception_Call.
+	* sem_ch3.adb (Access_Subprogram_Declaration): Remove call to
+	Set_Needs_Activation_Record.
+	* sem_ch12.adb (Instantiate_Package_Body): Remove call to
+	Set_Handler_Records.
+
+2025-06-06  Steve Baird  <baird@adacore.com>
+
+	* sem_ch4.adb
+	(Find_Unary_Types): Because we reanalyze names in an instance,
+	we sometimes have to take steps to filter out extraneous name
+	resolution candidates that happen to be visible at the point of the
+	instance declaration. Remove some code that appears to have been
+	written with this in mind. This is done for two reasons. First, the
+	code sometimes doesn't work (possibly because the In_Instance test
+	is not specific enough - it probably should be testing to see whether
+	we are in an instance of the particular generic in which the result
+	of calling Corresponding_Generic_Type was declared) and causes correct
+	code to be rejected. Second, the code seems to no longer be necessary
+	(possibly because of subsequent fixes in this area which are not
+	specific to unary operators).
+
+2025-06-06  Ronan Desplanques  <desplanques@adacore.com>
+
+	* sem_ch8.adb (Premature_Usage): Remove dead code.
+
+2025-06-06  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* einfo.ads (Size_Check_Code): Delete.
+	* gen_il-fields.ads (Opt_Field_Enum): Remove Size_Check_Code.
+	* gen_il-gen-gen_entities.adb (Constant_Or_Variable_Kind): Likewise.
+	* sem_ch13.adb (Analyze_Attribute_Definition_Clause): Remove call
+	to Kill_Size_Check_Code.
+	* sem_prag.adb (Analyze_Pragma): Likewise.
+	* sem_util.ads (Kill_Size_Check_Code): Delete.
+	* sem_util.adb (Kill_Size_Check_Code): Likewise.
+
+2025-06-06  Claire Dross  <dross@adacore.com>
+
+	* sem_ch6.adb (Analyze_SPARK_Subprogram_Specification):
+	Allow the first parameter of functions whose return type is
+	an anonymous access-to-variable type to have mode IN OUT.
+
+2025-06-06  Ronan Desplanques  <desplanques@adacore.com>
+
+	* gen_il-fields.ads: New field.
+	* gen_il-gen-gen_entities.adb: New field.
+	* einfo.ads: Document new field.
+	* sem_res.adb (Check_Discriminant_Use): Record relevant uses in new
+	field. Move warning emission to...
+	* sem_ch3.adb (Analyze_Full_Type_Declaration): ... Here.
+
+2025-06-06  Steve Baird  <baird@adacore.com>
+
+	* sem_disp.adb
+	(Check_Dispatching_Operation): Delete code to generate
+	"missing overriding indicator" warning. Update comments.
+
+2025-06-06  Ronan Desplanques  <desplanques@adacore.com>
+
+	* cstand.adb (Create_Standard): Delay declaration generation for
+	Natural and Positive.
+
+2025-06-06  Ronan Desplanques  <desplanques@adacore.com>
+
+	* cstand.adb (Create_Standard): Remove useless calls.
+
+2025-06-06  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_aggr.adb (Expand_Record_Aggregate): Use the named form for the
+	second actual parameter in the call to Duplicate_Subexpr.
+	* exp_attr.adb (Expand_Size_Attribute): Likewise.
+	* exp_ch5.adb (Expand_Assign_Array): Likewise.
+	(Expand_Assign_Array_Bitfield): Likewise.
+	(Expand_Assign_Array_Bitfield_Fast): Likewise.
+	* exp_util.ads (Duplicate_Subexpr): Add New_Scope formal parameter.
+	(Duplicate_Subexpr_No_Checks): Likewise.
+	(Duplicate_Subexpr_Move_Checks): Likewise.
+	* exp_util.adb (Build_Allocate_Deallocate_Proc): Pass Proc_Id as the
+	actual for New_Scope in the calls to Duplicate_Subexpr_No_Checks.
+	(Duplicate_Subexpr): Add New_Scope formal parameter and forward it
+	in the call to New_Copy_Tree.
+	(Duplicate_Subexpr_No_Checks): Likewise.
+	(Duplicate_Subexpr_Move_Checks): Likewise.
+
+2025-06-06  Piotr Trojanek  <trojanek@adacore.com>
+
+	* checks.adb (Insert_Valid_Check): Set flag Assignment_OK in the object
+	declaration inserted for the validity checks.
+
 2025-06-05  squirek  <squirek@adacore.com>
 
 	* sem_warn.adb
diff --git a/gcc/cobol/ChangeLog b/gcc/cobol/ChangeLog
index e4d7a1e..dff1523 100644
--- a/gcc/cobol/ChangeLog
+++ b/gcc/cobol/ChangeLog
@@ -1,3 +1,68 @@
+2025-06-06  Robert Dubner  <rdubner@symas.com>
+	    James K. Lowden  <jklowden@cobolworx.com>
+
+	PR cobol/120328
+	PR cobol/119695
+	* Make-lang.in: Success with non-English locale.
+	* cbldiag.h (cbl_unimplemented_at): Comment:
+	* cdf-copy.cc (copybook_elem_t::open_file): Indentation.
+	* cdf.y: YYABORT on certain errors.
+	* cdfval.h (cdf_value): Const parameter.
+	* copybook.h (class copybook_elem_t): Initialization.
+	(class uppername_t): Explicit constructor.
+	* except.cc (ec_type_descr): Remove %04s.
+	(cbl_enabled_exceptions_t::dump): Remove %zu.
+	* exceptg.h (class exception_turn_t): Explicit constructor.
+	* genapi.cc (parser_perform_conditional): Remove %zu.
+	(set_exception_environment): Formatting.
+	(parser_statement_begin): Exception overhead.
+	(parser_perform_conditional): Formatting:
+	(parser_perform_conditional_end): Eliminate size_t.
+	(parser_check_fatal_exception): Exception overhead.
+	(parser_perform_conditional_end): Remove %zu.
+	* inspect.h (struct cbx_inspect_match_t): Const reference.
+	(struct cbx_inspect_t): Const parameter.
+	* lexio.cc (cdftext::process_file): Remove %zu.
+	* lexio.h (struct YYLTYPE): Remove unneeded struct.
+	(YYLTYPE_IS_DECLARED): Likewise.
+	(YYLTYPE_IS_TRIVIAL): Likewise.
+	* parse.y: Comment; change DOT.
+	* scan.l: Scan function names without swallowing whitespace.
+	* scan_ante.h (scanner_parsing): Remove %zu.
+	(scanner_parsing_pop): Remove %zu.
+	(binary_integer_usage): Remove %zu.
+	* scan_post.h (prelex): Correct post-CDF resumption.
+	(yylex): Clearer message.
+	* symbols.cc (symbol_table_extend): Explicit constructor.
+	(elementize): Const parameter.
+	(is_variable_length): Correct always-false.
+	(symbols_update): Remove unnecessary shadow variable.
+	(struct symbol_elem_t): Const parameter.
+	(symbol_alphabet_add): Const parameter.
+	(new_literal_add): Initialization.
+	* symbols.h (class cbl_domain_elem_t): Correct assignment.
+	(struct cbl_span_t): Improve constructor.
+	(struct cbl_refer_t): Initialization.
+	(struct cbl_alphabet_t): Rename shadow variable.
+	(struct cbl_file_key_t): Remove unused constructor.
+	(struct symbol_elem_t): Initialization.
+	(struct cbl_until_addresses_t): Use unsigned int, for messages.
+	(struct cbl_prog_hier_t): Initialization.
+	(struct cbl_perform_tgt_t): Repair constructor.
+	(struct cbl_label_t): Const parameter.
+	(symbol_typedef_add): Const parameter.
+	(symbol_field_add): Explicit constructor.
+	(symbol_label_add): Explicit constructor.
+	(symbol_program_add): Remove C-style "struct" use.
+	(symbol_special_add): Remove C-style "struct" use.
+	(symbol_alphabet_add): Const parameter.
+	(symbol_file_add): Remove C-style "struct" use.
+	(symbol_section_add): Remove C-style "struct" use.
+	* symfind.cc: Const parameter.
+	* util.cc (gb4): New function.
+	* util.h (gb4): New function.
+	* TODO: New file.
+
 2025-06-05  Robert Dubner  <rdubner@symas.com>
 
 	PR cobol/119975
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 0541c5d..0078b6c 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,9 @@
+2025-06-06  Jason Merrill  <jason@redhat.com>
+
+	PR c++/120555
+	* decl2.cc (fn_being_defined, fn_template_being_defined): New.
+	(mark_used): Check fn_template_being_defined.
+
 2025-06-05  Patrick Palka  <ppalka@redhat.com>
 
 	PR c++/120224
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index 78f6002..857eb72 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,13 @@
+2025-06-06  Tobias Burnus  <tburnus@baylibre.com>
+	    Sandra Loosemore  <sloosemore@baylibre.com>
+
+	* f95-lang.cc (ATTR_PURE_NOTHROW_LIST): Define.
+	* trans-expr.cc (get_builtin_fn): Handle omp_get_num_devices
+	and omp_get_intrinsic_device.
+	* gfortran.h (gfc_option_t): Add disable_omp_... for them.
+	* options.cc (gfc_handle_option): Handle them with
+	-fno-builtin-.
+
 2025-06-04  Andre Vehreschild  <vehre@gcc.gnu.org>
 
 	PR fortran/120483
diff --git a/gcc/m2/ChangeLog b/gcc/m2/ChangeLog
index 6b19a4d..13d3d01 100644
--- a/gcc/m2/ChangeLog
+++ b/gcc/m2/ChangeLog
@@ -1,3 +1,12 @@
+2025-06-06  Gaius Mulley  <gaiusmod2@gmail.com>
+
+	PR modula2/120542
+	* gm2-compiler/M2Quads.mod (BuildReturnLower): New procedure.
+	(BuildReturn): Allow return without an expression from
+	module initialization blocks.  Generate an error if an
+	expression is provided.  Call BuildReturnLower if no error
+	was seen.
+
 2025-06-01  Gaius Mulley  <gaiusmod2@gmail.com>
 
 	PR modula2/120474
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 8f9ad09..9df90e6 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,97 @@
+2025-06-06  Jason Merrill  <jason@redhat.com>
+
+	PR c++/120555
+	* g++.dg/cpp1z/constexpr-if39.C: New test.
+
+2025-06-06  Jeff Law  <jlaw@ventanamicro.com>
+
+	* gcc.target/arc/fma-1.c: Make "a" extern so the optimizers can
+	see any value and optimize away the key computation.
+
+2025-06-06  Tobias Burnus  <tburnus@baylibre.com>
+	    Sandra Loosemore  <sloosemore@baylibre.com>
+
+	* c-c++-common/gomp/omp_get_num_devices_initial_device-2.c: New test.
+	* c-c++-common/gomp/omp_get_num_devices_initial_device.c: New test.
+	* gfortran.dg/gomp/omp_get_num_devices_initial_device-2.f90: New test.
+	* gfortran.dg/gomp/omp_get_num_devices_initial_device.f90: New test.
+
+2025-06-06  Pan Li  <pan2.li@intel.com>
+
+	* gcc.target/riscv/rvv/autovec/binop/vdiv-rv32gcv-nofm.c: Adjust
+	the asm check for vdivu.
+	* gcc.target/riscv/rvv/autovec/binop/vdiv-rv32gcv.c: Ditto.
+	* gcc.target/riscv/rvv/autovec/binop/vdiv-rv64gcv-nofm.c: Ditto.
+	* gcc.target/riscv/rvv/autovec/binop/vdiv-rv64gcv.c: Ditto.
+
+2025-06-06  Pan Li  <pan2.li@intel.com>
+
+	* gcc.target/riscv/rvv/autovec/vx_vf/vx-4-u16.c: Add asm check
+	for vdivu.vx combine.
+	* gcc.target/riscv/rvv/autovec/vx_vf/vx-4-u32.c: Ditto.
+	* gcc.target/riscv/rvv/autovec/vx_vf/vx-4-u64.c: Ditto.
+	* gcc.target/riscv/rvv/autovec/vx_vf/vx-4-u8.c: Ditto.
+	* gcc.target/riscv/rvv/autovec/vx_vf/vx-5-u16.c: Ditto.
+	* gcc.target/riscv/rvv/autovec/vx_vf/vx-5-u32.c: Ditto.
+	* gcc.target/riscv/rvv/autovec/vx_vf/vx-5-u64.c: Ditto.
+	* gcc.target/riscv/rvv/autovec/vx_vf/vx-5-u8.c: Ditto.
+	* gcc.target/riscv/rvv/autovec/vx_vf/vx-6-u16.c: Ditto.
+	* gcc.target/riscv/rvv/autovec/vx_vf/vx-6-u32.c: Ditto.
+	* gcc.target/riscv/rvv/autovec/vx_vf/vx-6-u64.c: Ditto.
+	* gcc.target/riscv/rvv/autovec/vx_vf/vx-6-u8.c: Ditto.
+
+2025-06-06  Pan Li  <pan2.li@intel.com>
+
+	* gcc.target/riscv/rvv/autovec/vx_vf/vx-1-u16.c: Add asm check
+	for vdivu.vx combine.
+	* gcc.target/riscv/rvv/autovec/vx_vf/vx-1-u32.c: Ditto.
+	* gcc.target/riscv/rvv/autovec/vx_vf/vx-1-u64.c: Ditto.
+	* gcc.target/riscv/rvv/autovec/vx_vf/vx-1-u8.c: Ditto.
+	* gcc.target/riscv/rvv/autovec/vx_vf/vx-2-u16.c: Ditto.
+	* gcc.target/riscv/rvv/autovec/vx_vf/vx-2-u32.c: Ditto.
+	* gcc.target/riscv/rvv/autovec/vx_vf/vx-2-u64.c: Ditto.
+	* gcc.target/riscv/rvv/autovec/vx_vf/vx-2-u8.c: Ditto.
+	* gcc.target/riscv/rvv/autovec/vx_vf/vx-3-u16.c: Ditto.
+	* gcc.target/riscv/rvv/autovec/vx_vf/vx-3-u32.c: Ditto.
+	* gcc.target/riscv/rvv/autovec/vx_vf/vx-3-u64.c: Ditto.
+	* gcc.target/riscv/rvv/autovec/vx_vf/vx-3-u8.c: Ditto.
+	* gcc.target/riscv/rvv/autovec/vx_vf/vx_binary_data.h: Add test
+	data for run test.
+	* gcc.target/riscv/rvv/autovec/vx_vf/vx_vdiv-run-1-u16.c: New test.
+	* gcc.target/riscv/rvv/autovec/vx_vf/vx_vdiv-run-1-u32.c: New test.
+	* gcc.target/riscv/rvv/autovec/vx_vf/vx_vdiv-run-1-u64.c: New test.
+	* gcc.target/riscv/rvv/autovec/vx_vf/vx_vdiv-run-1-u8.c: New test.
+
+2025-06-06  Gaius Mulley  <gaiusmod2@gmail.com>
+
+	PR modula2/120542
+	* gm2/iso/fail/badreturn.mod: New test.
+	* gm2/iso/fail/badreturn2.mod: New test.
+	* gm2/iso/pass/modulereturn.mod: New test.
+	* gm2/iso/pass/modulereturn2.mod: New test.
+
+2025-06-06  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gnat.dg/specs/aggr7.ads: New test.
+
+2025-06-06  Jiawei  <jiawei@iscas.ac.cn>
+	    Jiawei Chen  <jiawei@iscas.ac.cn>
+	    Yangyu Chen  <cyy@cyyself.name>
+	    Tang Haojin  <tanghaojin@outlook.com>
+
+	* gcc.target/riscv/mcpu-xiangshan-kunminghu.c: New test.
+
+2025-06-06  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/120032
+	* gcc.target/i386/pr120032-3.c: New testcase.
+
+2025-06-06  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/120032
+	* gcc.target/i386/pr120032-1.c: New testcase.
+	* gcc.target/i386/pr120032-2.c: Likewise.
+
 2025-06-05  Jeff Law  <jlaw@ventanamicro.com>
 
 	* gcc.target/riscv/nozicond-3.c: New test.
diff --git a/libgcobol/ChangeLog b/libgcobol/ChangeLog
index f853c51..ceb78dc 100644
--- a/libgcobol/ChangeLog
+++ b/libgcobol/ChangeLog
@@ -1,3 +1,23 @@
+2025-06-06  Robert Dubner  <rdubner@symas.com>
+	    James K. Lowden  <jklowden@cobolworx.com>
+
+	* common-defs.h (enum cbl_file_mode_t): Whitespace.
+	(enum file_stmt_t): Likewise.
+	(ec_cmp): Likewise.
+	(struct cbl_declarative_t): Add "explicit" keyword.
+	(class cbl_enabled_exceptions_t): Whitespace.
+	* gfileio.cc: Remove cppcheck comment.
+	* libgcobol.cc (class ec_status_t): Add "explicit" keyword.
+	(match_declarative): Remove %zu.
+	(default_exception_handler): Likwise.
+	(__gg__check_fatal_exception): Exception overhead.
+	(__gg__exception_push): Remove %zu.
+	(__gg__exception_pop): Likewise.
+	(cbl_enabled_exception_t::dump): Likewise.
+	(__gg__match_exception): Exception overhead; remove %zu.
+	(cbl_enabled_exceptions_t::dump): Remove %zu.
+	(__gg__set_exception_environment): Likewise.
+
 2025-06-05  Robert Dubner  <rdubner@symas.com>
 
 	PR cobol/119975
diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog
index 3e68ecb..b4da509 100644
--- a/libgomp/ChangeLog
+++ b/libgomp/ChangeLog
@@ -1,3 +1,15 @@
+2025-06-06  Tobias Burnus  <tburnus@baylibre.com>
+	    Sandra Loosemore  <sloosemore@baylibre.com>
+
+	* libgomp.texi (omp_get_num_devices, omp_get_intrinsic_device):
+	Document builtin handling.
+
+2025-06-06  Tobias Burnus  <tburnus@baylibre.com>
+
+	PR target/120530
+	* testsuite/libgomp.c/target-map-zero-sized-3.c (main): Add missing
+	map clause; remove unused variable.
+
 2025-06-04  Tobias Burnus  <tburnus@baylibre.com>
 	    Sandra Loosemore  <sloosemore@baylibre.com>
 
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 18d82cb..473857b 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,74 @@
+2025-06-06  Jonathan Wakely  <jwakely@redhat.com>
+
+	* testsuite/30_threads/semaphore/1.cc: Check type properties and
+	max() values.
+	* testsuite/30_threads/semaphore/3.cc: New test.
+	* testsuite/30_threads/semaphore/cons_neg.cc: New test.
+
+2025-06-06  Jonathan Wakely  <jwakely@redhat.com>
+
+	* include/bits/semaphore_base.h (_Select_semaphore_impl): Rename
+	to _Semaphore_impl and use std::conditional_t instead of an
+	immediately invoked lambda expression.
+	* include/std/semaphore (counting_semaphore): Adjust to use new
+	name.
+
+2025-06-06  Jonathan Wakely  <jwakely@redhat.com>
+
+	* testsuite/30_threads/barrier/1.cc: Require hosted. Only
+	require gthreads for non-linux targets.
+	* testsuite/30_threads/barrier/2.cc: Likewise.
+	* testsuite/30_threads/semaphore/1.cc: Likewise.
+	* testsuite/30_threads/semaphore/2.cc: Likewise.
+	* testsuite/30_threads/semaphore/cons.cc: Likewise.
+	* testsuite/30_threads/semaphore/least_max_value_neg.cc:
+	Likewise.
+	* testsuite/30_threads/semaphore/try_acquire.cc: Likewise.
+
+2025-06-06  Patrick Palka  <ppalka@redhat.com>
+
+	PR libstdc++/120432
+	* include/std/flat_map (flat_map::operator[]): Make the
+	non-template overloads call try_emplace directly.  Remove
+	non-standard same_as constraint on the template overload.
+	* testsuite/23_containers/flat_map/1.cc (test08): New test.
+
+2025-06-06  Jonathan Wakely  <jwakely@redhat.com>
+
+	* include/bits/atomic_timed_wait.h (__atomic_wait_address_until_v):
+	Add assertion to prevent use with proxy waits.
+	(__atomic_wait_address_for_v): Likewise.
+	* include/bits/atomic_wait.h (__atomic_wait_address_v):
+	Likewise.
+
+2025-06-06  Jonathan Wakely  <jwakely@redhat.com>
+
+	* include/bits/atomic_wait.h (__atomic_wait_address_v): Add bare
+	wait flag.
+	* include/bits/semaphore_base.h (__semaphore_base): Rename to
+	__semaphore_impl. Replace local variable and predicate lambdas
+	with _Available struct.
+	(__platform_semaphore_impl): New class template.
+	(__semaphore_impl): Remove alias template.
+	(_Select_semaphore_impl): New alias template.
+	* include/std/semaphore (counting_semaphore): Use
+	_Select_semaphore_impl.
+
+2025-06-06  Tomasz Kamiński  <tkaminsk@redhat.com>
+
+	PR libstdc++/120565
+	* include/bits/chrono_io.h
+	(operator<<(basic_ostream<_CharT, _Traits>&, const sys_info&))
+	(operator<<(basic_ostream<_CharT, _Traits>&, const local_info&)):
+	Support wchar_t as _CharT.
+	* testsuite/std/time/format/empty_spec.cc: Instantiated test_infos for
+	wchar_t and increase timeout.
+
+2025-06-06  Tomasz Kamiński  <tkaminsk@redhat.com>
+
+	* testsuite/std/time/format/empty_spec.cc: New tests and increased
+	timeout.
+
 2025-06-05  Jonathan Wakely  <jwakely@redhat.com>
 
 	PR libstdc++/120548