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=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,28cd155693714664
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-06-18 01:52:14 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.vmunix.org!news2.euro.net!transit.news.xs4all.nl!not-for-mail
From: newsfraser@blancolioni.org
Newsgroups: comp.lang.ada
Subject: Re: Faulty languages and Liability
Date: 18 Jun 2002 10:53:44 +0200
Organization: XS4ALL Internet BV
Sender: fwilson@FWILSON
Message-ID: 
 <ulm9dufvr.fsf@FWILSON.i-did-not-set--mail-host-address--so-shoot-me>
References: <mailman.1024283823.12299.comp.lang.ada@ada.eu.org>
 <3D0DE5E2.5010904@mail.com> <27085883.0206171100.7f6f0c5e@posting.google.com>
 <3D0E461A.8050207@mail.com>
NNTP-Posting-Host: a80-126-24-12.adsl.xs4all.nl
X-Trace: news1.xs4all.nl 1024390332 9207 80.126.24.12 (18 Jun 2002 08:52:12
 GMT)
X-Complaints-To: abuse@xs4all.nl
NNTP-Posting-Date: 18 Jun 2002 08:52:12 GMT
X-Newsreader: Gnus v5.7/Emacs 20.7
Xref: archiver1.google.com comp.lang.ada:26216
Date: 2002-06-18T08:52:12+00:00
List-Id: <comp.lang.ada>

Hyman Rosen <hyrosen@mail.com> writes:

> I wonder why Ada compilers allow these checks to be turned off, then?

The run time checks are only part of the picture.  Many array bounds
violations simply can't happen, whether checks are on or not.
Get_Line can't write past the end of its string argument, for
example.  A loop over Array_Type'Range is always safe, and more
efficient than the equivalent C++ vector class because each access
doesn't need to be checked.

(btw, units are easy to do in Ada now :)

Fraser.