From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!eu.feeder.erje.net!feeder.erje.net!us.feeder.erje.net!nntp.club.cc.cmu.edu!micro-heart-of-gold.mit.edu!newsswitch.lcs.mit.edu!nntp.TheWorld.com!.POSTED!not-for-mail
From: Robert A Duff <bobduff@shell01.TheWorld.com>
Newsgroups: comp.lang.ada
Subject: Re: Differences between Ada 83 and other revisions
Date: Sun, 16 Feb 2014 09:13:26 -0500
Organization: The World Public Access UNIX, Brookline, MA
Message-ID: <wcczjlrjgc9.fsf@shell01.TheWorld.com>
References: <19ac8735-7a9c-429f-a111-a1b3c4b0985b@googlegroups.com>
 <bm4ll9Fjs95U1@mid.individual.net>
 <3872de7d-2df4-4ddb-8348-45eb03b3588e@googlegroups.com>
 <bm4tirFlj8gU1@mid.individual.net>
 <6aca36a4-cd78-4098-a1f7-646cb37cd14d@googlegroups.com>
 <a2f5ae62-cc3f-4cfb-ac78-b3ec0eae1c4a@googlegroups.com>
NNTP-Posting-Host: shell01.theworld.com
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: pcls7.std.com 1392560010 28741 192.74.137.71 (16 Feb 2014 14:13:30
 GMT)
X-Complaints-To: abuse@TheWorld.com
NNTP-Posting-Date: Sun, 16 Feb 2014 14:13:30 +0000 (UTC)
User-Agent: Gnus/5.1008 (Gnus v5.10.8) Emacs/21.3 (irix)
Cancel-Lock: sha1:8vjYN7Aalejyi+DsuNyMZjY64lY=
Xref: news.eternal-september.org comp.lang.ada:18611
Date: 2014-02-16T09:13:26-05:00
List-Id: <comp.lang.ada>

Martin <martin@thedowies.com> writes:

> 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.

On the bright side, Ada doesn't have very many unsafe features,
and mostly allows them to be avoided and/or encapsulated.
Compare with C, where every array indexing operation is unsafe.

- Bob