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=0.6 required=5.0 tests=BAYES_00,TO_NO_BRKTS_FROM_MSSP
	autolearn=no 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-04 11:12:13 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!out.nntp.be!propagator-SanJose!in.nntp.be!newsranger.com!www.newsranger.com!not-for-mail
Newsgroups: comp.lang.ada
From: Ted Dennison<dennison@telepath.com>
References: <3C34BF2C.6030500@mail.com> <3C35675D.276C2D81@canal-plus.fr>
 <F3kZ7.3859$cD4.6593@www.newsranger.com> <3C35E37D.30408@mail.com>
Subject: Re: A case where Ada defaults to unsafe?
Message-ID: <a8nZ7.4182$cD4.7892@www.newsranger.com>
X-Abuse-Info: When contacting newsranger.com regarding abuse please
X-Abuse-Info: forward the entire news article including headers or
X-Abuse-Info: else we will not be able to process your request
X-Complaints-To: abuse@newsranger.com
NNTP-Posting-Date: Fri, 04 Jan 2002 14:12:06 EST
Organization: http://www.newsranger.com
Date: Fri, 04 Jan 2002 19:12:06 GMT
Xref: archiver1.google.com comp.lang.ada:18557
Date: 2002-01-04T19:12:06+00:00
List-Id: <comp.lang.ada>

In article <3C35E37D.30408@mail.com>, Hyman Rosen says...
>
>Ted Dennison wrote:
>> Another is that there are some circumstances where a
>> short-circuit is going to be *slower* than a non-short
>> circuit calculation.
>
>Then why wouldn't the compiler just use the more efficient way?

That's the whole point. The way it is currently defined, it can. If we were to
define the operators as short-circuiting, it could not. 

For example, suppose I write:

X : Pointer_To_Some_Structure;