[COMMITTED] ada: Tune message for pre/post on access-to-subprogram in old Ada

Marc Poulhiès poulhies@adacore.com
Mon May 29 08:28:58 GMT 2023


From: Piotr Trojanek <trojanek@adacore.com>

Fix grammar in error message; make it consistent with a similar message
for pre/postcondition on formal subprogram.

gcc/ada/

	* sem_prag.adb (Analyze_Pre_Post_Condition): Tune error message.

Tested on x86_64-pc-linux-gnu, committed on master.

---
 gcc/ada/sem_prag.adb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb
index 88dacf5cc57..b74c60cd183 100644
--- a/gcc/ada/sem_prag.adb
+++ b/gcc/ada/sem_prag.adb
@@ -5245,7 +5245,7 @@ package body Sem_Prag is
          then
             if Ada_Version < Ada_2022 then
                Error_Msg_Ada_2022_Feature
-                 ("pre/postcondition access-to-subprogram", Loc);
+                 ("pre/postcondition on access-to-subprogram", Loc);
                raise Pragma_Exit;
             end if;
 
-- 
2.40.0



More information about the Gcc-patches mailing list