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.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Georg Bauhaus <bauhaus@futureapps.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Pointer to instance of indefinite array?
Date: Thu, 14 Aug 2014 10:03:23 +0200
Organization: A noiseless patient Spider
Message-ID: <lshqgc$97m$1@dont-email.me>
References: <892c6798-489d-400a-bb9a-7a14605c493f@googlegroups.com>
 <V3AGv.280259$wR1.68708@fx20.iad>
 <58a951df-217b-48ee-bd0b-f9953f5b622b@googlegroups.com>
 <53eaea2e$0$32377$862e30e2@ngroups.net> <lsf56u$fm5$1@dont-email.me>
 <cc863592-3556-45ce-a1fd-ade463a81c42@googlegroups.com>
Reply-To: nonlegitur@futureapps.de
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 14 Aug 2014 08:03:24 +0000 (UTC)
Injection-Info: mx05.eternal-september.org;
 posting-host="27601b6ecafbe764d3a39333461a1c19";
	logging-data="9462"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX18PsEEv9medEGHdLf9CbKjdFY4JiXK/yY0="
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.9;
 rv:24.0) Gecko/20100101 Thunderbird/24.6.0
In-Reply-To: <cc863592-3556-45ce-a1fd-ade463a81c42@googlegroups.com>
Cancel-Lock: sha1:hDLxa9HwRgInAokm+ujPg6Okwio=
Xref: news.eternal-september.org comp.lang.ada:21749
Date: 2014-08-14T10:03:23+02:00
List-Id: <comp.lang.ada>

On 13.08.14 17:32, Adam Beneschan wrote:
>> Since 'Unrestricted_Access is not Ada but a GNAT specific pragma,
>> >and since it is not strictly needed, I think that standard Ada's own
>> >'Unchecked_Acceess should be enough?
> No, because of a somewhat obscure rule that deals with 'Access on an array when the target type is access-to-unconstrained-array.  The rule is in 3.10.2(27-27.2).

Wow. Also found AI95-363.
This is similar to, but more entertaining than Sudoku.