gcc/testsuite/gnat.dg/aggr21.adb

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