gcc/testsuite/gnat.dg/test_oalign.adb

   1 -- { dg-do run }
   2
   3 with System.Storage_Elements; use System.Storage_Elements;
   4 with Oalign1, Oalign2; use Oalign1, Oalign2;
   5
   6 procedure Test_Oalign is
   7 begin
   8    if Klunk1'Address mod Klunk1'Alignment /= 0 then
   9       raise Program_Error;
  10    end if;
  11    if Klunk2'Address mod Klunk2'Alignment /= 0 then
  12       raise Program_Error;
  13    end if;
  14 end;