https://gcc.gnu.org/g:f5bacaa3dd8b66ac13517b9fa3c3a253d4001c5e
commit r16-1947-gf5bacaa3dd8b66ac13517b9fa3c3a253d4001c5e
Author: Piotr Trojanek <troja...@adacore.com>
Date: Wed Jun 11 00:20:13 2025 +0200
ada: Adjust message about statically compatible result subtype
Ada RM 6.5(5.3/5) is about "result SUBTYPE of the function", while the error
message was saying "result TYPE of the function". Now use the exact RM
wording
in the error message for this rule.
gcc/ada/ChangeLog:
* sem_ch3.adb (Check_Return_Subtype_Indication): Adjust error
message
to match the RM wording.
Diff:
---
gcc/ada/sem_ch3.adb | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb
index 0afc65da52c3..98a8fa563919 100644
--- a/gcc/ada/sem_ch3.adb
+++ b/gcc/ada/sem_ch3.adb
@@ -4297,7 +4297,7 @@ package body Sem_Ch3 is
then
Error_Msg_N
("result subtype must be statically compatible with the " &
- "function result type", Indic);
+ "function result subtype", Indic);
if not Predicates_Compatible (Obj_Typ, R_Typ) then
Error_Msg_NE
