1-- { dg-do run }
2-- { dg-options "-gnatws" }
3
4procedure Alignment9 is
5
6  type Kind is (Small, Large);
7  for Kind'Size use 8;
8
9  type Header is
10    record
11      K : Kind;
12      I : Integer;
13    end record;
14
15  for Header use
16    record
17      K at 4 range 0..7;
18      I at 0 range 0..31;
19    end record;
20
21  for Header'Size use 5*8;
22  for Header'Alignment use 1;
23
24  H : Header;
25
26begin
27  if H'Size /= 40 then
28    raise Program_Error;
29  end if;
30end;
31