From a67a5e0fa64df574dbbfd31e7c0e04386c83fec2 Mon Sep 17 00:00:00 2001 From: Piotr Trojanek Date: Thu, 20 Nov 2025 23:29:15 +0100 Subject: [PATCH] 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. --- 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 ae98ad6c98f..a3eeef9ae66 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. -- 2.47.3