From e0e93379fbadd90435fc7306f4af573f6a9554ff Mon Sep 17 00:00:00 2001 From: GCC Administrator Date: Tue, 30 Sep 2025 00:21:09 +0000 Subject: [PATCH] Daily bump. --- gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 53 +++++++++++++++++++++++++++++++++++++++++ gcc/testsuite/ChangeLog | 4 ++++ 3 files changed, 58 insertions(+), 1 deletion(-) diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 7735e7b57c4..c5ef3a27f88 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20250929 +20250930 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 6320e3c09c3..16653d21e55 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,56 @@ +2025-09-29 Tonu Naks + + * 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 + + * 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 + + * exp_util.adb (Attribute_Constrained_Static_Value): Special case + stand-alone objects for GNATprove. + +2025-09-29 Ronan Desplanques + + * sem_ch3.adb (Process_Full_View): Fix error message. + +2025-09-29 Javier Miranda + + * 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 + + * 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 + + * doc/gnat_rm/implementation_defined_pragmas.rst: update + rules for pragmas affected by assertion levels. + * gnat_rm.texi: Regenerate. + +2025-09-29 Viljar Indus + + * ghost.adb (Check_Procedure_Call_Policies): Update the check + between the levels of the argument and the call. + 2025-09-23 Bob Duff * exp_ch6.adb (Prepend_Constructor_Procedure_Prologue): diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 78e0edee54d..a4c4a17edf7 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2025-09-29 YunQiang Su + + * gcc.target/mips/pr99217-2.c: New test. + 2025-09-28 liuhongt * gcc.target/i386/pieces-memcmp-2.c: Remove mstore-max. -- 2.47.3