1 files changed, 13 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/deref2.ads b/gcc/testsuite/gnat.dg/deref2.ads
new file mode 100644
index 000000000..84d509f91
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/deref2.ads
@@ -0,0 +1,13 @@
+with deref1;
+package deref2 is
+   type NT is tagged limited private;
+   
+   function PT_View (Obj : not null access NT)
+     return not null access deref1.T'Class;
+private
+   type PT (Obj : not null access NT) is new deref1.T with null record;
+   
+   type NT is tagged limited record
+      PT_View : aliased PT (NT'Access);
+   end record;
+end;