gcc/testsuite/gnat.dg/small_alignment.adb

   1 -- { dg-do run }
   2 -- { dg-options "-gnatws" }
   3
   4 procedure Small_Alignment is
   5
   6   type My_Integer is new Integer;
   7   for My_Integer'Alignment use 1;
   8
   9   function Set_A return My_Integer is
  10   begin
  11     return 12;
  12   end;
  13
  14   function Set_B return My_Integer is
  15   begin
  16     return 6;
  17   end;
  18
  19   C : Character;
  20   A : My_Integer := Set_A;
  21   B : My_Integer := Set_B;
  22
  23 begin
  24   A := A * B / 2;
  25   if A /= 36 then
  26     raise Program_Error;
  27   end if;
  28 end;