From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.36.120.211 with SMTP id p202mr1653408itc.43.1516711351419; Tue, 23 Jan 2018 04:42:31 -0800 (PST) X-Received: by 10.157.43.61 with SMTP id o58mr497977otb.10.1516711351320; Tue, 23 Jan 2018 04:42:31 -0800 (PST) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!border1.nntp.ams1.giganews.com!nntp.giganews.com!peer02.ams1!peer.ams1.xlned.com!news.xlned.com!peer03.am4!peer.am4.highwinds-media.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!g80no2356687itg.0!news-out.google.com!s63ni3327itb.0!nntp.google.com!g80no2356682itg.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Tue, 23 Jan 2018 04:42:30 -0800 (PST) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=173.71.208.22; posting-account=QF6XPQoAAABce2NyPxxDAaKdAkN6RgAf NNTP-Posting-Host: 173.71.208.22 References: <21b6b4fb-4648-419e-ae6c-c361d54eaa2f@googlegroups.com> <029acbd1-090f-4f55-b9a0-12610c95eb74@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: Incomplete type generic formal interactions with Implicit_Dereference From: Jere Injection-Date: Tue, 23 Jan 2018 12:42:31 +0000 Content-Type: text/plain; charset="UTF-8" X-Received-Bytes: 3799 X-Received-Body-CRC: 622758442 Xref: reader02.eternal-september.org comp.lang.ada:50068 Date: 2018-01-23T04:42:30-08:00 List-Id: On Sunday, January 21, 2018 at 5:04:18 AM UTC-5, Simon Wright wrote: > Jere writes: > > > There were actually two bugs. > > One occurred on both GNAT GPL 2017 and GNAT FSF 7.2 on mingw64/msys2 > > x86_64 A second one only affected GNAT FSF 7.2 on mingw64/msys2 x86_64 > > > > The odd thing is for the second bug, GNAT GPL is 6.3, while the FSF is > > 7.2, yet the bug was fixed for the GPL version (6.3) and not the FSF > > version (7.2). > > > > I also wasn't sure if I should have reported the bug to FSF directly > > or to the maker of the mingw64 port of it. Based on your reply, it > > sounds like I should report that second one to FSF directly? Given > > that they don't seem to be incorporating bug fixes from GPL into FSF, > > I am concerned that the first bug I submitted to Adacore may not get > > fixed in the FSF version. It might, I just don't know since one of the > > bugs is fixed in an earlier version of GNAT but not a later version. > > Under those circumstances I'd report the FSF bugs to FSF (I've been > tracking the GCC 8 developments so that I can leap in with macOS > binaries ASAP after the release!, so I'd check whether the bug was fixed > in 8). > > AdaCore's timeline vs FSF isn't straighforward (there's some > not-up-to-date info at [1]). > > AdaCore produce a Pro release about once a year, which they base on a > well-known GCC release (in the case of GNAT GPL 2017, 6.3). This > involves changes to Ada front-end code, to the C back-end code, and to > the interface between them (and of course to Ada & C in the runtime). > > FSF GCC begins a new major release phase (currently for 8) also > approximately once a year, not synced with AdaCore's releases. What > AdaCore do (visibly, anyway) is to port the changes made in their own > source tree at that time to the FSF tree; there's commonly a rush of > commits at this point. After that, things slow down and bugs get fixed. > > So one would expect some of the bugs still present in GCC 7 to have been > fixed in the GPL 2017 release (and, hopefully, in GCC 8). > > [1] https://people.debian.org/~lbrenta/debian-ada-policy.html#Timeline-of-GNAT-releases Ok, that makes sense. It had just seemed odd that 6.3 had a bug fixed when 7.2 did not. Now I understand. I'll work on getting two bug reports to the FSF people. I only have the windows version of FSF GNAT to test on, so I don't know if it affects other platforms, but my gut says it will probably be the same since they result in GNAT crashes. Thanks!