* GNAT bug dealing with either limited or task type (ends in a crashe)
@ 2010-08-18 7:23 Yannick Duchêne (Hibou57)
2010-08-18 8:51 ` Reporting GNAT bugs (was: GNAT bug dealing with either limited or task type (ends in a crashe)) Ludovic Brenta
0 siblings, 1 reply; 3+ messages in thread
From: Yannick Duchêne (Hibou57) @ 2010-08-18 7:23 UTC (permalink / raw)
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
^ permalink raw reply [flat|nested] 3+ messages in thread
* Reporting GNAT bugs (was: GNAT bug dealing with either limited or task type (ends in a crashe))
2010-08-18 7:23 GNAT bug dealing with either limited or task type (ends in a crashe) Yannick Duchêne (Hibou57)
@ 2010-08-18 8:51 ` Ludovic Brenta
2010-08-18 15:44 ` Yannick Duchêne (Hibou57)
0 siblings, 1 reply; 3+ messages in thread
From: Ludovic Brenta @ 2010-08-18 8:51 UTC (permalink / raw)
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.
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: Reporting GNAT bugs (was: GNAT bug dealing with either limited or task type (ends in a crashe))
2010-08-18 8:51 ` Reporting GNAT bugs (was: GNAT bug dealing with either limited or task type (ends in a crashe)) Ludovic Brenta
@ 2010-08-18 15:44 ` Yannick Duchêne (Hibou57)
0 siblings, 0 replies; 3+ messages in thread
From: Yannick Duchêne (Hibou57) @ 2010-08-18 15:44 UTC (permalink / raw)
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)
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2010-08-18 15:44 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2010-08-18 7:23 GNAT bug dealing with either limited or task type (ends in a crashe) Yannick Duchêne (Hibou57)
2010-08-18 8:51 ` Reporting GNAT bugs (was: GNAT bug dealing with either limited or task type (ends in a crashe)) Ludovic Brenta
2010-08-18 15:44 ` Yannick Duchêne (Hibou57)
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox