From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,e44790cdcea9da82
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!news.maxwell.syr.edu!newsfeed.icl.net!newsfeed.fjserv.net!news-FFM2.ecrc.net!newsfeed.vmunix.org!feed.news.tiscali.de!newsfeed1.ip.tiscali.net!tiscali!transit1.news.tiscali.nl!dreader2.news.tiscali.nl!not-for-mail
Newsgroups: comp.lang.ada
Subject: Re: Problem with -gnatt
References: <41651D37.4030805@mailinator.com> <c0a9d.3371$4b.445@trndny09>
 <2skt9qF1ljjdtU1@uni-berlin.de> <4165472D.2030704@mailinator.com>
 <416573FA.4010003@mailinator.com> <87k6u2mj08.fsf@insalien.org>
 <4166538E.6090907@mailinator.com>
 <mailman.250.1097331421.390.comp.lang.ada@ada-france.org>
 <2QS9d.96627$He1.37132@attbi_s01>
From: Ludovic Brenta <ludovic.brenta@insalien.org>
Date: Sun, 10 Oct 2004 14:25:55 +0200
Message-ID: <87r7o6kbe4.fsf@insalien.org>
User-Agent: Gnus/5.1006 (Gnus v5.10.6) Emacs/21.3 (gnu/linux)
Cancel-Lock: sha1:pFx73KxjnWTvscum40PbtKKsMRw=
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Organization: Tiscali bv
NNTP-Posting-Date: 10 Oct 2004 14:29:46 CEST
NNTP-Posting-Host: 83.134.240.113
X-Trace: 1097411386 dreader2.news.tiscali.nl 44098 83.134.240.113:38503
X-Complaints-To: abuse@tiscali.nl
Xref: g2news1.google.com comp.lang.ada:4987
Date: 2004-10-10T14:29:46+02:00
List-Id: <comp.lang.ada>

"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.