|
-- { dg-do run }
|
|
|
|
with Aggr21_Pkg; use Aggr21_Pkg;
|
|
|
|
procedure Aggr21 is
|
|
V : Rec;
|
|
begin
|
|
V.A := 12;
|
|
V.S (1 .. 10) := "Hello init";
|
|
V.N := 123;
|
|
Init (V);
|
|
-- Probably not reliable, but the compiler is supposed not to modify V.S
|
|
pragma Assert (V.s (1 .. 5) = "Hello");
|
|
end;
|