gcc/testsuite/gnat.dg/expr_func6.ads

   1 pragma Assertion_Policy (Check);
   2
   3 package Expr_Func6 is
   4
   5    type Monolean is (Nottrue);
   6
   7    function Basic_Function return Monolean;
   8    function Fancy_Function_With_Contract return Boolean
   9      with Pre => Basic_Function = Nottrue;
  10
  11    function Fancy_Function_With_Contract return Boolean is (False);
  12
  13    function Basic_Function return Monolean is (Nottrue);
  14
  15    procedure Dummy;
  16
  17 end Expr_Func6;