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