gcc/testsuite/gnat.dg/finalized.adb

   1 -- { dg-do compile }
   2
   3 with Ada.Finalization; use Ada.Finalization;
   4 procedure finalized is
   5    type Rec is new Controlled with null record;
   6    Obj : access Rec := new Rec'(Controlled with null record);
   7 begin
   8    null;
   9 end;