[gcc r15-9830] Daily bump.

[GCC Administrator]

https://gcc.gnu.org/g:88ec0fedaf698aeafe84710a6bada738203bca5b

commit r15-9830-g88ec0fedaf698aeafe84710a6bada738203bca5b
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date:   Fri Jun 13 00:24:13 2025 +0000

    Daily bump.

Diff:
---
 gcc/ChangeLog           | 10 ++++++++++
 gcc/DATESTAMP           |  2 +-
 gcc/ada/ChangeLog       | 32 ++++++++++++++++++++++++++++++++
 gcc/po/ChangeLog        |  4 ++++
 gcc/testsuite/ChangeLog |  8 ++++++++
 libstdc++-v3/ChangeLog  | 14 ++++++++++++++
 6 files changed, 69 insertions(+), 1 deletion(-)

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 4d0f2fa882a4..926ccfff5cbb 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,13 @@
+2025-06-12  Martin Jambor  <mjambor@suse.cz>
+
+	Backported from master:
+	2025-05-29  Martin Jambor  <mjambor@suse.cz>
+
+	PR ipa/120295
+	* ipa-prop.cc (update_jump_functions_after_inlining): Do not
+	combine pass-through jump functions with type-casts changing
+	signedness.
+
 2025-06-10  Andrew Pinski  <quic_apinski@quicinc.com>
 
 	Backported from master:
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index b1bf7be35491..c544224c3448 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20250612
+20250613
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 61fc42e76198..aee225340c61 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,35 @@
+2025-06-12  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* doc/gnat_rm/gnat_language_extensions.rst
+	(Generalized Finalization): Document the actual implementation.
+	(No_Raise): Move to separate section.
+	* gnat_rm.texi: Regenerate.
+
+2025-06-12  Ronan Desplanques  <desplanques@adacore.com>
+
+	* sem_ch3.adb (Build_Derived_Private_Type): Fix test.
+	(Build_Derived_Record_Type): Adjust error recovery paths.
+
+2025-06-12  Ronan Desplanques  <desplanques@adacore.com>
+
+	* exp_util.adb (Insert_Actions): Refine test.
+
+2025-06-12  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* doc/gnat_ugn/building_executable_programs_with_gnat.rst (Compiler
+	switches) <-O>: Fix long line.
+	* gnat_ugn.texi: Regenerate.
+
+2025-06-12  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* usage.adb (Usage): Justify the documentation of common switches
+	like that of other switches.  Rework that of the -O switch.
+	* doc/gnat_ugn/building_executable_programs_with_gnat.rst (Compiler
+	switches) <-O>: Rework and document 'z' and 'g' operands.
+	* doc/gnat_ugn/gnat_and_program_execution.rst (Optimization Levels):
+	Rework and document -Oz and -Og switches.
+	* gnat_ugn.texi: Regenerate.
+
 2025-06-10  Gary Dismukes  <dismukes@adacore.com>
 
 	* einfo.ads: Revise comment about Dynamic_Predicate flag to make it
diff --git a/gcc/po/ChangeLog b/gcc/po/ChangeLog
index 1db7cd58f00b..3bfcf33bbbf8 100644
--- a/gcc/po/ChangeLog
+++ b/gcc/po/ChangeLog
@@ -1,3 +1,7 @@
+2025-06-12  Joseph Myers  <josmyers@redhat.com>
+
+	* es.po: Update.
+
 2025-05-15  Joseph Myers  <josmyers@redhat.com>
 
 	* zh_CN.po: Update.
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 400828793292..c4bb931e8a70 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,11 @@
+2025-06-12  Martin Jambor  <mjambor@suse.cz>
+
+	Backported from master:
+	2025-05-29  Martin Jambor  <mjambor@suse.cz>
+
+	PR ipa/120295
+	* gcc.dg/ipa/pr120295.c: New test.
+
 2025-06-09  Jason Merrill  <jason@redhat.com>
 
 	Backported from master:
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index fac998b63eba..0742cdbc53e7 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,17 @@
+2025-06-12  Jonathan Wakely  <jwakely@redhat.com>
+
+	Backported from master:
+	2025-06-12  Jonathan Wakely  <jwakely@redhat.com>
+
+	PR libstdc++/120625
+	* include/std/format (__format::__disabled): Remove.
+	(__formatter_disabled): New type.
+	(formatter<char*, wchar_t>, formatter<const char*, wchar_t>)
+	(formatter<char[N], wchar_t>, formatter<string, wchar_t>)
+	(formatter<string_view, wchar_t>): Use __formatter_disabled as
+	base class instead of formatter<__disabled, wchar_t>.
+	* testsuite/std/format/formatter/120625.cc: New test.
+
 2025-06-10  Jonathan Wakely  <jwakely@redhat.com>
 
 	Backported from master: