* gnat.dg/access_discr2.adb: New test.
authorArnaud Charlet <charlet@adacore.com>
Tue, 5 Aug 2008 08:21:05 +0000 (08:21 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 5 Aug 2008 08:21:05 +0000 (10:21 +0200)
From-SVN: r138673

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

index 0041134..393a8d2 100644 (file)
@@ -1,3 +1,7 @@
+2008-08-04  Arnaud Charlet  <charlet@adacore.com>
+
+       * gnat.dg/access_discr2.adb: New test.
+
 2008-08-04  Richard Guenther  <rguenther@suse.de>
 
        PR middle-end/36691
diff --git a/gcc/testsuite/gnat.dg/access_discr2.adb b/gcc/testsuite/gnat.dg/access_discr2.adb
new file mode 100644 (file)
index 0000000..ceeeb46
--- /dev/null
@@ -0,0 +1,10 @@
+--  { dg-do run }
+
+procedure access_discr2 is
+   type X (I : not null access Integer) is tagged null record;
+   
+   I : aliased Integer := 8;
+   Y : X (I'Access);
+begin
+   null;
+end access_discr2;