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,25aa3c7e1b59f7b5
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-01-11 17:12:00 PST
Path: 
 archiver1.google.com!news1.google.com!sn-xit-02!supernews.com!news.tele.dk!small.news.tele.dk!130.133.1.3!fu-berlin.de!uni-berlin.de!ppp-1-176.cvx1.telinco.NET!not-for-mail
From: "Nick Roberts" <nickroberts@adaos.worldonline.co.uk>
Newsgroups: comp.lang.ada
Subject: Re: A case where Ada defaults to unsafe?
Date: Fri, 11 Jan 2002 20:32:57 -0000
Message-ID: <a1o2gt$sfe3f$2@ID-25716.news.dfncis.de>
References: <mailman.1010234881.12215.comp.lang.ada@ada.eu.org>
 <PYj_7.7187$cD4.11072@www.newsranger.com> <3C39E62F.3020504@look.ca>
 <3C39E726.8000408@mail.com> <87advpdi0f.fsf@chiark.greenend.org.uk>
 <wccd70i3pc3.fsf@shell01.TheWorld.com>
 <slrna3s9ek.1lk.randhol+abuse@kiuk0156.chembio.ntnu.no>
 <wccn0zlu108.fsf@shell01.TheWorld.com>
NNTP-Posting-Host: ppp-1-176.cvx1.telinco.net (212.1.136.176)
X-Trace: fu-berlin.de 1010797917 29866095 212.1.136.176 (16 [25716])
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 5.50.4133.2400
X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4133.2400
Xref: archiver1.google.com comp.lang.ada:18804
Date: 2002-01-11T20:32:57+00:00
List-Id: <comp.lang.ada>

"Robert A Duff" <bobduff@shell01.TheWorld.com> wrote in message
news:wccn0zlu108.fsf@shell01.TheWorld.com...

> Preben Randhol <randhol+abuse@pvv.org> writes:
>
> > On Thu, 10 Jan 2002 20:47:56 GMT, Robert A Duff wrote:
> > > But replace "x + y < 4" with something that fails in some other way
(not
> > > overflow).  Then Hyman Rosen's point is correct: the compiler has to
> >                                                    ^^^^^^^^^^^
> > But as I see it is not relevant if the compiler has to do this, the
> > issue is if the machine code has to do this or not.
>
> OK.  The compiler has to generate machine code that has to ....

No, no, Bob! The compiler has to emit a program that, without the need for
any object code at all, completes in zero execution time, and always
produces the correct answer, regardless of whether the source code algorithm
was actually correct or not.

Oh, and it has to produce diagnostics based on the ability to read the human
mind.

:-)

--
Best,
Nick Roberts