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-Thread: 103376,5117b1b6391a0e06
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!fu-berlin.de!uni-berlin.de!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: A simple ADA puzzle (I haven't the answer)
Date: Sat, 26 Jun 2004 09:55:02 +0200
Message-ID: <pan.2004.06.26.07.41.42.776463@dmitry-kazakov.de>
References: <1087410710.477506@master.nyc.kbcfp.com>
	<jhj2d010m9bj369vnt4oupomg37pni9lad@4ax.com>
	<1087474761.60413@master.nyc.kbcfp.com>
	<7o83d0hf6sqgng2980e1tg7iu864m5m50u@4ax.com>
	<wvbr7ju5448r.fsf@europa1.Norway.Sun.COM>
	<1in5d05aa4rfqlt7e76gk87ucd3vuru6pm@4ax.com>
	<1087564576.388973@master.nyc.kbcfp.com>
	<oks5d01bqstpdvbpr61cvc6dt0ethgmhnu@4ax.com>
	<1087575262.304708@master.nyc.kbcfp.com>
	<pan.2004.06.19.09.31.38.944379@dmitry-kazakov.de>
	<sDsBc.12343$z24.7444@nwrdny01.gnilink.net>
	<2i5dd0lu0i3a8bokfh7916r4j67g42ri4o@4ax.com>
	<DKqdnbNcZM95akTdRVn-jA@megapath.net>
	<pltjvkdjp69c.11hhxh2y8idq9.dlg@40tude.net>
	<LuydnaHfbKGrokbd4p2dnA@megapath.net>
	<gai7jyv9d81z.8udv40m7s363.dlg@40tude.net>
	<t9Cdnc6_0qYl_0HdRVn-vg@megapath.net>
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: news.uni-berlin.de V1V6y7tVIP/QUkVI0xt84A3RgvTM20+eVf4lLcg9K+tuI6g3I=
User-Agent: Pan/0.14.2 (This is not a psychotic episode. It's a
 cleansing	moment of clarity.)
Xref: g2news1.google.com comp.lang.ada:1910
Date: 2004-06-26T09:55:02+02:00
List-Id: <comp.lang.ada>

On Fri, 25 Jun 2004 12:37:20 -0500, Randy Brukardt wrote:

> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
> news:gai7jyv9d81z.8udv40m7s363.dlg@40tude.net...

>> I hope that Unchecked_Conversion on such pointers and all sorts of games
>> with 'Unchecked_Access on views will be also illegal.
> 
> If you creating dangling pointers with Unchecked_Conversion or with
> 'Unchecked_Access, and the dangling pointer is dereferenced, your program is
> erroneous. Nothing new there.

Well, there are shades of being erroneous. Probably, because accessibility
checks were undiscriminating, 'Unchecked_Access managed to become almost a
decent citizen. It seems that now 'Unchecked_Access will be less
necessary, but more dangerous. Bad news for those lazy, who accustomed to
type it automatically instead of 'Access.

--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de