gcc/testsuite/gnat.dg/bit_packed_array6_pkg.ads

   1 package Bit_Packed_Array6_Pkg is
   2
   3    type Project_Kind is
   4      (K_Configuration, K_Abstract,
   5       K_Standard, K_Library, K_Aggregate, K_Aggregate_Library);
   6
   7    type Projects_Kind is array (Project_Kind) of Boolean
   8      with Pack,
   9           Dynamic_Predicate => Projects_Kind /= (Project_Kind => False);
  10
  11    Everywhere : constant Projects_Kind := (others => True);
  12
  13 end Bit_Packed_Array6_Pkg;