1-- { dg-do compile }
2-- { dg-options "-O" }
3
4package body Thin_Pointer1 is
5
6   procedure Set_Buffer (AD : Buf_Ptr; Buffer : Stream_ptr) is
7   begin
8      AD.B.A := Buffer (Buffer'First)'Address;
9   end Set_Buffer;
10
11end Thin_Pointer1;
12