gcc/testsuite/gnat.dg/specs/static_initializer5_pkg.ads


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

package Static_Initializer5_Pkg is

   type Arr is array (Positive range <>) of Character;

   type Buffer_Type (Length : Positive) is record
      Content : Arr (1 .. Length);
   end record;

   type Buffer_Access is access Buffer_Type;

   type Rec is tagged record
      Buffer : Buffer_Access;
   end record;

   Null_Rec : constant Rec := (Buffer => null);

end Static_Initializer5_Pkg;