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!reader01.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED.jFK6OqqKW5bkmQ4H/i1UAQ.user.gioia.aioe.org!not-for-mail From: "Luke A. Guest" Newsgroups: comp.lang.ada Subject: Re: Convention aspect stricter than before? - GNAT Community 2020 Date: Mon, 10 Aug 2020 07:35:38 +0100 Organization: Aioe.org NNTP Server Message-ID: References: NNTP-Posting-Host: jFK6OqqKW5bkmQ4H/i1UAQ.user.gioia.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit X-Complaints-To: abuse@aioe.org User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.11.0 Content-Language: en-GB X-Notice: Filtered by postfilter v. 0.9.2 Xref: reader01.eternal-september.org comp.lang.ada:59699 List-Id: 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