Daily bump.

diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 7735e7b57c4e0a51795cb29ac028fdf64dde4f83..c5ef3a27f88c74ceb8f6e760cfdab6d1678003c1 100644 (file)
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20250929
+20250930

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 6320e3c09c3ed49778b309123dd5a97602c21ae2..16653d21e55b8d65ba086cc0bb5adb8769ee0cae 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,56 @@
+2025-09-29  Tonu Naks  <naks@adacore.com>
+
+       * doc/gnat_rm/implementation_advice.rst: PolyORB
+       * doc/gnat_rm/implementation_defined_characteristics.rst: PolyORB
+       * doc/gnat_rm/implementation_defined_pragmas.rst: ASIS
+       * doc/gnat_rm/obsolescent_features.rst: PolyORB
+       * doc/gnat_rm/specialized_needs_annexes.rst: PolyORB
+       * doc/gnat_rm/the_gnat_library.rst: PolyORB
+       * doc/gnat_ugn/building_executable_programs_with_gnat.rst: ASIS
+       * gnat_rm.texi: Regenerate.
+       * gnat_ugn.texi: Regenerate.
+
+2025-09-29  Piotr Trojanek  <trojanek@adacore.com>
+
+       * sem_prag.adb (Analyze_Pre_Post_Condition): Handle contracts on
+       generic formal subprograms like on declarations of access-to-subprogram
+       types.
+
+2025-09-29  Piotr Trojanek  <trojanek@adacore.com>
+
+       * exp_util.adb (Attribute_Constrained_Static_Value): Special case
+       stand-alone objects for GNATprove.
+
+2025-09-29  Ronan Desplanques  <desplanques@adacore.com>
+
+       * sem_ch3.adb (Process_Full_View): Fix error message.
+
+2025-09-29  Javier Miranda  <miranda@adacore.com>
+
+       * aspects.adb (Get_Aspect_Id): Return No_Aspect for Unsigned_Base_Range
+       name.
+       * sem_prag.adb (Analyze_Pragma): Disable pragma Unsigned_Base_Range.
+       * par-ch4.adb (Scan_Apostrophe): Disable attribute Unsigned_Base_Range.
+       * doc/gnat_rm/gnat_language_extensions.rst: Remove documentation
+       of aspect unsigned base range.
+       * gnat_rm.texi: Regenerate.
+
+2025-09-29  Ghjuvan Lacambre  <lacambre@adacore.com>
+
+       * exp_ch6.adb (Validate_Subprogram_Calls): Do not Check_Calls in CodePeer_Mode.
+       (Check_Calls): Remove CodePeer_Mode special case.
+
+2025-09-29  Viljar Indus  <indus@adacore.com>
+
+       * doc/gnat_rm/implementation_defined_pragmas.rst: update
+       rules for pragmas affected by assertion levels.
+       * gnat_rm.texi: Regenerate.
+
+2025-09-29  Viljar Indus  <indus@adacore.com>
+
+       * ghost.adb (Check_Procedure_Call_Policies): Update the check
+       between the levels of the argument and the call.
+
 2025-09-23  Bob Duff  <duff@adacore.com>
 
        * exp_ch6.adb (Prepend_Constructor_Procedure_Prologue):

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 78e0edee54d8cb6adb456031ba32272558279ba0..a4c4a17edf775880942be77b0c05a3381f6f3ad1 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2025-09-29  YunQiang Su  <yunqiang@isrc.iscas.ac.cn>
+
+       * gcc.target/mips/pr99217-2.c: New test.
+
 2025-09-28  liuhongt  <hongtao.liu@intel.com>
 
        * gcc.target/i386/pieces-memcmp-2.c: Remove mstore-max.