From: AdaMagica <christ-usch.grein@t-online.de>
Subject: Re: GCC 11 bug? lawyer needed
Date: Wed, 5 May 2021 03:01:06 -0700 (PDT) [thread overview]
Message-ID: <c58f6fc8-7955-40aa-a8d8-f53fe7f385een@googlegroups.com> (raw)
In-Reply-To: <s6t4u4$7i8$1@franka.jacob-sparre.dk>
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.
next prev parent reply other threads:[~2021-05-05 10:01 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-05-03 16:08 GCC 11 bug? lawyer needed Simon Wright
2021-05-05 3:54 ` Randy Brukardt
2021-05-05 10:01 ` AdaMagica [this message]
2021-05-05 16:10 ` AdaMagica
2021-05-06 0:39 ` Randy Brukardt
2021-05-06 13:07 ` AdaMagica
2021-05-06 20:02 ` Simon Wright
2021-05-06 20:51 ` Dmitry A. Kazakov
2021-05-06 23:59 ` Randy Brukardt
2021-05-08 10:17 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox