gcc/testsuite/gnat.dg/thin_pointer.ads

   1 with System;
   2
   3 package Thin_Pointer is
   4
   5    type Stream is array (Integer range <>) of Character;
   6
   7    type Stream_Ptr is access Stream;
   8    for Stream_Ptr'Size use Standard'Address_Size;
   9
  10    type Buf is record
  11       A : System.Address;
  12    end record;
  13
  14    type Buf_Wrapper is record
  15       B : Buf;
  16    end record;
  17
  18    type Buf_Ptr is access Buf_Wrapper;
  19
  20    procedure Set_Buffer (AD : Buf_Ptr; Buffer : Stream_ptr);
  21
  22 end Thin_Pointer;