From: Olivier Hainque <hainque@adacore.com>
Date: Fri, 31 Aug 2007 07:17:34 +0000 (+0000)
Subject: test_oalign.adb, [...]: New test.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b3abeb576db89aa71b91048920b2872afc86e238;p=gcc.git

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
---

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;