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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,7f1e0b399cd01cb0
X-Google-Attributes: gid103376,public
From: Robert Dewar <robert_dewar@my-dejanews.com>
Subject: Re: Unreferenced lock variables
Date: 1999/04/14
Message-ID: <7f2cqn$d4q$1@nnrp1.dejanews.com>#1/1
X-Deja-AN: 466315973
References: <x7v4smnszvu.fsf@pogner.moho> <7ero31$n46$1@nnrp1.dejanews.com>
 <x7vk8viqsla.fsf@pogner.moho> <7esrmv$k1n$1@nnrp1.dejanews.com>
 <x7vzp4dscsv.fsf@pogner.moho>
X-Http-Proxy: 1.0 x1.dejanews.com:80 (Squid/1.1.22) for client 205.232.38.14
Organization: Deja News - The Leader in Internet Discussion
X-Article-Creation-Date: Wed Apr 14 15:39:05 1999 GMT
Newsgroups: comp.lang.ada
X-Http-User-Agent: Mozilla/4.04 [en] (OS/2; I)
Date: 1999-04-14T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <x7vzp4dscsv.fsf@pogner.moho>,
  Simon Wright <simon@pogner.demon.co.uk> wrote:

> I can try to reconstitute the problem and report it (if
> it is indeed a bug to optimize away the initialization of
> an unused variable? it struck me at the time that it was
> much more my fault!)

It is perfectly fine to optimize away the initialization,
and indeed the variable itself.

But what would possibly make you think (RM reference
please) that it was OK to eliminate the call.

Optimizations, except where specifically permitted by 11.6,
must not affect the external behavior!

-----------== Posted via Deja News, The Discussion Network ==----------
http://www.dejanews.com/       Search, Read, Discuss, or Start Your Own