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

   1 package Static_Initializer5_Pkg is
   2
   3    type Arr is array (Positive range <>) of Character;
   4
   5    type Buffer_Type (Length : Positive) is record
   6       Content : Arr (1 .. Length);
   7    end record;
   8
   9    type Buffer_Access is access Buffer_Type;
  10
  11    type Rec is tagged record
  12       Buffer : Buffer_Access;
  13    end record;
  14
  15    Null_Rec : constant Rec := (Buffer => null);
  16
  17 end Static_Initializer5_Pkg;