Daily bump.

diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index d0f154b4f060890df67c3ccfdcb40ff595437a6a..52988ae3b03d4b7f56a1bea9cf5d255ecf729c72 100644 (file)
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20250609
+20250610

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 1f32f1e05eabacc1e82d4943771658786399f2d4..b275a5cd50e8bf1ba68f8d5accf3e10d9d30260e 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,54 @@
+2025-06-09  Gary Dismukes  <dismukes@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  <trojanek@adacore.com>
+
+       * sem_prag.adb (Analyze_Pragma): Fix conditions for legality checks on
+       formal type declarations.
+
+2025-06-09  Piotr Trojanek  <trojanek@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  <dismukes@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  <trojanek@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  <dismukes@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  <ebotcazou@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  <miranda@adacore.com>
 
        * sem_ch4.adb (Constant_Indexing_OK): Add missing support for

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 25343398e4b79276511e329d261ca8b30e16dc88..db696c13e40974148b543dc990eafec670b9e0a5 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,19 @@
+2025-06-09  Jason Merrill  <jason@redhat.com>
+
+       Backported from master:
+       2025-06-06  Jason Merrill  <jason@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  <jason@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  <jason@redhat.com>
 
        PR c++/120123

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index dede78931d7aaf793c9bbf151bd70b793fed4c19..400828793292a66db8a6553349b1c66bca9f1c96 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,16 @@
+2025-06-09  Jason Merrill  <jason@redhat.com>
+
+       Backported from master:
+       2025-06-06  Jason Merrill  <jason@redhat.com>
+
+       PR c++/120555
+       * g++.dg/cpp1z/constexpr-if39.C: New test.
+
+2025-06-09  Jason Merrill  <jason@redhat.com>
+
+       PR c++/120502
+       * g++.dg/cpp2a/constexpr-prvalue2.C: New test.
+
 2025-06-06  Richard Biener  <rguenther@suse.de>
 
        Backported from master: