gcc-4.9/gcc/testsuite/gnat.dg/specs/limited_with4_pkg.ads


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

-- { dg-do compile }
-- { dg-options "-gnat12 -gnatct" }

limited with Limited_With4;

package Limited_With4_Pkg is

   type Object is tagged null record;
   type Object_Ref is access all Object;
   type Class_Ref is access all Object'Class;

   function Func return Limited_With4.Class_Ref;
   procedure Proc (Arg : Limited_With4.Class_Ref);

end Limited_With4_Pkg;