From: Jere <jhb.chat@gmail.com>
Subject: Re: Incomplete type generic formal interactions with Implicit_Dereference
Date: Tue, 30 Jan 2018 17:41:11 -0800 (PST)
Date: 2018-01-30T17:41:11-08:00 [thread overview]
Message-ID: <f146855f-0175-4c85-91c1-2c55dc8d6305@googlegroups.com> (raw)
In-Reply-To: <lywp0c1dms.fsf@pushface.org>
On Saturday, January 20, 2018 at 3:25:34 PM UTC-5, Simon Wright wrote:
> Jere writes:
>
> > At some point it led to a crash in GNAT, which I reported to AdaCore,
> > and they said they fixed it in a future rev (side note, do I need to
> > report that to the FSF team as well and how if so?).
>
> I don't know how many FSF GNAT contributors aren't AdaCore people, but
> it's not many! This sort of problem (deep in the compiler) isn't very
> likely to be solved by non-AdaCore folk.
>
> I've always felt uncomfortable when I report a bug to AdaCore (which
> won't contain proprietary info, since I don't have any) that no one else
> can see it. Not sure how reporting it to FSF as well as to AdaCore would
> be received; I try to go for one or the other.
>
> In any case, FSF won't accept reports on GNAT GPL (any more than AdaCore
> will accept reports on FSF GCC): you'd need to make sure the bug also
> happened with FSF GCC.
>
> To report a GNAT bug to FSF, set up an account on GCC Bugzilla
> <https://gcc.gnu.org/bugzilla/index.cgi>, and raise the bug on Product:
> gcc, Component: ada.
Thanks, I submitted the bug (took a while to get an account).
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84142
My first bug report so I probably noobed it up, but hopefully they won't
be too upset if I did.
Thanks for the help!
next prev parent reply other threads:[~2018-01-31 1:41 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-01-20 18:00 Incomplete type generic formal interactions with Implicit_Dereference Jere
2018-01-20 20:25 ` Simon Wright
2018-01-20 22:22 ` Jere
2018-01-21 10:04 ` Simon Wright
2018-01-23 12:42 ` Jere
2018-01-31 1:41 ` Jere [this message]
2018-01-31 7:57 ` Simon Wright
2018-01-23 1:08 ` Randy Brukardt
2018-01-23 13:13 ` Jere
2018-01-23 13:20 ` Jere
2018-01-23 16:00 ` Simon Wright
2018-01-25 2:34 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox