gcc/testsuite/gnat.dg/finalized.adb

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