diff options
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/oalign1.ads | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/oalign2.ads | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/test_oalign.adb | 14 |
4 files changed, 28 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index f3d9fd7a417..b5624830ed7 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2007-08-31 Olivier Hainque <hainque@adacore.com> + + * gnat.dg/test_oalign.adb, oalign[12].ads: New test. + 2007-08-31 David Edelsohn <edelsohn@gnu.org> Revital Eres <eres@il.ibm.com> diff --git a/gcc/testsuite/gnat.dg/oalign1.ads b/gcc/testsuite/gnat.dg/oalign1.ads new file mode 100644 index 00000000000..26fec130edd --- /dev/null +++ b/gcc/testsuite/gnat.dg/oalign1.ads @@ -0,0 +1,5 @@ + +package Oalign1 is + Klunk1 : Integer := 12; + for Klunk1'Alignment use Standard'Maximum_Alignment; +end; diff --git a/gcc/testsuite/gnat.dg/oalign2.ads b/gcc/testsuite/gnat.dg/oalign2.ads new file mode 100644 index 00000000000..abe4aca275f --- /dev/null +++ b/gcc/testsuite/gnat.dg/oalign2.ads @@ -0,0 +1,5 @@ + +package Oalign2 is + Klunk2 : Integer := 12; + for Klunk2'Alignment use Standard'Maximum_Alignment; +end; diff --git a/gcc/testsuite/gnat.dg/test_oalign.adb b/gcc/testsuite/gnat.dg/test_oalign.adb new file mode 100644 index 00000000000..5ad0111c92f --- /dev/null +++ b/gcc/testsuite/gnat.dg/test_oalign.adb @@ -0,0 +1,14 @@ +-- { dg-do run } + +with System.Storage_Elements; use System.Storage_Elements; +with Oalign1, Oalign2; use Oalign1, Oalign2; + +procedure Test_Oalign is +begin + if Klunk1'Address mod Klunk1'Alignment /= 0 then + raise Program_Error; + end if; + if Klunk2'Address mod Klunk2'Alignment /= 0 then + raise Program_Error; + end if; +end; |
