https://gcc.gnu.org/g:a67a5e0fa64df574dbbfd31e7c0e04386c83fec2
commit r16-6608-ga67a5e0fa64df574dbbfd31e7c0e04386c83fec2 Author: Piotr Trojanek <[email protected]> Date: Thu Nov 20 23:29:15 2025 +0100 ada: Adjust SPARK RM rule numbers for new handling of Async_Writers A SPARK RM rule 7.1.2(14) about Async_Writes being implicitly initialized is now removed; adjust references to subsequent rules in comments. gcc/ada/ChangeLog: * sem_prag.adb (Analyze_Pragma): Adjust references in comments for pragma Side_Effects and Volatile_Function. Diff: --- gcc/ada/sem_prag.adb | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb index ae98ad6c98f7..a3eeef9ae66e 100644 --- a/gcc/ada/sem_prag.adb +++ b/gcc/ada/sem_prag.adb @@ -25782,7 +25782,7 @@ package body Sem_Prag is Add_Contract_Item (N, Spec_Id); -- A function with side effects cannot override a function without - -- side effects (SPARK RM 7.1.2(16)). Overriding checks are + -- side effects (SPARK RM 7.1.2(15)). Overriding checks are -- usually performed in New_Overloaded_Entity, however at -- that point the pragma has not been processed yet. @@ -28592,7 +28592,7 @@ package body Sem_Prag is Analyze_If_Present (Pragma_SPARK_Mode); -- A volatile function cannot override a non-volatile function - -- (SPARK RM 7.1.2(15)). Overriding checks are usually performed + -- (SPARK RM 7.1.2(14)). Overriding checks are usually performed -- in New_Overloaded_Entity, however at that point the pragma has -- not been processed yet.
