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,32cfbb718858528b
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-06-08 05:06:39 PST
Path: archiver1.google.com!postnews1.google.com!not-for-mail
From: dewar@gnat.com (Robert Dewar)
Newsgroups: comp.lang.ada
Subject: Re: Commercial C To Ada 95 compiler
Date: 8 Jun 2002 05:06:39 -0700
Organization: http://groups.google.com/
Message-ID: <5ee5b646.0206080406.416689fc@posting.google.com>
References: <dbc393a265e1307a9c6c5e2e9745faf1.86200@mygate.mailgate.org>
 <3D002D11.CC706952@adaworks.com> <ppIBFZ2aI1Vx@eisner.encompasserve.org>
 <4519e058.0206071148.9b87acf@posting.google.com>
 <3D0116F3.7254E263@despammed.com>
 <XIeM8.136874$ux5.183535@rwcrnsc51.ops.asp.att.net>
 <3D018106.6080004@worldnet.att.net>
NNTP-Posting-Host: 205.232.38.247
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: posting.google.com 1023537999 12180 127.0.0.1 (8 Jun 2002 12:06:39
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: 8 Jun 2002 12:06:39 GMT
Xref: archiver1.google.com comp.lang.ada:25521
Date: 2002-06-08T12:06:39+00:00
List-Id: <comp.lang.ada>

Jim Rogers <jimmaureenrogers@worldnet.att.net> wrote in message news:<3D018106.6080004@worldnet.att.net>...
> SteveD wrote:

> One simple example is indexing past the end of an array.
> C compilers simply will not catch this problem. Ada compilers will.

Indexing past the end of an array is definitely an error in C. Some cases
can be caught at compile time, others at run time.