gcc/testsuite/gnat.dg/subp_inst_pkg.adb

   1 with Ada.Unchecked_Conversion;
   2 with System.Address_Image;
   3 package body Subp_Inst_Pkg is
   4
   5    function Image (Val : T_Access) return String is
   6       function Convert is new Ada.Unchecked_Conversion
   7          (T_Access, System.Address);
   8    begin
   9       return System.Address_Image (Convert (Val));
  10    end Image;
  11
  12    function T_Image (Val : access T) return String is
  13       type T_Access is access all T;
  14       function Convert is new Ada.Unchecked_Conversion
  15          (T_Access, System.Address);
  16    begin
  17       return System.Address_Image (Convert (Val));
  18    end T_Image;
  19
  20 end Subp_Inst_Pkg;