Re: C Interface example

[Maciej Sobczak <no.spam@no.spam.com>]

Randy Brukardt wrote:

> Anyway, the point is that if you just drop the result on the floor, the Ada
> compiler might be allowed to omit the call, too. So it is always best to use
> the result somehow. In this case, test it for null and do something
> explicit:
> 
>     if Result = null then
>         raise Internal_Error;
>     end if;
> 
> where Internal_Error is an appropriately defined exception.

What about:

pragma Assert(Result /= null);

It's shorter, looks more "serious" and uses optimistic positive logic 
instead of a negative one ("I'm alive!" instead of "Let's check whether 
I'm dead").

The only problem is that there is no choice of exception.

-- 
Maciej Sobczak : http://www.msobczak.com/
Programming    : http://www.msobczak.com/prog/