Re: Selective suppression of warnings --- gnat on GNU/Linux

[Robert A Duff <bobduff@shell01.TheWorld.com>]

Jean-Pierre Rosen <rosen@adalog.fr> writes:

> Robert A Duff a �crit :
>> If that's true, then we must presume that the Pascal
>> programmer already made sure that calculations won't
>> overflow
> Sigh... I'm afraid you are over-optimistic here

Not really.  I didn't say "programmer made sure...",
I said we must presume they did.
Not because it's true, but because we have no
choice.

;-) ;-)

>> Or else there's a bug in the Pascal code,
>> and we're going to translate that into the same
>> bug in the Ada code.
> I agree that the translator can't do any better.
>
>>     type Pascal_Integer is range ...;
>>     subtype T is Pascal_Integer range A..B;
>> where the rangs of Pascal_Integer is chosen to
>> match the Pascal compiler -- obviously you have
>> to know something about the Pascal compiler.
> This is a good idea, and shows the Pascal legacy for the future maintainer.

- Bob