https://gcc.gnu.org/g:e0e93379fbadd90435fc7306f4af573f6a9554ff
commit r16-4135-ge0e93379fbadd90435fc7306f4af573f6a9554ff Author: GCC Administrator <[email protected]> Date: Tue Sep 30 00:21:09 2025 +0000 Daily bump. Diff: --- 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 7735e7b57c4e..c5ef3a27f88c 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20250929 +20250930 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 6320e3c09c3e..16653d21e55b 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,56 @@ +2025-09-29 Tonu Naks <[email protected]> + + * 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 <[email protected]> + + * 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 <[email protected]> + + * exp_util.adb (Attribute_Constrained_Static_Value): Special case + stand-alone objects for GNATprove. + +2025-09-29 Ronan Desplanques <[email protected]> + + * sem_ch3.adb (Process_Full_View): Fix error message. + +2025-09-29 Javier Miranda <[email protected]> + + * 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 <[email protected]> + + * 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 <[email protected]> + + * doc/gnat_rm/implementation_defined_pragmas.rst: update + rules for pragmas affected by assertion levels. + * gnat_rm.texi: Regenerate. + +2025-09-29 Viljar Indus <[email protected]> + + * ghost.adb (Check_Procedure_Call_Policies): Update the check + between the levels of the argument and the call. + 2025-09-23 Bob Duff <[email protected]> * exp_ch6.adb (Prepend_Constructor_Procedure_Prologue): diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 78e0edee54d8..a4c4a17edf77 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2025-09-29 YunQiang Su <[email protected]> + + * gcc.target/mips/pr99217-2.c: New test. + 2025-09-28 liuhongt <[email protected]> * gcc.target/i386/pieces-memcmp-2.c: Remove mstore-max.
