gcc/testsuite/gnat.dg/opt21_pkg.adb

   1 package body Opt21_Pkg is
   2
   3    function Get_Object (Object : not null access R) return System.Address is
   4    begin
   5       return Object.Ptr;
   6    end;
   7
   8    function Convert (W : Obj) return System.Address is
   9    begin
  10       if W = null then
  11          return System.Null_Address;
  12       else
  13          return Get_Object (W);
  14       end if;
  15    end;
  16
  17 end Opt21_Pkg;