gcc/testsuite/gnat.dg/bit_packed_array2.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-gnatws" }
   3
   4 procedure 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
  13 begin
  14
  15   if (not((not b1) or (not b2))) /= res then
  16     null;
  17   end if;
  18
  19 end;