gcc/testsuite/gnat.dg/alignment1.adb

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