gcc/testsuite/gnat.dg/alignment11.adb

   1 -- { dg-do run }
   2 -- { dg-options "-gnatws" }
   3
   4 procedure Alignment11 is
   5
   6   type Arr is array (1 .. 3) of Character;
   7   for Arr'Alignment use 4;
   8
   9   A : Arr;
  10
  11 begin
  12   if A'Size /= 32 then
  13     raise Program_Error;
  14   end if;
  15 end;