gcc/testsuite/gnat.dg/wide_boolean_pkg.ads

   1 package Wide_Boolean_Pkg is
   2
   3    type TBOOL is new BOOLEAN;
   4    for  TBOOL use (FALSE => 0, TRUE => 1);
   5    for  TBOOL'SIZE use 8;
   6
   7    type TUINT32 is mod (2 ** 32);
   8    for  TUINT32'SIZE use 32;
   9
  10    type TREC is
  11       record
  12          H : TUINT32;
  13          B : TBOOL;
  14       end record;
  15    for TREC use
  16       record
  17          H at 0 range 0..31;
  18          B at 4 range 0..31;
  19       end record;
  20
  21    procedure Modify (LH : in out TUINT32; LB : in out TBOOL);
  22    pragma export(C, Modify, "Modify");
  23
  24 end Wide_Boolean_Pkg;