gcc/testsuite/gnat.dg/alignment1.adb


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

-- { dg-do run }
-- { dg-options "-gnatws" }

procedure alignment1 is

  type My_Integer is record
    Element : Integer;
  end record;

  F : My_Integer;

begin
  if F'Alignment /= F.Element'Alignment then
    raise Program_Error;
  end if;
end;