@@ -802,12 +802,17 @@ package body Sem_Ch8 is
null;
-- If a record is limited its size is invariant. This is the case
- -- in particular with record types with an access discirminant
+ -- in particular with record types with an access discriminant
-- that are used in iterators. This is an optimization, but it
-- also prevents typing anomalies when the prefix is further
- -- expanded. Limited types with discriminants are included.
-
- elsif Is_Limited_Record (Typ)
+ -- expanded. This also applies to limited types with access
+ -- discriminants.
+ -- Note that we cannot just use the Is_Limited_Record flag because
+ -- it does not apply to records with limited components, for which
+ -- this syntactic flag is not set, but whose size is also fixed.
+
+ elsif (Is_Record_Type (Typ)
+ and then Is_Limited_Type (Typ))
or else
(Ekind (Typ) = E_Limited_Private_Type
and then Has_Discriminants (Typ)
new file mode 100644
@@ -0,0 +1,11 @@
+-- { dg-do run }
+
+with Limited3_Pkg; use Limited3_Pkg;
+
+procedure Limited3 is
+ R1 : Rec := F (15);
+ R2 : Rec := F (-1);
+ R3 : Var_Rec := FS (20);
+begin
+ null;
+end Limited3;
new file mode 100644
@@ -0,0 +1,20 @@
+package body Limited3_Pkg is
+ function F (I : Integer) return Rec is
+ begin
+ return (D => False, I => I);
+ end;
+
+ function FS (X : Integer) return Var_Rec is
+ begin
+ return (X, (1..X => '?'), Tag => <>);
+ end FS;
+
+ function F2 (I : Integer) return Rec2 is
+ begin
+ if I > 0 then
+ return (D => False, I => I);
+ else
+ return (D => True, L => new Limited_Rec);
+ end if;
+ end;
+end Limited3_Pkg;
new file mode 100644
@@ -0,0 +1,30 @@
+package Limited3_Pkg is
+
+ type Limited_Rec is limited
+ null record;
+
+ type Var_Rec (X : Integer) is record
+ Name : String (1 .. X);
+ Tag : Limited_Rec;
+ end record;
+
+ type Rec (D : Boolean := True) is record
+ case D is
+ when True => L : Limited_Rec;
+ when False => I : Integer;
+ end case;
+ end record;
+
+ function F (I : Integer) return Rec;
+
+ function FS (X : Integer) return Var_Rec;
+
+ type Rec2 (D : Boolean := True) is record
+ case D is
+ when True => L : access Limited_Rec;
+ when False => I : Integer;
+ end case;
+ end record;
+
+ function F2 (I : Integer) return Rec2;
+end Limited3_Pkg;