gcc/testsuite/gnat.dg/thin_pointer.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O" }
   3
   4 package body Thin_Pointer 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
  11 end Thin_Pointer;