gcc/testsuite/gnat.dg/opt37.ads

   1 package Opt37 is
   2
   3    type T_Bit is range 0 .. 1;
   4    for T_Bit'Size use 1;
   5
   6    type Positive is range 0 .. (2 ** 31) - 1;
   7    type Unsigned32 is mod 2 ** 32;
   8
   9    subtype T_Bit_Count is Positive;
  10    subtype T_Bit_Index is T_Bit_Count range 1 .. T_Bit_Count'Last;
  11
  12    type T_Bit_Array is array (T_Bit_Count range <>) of T_Bit;
  13    pragma Pack (T_Bit_Array);
  14
  15    function Func (Bit_Array : in T_Bit_Array;
  16                   Bit_Index : in T_Bit_Index) return Positive;
  17
  18 end Opt37;