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,a4848dc63a15e09a X-Google-Attributes: gid103376,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news3.google.com!news.germany.com!feeder2.news.saunalahti.fi!newsfeed3.funet.fi!newsfeed2.funet.fi!newsfeeds.funet.fi!news.cc.tut.fi!not-for-mail From: Tero Koskinen Newsgroups: comp.lang.ada Subject: Re: Ada in Debian: transition to GCC 4.3 for Lenny Date: Tue, 5 Feb 2008 18:41:44 +0200 Message-ID: <20080205184144.10f5e8e8.tero.koskinen@iki.fi> References: NNTP-Posting-Host: ip154.otanner14.opintanner.fi Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-Trace: news.cc.tut.fi 1202229704 19315 195.148.53.154 (5 Feb 2008 16:41:44 GMT) X-Complaints-To: abuse@tut.fi NNTP-Posting-Date: Tue, 5 Feb 2008 16:41:44 +0000 (UTC) X-Newsreader: Sylpheed 2.4.5 (GTK+ 2.12.2; i386-unknown-openbsd4.2) Xref: g2news1.google.com comp.lang.ada:19715 Date: 2008-02-05T18:41:44+02:00 List-Id: On Tue, 5 Feb 2008 02:03:49 -0800 (PST) Ludovic Brenta wrote: > As a consequence, I feel that > gnat-4.3 will be more stable and correct than gnat-4.2 (which is > already pretty good). I have been playing with gnat-4.3 on OpenBSD lately. Early January snapshots had some strange regression and "make bootstrap" took over 30 hours when it normally takes only about 2-3 hours on my computer. Fortunately, this was fixed in later snapshots and so far gnat-4.3 has behaved nicely for me. For example, gnat-4.3 seems to be about 10%-20% faster than gnat-gpl-2007. > In addition, it seems suitable for building the > latest versions of AWS and ASIS (but I'll report separately on that > when the time comes). I would like to know if you get ASIS working with gnat-4.3. I tried to compile gnat-asis-2007 using my customized gnat-4.3, but adabrowse and adacontrol started to give Program_Errors and Constrain_Errors, so I had to revert back to gnat-gpl-2007+gnat-asis-2007 combination for ASIS. Those errors might be because of my own customizations, but I don't have a Linux computer around so I cannot verify where the problem is. -snip- Example errors: +===========================ASIS BUG DETECTED==============================+ | ASIS 2.0.R for GNAT GPL 2007 (20070402)) PROGRAM_ERROR Inconsistent versions of GNAT and ASIS| | when processing Asis.Compilation_Units.Compilation_Unit_Body (AHVEN) | | Please submit a bug report by email to report@adacore.com. | | GAP members can alternatively use GNAT Tracker: | | http://www.adacore.com/ section 'send a report'. | | See gnatinfo.txt for full info on procedure for submitting bugs. | | Use a subject line meaningful to you and us to track the bug. | | Include the entire contents of this bug box and the ASIS debug info | | in the report. | | Include the exact list of the parameters of the ASIS queries | | Asis.Implementation.Initialize and Asis.Ada_Environments.Associate | | from the ASIS application for which the bug is detected | | Also include sources listed below in gnatchop format | | (concatenated together with no headers between files). | | Use plain ASCII or MIME attachment. | | NOTE: ASIS bugs may be submitted to asis-report@adacore.com | +==========================================================================+ 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. ASIS internal implementation error detected for Asis.Compilation_Units.Compilation_Unit_Body (AHVEN) PROGRAM_ERROR Inconsistent versions of GNAT and ASIS *** Error code 10 -snip- After removing explicit "raise Program_Error"s from asis sources: +===========================ASIS BUG DETECTED==============================+ | ASIS 2.0.R for GNAT GPL 2007 (20070402)) CONSTRAINT_ERROR table.adb:199 range check failed| | when processing A4G.Contt.SD.Read_and_Check_New (tree file /home/tkoskine/work/ahven/ahven-doubly_linked_list.adt)| | Please submit a bug report by email to report@adacore.com. | | GAP members can alternatively use GNAT Tracker: | | http://www.adacore.com/ section 'send a report'. | | See gnatinfo.txt for full info on procedure for submitting bugs. | | Use a subject line meaningful to you and us to track the bug. | | Include the entire contents of this bug box and the ASIS debug info | | in the report. | | Include the exact list of the parameters of the ASIS queries | | Asis.Implementation.Initialize and Asis.Ada_Environments.Associate | | from the ASIS application for which the bug is detected | | Also include sources listed below in gnatchop format | | (concatenated together with no headers between files). | | Use plain ASCII or MIME attachment. | | NOTE: ASIS bugs may be submitted to asis-report@adacore.com | +==========================================================================+ 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. -snip- -- Tero Koskinen - http://iki.fi/tero.koskinen/