From: ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Mon, 24 May 2010 21:43:31 +0000 (+0000)
Subject: 	PR ada/38394
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=06c31dce20085b2932ccb4f013c35479e2396270;p=thirdparty%2Fgcc.git

	PR ada/38394
	* gnat.dg/array13.ad[sb]: New test.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@159798 138bc75d-0d04-0410-961f-82ee72b054a4
---

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index de8bb6e3cd63..8fd1fd585e08 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2010-05-24  Eric Botcazou  <ebotcazou@adacore.com>
+
+	PR ada/38394
+	* gnat.dg/array13.ad[sb]: New test.
+
 2010-05-24  Daniel Jacobowitz  <dan@codesourcery.com>
 	    Sandra Loosemore  <sandra@codesourcery.com>
 
diff --git a/gcc/testsuite/gnat.dg/array13.adb b/gcc/testsuite/gnat.dg/array13.adb
new file mode 100644
index 000000000000..245d40af245c
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/array13.adb
@@ -0,0 +1,14 @@
+-- PR ada/38394
+-- Reporter: Michael Völske <michael.voelske@medien.uni-weimar.de>
+
+-- { dg-do assemble }
+
+package body Array13 is
+
+   procedure Foo is
+      X, Y : T;
+   begin
+      null;
+   end;
+
+end Array13;
diff --git a/gcc/testsuite/gnat.dg/array13.ads b/gcc/testsuite/gnat.dg/array13.ads
new file mode 100644
index 000000000000..0d0a8df501b1
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/array13.ads
@@ -0,0 +1,13 @@
+package Array13 is
+
+   Max : Natural := 1;
+
+   type Arr is array (Natural range 0..Max) of Natural;
+
+   type T is record
+      A : Arr := (others => 0);
+   end record;
+
+   procedure Foo;
+
+end Array13;