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-Thread: 103376,c4cb2c432feebd9d
X-Google-Thread: 1094ba,c4cb2c432feebd9d
X-Google-Attributes: gid103376,gid1094ba,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news4.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local01.nntp.dca.giganews.com!nntp.comcast.com!news.comcast.com.POSTED!not-for-mail
NNTP-Posting-Date: Fri, 26 May 2006 15:27:02 -0500
Date: Fri, 26 May 2006 13:27:33 -0700
From: glen herrmannsfeldt <gah@ugcs.caltech.edu>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US;
 rv:1.4) Gecko/20030624 Netscape/7.1 (ax)
X-Accept-Language: en-us, en
MIME-Version: 1.0
Newsgroups: comp.lang.ada,comp.lang.fortran
Subject: Re: Bounds Check Overhead
References: <mubcg.13522$fb2.853@newssvr27.news.prodigy.net>
 <epcs4e.qb8.ln@hunter.axlog.fr> <tHkcg.6937$kR6.484@trnddc05>
 <0ugu4e.4i7.ln@hunter.axlog.fr>
 <PkHcg.90575$Fs1.7198@bgtnsc05-news.ops.worldnet.att.net>
 <To_cg.10095$S7.4017@news-server.bigpond.net.au>
 <%P_cg.155733$eR6.26337@bgtnsc04-news.ops.worldnet.att.net>
 <6H9dg.10258$S7.9150@news-server.bigpond.net.au>
 <XVadg.76594$_S7.45873@newssvr14.news.prodigy.com>
 <1hfv5wb.1x4ab1tbdzk7eN%nospam@see.signature>
 <pan.2006.05.25.12.11.52.919554@linuxchip.demon.co.uk.uk.uk>
 <4475DA61.3080001@comcast.net> <m2mzd569l9.fsf@grendel.local>
 <44762F55.4050106@cits1.stanford.edu> <87hd3d1472.fsf@ludovic-brenta.org>
 <1hfxsjh.t88mchrssv9cN%nospam@see.signature>
In-Reply-To: <1hfxsjh.t88mchrssv9cN%nospam@see.signature>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <88ydnd5tT58L-erZRVn-pg@comcast.com>
NNTP-Posting-Host: 24.18.174.4
X-Trace: 
 sv3-wkhO/3QuMLkfE1ywtD8RCbMVkgH9ERHJpJ0Ak8qrklDRdGX3Gh97FEPVinF/iaPnSpSaWgRUq7SvL/j!UwQEXINGeQ3vSfWKNkL35ugf2OC/9cIYMhBQw2T7HRng05eevXsjSAkiM9/Lz9V1d+L/
X-Complaints-To: abuse@comcast.net
X-DMCA-Complaints-To: dmca@comcast.net
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint
 properly
X-Postfilter: 1.3.32
Xref: g2news2.google.com comp.lang.ada:4518 comp.lang.fortran:10318
Date: 2006-05-26T13:27:33-07:00
List-Id: <comp.lang.ada>

Richard Maine wrote:

(snip)
> Likewise almost all compilers have the capability of detecting
> most array bounds violations. That one tends to be mostly done at
> run-time (some simple cases are caught at compile-time, but that's not
> the usual cases),

I was not so long ago working on a Fortran program with the ever popular
dimension (1) assumed size arrays.  (I believe it was written in 1990.)
It seems the IBM XLF compiler, even with runtime bounds checking off, 
does compile time bounds checking.  A constant subscript of 2 is not 
allowed with an assumed size array dimensioned (1).

-- glen