1 files changed, 11 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/thin_pointer1.adb b/gcc/testsuite/gnat.dg/thin_pointer1.adb
new file mode 100644
index 000000000..8bc586ee4
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/thin_pointer1.adb
@@ -0,0 +1,11 @@
+-- { dg-do compile }
+-- { dg-options "-O" }
+
+package body Thin_Pointer1 is
+
+   procedure Set_Buffer (AD : Buf_Ptr; Buffer : Stream_ptr) is
+   begin
+      AD.B.A := Buffer (Buffer'First)'Address;
+   end Set_Buffer;
+
+end Thin_Pointer1;