gcc/testsuite/gnat.dg/opt21_pkg.ads

   1 with System;
   2
   3 package Opt21_Pkg is
   4
   5    type R is record
   6       Ptr : System.Address := System.Null_Address;
   7    end record;
   8
   9    type Obj is access all R;
  10
  11    function Get_Object (Object : not null access R) return System.Address;
  12
  13    function Convert (W : Obj) return System.Address;
  14
  15 end Opt21_Pkg;