Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gnat.dg/expr_func6.ads @ 152:2b5abeee2509
update gcc11
author | anatofuz |
---|---|
date | Mon, 25 May 2020 07:50:57 +0900 |
parents | 84e7813d76e9 |
children |
line wrap: on
line source
pragma Assertion_Policy (Check); package Expr_Func6 is type Monolean is (Nottrue); function Basic_Function return Monolean; function Fancy_Function_With_Contract return Boolean with Pre => Basic_Function = Nottrue; function Fancy_Function_With_Contract return Boolean is (False); function Basic_Function return Monolean is (Nottrue); procedure Dummy; end Expr_Func6;