Daily bump.

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index aa994d0aa4b5084702e20182bd5aa1519466e9c3..ae3d6eb465c8524227f558afcdc2186409943964 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,19 @@
+2025-07-01  Jakub Jelinek  <jakub@redhat.com>
+
+       Backported from master:
+       2025-07-01  Jakub Jelinek  <jakub@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  <ebotcazou@adacore.com>
 
        * gimple-fold.cc (fold_const_aggregate_ref_1) <COMPONENT_REF>:

diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index ac92899c88845b7d22cd59671f20db9582f0247b..46e9463b4271bbe17d4efa4b2a9d3e94731bdefd 100644 (file)
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20250701
+20250702

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index bdbce9736f65c1632c55aba9ae503a566525d257..037a0b4797220a08029fa44f9e6010c3580cd142 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,77 @@
+2025-07-01  Eric Botcazou  <ebotcazou@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  <dismukes@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  <dismukes@adacore.com>
+
+       * sem_ch3.adb (Constrain_Corresponding_Record): Inherit Class_Wide_Type on the
+       created constrained subtype.
+
+2025-07-01  Eric Botcazou  <ebotcazou@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  <ebotcazou@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  <miranda@adacore.com>
+
+       * sem_ch4.adb (Try_Object_Operation): Handle mutably tagged
+       class-wide type prefix.
+
+2025-07-01  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * exp_util.adb (Finalize_Address): Do not go to the root type for
+       array types.
+
+2025-07-01  Eric Botcazou  <ebotcazou@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  <ebotcazou@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  <duff@adacore.com>
 
        * exp_attr.adb (Attribute_Max_Size_In_Storage_Elements):

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index db696c13e40974148b543dc990eafec670b9e0a5..9b32452ed5765656daa44d95eda2f0651be3b497 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,16 @@
+2025-07-01  Jakub Jelinek  <jakub@redhat.com>
+
+       Backported from master:
+       2025-07-01  Jakub Jelinek  <jakub@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  <jason@redhat.com>
 
        Backported from master:

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index dc7b23ccaef75744ce429a3b88cd59d1a74fca59..4d4102b4a303aa186d03e11c3504a4655ba4dc81 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,58 @@
+2025-07-01  Jakub Jelinek  <jakub@redhat.com>
+
+       Backported from master:
+       2025-07-01  Jakub Jelinek  <jakub@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  <ebotcazou@adacore.com>
+
+       * gnat.dg/specs/finalizable2.ads: New test.
+
+2025-07-01  Jakub Jelinek  <jakub@redhat.com>
+
+       Backported from master:
+       2025-07-01  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/120471
+       * g++.dg/ubsan/pr120471.C: New test.
+       * g++.dg/parse/pr120471.C: New test.
+
+2025-07-01  Jakub Jelinek  <jakub@redhat.com>
+
+       Backported from master:
+       2025-07-01  Jakub Jelinek  <jakub@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  <jakub@redhat.com>
+
+       Backported from master:
+       2025-07-01  Jakub Jelinek  <jakub@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  <jakub@redhat.com>
+
+       Backported from master:
+       2025-07-01  Jakub Jelinek  <jakub@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  <ebotcazou@adacore.com>
 
        * gnat.dg/concat6.adb: New test.

diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 59cbe6e14f349a078bf98bfda8578e5db1898557..fef02b1fe671740c19241ad0b52196e640082e1a 100644 (file)
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,18 @@
+2025-07-01  Tomasz Kamiński  <tkaminsk@redhat.com>
+
+       Backported from master:
+       2025-06-13  Tomasz Kamiński  <tkaminsk@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  <tkaminsk@redhat.com>
 
        Backported from master: