gcc/testsuite/gnat.dg/noreturn4_pkg.ads

   1 with Ada.Finalization; use Ada.Finalization;
   2
   3 package Noreturn4_Pkg is
   4
   5   type Priv is private;
   6   function It return Priv;
   7   function Value (Obj : Priv) return Integer;
   8   function OK (Obj : Priv) return Boolean;
   9
  10 private
  11   type Priv is new Controlled with record
  12      Value : Integer := 15;
  13   end record;
  14
  15   procedure Adjust   (Obj : in out Priv);
  16   procedure Finalize (Obj : in out Priv);
  17
  18 end Noreturn4_Pkg;