1 files changed, 22 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/thin_pointer1.ads b/gcc/testsuite/gnat.dg/thin_pointer1.ads
new file mode 100644
index 000000000..7332e84b7
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/thin_pointer1.ads
@@ -0,0 +1,22 @@
+with System;
+
+package Thin_Pointer1 is
+
+   type Stream is array (Integer range <>) of Character;
+
+   type Stream_Ptr is access Stream;
+   for Stream_Ptr'Size use Standard'Address_Size;
+
+   type Buf is record
+      A : System.Address;
+   end record;
+
+   type Buf_Wrapper is record
+      B : Buf;
+   end record;
+
+   type Buf_Ptr is access Buf_Wrapper;
+
+   procedure Set_Buffer (AD : Buf_Ptr; Buffer : Stream_ptr);
+
+end Thin_Pointer1;