summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/frame_overflow.ads
blob: 898e37a67d1781f54273db0a4f32662b7a8c59e2 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
with System;

package Frame_Overflow is

   type Bitpos_Range_T is range 1..2**(System.Word_Size-1)-1;
   type Bitmap_Array_T is array (Bitpos_Range_T) of Boolean;

   type Bitmap_T is record
      Bits : Bitmap_Array_T := (others => False);
   end record;

   function
     Set_In (Bitmap : Bitmap_T; Bitpos : Bitpos_Range_T)  return Bitmap_T;

   function Negate (Bitmap : Bitmap_T) return Bitmap_T;

end Frame_Overflow;