From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) 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.5-pre1
Path: eternal-september.org!reader02.eternal-september.org!aioe.org!pBWEO6hi52oGFheO/GY5ag.user.gioia.aioe.org.POSTED!not-for-mail
From: Stephen Leake <stephen_leake@stephe-leake.org>
Newsgroups: comp.lang.ada
Subject: Re: ANN: GCC 11.1.0 for macOS
Date: Tue, 04 May 2021 10:47:53 -0700
Organization: Aioe.org NNTP Server
Message-ID: <86v97yie5y.fsf@stephe-leake.org>
References: <lyeeep2j8m.fsf@pushface.org> <s6mlfu$eii$1@gioia.aioe.org>
NNTP-Posting-Host: pBWEO6hi52oGFheO/GY5ag.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain
X-Complaints-To: abuse@aioe.org
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (windows-nt)
X-Notice: Filtered by postfilter v. 0.9.2
Cancel-Lock: sha1:TPzuf4sYow8aOwTbWUt0L5qjABw=
Xref: reader02.eternal-september.org comp.lang.ada:61952
List-Id: <comp.lang.ada>

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:

> As a side note. The version 11 brings new incompatibilities breaking
> old code. In some cases X'Access is no more accepted and need to be
> replaced by X'Unchecked_Access.
>
> I am to lazy to analyze whether that it is a bug of feature, just be aware.
>
> I dare say that every Ada style guideline should require
> 'Unchecked_Access everywhere. The issue became a permanent maintenance 
> nightmare.

I had a similar issue upgrading from GNAT Community 2020 to GNAT Pro 21.
The GNAT compiler has gotten smarter about enforcing accessibility
rules.

Since those rules are there to prevent dangling references, they should
be respected; I fixed my code to compile with 'Access.

It is a pain that GNAT didn't get this totally correct the first time
around, but that's life.
-- 
-- Stephe