https://gcc.gnu.org/g:62724eaf59b9a888cc27a4b1f9364ee4c5c5dbff
commit r15-9809-g62724eaf59b9a888cc27a4b1f9364ee4c5c5dbff
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date: Tue Jun 10 00:25:21 2025 +0000
Daily bump.
Diff:
---
gcc/DATESTAMP | 2 +-
gcc/ada/ChangeLog | 51 +++++++++++++++++++++++++++++++++++++++++++++++++
gcc/cp/ChangeLog | 16 ++++++++++++++++
gcc/testsuite/ChangeLog | 13 +++++++++++++
4 files changed, 81 insertions(+), 1 deletion(-)
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index d0f154b4f060..52988ae3b03d 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20250609
+20250610
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 1f32f1e05eab..b275a5cd50e8 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,54 @@
+2025-06-09 Gary Dismukes <dismu...@adacore.com>
+
+ * sem_ch3.adb (Constrain_Index): In the case of a fixed-lower-bound
index,
+ set Etype of the newly created itype's Scalar_Range from the index's
Etype.
+ * sem_ch12.adb (Validate_Array_Type_Instance): If the actual subtype is
+ a fixed-lower-bound type, then check again the Etype of its
Scalar_Range.
+
+2025-06-09 Piotr Trojanek <troja...@adacore.com>
+
+ * sem_prag.adb (Analyze_Pragma): Fix conditions for legality checks on
+ formal type declarations.
+
+2025-06-09 Piotr Trojanek <troja...@adacore.com>
+
+ * sem_prag.adb (Analyze_Pragma): If pragmas apply to a formal array
+ type, then set the flags on the base type.
+
+2025-06-09 Gary Dismukes <dismu...@adacore.com>
+
+ * exp_aggr.adb (Expand_Container_Aggregate): Use the Base_Type of the
+ subtype provided by the context as the subtype of the temporary object
+ initialized by the aggregate.
+
+2025-06-09 Piotr Trojanek <troja...@adacore.com>
+
+ * exp_attr.adb (Expand_N_Attribute_Reference): When expanding attribute
+ Valid, use signedness from the validated view, not from its base type.
+
+2025-06-09 Gary Dismukes <dismu...@adacore.com>
+
+ * contracts.adb (Inherit_Condition): Remove Assoc_List and its uses
+ along with function Check_Condition, since mapping of formals will
+ effectively be done in Build_Class_Wide_Expression (by Replace_Entity).
+ * exp_util.adb (Replace_Entity): Only rewrite entity references in
+ function calls that qualify according to the result of calling the
+ new function Call_To_Parent_Dispatching_Op_Must_Be_Mapped.
+ (Call_To_Parent_Dispatching_Op_Must_Be_Mapped): New function that
+ determines whether a function call to a primitive of Par_Subp
+ associated tagged type needs to be mapped (according to whether
+ it has any actuals that reference controlling formals of the
+ primitive).
+
+2025-06-09 Eric Botcazou <ebotca...@adacore.com>
+
+ * exp_ch4.adb (Insert_Conditional_Object_Declaration): Remove Decl
+ formal parameter, add Typ and Const formal parameters.
+ (Expand_N_Case_Expression): Fix pasto in comment. Adjust call to
+ Insert_Conditional_Object_Declaration and tidy up surrounding code.
+ (Expand_N_If_Expression): Adjust couple of calls to
+ Insert_Conditional_Object_Declaration.
+
2025-06-06 Javier Miranda <mira...@adacore.com>
* sem_ch4.adb (Constant_Indexing_OK): Add missing support for
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 25343398e4b7..db696c13e409 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,19 @@
+2025-06-09 Jason Merrill <ja...@redhat.com>
+
+ Backported from master:
+ 2025-06-06 Jason Merrill <ja...@redhat.com>
+
+ PR c++/120555
+ * decl2.cc (fn_being_defined, fn_template_being_defined): New.
+ (mark_used): Check fn_template_being_defined.
+
+2025-06-09 Jason Merrill <ja...@redhat.com>
+
+ PR c++/120502
+ * cp-gimplify.cc (cp_fold_r) [TARGET_EXPR]: Do constexpr evaluation
+ before genericize.
+ * constexpr.cc (cxx_eval_store_expression): Add comment.
+
2025-06-02 Jason Merrill <ja...@redhat.com>
PR c++/120123
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index dede78931d7a..400828793292 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,16 @@
+2025-06-09 Jason Merrill <ja...@redhat.com>
+
+ Backported from master:
+ 2025-06-06 Jason Merrill <ja...@redhat.com>
+
+ PR c++/120555
+ * g++.dg/cpp1z/constexpr-if39.C: New test.
+
+2025-06-09 Jason Merrill <ja...@redhat.com>
+
+ PR c++/120502
+ * g++.dg/cpp2a/constexpr-prvalue2.C: New test.
+
2025-06-06 Richard Biener <rguent...@suse.de>
Backported from master:
