gcc/testsuite/gnat.dg/gnatg.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-gnatD" }
   3
   4 with System;
   5 with Ada.Unchecked_Conversion;
   6 procedure gnatg is
   7    subtype Address is System.Address;
   8    type T is access procedure;
   9    function Cvt is new Ada.Unchecked_Conversion (Address, T);
  10    X : T;
  11 begin
  12    X := Cvt (Gnatg'Address);
  13 end gnatg;