gcc/testsuite/gnat.dg/alignment12.adb

   1 -- { dg-do run }
   2 -- { dg-options "-gnatws" }
   3
   4 procedure 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
  13 begin
  14   if R'Size /= 32 then
  15     raise Program_Error;
  16   end if;
  17 end;