gcc-4.8.3/gcc/testsuite/gnat.dg/noreturn4_pkg.ads


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

with Ada.Finalization; use Ada.Finalization;

package Noreturn4_Pkg is

  type Priv is private;
  function It return Priv;
  function Value (Obj : Priv) return Integer;
  function OK (Obj : Priv) return Boolean;

private
  type Priv is new Controlled with record
     Value : Integer := 15;
  end record;

  procedure Adjust   (Obj : in out Priv);
  procedure Finalize (Obj : in out Priv);

end Noreturn4_Pkg;