GNAT bug dealing with either limited or task type (ends in a crashe)

GNAT bug dealing with either limited or task type (ends in a crashe)

[Yannick Duchêne (Hibou57)]

Hello people out there,

This is a bug I faced some time ago (some months) and which makes me stop  
a project for some time.

To keep it simple (for details, see the archive), a program crashes  
instead of terminating with a raised exception (this is what I would  
expect from an Ada program compiled with checks enabled).

This seems to be due to a GNAT bug (do not have another compiler to  
compare) related to either limited or task type as explained in the  
README.txt. I will later send it to AdaCore as well (while I do not expect  
them to fix it for me). Do you know the mail address I should use for that  
?

Note: This is Windows only. Do not try to compile for any other platform,  
this would fail.

Source archive link:
http://www.les-ziboux.rasama.org/download/GNAT_Bug_1.zip

Reporting GNAT bugs (was: GNAT bug dealing with either limited or task type (ends in a crashe))

[Ludovic Brenta]

Yannick Duchêne wrote on comp.lang.ada:
> This seems to be due to a GNAT bug (do not have another compiler to  
> compare) related to either limited or task type as explained in the  
> README.txt. I will later send it to AdaCore as well (while I do not expect  
> them to fix it for me). Do you know the mail address I should use for that  
> ?
>
> Note: This is Windows only. Do not try to compile for any other platform,  
> this would fail.

If you use GNAT GPL Edition, send an email to report@gnat.com as
explained on http://libre.adacore.com/libre/contact/.

However, any bug report sent to this address goes into AdaCore's
private bug database. Personally, I much prefer public bug databases,
so I suggest reporting your bug to the GCC bugzilla database at
http://gcc.gnu.org/bugzilla/ (if the bug is also present in GCC, that
is).

--
Ludovic Brenta.

Re: Reporting GNAT bugs (was: GNAT bug dealing with either limited or task type (ends in a crashe))

[Yannick Duchêne (Hibou57)]

Le Wed, 18 Aug 2010 10:51:49 +0200, Ludovic Brenta  
<ludovic@ludovic-brenta.org> a écrit:
> If you use GNAT GPL Edition, send an email to report@gnat.com
OK. Some one send me the same (always though this one was reserved to  
clients :p )

> However, any bug report sent to this address goes into AdaCore's
> private bug database. Personally, I much prefer public bug databases,
> so I suggest reporting your bug to the GCC bugzilla database at
> http://gcc.gnu.org/bugzilla/ (if the bug is also present in GCC, that
> is).
So I believe I can send to both.

I had a quick look at this bug database, using the query "task limited"  
and found this one which may be related:
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42150

Will check further

Thanks for everything

Note: this is an old bug, which I though may be fixed in GNAT 2010 (the  
reason why I have waited)