https://gcc.gnu.org/g:29c0ace8b2d935e523af277049c5905342f3472c
commit r16-1946-g29c0ace8b2d935e523af277049c5905342f3472c
Author: Piotr Trojanek <troja...@adacore.com>
Date: Tue Jun 10 16:29:30 2025 +0200
ada: Fix constraint-related legality checks in extended return statements
Legality checks in extended return statements were (almost) literally
implementing the RM rules, but the when analyzing the return object
declaration
we replace the nominal subtype of that object with its constrained subtype.
(It is a bit odd to have such an expansion activity in analysis, but we
already
rely on this particular expansion in quite a few places).
gcc/ada/ChangeLog:
* sem_ch3.adb (Check_Return_Subtype_Indication): Use the nominal
subtype of a return object; literally implement the RM rule about
elementary types; check for static subtype compatibility both when
the subtype is given as a subtype mark and a subtype indication.
Diff:
---
gcc/ada/sem_ch3.adb | 16 ++++++++++++----
1 file changed, 12 insertions(+), 4 deletions(-)
diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb
index b4342af134e6..0afc65da52c3 100644
--- a/gcc/ada/sem_ch3.adb
+++ b/gcc/ada/sem_ch3.adb
@@ -4163,7 +4163,7 @@ package body Sem_Ch3 is
procedure Check_Return_Subtype_Indication (Obj_Decl : Node_Id) is
Obj_Id : constant Entity_Id := Defining_Identifier (Obj_Decl);
- Obj_Typ : constant Entity_Id := Etype (Obj_Id);
+ Obj_Typ : Entity_Id := Etype (Obj_Id);
Func_Id : constant Entity_Id := Return_Applies_To (Scope (Obj_Id));
R_Typ : constant Entity_Id := Etype (Func_Id);
Indic : constant Node_Id :=
@@ -4199,6 +4199,15 @@ package body Sem_Ch3 is
return;
end if;
+ -- The return object type could have been rewritten into a
+ -- constrained type, so for the legality checks that follow we need
+ -- to recover the nominal unconstrained type.
+
+ if Is_Constr_Subt_For_U_Nominal (Obj_Typ) then
+ Obj_Typ := Etype (Obj_Typ);
+ pragma Assert (not Is_Constrained (Obj_Typ));
+ end if;
+
-- "return access T" case; check that the return statement also has
-- "access T", and that the subtypes statically match:
-- if this is an access to subprogram the signatures must match.
@@ -4267,7 +4276,7 @@ package body Sem_Ch3 is
-- AI05-103: for elementary types, subtypes must statically match
- if Is_Constrained (R_Typ) or else Is_Access_Type (R_Typ) then
+ if Is_Elementary_Type (R_Typ) then
if not Subtypes_Statically_Match (Obj_Typ, R_Typ) then
Error_No_Match (Indic);
end if;
@@ -4283,8 +4292,7 @@ package body Sem_Ch3 is
-- code is expanded on the basis of the base type (see subprogram
-- Stream_Base_Type).
- elsif Nkind (Indic) = N_Subtype_Indication
- and then not Subtypes_Statically_Compatible (Obj_Typ, R_Typ)
+ elsif not Subtypes_Statically_Compatible (Obj_Typ, R_Typ)
and then not Is_TSS (Func_Id, TSS_Stream_Input)
then
Error_Msg_N
