gcc/testsuite/gnat.dg/opt57_pkg.ads

   1 with System.Storage_Pools; use System.Storage_Pools;
   2
   3 with Ada.Finalization; use Ada.Finalization;
   4
   5 package Opt57_Pkg is
   6
   7    type GC_Pool is abstract new Root_Storage_Pool with null record;
   8
   9    type Pinned (Pool : access GC_Pool'Class) is new Controlled with null record;
  10
  11    procedure Finalize (X : in out Pinned);
  12
  13 end Opt57_Pkg;