Mercurial > hg > CbC > CbC_gcc

view gcc/testsuite/gnat.dg/noreturn4_pkg.ads @ 140:4e440907fcbf

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
copy CbC goto flang in cfgexpand remove some CbC unnecessary code
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Wed, 14 Nov 2018 00:24:45 +0900
parents 04ced10e8804
children
line wrap: on
line source

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;