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=0.0 required=3.0 tests=BAYES_40,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.5-pre1
X-Received: by 2002:a05:620a:4008:: with SMTP id h8mr29465275qko.366.1620208866930;
        Wed, 05 May 2021 03:01:06 -0700 (PDT)
X-Received: by 2002:a25:c681:: with SMTP id k123mr42114450ybf.303.1620208866618;
 Wed, 05 May 2021 03:01:06 -0700 (PDT)
Path: eternal-september.org!reader02.eternal-september.org!news.mixmin.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 5 May 2021 03:01:06 -0700 (PDT)
In-Reply-To: <s6t4u4$7i8$1@franka.jacob-sparre.dk>
Injection-Info: google-groups.googlegroups.com; posting-host=94.31.102.170; posting-account=rmHyLAoAAADSQmMWJF0a_815Fdd96RDf
NNTP-Posting-Host: 94.31.102.170
References: <lyh7jjztor.fsf@pushface.org> <s6t4u4$7i8$1@franka.jacob-sparre.dk>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <c58f6fc8-7955-40aa-a8d8-f53fe7f385een@googlegroups.com>
Subject: Re: GCC 11 bug? lawyer needed
From: AdaMagica <christ-usch.grein@t-online.de>
Injection-Date: Wed, 05 May 2021 10:01:06 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader02.eternal-september.org comp.lang.ada:61956
List-Id: <comp.lang.ada>

Randy Brukardt schrieb am Mittwoch, 5. Mai 2021 um 05:54:46 UTC+2:
> And a normal parameter is assumed to be local (since its accessibility is unknown) - that means it is
> too local for an aliased parameter of a function that is used in some non-local way 

RM 3.10(9/3): Finally, a formal parameter or generic formal object of a tagged type is defined to be aliased.
RM 6.4.1(6/3): If the formal parameter is an explicitly aliased parameter, the type of the actual parameter shall be tagged or the actual parameter shall be an aliased view of an object.
Both of these conditions are fulfilled here.
There are many more places about explicitly aliased parameters in the RM. I've read them all. It left me wondering.

I do not see what aliasing a tagged parameter buys. A parameter of a tagged typed  is aliased per se, or do I misread the RM.
I'm having big problems trying to understand the RM.
I will try to grock the AI.