Re: My first compiler bug: work around or redesign?

[Ludovic Brenta <ludovic@ludovic-brenta.org>]

Natasha Kerensikova wrote on comp.lang.ada:
> Is it really worth reporting?

Yes, especially if you can craft a small reproducer exposing the bug box.
Now that you know that "not null Named_Access_Type" triggers the bug, that
should be easy.  You've done the hardest part.

> Thinking about it, I'm not even sure my
> code is actually legal: could "not null Element_Renderer" be illegal but
> previously interpreted correctly because of a fluke? Or should it be
> accepted?

IIUC, "not null Element_Renderer" is legal in Ada 2005 and does not
create an anonymous type.  In Ada 95, anonymous types are implicitly
"not null" but named access types are implicitly "null" (i.e. "possibly
null") and there is no way to make them "not null".

> And assuming I should report it, how to so? AdaCore seemed the best
> starting point, but their website isn't exactly straightforward on how
> to be send bug reports. Is there anything better than
> http://libre.adacore.com/libre/contact/  ?

Report it to the FSF at http://gcc.gnu.org/bugzilla. IMHO, a public bug
database is worth a thousand private ones.

-- 
Ludovic Brenta.
The project manager deploys scalable Management Information Systems
reaped from our measured efficiency gain.