Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gnat.dg/noreturn4_pkg.ads @ 127:4c56639505ff
fix function.c and add CbC-example Makefile
author | mir3636 |
---|---|
date | Wed, 11 Apr 2018 18:46:58 +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;