https://gcc.gnu.org/g:69eb1716b884f6213aef30194390d7741af97c80
commit r15-9797-g69eb1716b884f6213aef30194390d7741af97c80
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date: Sat Jun 7 00:25:44 2025 +0000
Daily bump.
Diff:
---
gcc/ChangeLog | 95 +++++++++++++++++++++++++++++++++++++++++++++++++
gcc/DATESTAMP | 2 +-
gcc/ada/ChangeLog | 61 +++++++++++++++++++++++++++++++
gcc/testsuite/ChangeLog | 62 ++++++++++++++++++++++++++++++++
libstdc++-v3/ChangeLog | 19 ++++++++++
5 files changed, 238 insertions(+), 1 deletion(-)
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index d11e9f19c7af..e4f3f94cc79d 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,98 @@
+2025-06-06 Tobias Burnus <tbur...@baylibre.com>
+
+ Backported from master:
+ 2025-06-05 Tobias Burnus <tbur...@baylibre.com>
+
+ * config.gcc (--with-{arch,tune}): Use .def file to validate gcn
+ processor names.
+ * doc/install.texi (amdgcn*-*-*): Update list of devices supported
+ by --with-arch/--with-tune.
+
+2025-06-06 Richard Biener <rguent...@suse.de>
+
+ Backported from master:
+ 2025-05-31 Richard Biener <rguent...@suse.de>
+
+ PR tree-optimization/120357
+ * tree-vect-loop.cc (vect_create_epilog_for_reduction): Create
+ the conditional reduction induction IV increment before the
+ main IV exit.
+
+2025-06-06 Richard Biener <rguent...@suse.de>
+
+ Backported from master:
+ 2025-05-30 Richard Biener <rguent...@suse.de>
+
+ PR tree-optimization/120341
+ * tree-ssa-loop-im.cc (can_sm_ref_p): STRING_CSTs are readonly.
+ * tree-ssa-phiopt.cc (cond_store_replacement): Likewise.
+
+2025-06-06 Richard Biener <rguent...@suse.de>
+
+ Backported from master:
+ 2025-05-09 Richard Biener <rguent...@suse.de>
+
+ PR rtl-optimization/120182
+ * dse.cc (canon_address): Constant addresses have no
+ separate store group.
+
+2025-06-06 Richard Biener <rguent...@suse.de>
+
+ Backported from master:
+ 2025-04-30 Richard Biener <rguent...@suse.de>
+
+ PR tree-optimization/120003
+ * tree-ssa-threadbackward.cc (back_threader::find_paths_to_names):
+ Allow block re-use but do not enlarge the path beyond such a
+ re-use.
+
+2025-06-06 Richard Biener <rguent...@suse.de>
+
+ Backported from master:
+ 2025-05-09 Richard Biener <rguent...@suse.de>
+
+ PR tree-optimization/119960
+ * tree-vect-slp.cc (vect_slp_can_convert_to_external):
+ Handle cases where defs from multiple BBs are ordered
+ by their dominance relation.
+
+2025-06-06 Richard Biener <rguent...@suse.de>
+
+ Backported from master:
+ 2025-05-08 Richard Biener <rguent...@suse.de>
+
+ PR tree-optimization/116352
+ * tree-vect-slp.cc (vect_build_slp_tree_2): When compressing
+ operands from a two-operator node make sure the resulting
+ operation does not mix defs from different basic-blocks.
+
+2025-06-06 Richard Biener <rguent...@suse.de>
+
+ Backported from master:
+ 2025-04-30 Richard Biener <rguent...@suse.de>
+
+ PR tree-optimization/119960
+ * tree-vect-slp.cc (vect_schedule_slp_node): Sanity
+ check dominance check on operand defs.
+
+2025-06-06 Richard Biener <rguent...@suse.de>
+
+ Backported from master:
+ 2025-04-30 Richard Biener <rguent...@suse.de>
+
+ * tree-vectorizer.h (get_later_stmt): Robustify against
+ stmts in different BBs, assert when they are unordered.
+
+2025-06-06 Richard Biener <rguent...@suse.de>
+
+ Backported from master:
+ 2025-05-15 Richard Biener <rguent...@suse.de>
+
+ * config/i386/i386.cc (ix86_vector_costs::finish_cost):
+ Do not suggest a first epilogue mode for AVX512 sized
+ main loops with X86_TUNE_AVX512_TWO_EPILOGUES as that
+ interferes with using a masked epilogue.
+
2025-06-05 Eric Botcazou <ebotca...@adacore.com>
* tree-vect-data-refs.cc (vect_can_force_dr_alignment_p): Return
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index c6de4e349988..a3a91b55b0f5 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20250606
+20250607
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 331a8abd31f2..1f32f1e05eab 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,64 @@
+2025-06-06 Javier Miranda <mira...@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 Eric Botcazou <ebotca...@adacore.com>
+
+ * sem_ch10.adb (Install_Siblings.In_Context): Add missing guard.
+
+2025-06-06 Eric Botcazou <ebotca...@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 Steve Baird <ba...@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 Eric Botcazou <ebotca...@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 <troja...@adacore.com>
+
+ * checks.adb (Insert_Valid_Check): Set flag Assignment_OK in the object
+ declaration inserted for the validity checks.
+
2025-06-05 Javier Miranda <mira...@adacore.com>
* exp_ch7.adb (Process_Object_Declaration): Avoid generating
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 1175523cfcd0..dede78931d7a 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,65 @@
+2025-06-06 Richard Biener <rguent...@suse.de>
+
+ Backported from master:
+ 2025-05-31 Richard Biener <rguent...@suse.de>
+
+ PR tree-optimization/120357
+ * gcc.dg/vect/vect-early-break_136-pr120357.c: New testcase.
+
+2025-06-06 Richard Biener <rguent...@suse.de>
+
+ Backported from master:
+ 2025-05-30 Richard Biener <rguent...@suse.de>
+
+ PR tree-optimization/120341
+ * gcc.dg/torture/pr120341-1.c: New testcase.
+ * gcc.dg/torture/pr120341-2.c: Likewise.
+
+2025-06-06 Richard Biener <rguent...@suse.de>
+
+ Backported from master:
+ 2025-05-09 Richard Biener <rguent...@suse.de>
+
+ PR rtl-optimization/120182
+ * gcc.dg/torture/pr120182.c: New testcase.
+
+2025-06-06 Richard Biener <rguent...@suse.de>
+
+ Backported from master:
+ 2025-05-01 Richard Biener <rguent...@suse.de>
+
+ PR tree-optimization/120003
+ * gcc.dg/tree-ssa/ssa-dom-thread-7.c: Adjust aarch64 expected
+ thread2 number of threads.
+
+2025-06-06 Richard Biener <rguent...@suse.de>
+
+ Backported from master:
+ 2025-04-30 Richard Biener <rguent...@suse.de>
+
+ PR tree-optimization/120003
+ * gcc.dg/tree-ssa/ssa-thread-23.c: New testcase.
+ * gcc.dg/tree-ssa/ssa-dom-thread-7.c: Adjust.
+
+2025-06-06 Richard Biener <rguent...@suse.de>
+
+ Backported from master:
+ 2025-05-09 Richard Biener <rguent...@suse.de>
+
+ PR tree-optimization/119960
+ * gcc.dg/vect/bb-slp-pr119960-1.c: New testcase.
+
+2025-06-06 Richard Biener <rguent...@suse.de>
+
+ Backported from master:
+ 2025-05-15 Richard Biener <rguent...@suse.de>
+
+ * gcc.target/i386/vect-epilogues-1.c: New testcase.
+ * gcc.target/i386/vect-epilogues-2.c: Likewise.
+ * gcc.target/i386/vect-epilogues-3.c: Likewise.
+ * gcc.target/i386/vect-epilogues-4.c: Likewise.
+ * gcc.target/i386/vect-epilogues-5.c: Likewise.
+
2025-06-05 Eric Botcazou <ebotca...@adacore.com>
* gnat.dg/specs/opt7.ads: New test.
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 4dfe958e86ac..838f13d31c80 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,22 @@
+2025-06-06 Patrick Palka <ppa...@redhat.com>
+
+ Backported from master:
+ 2025-06-06 Patrick Palka <ppa...@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 Tomasz Kamiński <tkami...@redhat.com>
+
+ Backported from master:
+ 2025-06-04 Tomasz Kamiński <tkami...@redhat.com>
+
+ * include/bits/chrono_io.h (__formatter_chrono:_M_s): Add missing
+ __out argument to format_to call.
+
2025-06-01 Patrick Palka <ppa...@redhat.com>
Backported from master:
