gcc/testsuite/gnat.dg/frame_overflow.ads

   1 with System;
   2
   3 package Frame_Overflow is
   4
   5    type Bitpos_Range_T is range 1..2**(System.Word_Size-1)-1;
   6    type Bitmap_Array_T is array (Bitpos_Range_T) of Boolean;
   7
   8    type Bitmap_T is record
   9       Bits : Bitmap_Array_T := (others => False);
  10    end record;
  11
  12    function
  13      Set_In (Bitmap : Bitmap_T; Bitpos : Bitpos_Range_T)  return Bitmap_T;
  14
  15    function Negate (Bitmap : Bitmap_T) return Bitmap_T;
  16
  17 end Frame_Overflow;