gcc/testsuite/gnat.dg/specs/aggr6.ads

   1 -- { dg-do compile }
   2
   3 package Aggr6 is
   4
   5   type B15_T is mod 2 ** 15;
   6   for B15_T'Size use 15;
   7   for B15_T'Alignment use 1;
   8
   9   type B17_T is mod 2 ** 17;
  10   for B17_T'Size use 17;
  11   for B17_T'Alignment use 1;
  12
  13   type Rec_T is record
  14     A : B17_T;
  15     B : B15_T;
  16   end record;
  17   for Rec_T use record
  18     A at 0 range 0 .. 16;
  19     B at 0 range 17 .. 31;
  20   end record;
  21   for Rec_T'Size use 32;
  22
  23   C : constant Rec_T := (A => 1, B => 0);
  24
  25 end Aggr6;