gcc/testsuite/gnat.dg/controlled5_pkg.ads

   1 with Ada.Finalization; use Ada.Finalization;
   2
   3 package Controlled5_Pkg is
   4
   5    type Root is tagged private;
   6
   7    type Inner is new Ada.Finalization.Controlled with null record;
   8
   9    type T_Root_Class is access all Root'Class;
  10
  11    function Dummy (I : Integer) return Root'Class;
  12
  13 private
  14
  15    type Root is tagged record
  16       F2 : Inner;
  17    end record;
  18
  19 end Controlled5_Pkg;