1-- { dg-do compile }
2-- { dg-options "-gnatws" }
3
4procedure Bit_Packed_Array2 is
5
6  type Bit_Array is array (integer range <>) of Boolean;
7  pragma Pack(Bit_Array);
8
9  b1  : Bit_Array(1..64);
10  b2  : Bit_array(1..64);
11  res : Bit_array(1..64);
12
13begin
14
15  if (not((not b1) or (not b2))) /= res then
16    null;
17  end if;
18
19end;
20