diff options
| author | Olivier Hainque <hainque@adacore.com> | 2007-08-31 07:17:34 +0000 |
|---|---|---|
| committer | Olivier Hainque <hainque@gcc.gnu.org> | 2007-08-31 07:17:34 +0000 |
| commit | b3abeb576db89aa71b91048920b2872afc86e238 (patch) | |
| tree | 4169a43e5eb065de85fb2e6a0a4a0b8d9fa19f49 | |
| parent | 890f9edfff1fb106af3395b14e6f17caeb58ae3d (diff) | |
| download | gcc-b3abeb576db89aa71b91048920b2872afc86e238.zip gcc-b3abeb576db89aa71b91048920b2872afc86e238.tar.gz gcc-b3abeb576db89aa71b91048920b2872afc86e238.tar.bz2 | |
test_oalign.adb, [...]: New test.
2007-08-31 Olivier Hainque <hainque@adacore.com>
* gnat.dg/test_oalign.adb, oalign[12].ads: New test.
From-SVN: r127957
| -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 f3d9fd7..b562483 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 0000000..26fec13 --- /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 0000000..abe4aca --- /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 0000000..5ad0111 --- /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; |