1-- { dg-do run }
2-- { dg-options "-gnatws" }
3
4procedure Alignment12 is
5
6  type Rec is record
7    I : Integer;
8  end record;
9
10  R : Rec;
11  for R'Alignment use 8;
12
13begin
14  if R'Size /= 32 then
15    raise Program_Error;
16  end if;
17end;
18