3 with System; with Ada.Unchecked_Conversion;
5 type F_ACC is access function (Str : String) return String;
7 function Do_Something (V : F_Acc) return System.Address is
9 return System.Null_Address;
12 function BUG_1 (This : access Integer) return F_Acc is
17 function Unch is new Ada.Unchecked_Conversion (F_Acc, System.Address);
18 Func : System.Address := Unch (BUG_1 (null));
20 V : System.Address := Do_Something (BUG_1 (null));