From: Ludovic Brenta <ludovic.brenta@insalien.org>
Subject: Re: Problem with -gnatt
Date: Sun, 10 Oct 2004 14:25:55 +0200
Date: 2004-10-10T14:29:46+02:00 [thread overview]
Message-ID: <87r7o6kbe4.fsf@insalien.org> (raw)
In-Reply-To: 2QS9d.96627$He1.37132@attbi_s01
"Jeff C r e e.m" writes:
> Even if there is something wrong with the code that is being
> analyzed, the fact that it is caught buy a GNAT BUG DETECTED handler
> really says that there is a GNAT bug here too. [...] Whether the
> input is valid or invalid code probably changes the priority of the
> bug...but it is still a bug.
>
> And I would report it to Ada Core Tech. directly even though you are
> not a customer. Perhaps you will never hear anything back (it
> varies) but if they think it is real it probably will still get in
> the queue.
I agree that a bug box really indicates a bug in GNAT which sould be
reported. However, if you are not a supported customer, the problem
with reporting directly to Ada Core is that the bug remains invisible
to other users. If you use GNAT 3.15p, I suggest you report the bug
to the Debian bug tracking system, and I will forward it to Ada Core
if the bug is still there in GCC 3.4. If you use GCC, report the bug
directly to Bugzilla; the folks at Ada Core monitor this.
--
Ludovic Brenta.
next prev parent reply other threads:[~2004-10-10 12:25 UTC|newest]
Thread overview: 53+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-10-07 10:40 Javadoc-like for Ada Alex R. Mosteo
2004-10-07 11:46 ` stephane richard
2004-10-07 13:05 ` Marc A. Criley
2004-10-07 13:39 ` Alex R. Mosteo
2004-10-07 16:51 ` Problem with -gnatt (was Re: Javadoc-like for Ada) Alex R. Mosteo
2004-10-07 18:43 ` Marc A. Criley
2004-10-07 20:07 ` Björn Persson
2004-10-08 8:40 ` Alex R. Mosteo
2004-10-07 19:21 ` Problem with -gnatt Ludovic Brenta
2004-10-08 8:45 ` Alex R. Mosteo
2004-10-08 9:43 ` Martin Dowie
2004-10-08 13:09 ` Alex R. Mosteo
2004-10-09 14:17 ` Stephen Leake
2004-10-15 20:11 ` Matthew Heaney
2004-10-18 7:59 ` Alex R. Mosteo
2004-10-08 16:52 ` Ludovic Brenta
2004-10-09 14:16 ` Stephen Leake
2004-10-09 14:45 ` Jeff C r e e.m
2004-10-10 12:25 ` Ludovic Brenta [this message]
2004-10-10 14:42 ` Stephen Leake
2004-10-15 20:03 ` Matthew Heaney
2004-10-16 13:16 ` Stephen Leake
2004-10-15 20:00 ` Matthew Heaney
2004-10-15 20:06 ` Matthew Heaney
2004-10-18 7:59 ` Alex R. Mosteo
2004-10-18 16:48 ` Matthew Heaney
2004-10-18 18:21 ` Alex R. Mosteo
2004-10-19 0:20 ` Matthew Heaney
2004-10-19 2:41 ` Brian May
2004-10-19 3:08 ` Matthew Heaney
2004-10-19 7:15 ` Alex R. Mosteo
2004-10-19 14:52 ` Matthew Heaney
2004-10-19 15:46 ` Alex R. Mosteo
2004-10-19 20:03 ` Matthew Heaney
2004-10-19 20:38 ` Alex R. Mosteo
2004-10-23 6:28 ` Brian May
2004-10-24 5:45 ` Jeffrey Carter
2004-10-24 8:54 ` Dmitry A. Kazakov
2004-10-20 1:20 ` Jeffrey Carter
2004-10-20 14:48 ` Matthew Heaney
2004-10-19 7:36 ` Alex R. Mosteo
2004-10-20 5:19 ` Simon Wright
2004-10-20 7:59 ` Alex R. Mosteo
2004-10-11 22:53 ` Javadoc-like for Ada Lionel Draghi
-- strict thread matches above, loose matches on Subject: below --
2004-10-20 1:34 Problem with -gnatt Stephen Leake
2004-10-20 6:37 ` Matthew Heaney
2004-10-20 9:19 ` Pascal Obry
2004-10-20 13:22 Stephen Leake
2004-10-20 15:08 ` Pascal Obry
2004-10-20 16:23 ` Alex R. Mosteo
2004-10-20 16:38 ` Pascal Obry
2004-10-20 20:05 ` Alex R. Mosteo
2004-10-23 20:12 ` Niklas Holsti
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox