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,a88e582de42cdc9b
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!news1.google.com!news.glorb.com!newscon02.news.prodigy.net!prodigy.net!newsfeed-00.mathworks.com!nntp.TheWorld.com!not-for-mail
From: Robert A Duff <bobduff@shell01.TheWorld.com>
Newsgroups: comp.lang.ada
Subject: Re: Bug in Ada (SuSe 10.2) ?
Date: Thu, 28 Feb 2008 10:33:56 -0500
Organization: The World Public Access UNIX, Brookline, MA
Message-ID: <wccr6exgknv.fsf@shell01.TheWorld.com>
References: <0_mdna0iHpIsCifaRVnzvQA@telenor.com>
 <spCdnTyCKpCfvSHaRVnzvQA@telenor.com>
 <3a281192-2744-4110-9fc1-90c155c9436b@d4g2000prg.googlegroups.com>
 <qm_uj.42460$yE1.36921@attbi_s21>
 <48277611-402f-4622-be05-6edddf6dd56a@o10g2000hsf.googlegroups.com>
 <fpigq5$5me$1@jacob-sparre.dk> <gcejpf.ir2.ln@hunter.axlog.fr>
 <624tcvF21i3nvU1@mid.individual.net>
 <2630d99b-1578-4d79-ac9c-64c00c203b77@e60g2000hsh.googlegroups.com>
 <c8a646bf-47b0-43e6-ae46-d5f820126b07@n77g2000hse.googlegroups.com>
 <fpl057$q3q$1@jacob-sparre.dk>
 <69019a65-736e-48ee-bd9f-4c29cd7fc88f@72g2000hsu.googlegroups.com>
 <fpne5k$qab$1@jacob-sparre.dk>
 <d8a465d3-9eae-480b-954f-93236e3a6203@s19g2000prg.googlegroups.com>
 <fpvn0n$l8i$1@jacob-sparre.dk>
 <48a0a0c4-7b79-42dc-b541-7a68693bdd4c@e41g2000hsc.googlegroups.com>
 <wccskzfjjjd.fsf@shell01.TheWorld.com>
 <626c2f0a-d308-437d-888e-0f3ced336f01@f47g2000hsd.googlegroups.com>
 <wcc7igq2ssj.fsf@shell01.TheWorld.com> <fq4vce$uh6$1@jacob-sparre.dk>
NNTP-Posting-Host: shell01.theworld.com
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: pcls6.std.com 1204212836 14425 192.74.137.71 (28 Feb 2008 15:33:56
 GMT)
X-Complaints-To: abuse@TheWorld.com
NNTP-Posting-Date: Thu, 28 Feb 2008 15:33:56 +0000 (UTC)
User-Agent: Gnus/5.1008 (Gnus v5.10.8) Emacs/21.3 (irix)
Cancel-Lock: sha1:DxO6qtUc7Kf9W1VhS5UXDuY3f5c=
Xref: g2news1.google.com comp.lang.ada:20139
Date: 2008-02-28T10:33:56-05:00
List-Id: <comp.lang.ada>

"Randy Brukardt" <randy@rrsoftware.com> writes:

> Why do you think a compile-time message is a bug? I've convinced myself that
> it is correct. Look at the body of WoW closely:
>
>     function WoW (Slats: access AirSpeed) return Int_Access is
>     begin
>          return Slats.Altitude'Access;
>     end WoW;
>
> Since Slats is an access value, this is really a dereference. That is, the
> return statement really is:
>
>          return Slats.all.Altitude'Access;
>
> And you lose the special (dynamic) accessibility with the dereference. Thus,
> you get a static check (which fails in this case).

Hmm.  You may be right.  I'd have to reread the accessibility rules
carefully to be sure, which I'm too lazy to do right now.  ;-)

Certainly the GNAT behavior (no error) is wrong.
It won't get fixed unless somebody reports it.

- Bob