gcc/testsuite/gnat.dg/discr31.ads

   1 package Discr31 is
   2
   3    type Byte_List_Type is array(Positive range <>) of Integer;
   4
   5    type Log_Item_Type(Last : Natural) is record
   6       Data : Byte_List_Type(1 .. Last) := (others => 0);
   7       Link : Natural := 0;
   8    end record;
   9
  10    type Packet_Data_Type is access Log_Item_Type;
  11
  12    function Log_Item(Packet : in Packet_Data_Type) return Log_Item_Type;
  13
  14 end Discr31;