New test.

From-SVN: r150825

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 853d3f04314d93254b70cb46b8b00a9b83bf5f7b..d97ba8c504184891dc3ff4639a0dafe61649dd9f 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2009-08-17  Arnaud Charlet  <charlet@adacore.com>
+
+       * gnat.dg/itype.ad[sb]: New test.
+
 2009-08-16  Adam Nemet  <anemet@caviumnetworks.com>
 
        * gcc.target/mips/mips.exp: Add terminology section to comment

diff --git a/gcc/testsuite/gnat.dg/itype.adb b/gcc/testsuite/gnat.dg/itype.adb
new file mode 100644 (file)
index 0000000..848bda4
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/itype.adb
@@ -0,0 +1,8 @@
+package body itype is
+   function G return not null access constant T is
+      X : aliased T;
+   
+   begin
+      return X'Unchecked_Access;
+   end G;
+end itype;

diff --git a/gcc/testsuite/gnat.dg/itype.ads b/gcc/testsuite/gnat.dg/itype.ads
new file mode 100644 (file)
index 0000000..3ffb7c6
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/itype.ads
@@ -0,0 +1,5 @@
+package itype is
+   generic
+      type T is private;
+   function G return not null access constant T;
+end itype;