1 files changed, 10 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/access_discr2.adb b/gcc/testsuite/gnat.dg/access_discr2.adb
new file mode 100644
index 000000000..ceeeb4645
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/access_discr2.adb
@@ -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;