gcc/testsuite/gnat.dg/thin_pointer1.adb

-- { 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;