gcc-4.9/gcc/testsuite/gnat.dg/opt21_pkg.ads


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

with System;

package Opt21_Pkg is

   type R is record
      Ptr : System.Address := System.Null_Address;
   end record;

   type Obj is access all R;

   function Get_Object (Object : not null access R) return System.Address;

   function Convert (W : Obj) return System.Address;

end Opt21_Pkg;