1 2 3 4 5 6 7 8 9 10 11 12 13
-- { dg-do compile } -- { dg-options "-gnatD" } with System; with Ada.Unchecked_Conversion; procedure gnatg is subtype 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;