aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/alignment12.adb
blob: 0992913250ec95f414a8a792e0cc886ddae05c88 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
-- { dg-do run }
-- { dg-options "-gnatws" }

procedure Alignment12 is

  type Rec is record
    I : Integer;
  end record;

  R : Rec;
  for R'Alignment use 8;

begin
  if R'Size /= 32 then
    raise Program_Error;
  end if;
end;