aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorArnaud Charlet <charlet@adacore.com>2008-05-23 14:35:05 +0000
committerArnaud Charlet <charlet@gcc.gnu.org>2008-05-23 16:35:05 +0200
commit430b2815a3ef5f81bc860582f2f32eebbd4ee9cb (patch)
tree7dabb5042a33ad028a9000bfcb24f6468427898c
parentd1ba4e42b6b82cae6c192a00bcc674daad6b4c96 (diff)
downloadgcc-430b2815a3ef5f81bc860582f2f32eebbd4ee9cb.zip
gcc-430b2815a3ef5f81bc860582f2f32eebbd4ee9cb.tar.gz
gcc-430b2815a3ef5f81bc860582f2f32eebbd4ee9cb.tar.bz2
* gnat.dg/addr_slice.adb: New test.
From-SVN: r135814
-rw-r--r--gcc/testsuite/ChangeLog4
-rw-r--r--gcc/testsuite/gnat.dg/addr_slice.adb19
2 files changed, 23 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 9397bb5..7fedaf1 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2008-05-23 Arnaud Charlet <charlet@adacore.com>
+
+ * gnat.dg/addr_slice.adb: New test.
+
2008-05-23 Jakub Jelinek <jakub@redhat.com>
PR c++/36237
diff --git a/gcc/testsuite/gnat.dg/addr_slice.adb b/gcc/testsuite/gnat.dg/addr_slice.adb
new file mode 100644
index 0000000..2506148
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/addr_slice.adb
@@ -0,0 +1,19 @@
+-- { dg-do compile }
+-- { dg-options "-gnatws" }
+
+procedure Addr_Slice is
+ type Item_Type is record
+ I : Integer;
+ end record;
+
+ type Index_Type is (A, B);
+ for Index_Type use (A => 1, B => 10);
+
+ Item_Array : constant array (Index_Type) of Item_Type
+ := (A => (I => 10), B => (I => 22));
+
+ Item : Item_Type;
+ for Item'Address use Item_Array(Index_Type)'Address;
+begin
+ null;
+end;