From: Eric Botcazou <ebotcazou@adacore.com>
Date: Tue, 1 Jul 2008 08:21:31 +0000 (+0000)
Subject: * gnat.dg/pack10.adb: New test.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ab652c72359fdd40b5a679e73802e377fe0aa824;p=gcc.git

* gnat.dg/pack10.adb: New test.

From-SVN: r137311
---

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 07999bd2384..b833faa44cb 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2008-07-01  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gnat.dg/pack10.adb: New test.
+
 2008-06-30  Andy Hutchinson  <hutchinsonandy@aim.com>
 
 	PR target/36598
diff --git a/gcc/testsuite/gnat.dg/pack10.adb b/gcc/testsuite/gnat.dg/pack10.adb
new file mode 100644
index 00000000000..945e404d2ec
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/pack10.adb
@@ -0,0 +1,34 @@
+-- { dg-do run }
+
+procedure Pack10 is
+
+  type U16 is mod 2**16;
+  type U8 is mod 2**8;
+
+  type R is record
+    A : U16;
+    B : U8;
+  end record;
+
+  type M is array (1..2) of R;
+  pragma Pack (M);
+  -- This size clause can actually be omitted
+  for M'Size use 48;
+
+  type R2 is record
+    C : M;
+    D : U8;
+  end record;
+  for R2 use record
+    C at 0 range 0 .. 24*2-1;
+  end record;
+
+  My_R2 : R2;
+
+begin
+  My_R2.D := 1;
+  My_R2.C(2).B := 0;
+  if My_R2.D /=1 then
+    raise Program_Error;
+  end if;
+end;