gcc/testsuite/gnat.dg/expr_func3.ads


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

package Expr_Func3 is

   type Obj_T is abstract tagged null record;

   type T is access all Obj_T'Class;

   function Slave (Obj : access Obj_T) return T is (T(Obj));

   function Optional_Slave (Obj : T) return T;

   procedure Dummy;

private

   function Optional_Slave (Obj : T) return T is
    (if Obj = null then null else Slave (Obj));

end Expr_Func3;