blob: d1ac22a70352670a4376511a8217d14fde1224b2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
-- { dg-do run }
procedure Pack25 is
type Bit is ('0', '1');
type Bit_Array is array (Natural range <>) of Bit;
pragma Pack (Bit_Array);
procedure Test (Bits : Bit_Array; Size : Natural) is
begin
if Bits (0 .. Size - 1)'Size /= Size then
raise Program_Error;
end if;
end;
A : Bit_Array (0 .. 127) := (others => '1');
begin
for X in A'First .. A'Last + 1 loop
Test (A, X);
end loop;
end;
|
