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