From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Plenty of unnecessary contraint tests (Was: Size code Ada and C)
Date: 1998/07/09
Date: 1998-07-09T00:00:00+00:00 [thread overview]
Message-ID: <dewar.900036273@merv> (raw)
In-Reply-To: slrn6q9dnh.9o.pfk@schnecke.offl.uni-jena.de
Frank said
<<Array index boundary checking is always a good idea, because out-of-boundary
write access is a very bad idea.
>>
No, that's wrong. If you are writing certified code in which deactivated
code is not permitted, then it may not be feasible to add such checks, and
is certainly not desirable.
Incidentally, I can't begin to duplicate the assembly output you are
getting from GNAT, but probably that is because you are using an obsolete
version.
next prev parent reply other threads:[~1998-07-09 0:00 UTC|newest]
Thread overview: 23+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <35921271.E51E36DF@aonix.fr>
[not found] ` <3598358A.73FF35CC@pipeline.com>
[not found] ` <dewar.899298949@merv>
1998-07-03 0:00 ` Performance Ada and C, was Re: Size code Ada and C Van Snyder
1998-07-03 0:00 ` Performance " Markus Kuhn
1998-07-03 0:00 ` Robert Dewar
1998-07-03 0:00 ` Markus Kuhn
1998-07-04 0:00 ` ak
1998-07-07 0:00 ` Frank Klemm
1998-07-13 0:00 ` Daren Scot Wilson
[not found] ` <m3zpf1tyr8.fsf@zaphod.enst.fr>
[not found] ` <6mtiv0$9j3@gcsin3.geccs.gecm.com>
[not found] ` <dewar.898962846@merv>
[not found] ` <6n7jut$al0$1@nnrp1.dejanews.com>
[not found] ` <6navqt$shc$1@goanna.cs.rmit.edu.au>
[not found] ` <359A53E2.41C6@lanl.gov>
[not found] ` <dewar.899334821@merv>
[not found] ` <6nfp0v$dgl@gcsin3.geccs.gecm.com>
1998-07-02 0:00 ` Ariane 5 failure (Was: Size code Ada and C) Jean-Pierre Rosen
1998-07-03 0:00 ` robin
1998-07-02 0:00 ` William Clodius
1998-07-09 0:00 ` Plenty of unnecessary contraint tests " Frank Klemm
1998-07-09 0:00 ` Robert Dewar [this message]
1998-07-10 0:00 ` Frank Klemm
1998-07-10 0:00 ` Ariane 5 failure " Dale Stanbrough
1998-07-10 0:00 ` John McCabe
1998-07-10 0:00 ` Pat Rogers
1998-07-10 0:00 ` Frank Klemm
1998-07-10 0:00 ` Plenty of unnecessary contraint tests " Robert S. White
[not found] ` <6n8393$hoi$2@platane.wanadoo.fr>
[not found] ` <6n84im$79q@gcsin3.geccs.gecm.com>
[not found] ` <m3u35470ds.fsf@zaphod.enst.fr>
[not found] ` <6n8b7u$9hm@gcsin3.geccs.gecm.com>
[not found] ` <m3vhpk5f0d.fsf@zaphod.enst.fr>
[not found] ` <3597db2d.1017430@news.demon.co.uk>
[not found] ` <EACHUS.98Jun30173656@spectre.mitre.org>
1998-07-03 0:00 ` Size code Ada and C John McCabe
1998-07-03 0:00 ` Larry Elmore
1998-07-03 0:00 ` John McCabe
1998-07-07 0:00 ` Robert I. Eachus
[not found] ` <dewar.899298821@merv>
1998-07-07 0:00 ` Robert I. Eachus
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox