gcc-4.9/gcc/testsuite/gnat.dg/controlled5_pkg.ads


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

with Ada.Finalization; use Ada.Finalization;

package Controlled5_Pkg is

   type Root is tagged private;

   type Inner is new Ada.Finalization.Controlled with null record;

   type T_Root_Class is access all Root'Class;

   function Dummy (I : Integer) return Root'Class;

private

   type Root is tagged record
      F2 : Inner;
   end record;

end Controlled5_Pkg;