gcc/testsuite/gnat.dg/thin_pointer1.ads


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

with System;

package Thin_Pointer1 is

   type Stream is array (Integer range <>) of Character;

   type Stream_Ptr is access Stream;
   for Stream_Ptr'Size use Standard'Address_Size;

   type Buf is record
      A : System.Address;
   end record;

   type Buf_Wrapper is record
      B : Buf;
   end record;

   type Buf_Ptr is access Buf_Wrapper;

   procedure Set_Buffer (AD : Buf_Ptr; Buffer : Stream_ptr);

end Thin_Pointer1;