gcc/testsuite/gnat.dg/ghost6_pkg.ads

with Ada.Finalization;

package Ghost6_Pkg with
  Ghost
is
   type T is new Ada.Finalization.Controlled with null record;
end Ghost6_Pkg;