1 files changed, 16 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/access3.adb b/gcc/testsuite/gnat.dg/access3.adb
new file mode 100644
index 000000000..db109b3d2
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/access3.adb
@@ -0,0 +1,16 @@
+
+package body access3 is
+   
+   type IT_Access is not null access all IT'Class;
+   for IT_Access'Storage_Size use 0;
+   
+   procedure Op
+     (Obj_T2 : in out T2;
+      Obj_IT : not null access IT'Class)
+   is 
+      X : constant IT_Access := Obj_IT.all'Unchecked_Access;
+   begin
+      null;
+   end Op;
+
+end access3;