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,2b8fbbb695eccf86 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII Path: g2news1.google.com!postnews.google.com!i31g2000yqm.googlegroups.com!not-for-mail From: Ludovic Brenta Newsgroups: comp.lang.ada Subject: Reporting GNAT bugs (was: GNAT bug dealing with either limited or task type (ends in a crashe)) Date: Wed, 18 Aug 2010 01:51:49 -0700 (PDT) Organization: http://groups.google.com Message-ID: <9d9e7f77-b155-43fa-bd04-43a4749ed506@i31g2000yqm.googlegroups.com> References: NNTP-Posting-Host: 153.98.68.197 Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: posting.google.com 1282121509 19892 127.0.0.1 (18 Aug 2010 08:51:49 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Wed, 18 Aug 2010 08:51:49 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: i31g2000yqm.googlegroups.com; posting-host=153.98.68.197; posting-account=pcLQNgkAAAD9TrXkhkIgiY6-MDtJjIlC User-Agent: G2/1.0 X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.9.2.6) Gecko/20100625 Firefox/3.6.6,gzip(gfe) Xref: g2news1.google.com comp.lang.ada:13473 Date: 2010-08-18T01:51:49-07:00 List-Id: Yannick Duch=EAne wrote on comp.lang.ada: > This seems to be due to a GNAT bug (do not have another compiler to =A0 > compare) related to either limited or task type as explained in the =A0 > README.txt. I will later send it to AdaCore as well (while I do not expec= t =A0 > them to fix it for me). Do you know the mail address I should use for tha= t =A0 > ? > > Note: This is Windows only. Do not try to compile for any other platform,= =A0 > 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.