From: "Luke A. Guest" <laguest@archeia.com>
Subject: Re: Convention aspect stricter than before? - GNAT Community 2020
Date: Mon, 10 Aug 2020 07:35:38 +0100 [thread overview]
Message-ID: <rgqpum$fgd$1@gioia.aioe.org> (raw)
In-Reply-To: rgq3iu$3tm$1@franka.jacob-sparre.dk
On 10/08/2020 01:15, Randy Brukardt wrote:
>> A bug in the compiler?
>
> Yes. Regardless of what the correct behavior is for a particular example,
> the pragma is equivalent to the aspect so the results should be the same. If
> they differ, then there certainly is a compiler bug. *Exactly* what that bug
> is might be debatable (although I think it is pretty clear in this case).
This is actually a bug filed on my repository
https://github.com/Lucretia/sdlada/pull/50/commits/4e80af4ca4f22ee0637af5d6ac277c65c221dcef
This is to do with this private part record component:
https://github.com/Lucretia/sdlada/blob/master/src/sdl-video-pixel_formats.ads#L655
https://github.com/Lucretia/sdlada/blob/master/src/sdl-video-pixel_formats.ads#L756
next prev parent reply other threads:[~2020-08-10 6:35 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-06-03 17:59 Convention aspect stricter than before? - GNAT Community 2020 Jesper Quorning
2020-06-03 18:35 ` Jeffrey R. Carter
2020-08-04 13:31 ` Fabien Chouteau
2020-08-08 3:29 ` Randy Brukardt
2020-08-08 9:46 ` Luke A. Guest
2020-08-10 0:15 ` Randy Brukardt
2020-08-10 6:35 ` Luke A. Guest [this message]
2020-08-10 9:15 ` Simon Wright
2020-08-10 14:53 ` Luke A. Guest
2020-08-11 7:18 ` Jesper Quorning
2020-08-11 7:34 ` Luke A. Guest
2020-08-11 16:23 ` Jesper Quorning
2020-08-11 19:23 ` Luke A. Guest
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox