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


1
2
3
4
5
6
7
8

with Ada.Finalization;
package asynch is
   type t_ctrl is new Ada.Finalization.Controlled with record
      stuff : Natural := 0;
   end record;
   
   function null_ctrl return t_ctrl;
end asynch;