From: Arnaud Charlet <charlet@adacore.com>
Date: Mon, 17 Aug 2009 09:30:32 +0000 (+0000)
Subject: New test.
X-Git-Tag: releases/gcc-4.5.0~3986
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=23532a924886d063e5e06479eb6bce63c2c8127b;p=thirdparty%2Fgcc.git

New test.

From-SVN: r150825
---

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 853d3f04314d..d97ba8c50418 100644
--- 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
index 000000000000..848bda4b6448
--- /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
index 000000000000..3ffb7c695dcc
--- /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;