summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/specs/static_initializer5_pkg.ads
blob: 16a8f7277180c9c08382c26aea7a589172c83b3f (plain)
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;