1 files changed, 8 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/check1.adb b/gcc/testsuite/gnat.dg/check1.adb
new file mode 100644
index 000000000..f3d32333c
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/check1.adb
@@ -0,0 +1,8 @@
+-- { dg-do compile }
+
+package body Check1 is
+   function FD (X : access R) return P2 is
+   begin
+      return P2 (X.Disc);
+   end FD;
+end Check1;