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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!news.glorb.com!Xl.tags.giganews.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!local2.nntp.dca.giganews.com!nntp.earthlink.com!news.earthlink.com.POSTED!not-for-mail
NNTP-Posting-Date: Tue, 29 Dec 2015 10:31:18 -0600
From: Dennis Lee Bieber <wlfraed@ix.netcom.com>
Newsgroups: comp.lang.ada
Subject: Re: Everything You Know Is Wrong
Date: Tue, 29 Dec 2015 11:31:18 -0500
Organization: IISS Elusive Unicorn
Message-ID: <q6d58bdu6bldl7k5mijed1eil2gthfdj2o@4ax.com>
References: <n5nbml$v32$1@dont-email.me> <n5r0su$lts$1@dont-email.me>
 <n5r5sb$sgs$1@speranza.aioe.org>
 <alpine.DEB.2.11.1512281721030.14144@Lydia.insomnia247.nl>
 <n5rrjq$gg3$1@speranza.aioe.org>
 <alpine.DEB.2.11.1512281938090.14144@Lydia.insomnia247.nl>
 <n5s6nj$ch8$1@speranza.aioe.org> <n5tre9$t7c$1@dont-email.me>
 <n5tuo8$1cn$1@speranza.aioe.org> <n5u2uf$nrc$1@dont-email.me>
 <n5u4kl$hob$1@speranza.aioe.org>
X-Newsreader: Forte Agent 6.00/32.1186
X-No-Archive: YES
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Usenet-Provider: http://www.giganews.com
NNTP-Posting-Host: 108.79.218.6
X-Trace: 
 sv3-DF2kJUtgfKrAMpsNtb31QaRtxb5UsWVr7NVU45E8bG7+3Ez2dC5ROSrhPkMo8WXfUpXdbfVyMeW6ZVS!5n41fu5Oap0OhWIEgWs3N5zuPOOJNriYmhPgLavg20v2/Y95knDkLfUQTPcw3nD4DuzVJmXO2tdt!dfW7EG2gGKP7GAeOII6waaCDQQ==
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.40
X-Original-Bytes: 2042
Xref: news.eternal-september.org comp.lang.ada:28923
Date: 2015-12-29T11:31:18-05:00
List-Id: <comp.lang.ada>

On Tue, 29 Dec 2015 15:16:38 +0100, "Dmitry A. Kazakov"
<mailbox@dmitry-kazakov.de> declaimed the following:

>
>The compiler must become an oracle, not just programmer's mind reader, 
>to guess that a subprogram call can be postponed.

	It sure wouldn't make life easy for someone trying to certify the
software for civil avionics... WCET would have to assume the calls are
always invoked, the time would have to be included in the scheduling of
processing slices, etc.
-- 
	Wulfraed                 Dennis Lee Bieber         AF6VN
    wlfraed@ix.netcom.com    HTTP://wlfraed.home.netcom.com/