From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.6
Path: eternal-september.org!reader02.eternal-september.org!aioe.org!RKN7TKnHC01q0gdg6EhkbQ.user.46.165.242.75.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: Problem with emacs ada-mode-7.1.4
Date: Mon, 19 Jul 2021 12:14:26 +0100
Organization: Aioe.org NNTP Server
Message-ID: <ly35say2r1.fsf@pushface.org>
References: <4e943274-59ad-497d-9ef1-5f5d096aea56n@googlegroups.com>
	<lyfswcy6zx.fsf@pushface.org>
	<6b724d0f-3184-47f0-8266-c805406cf4b7n@googlegroups.com>
	<sd0qjl$hj2$1@gioia.aioe.org>
	<76673bec-53cc-4789-8f01-4a1d0d04e077n@googlegroups.com>
	<71c3d589-fd6f-4b5e-a9f3-394109b1fa05n@googlegroups.com>
	<ly7dhny4ig.fsf@pushface.org>
	<e31c513b-3836-4baa-9017-f940ce500231n@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: gioia.aioe.org; logging-data="44280"; posting-host="RKN7TKnHC01q0gdg6EhkbQ.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (darwin)
Cancel-Lock: sha1:GtiN+a9a+RilLKi4k6o+lHP+ZXo=
X-Notice: Filtered by postfilter v. 0.9.2
Xref: reader02.eternal-september.org comp.lang.ada:62413
List-Id: <comp.lang.ada>

Paul Onions <ponions37@gmail.com> writes:

> On Sunday, 18 July 2021 at 17:24:11 UTC+1, Simon Wright wrote:
>> There was an interesting thread about this at [1]; I'm not sure from
>> that whether the ada-mode code is OK or not, but it seems that even
>> if it is we'll have to wait for a later compiler release.
>
> Thanks for looking further into it.  Not sure I'm qualified enough in
> the Ada world to properly follow the discussion in the thread you link
> to -- I'll try to spend some on it later :-)

Not many of us are. That chapter in the ARM (3.10.2) is known as the
Heart of Darkness for a reason. See AARM 3.10.2(3.a, b)[1].

While poking at the ada-mode code, I found that avoiding anonymous
accesses (especially when used as discriminants) went a long way to
quieting the compiler; and the use of 'Unchecked_Access also helped.

[1]: http://www.ada-auth.org/standards/aarm12_w_tc1/html/AA-3-10-2.html#p3.a