5 procedure frame_overflow is
7 type Bitpos_Range_T is range 1..2**(System.Word_Size-1)-1;
8 type Bitmap_Array_T is array (Bitpos_Range_T) of Boolean;
10 type Bitmap_T is record
11 Bits : Bitmap_Array_T := (others => False);
14 function -- { dg-error "too large" }
15 Set_In (Bitmap : Bitmap_T; Bitpos : Bitpos_Range_T) return Bitmap_T
17 Result: Bitmap_T := Bitmap; -- { dg-error "Storage_Error" }
19 Result.Bits (Bitpos) := True;
23 function Negate (Bitmap : Bitmap_T) return Bitmap_T is
24 Result: Bitmap_T; -- { dg-error "Storage_Error" }
26 for E in Bitpos_Range_T loop
27 Result.Bits (E) := not Bitmap.Bits (E);