comp.lang.ada
 help / color / mirror / Atom feed
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!


  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