gcc/testsuite/gnat.dg/finalized.adb


1
2
3
4
5
6
7
8
9

-- { dg-do compile }

with Ada.Finalization; use Ada.Finalization;
procedure finalized is
   type Rec is new Controlled with null record;
   Obj : access Rec := new Rec'(Controlled with null record);
begin
   null;
end;