Re: GNAT bug with assertions

[Jacob Sparre Andersen <jacob@jacob-sparre.dk>]

AdaMagica wrote:

> I would have expected that predicates are also checked on return
> values as they are checked on parameters.  In the following test, no
> exception is raised on call of funcction Wrong although it returns a
> value not fulfilling the predicate.
>
> Is this a GNAT bug or my wrong expectation?

It seems that your expectations are slightly off.

Contracts are only checked if the assertion policy is set to "Check".
You can do that, either by configuring your compiler to have the
assertion policy set to "Check", or by explicitly inserting:

   pragma Assertion_Policy (Check);

at the beginning of the units, which should have this assertion policy.

If I remember correctly, setting the assertion policy of a package
specification to "Check" means that the contracts of the subprograms
specified in the package are checked, even if they are called from a
unit with assertion policy "Ignore".

Greetings,

Jacob
-- 
Computers are not intelligent.  They only think they are.