https://gcc.gnu.org/g:9f44730d6217a3e3fbfa1737b0bf69ec082fca89
commit r15-9899-g9f44730d6217a3e3fbfa1737b0bf69ec082fca89
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date: Wed Jul 2 00:25:45 2025 +0000
Daily bump.
Diff:
---
gcc/ChangeLog | 16 +++++++++++
gcc/DATESTAMP | 2 +-
gcc/ada/ChangeLog | 74 +++++++++++++++++++++++++++++++++++++++++++++++++
gcc/cp/ChangeLog | 13 +++++++++
gcc/testsuite/ChangeLog | 55 ++++++++++++++++++++++++++++++++++++
libstdc++-v3/ChangeLog | 15 ++++++++++
6 files changed, 174 insertions(+), 1 deletion(-)
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index aa994d0aa4b5..ae3d6eb465c8 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,19 @@
+2025-07-01 Jakub Jelinek <ja...@redhat.com>
+
+ Backported from master:
+ 2025-07-01 Jakub Jelinek <ja...@redhat.com>
+
+ PR middle-end/120608
+ * passes.def (pass_musttail): Move before pass_sanopt.
+ * tree-tailcall.cc (empty_eh_cleanup): Handle GIMPLE_RESX
+ which doesn't throw externally through recursion on single
+ eh edge (if any and cnt still allows that).
+ (find_tail_calls): Add ESUCC, IGNORED_EDGES and MUST_SEE_BBS
+ arguments. Handle GIMPLE_CONDs for non-simplified cleanups with
+ finally_tmp temporaries both on backward and forward walks, adjust
+ recursive call.
+ (tree_optimize_tail_calls_1): Adjust find_tail_calls callers.
+
2025-06-27 Eric Botcazou <ebotca...@adacore.com>
* gimple-fold.cc (fold_const_aggregate_ref_1) <COMPONENT_REF>:
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index ac92899c8884..46e9463b4271 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20250701
+20250702
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index bdbce9736f65..037a0b479722 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,77 @@
+2025-07-01 Eric Botcazou <ebotca...@adacore.com>
+
+ PR ada/120705
+ * exp_ch6.adb (Needs_BIP_Collection): Always return False if the
+ type has relaxed finalization.
+
+2025-07-01 Gary Dismukes <dismu...@adacore.com>
+
+ * exp_ch3.adb (Build_Heap_Or_Pool_Allocator): Test not
Has_Relaxed_Finalization
+ as a guard against retrieving BIP_Collection formal (and related code).
+
+2025-07-01 Gary Dismukes <dismu...@adacore.com>
+
+ * sem_ch3.adb (Constrain_Corresponding_Record): Inherit Class_Wide_Type
on the
+ created constrained subtype.
+
+2025-07-01 Eric Botcazou <ebotca...@adacore.com>
+
+ * exp_ch7.adb (Shift_Address_For_Descriptor): Add dummy variable
+ to make sure that System_Storage_Elements is loaded.
+
+2025-07-01 Eric Botcazou <ebotca...@adacore.com>
+
+ * exp_ch7.adb (Shift_Address_For_Descriptor): New function.
+ (Make_Address_For_Finalize): Call above function.
+ (Make_Finalize_Address_Stmts): Likewise.
+ * exp_util.ads (Is_Constr_Array_Subt_Of_Unc_With_Controlled): New
+ predicate.
+ * exp_util.adb (Is_Constr_Array_Subt_Of_Unc_With_Controlled): Ditto.
+ (Remove_Side_Effects): Call above predicate.
+ * sem_ch3.adb (Analyze_Object_Declaration): Likewise.
+ * sem_ch4.adb (Analyze_Allocator): Allocate the bounds by setting
+ Is_Constr_Array_Subt_With_Bounds when appropriate.
+
+2025-07-01 Javier Miranda <mira...@adacore.com>
+
+ * sem_ch4.adb (Try_Object_Operation): Handle mutably tagged
+ class-wide type prefix.
+
+2025-07-01 Eric Botcazou <ebotca...@adacore.com>
+
+ * exp_util.adb (Finalize_Address): Do not go to the root type for
+ array types.
+
+2025-07-01 Eric Botcazou <ebotca...@adacore.com>
+
+ * exp_util.ads (Is_Finalizable_Access): New predicate.
+ (Is_Non_BIP_Func_Call): Delete.
+ (Is_Secondary_Stack_BIP_Func_Call): Likewise.
+ * exp_util.adb (Is_Finalizable_Access): New predicate.
+ (Initialized_By_Aliased_BIP_Func_Call): Delete.
+ (Initialized_By_Reference): Likewise.
+ (Is_Aliased): Only consider the nontransient object serviced by
+ the transient scope.
+ (Is_Part_Of_BIP_Return_Statement): Minor tweak.
+ (Is_Finalizable_Transient): Remove calls to Initialized_By_Reference
+ and Initialized_By_Aliased_BIP_Func_Call.
+ Call Is_Finalizable_Access for access objects.
+ (Is_Non_BIP_Func_Call): Delete.
+ (Is_Secondary_Stack_BIP_Func_Call): Likewise.
+ (Requires_Cleanup_Actions): Call Is_Finalizable_Access for access
+ objects.
+ (Side_Effect_Free): Return True for N_Reference.
+ * exp_ch7.adb (Build_Finalizer.Process_Declarations): Call
+ Is_Finalizable_Access for access objects.
+
+2025-07-01 Eric Botcazou <ebotca...@adacore.com>
+
+ * exp_util.adb (Is_Expression_Of_Func_Return): New predicate.
+ (Is_Related_To_Func_Return): Call Is_Expression_Of_Func_Return.
+ (Remove_Side_Effects): Generate a temporary for a function call
+ that returns a constrained array type with controlled component
+ and an unconstrained first subtype.
+
2025-06-30 Bob Duff <d...@adacore.com>
* exp_attr.adb (Attribute_Max_Size_In_Storage_Elements):
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index db696c13e409..9b32452ed576 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,16 @@
+2025-07-01 Jakub Jelinek <ja...@redhat.com>
+
+ Backported from master:
+ 2025-07-01 Jakub Jelinek <ja...@redhat.com>
+
+ PR c++/120471
+ * typeck.cc (cp_build_array_ref) <case COND_EXPR>: If idx is not
+ INTEGER_CST, don't optimize the case (but cp_default_conversion on
+ array early if it has ARRAY_TYPE) or use
+ SAVE_EXPR <op0>, SAVE_EXPR <idx>, SAVE_EXPR <op0> as new op0 depending
+ on flag_strong_eval_order and whether op1 and op2 are arrays with
+ invariant address or tree invariant pointers. Formatting fixes.
+
2025-06-09 Jason Merrill <ja...@redhat.com>
Backported from master:
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index dc7b23ccaef7..4d4102b4a303 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,58 @@
+2025-07-01 Jakub Jelinek <ja...@redhat.com>
+
+ Backported from master:
+ 2025-07-01 Jakub Jelinek <ja...@redhat.com>
+
+ PR testsuite/120919
+ * gcc.target/powerpc/builtin_altivec_tr_stxvr_runnable.c (main): Change
+ sc, ss, si and sll vars from scalars to arrays of 2 elements,
+ initialize and test just the first one though.
+
+2025-07-01 Eric Botcazou <ebotca...@adacore.com>
+
+ * gnat.dg/specs/finalizable2.ads: New test.
+
+2025-07-01 Jakub Jelinek <ja...@redhat.com>
+
+ Backported from master:
+ 2025-07-01 Jakub Jelinek <ja...@redhat.com>
+
+ PR c++/120471
+ * g++.dg/ubsan/pr120471.C: New test.
+ * g++.dg/parse/pr120471.C: New test.
+
+2025-07-01 Jakub Jelinek <ja...@redhat.com>
+
+ Backported from master:
+ 2025-07-01 Jakub Jelinek <ja...@redhat.com>
+
+ * gcc.target/s390/vector/vec-abs-emu.c: Add -fno-stack-protector
+ to dg-options.
+ * gcc.target/s390/vector/vec-max-emu.c: Likewise.
+ * gcc.target/s390/vector/vec-min-emu.c: Likewise.
+
+2025-07-01 Jakub Jelinek <ja...@redhat.com>
+
+ Backported from master:
+ 2025-07-01 Jakub Jelinek <ja...@redhat.com>
+
+ PR middle-end/120608
+ * c-c++-common/asan/pr120608-3.c: New test.
+ * c-c++-common/asan/pr120608-4.c: New test.
+ * g++.dg/asan/pr120608-3.C: New test.
+ * g++.dg/asan/pr120608-4.C: New test.
+
+2025-07-01 Jakub Jelinek <ja...@redhat.com>
+
+ Backported from master:
+ 2025-07-01 Jakub Jelinek <ja...@redhat.com>
+
+ PR ipa/119318
+ PR testsuite/120082
+ * gcc.dg/ipa/pr119318.c (main): Expect different result on big endian
+ from little endian, on unexpected endianness or int/int128 sizes don't
+ test anything. Formatting fixes.
+
2025-06-28 Eric Botcazou <ebotca...@adacore.com>
* gnat.dg/concat6.adb: New test.
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 59cbe6e14f34..fef02b1fe671 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,18 @@
+2025-07-01 Tomasz Kamiński <tkami...@redhat.com>
+
+ Backported from master:
+ 2025-06-13 Tomasz Kamiński <tkami...@redhat.com>
+
+ PR libstdc++/120648
+ * include/bits/chrono_io.h (__formatter_chrono::_M_format_to):
+ Handle %c, %r, %x and %X by passing them to _M_c_r_x_X.
+ (__formatter_chrono::_M_c_r_x_X): Reworked from _M_c.
+ (__formatter_chrono::_M_c): Renamed into above.
+ (__formatter_chrono::_M_r, __formatter_chrono::_M_x)
+ (__formatter_chrono::_M_X): Removed.
+ * testsuite/std/time/format/pr117214.cc: New tests for %r, %x,
+ %X with date, time and durations.
+
2025-06-30 Tomasz Kamiński <tkami...@redhat.com>
Backported from master:
