Re: Differences between Ada 83 and other revisions

["J-P. Rosen" <rosen@adalog.fr>]

Le 16/02/2014 15:13, Robert A Duff a écrit :
>> But at least it spells out that it is potentially dangerous by being
>> > called 'Unchecked", like all the other 'Unchecked" parts of the
>> > language ...very easy to find!
> If only that were true.  I don't see any "unchecked" here:
> 
>     for X'Address use ...;
> 
>     X := ...;
> 
> It would be great if you could find all unsafe (i.e. potentially
> erroneous) code by searching for something like "unchecked".
> But alas.
But AdaControl can find every use of (instantiations of) Unchecked_*,
and all usages of 'Address, or only address clauses that refer to the
address of another object.

There needs to be a boundary between what is checked by the compiler and
what is best handled by external tools; you may not agree to where the
line has been drawn, but tools that can find unsafe features do exist!

-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr