1-- { dg-do run }
2
3procedure Alignment10 is
4
5   type Short_T is mod 2 ** 16;
6   for Short_T'Size use 16;
7   for Short_T'Alignment use 1;
8
9   subtype Short_Sub_T is Short_T range 1000 .. 1005;
10
11   A : aliased Short_T := 1000;
12   B : Short_Sub_T;
13   for B'Address use A'Address;
14   pragma Import (Ada, B);
15
16begin
17  if B /= 1000 then
18    raise Program_Error;
19  end if;
20end;
21