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,571930b4ff0bc1ee
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-04-13 16:14:03 PST
Newsgroups: comp.lang.ada
Path: 
 supernews.google.com!sn-xit-03!supernews.com!news-feed.riddles.org.uk!newsengine.sol.net!nntp.msen.com!uunet!ash.uu.net!world!bobduff
From: Robert A Duff <bobduff@world.std.com>
Subject: Re: Compile time executed functions
Sender: bobduff@world.std.com (Robert A Duff)
Message-ID: <wccae5kcs3y.fsf@world.std.com>
Date: Fri, 13 Apr 2001 23:11:45 GMT
References: 
 <3AC03CCE.70E3C2D5@mida.se><OB0w6.272$rl5.40145021@newssvr16.news.prodigy.com><3AC18DD1.EF25CE42@mida.se><5mzw6.415$1H6.72722473@newssvr16.news.prodigy.com><3AC2EB17.33AAEC0A@mida.se><lEHw6.434$2g1.81555482@newssvr16.news.prodigy.com><3AC46252.B7E54EA6@free.fr><xg2x6.2153$db7.413856821@newssvr10-int.news.prodigy.com><3AC4B7F9.7C73455A@free.fr><tfqx6.563$wL.137886776@newssvr16.news.prodigy.com><3AC6ED5F.9F2F51A5@free.fr><clKx6.632$ru5.162431072@newssvr16.news.prodigy.com><3AC84628.D8B70C7C@free.fr><DS_x6.695$UY5.185094242@newssvr16.news.prodigy.com>
	<wcczodzctdl.fsf@world.std.com>
	<jX7y6.781$5I3.198457495@newssvr16.news.prodigy.com>
Organization: The World Public Access UNIX, Brookline, MA
X-Newsreader: Gnus v5.3/Emacs 19.34
Xref: supernews.google.com comp.lang.ada:6878
Date: 2001-04-13T23:11:45+00:00
List-Id: <comp.lang.ada>

"Ken Garlington" <Ken.Garlington@computer.org> writes:

> "Robert A Duff" <bobduff@world.std.com> wrote in message
> news:wcczodzctdl.fsf@world.std.com...
> 
> : It's unavoidable.  All programs depend on various "sanity" aspects of
> : compilers -- aspects that are not formally defined in the language
> : definition.
> 
> "Sanity" with respect to optimizations?

Sure.  The RM does not say how long it takes to, say, do an assignment
on an integer variable.  But if it took three weeks, any program doing
integer assignment would be useless.  We have to trust the compiler to
be sane enough to generate reasonable code for that assignment, even
though the RM doesn't *require* it.

- Bob