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,a88e582de42cdc9b
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!wns14feed!worldnet.att.net!attbi_s21.POSTED!53ab2750!not-for-mail
From: "Jeffrey R. Carter" <spam.jrcarter.not@acm.nospam.org>
User-Agent: Thunderbird 2.0.0.9 (Windows/20071031)
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Bug in Ada (SuSe 10.2) ?
References: <0_mdna0iHpIsCifaRVnzvQA@telenor.com>
 <47ba9867$0$21892$4f793bc4@news.tdc.fi>
 	<dN2dndl3zoW5Oifa4p2dnAA@telenor.com>
 <dbe54d78-5bd2-4ad0-ab93-f00b099ae5a3@64g2000hsw.googlegroups.com>
 	<spCdnTyCKpCfvSHaRVnzvQA@telenor.com>
 <3a281192-2744-4110-9fc1-90c155c9436b@d4g2000prg.googlegroups.com>
 	<qm_uj.42460$yE1.36921@attbi_s21>
 <48277611-402f-4622-be05-6edddf6dd56a@o10g2000hsf.googlegroups.com>
In-Reply-To: 
 <48277611-402f-4622-be05-6edddf6dd56a@o10g2000hsf.googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <0E3vj.42830$yE1.34790@attbi_s21>
NNTP-Posting-Host: 12.201.97.213
X-Complaints-To: abuse@mchsi.com
X-Trace: attbi_s21 1203553916 12.201.97.213 (Thu, 21 Feb 2008 00:31:56 GMT)
NNTP-Posting-Date: Thu, 21 Feb 2008 00:31:56 GMT
Organization: AT&T ASP.att.net
Date: Thu, 21 Feb 2008 00:31:56 GMT
Xref: g2news1.google.com comp.lang.ada:19929
Date: 2008-02-21T00:31:56+00:00
List-Id: <comp.lang.ada>

Adam Beneschan wrote:
> 
> I'm not quite sure what this means, and what would have changed...
> There are definitely processors on which Ada is available for which
> integer overflow checks would add a significant execution penalty.
> (One processor I'm working with not only doesn't have the ability to
> fault on integer overflow, it doesn't even have a condition code
> status bit of any sort to indicate overflow.)  I guess I'm not sure
> what you mean by this.

I guess I could have been clearer. I meant on commonly used, current processors, 
and it may not be that the check is no longer expensive, but simply that it's 
not as expensive as it used to be. And I'm not an expert in these things.

> Well, if you're going to be pedantic, then even with those flags GNAT
> is not an Ada compiler, because I can give it Ada programs that it
> doesn't compile (not to mention non-Ada programs that it doesn't
> reject, and Ada programs that run incorrectly after GNAT compiles
> them).  And the same is doubtless true of any other compiler.  GNAT
> will not be an Ada compiler until they finally get the Last Bug out,
> which isn't going to happen because by the time they finally get Ada
> 2005 to be working 100% correctly, the Ada language will be up to Ada
> 2067 or so.
> 
> So maybe it's ridiculously pedantic to claim it's not Ada for that
> reason---but probably no moreso than for your reason.

I think there's quite a bit of difference between having (almost) all programs 
deliberately fail to implement the Ada semantics, and having an unintentional 
error in a compiler. The latter is trying to implement Ada; the former isn't. 
With its default options, GNAT is much more like the former than the latter.

-- 
Jeff Carter
"English bed-wetting types."
Monty Python & the Holy Grail
15