-- { dg-do compile }-- { dg-options "-gnatD" }with System;with Ada.Unchecked_Conversion;procedure gnatg issubtype Address is System.Address;type T is access procedure;function Cvt is new Ada.Unchecked_Conversion (Address, T);
X : T;begin
X := Cvt (Gnatg'Address);end gnatg;