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: a07f3367d7,9ec713ce3532e449 X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news2.google.com!news.glorb.com!feeder.erje.net!news.osn.de!diablo1.news.osn.de!noris.net!nntp.ilk.net!not-for-mail From: Markus Schoepflin Newsgroups: comp.lang.ada Subject: Re: Ada in Debian: gnat-4.4 is in unstable; please test Date: Thu, 06 Aug 2009 12:07:27 +0200 Organization: Customer of ILK Internet GmbH, Karlsruhe, Germany Message-ID: References: NNTP-Posting-Host: csdc.comsoft.de Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="------------040102060809030101020905" X-Trace: nntp.ilk.net 1249553248 17031 212.86.205.70 (6 Aug 2009 10:07:28 GMT) X-Complaints-To: usenet@ilk.net NNTP-Posting-Date: Thu, 6 Aug 2009 10:07:28 +0000 (UTC) User-Agent: Thunderbird 2.0.0.22 (Windows/20090605) In-Reply-To: Xref: g2news2.google.com comp.lang.ada:7626 Date: 2009-08-06T12:07:27+02:00 List-Id: This is a multi-part message in MIME format. --------------040102060809030101020905 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Ludovic , trying to compile a local project, I got a bug box from gnat-4.4. Please see attached log and source files. Best regards, Markus --------------040102060809030101020905 Content-Type: text/plain; name="compile.log" Content-Transfer-Encoding: 7bit Content-Disposition: inline; filename="compile.log" gcc-4.4 -c -I./ -gnato -gnatwl -gnatwauJF -gnatef -g -fno-strict-aliasing -gnatwA -I- ./test.adb +===========================GNAT BUG DETECTED==============================+ | 4.4.1 (i486-pc-linux-gnu) Assert_Failure sinfo.adb:360 | | Error detected at a-unccon.ads:23:27 | | Please submit a bug report; see http://gcc.gnu.org/bugs.html. | | Use a subject line meaningful to you and us to track the bug. | | Include the entire contents of this bug box in the report. | | Include the exact gcc-4.4 or gnatmake command that you entered. | | Also include sources listed below in gnatchop format | | (concatenated together with no headers between files). | +==========================================================================+ Please include these source files with error report Note that list may not be accurate in some cases, so please double check that the problem can still be reproduced with the set of files listed. ./test.adb ./language.ads list may be incomplete compilation abandoned --------------040102060809030101020905 Content-Type: text/plain; name="test.adb" Content-Transfer-Encoding: 7bit Content-Disposition: inline; filename="test.adb" with System; with Language; procedure Test is use System; use Language; begin null; end; --------------040102060809030101020905 Content-Type: text/plain; name="language.ads" Content-Transfer-Encoding: 7bit Content-Disposition: inline; filename="language.ads" pragma Source_Reference (000001, "language.ads"); pragma Extend_System(AUX_DEC); with System; package Language is end Language; --------------040102060809030101020905--