OSDN Git Service

PR ada/38394
authorebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 24 May 2010 21:43:31 +0000 (21:43 +0000)
committerebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 24 May 2010 21:43:31 +0000 (21:43 +0000)
* gnat.dg/array13.ad[sb]: New test.

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

gcc/testsuite/ChangeLog
gcc/testsuite/gnat.dg/array13.adb [new file with mode: 0644]
gcc/testsuite/gnat.dg/array13.ads [new file with mode: 0644]

index de8bb6e..8fd1fd5 100644 (file)
@@ -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 (file)
index 0000000..245d40a
--- /dev/null
@@ -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 (file)
index 0000000..0d0a8df
--- /dev/null
@@ -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;