1-- { dg-do run }
2-- { dg-options "-gnatws" }
3
4procedure alignment1 is
5
6  type My_Integer is record
7    Element : Integer;
8  end record;
9
10  F : My_Integer;
11
12begin
13  if F'Alignment /= F.Element'Alignment then
14    raise Program_Error;
15  end if;
16end;
17