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,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,28cd155693714664
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-06-23 19:50:25 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed1.cidera.com!Cidera!cyclone1.gnilink.net!spamfinder.gnilink.net!nwrddc02.gnilink.net.POSTED!53ab2750!not-for-mail
From: Hyman Rosen <hyrosen@mail.com>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US;
 rv:1.1a) Gecko/20020619
X-Accept-Language: en-us, en
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Faulty languages and Liability
References: <mailman.1024283823.12299.comp.lang.ada@ada.eu.org>
 <kvL0$8CK4ybO@eisner.encompasserve.org> <aeq407$lvr$1@nh.pace.co.uk>
 <3D11F304.9030906@mail.com> <3dk*NGnrp@news.chiark.greenend.org.uk>
 <wccelf05m1z.fsf@shell01.TheWorld.com>
 <%rcR8.6726$cE5.5860@nwrddc02.gnilink.net>
 <3jpR8.37553$mo.4178598950@newssvr12.news.prodigy.com>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <PNvR8.12669$cE5.8689@nwrddc02.gnilink.net>
Date: Mon, 24 Jun 2002 02:50:23 GMT
NNTP-Posting-Host: 162.83.247.204
X-Complaints-To: abuse@verizon.net
X-Trace: nwrddc02.gnilink.net 1024887023 162.83.247.204 (Sun,
 23 Jun 2002 22:50:23 EDT)
NNTP-Posting-Date: Sun, 23 Jun 2002 22:50:23 EDT
Xref: archiver1.google.com comp.lang.ada:26631
Date: 2002-06-24T02:50:23+00:00
List-Id: <comp.lang.ada>

Pat Rogers wrote:
> No, that allows the compiler to prevent dangling references.

How's that? That is, what is the difference between the compiler
noticing which objects you take the address of, or you telling
the compiler which objects you intend to take the address of?