gcc/testsuite/gnat.dg/array14_pkg.ads

   1 with System.Storage_Elements;
   2
   3 package Array14_Pkg is
   4
   5   package SSE renames System.Storage_Elements;
   6
   7   function Parity_Byte_Count return SSE.Storage_Count;
   8
   9   Length2 : constant SSE.Storage_Count := Parity_Byte_Count;
  10
  11   subtype Encoded_Index_Type2 is SSE.Storage_Count range 1 .. Length2;
  12   subtype Encoded_Type2 is SSE.Storage_Array (Encoded_Index_Type2'Range);
  13
  14   procedure Encode2 (Input : in Integer; Output : out Encoded_Type2);
  15
  16 end Array14_Pkg;