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,3e26dfa741e64e5f X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news4.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local01.nntp.dca.giganews.com!nntp.scarlet.biz!news.scarlet.biz.POSTED!not-for-mail NNTP-Posting-Date: Sun, 18 Sep 2005 12:06:00 -0500 From: Ludovic Brenta Newsgroups: comp.lang.ada Subject: Re: GNAT GPL 2005 Edition is now available References: <432919be$0$10539$4d4eb98e@read.news.fr.uu.net> <1126773856.876636.265130@g49g2000cwa.googlegroups.com> <1126794444.071827.191320@o13g2000cwo.googlegroups.com> <877jdecrhj.fsf@mid.deneb.enyo.de> <877jde2vyx.fsf@ludovic-brenta.org> <87zmqa9vpy.fsf@mid.deneb.enyo.de> Date: Sun, 18 Sep 2005 19:05:35 +0200 Message-ID: <87y85u1f34.fsf@ludovic-brenta.org> User-Agent: Gnus/5.110004 (No Gnus v0.4) Emacs/21.4 (gnu/linux) Cancel-Lock: sha1:7wTqyxXhgx1i8hhyyuFvSiFmGPk= MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii NNTP-Posting-Host: 83.134.243.156 X-Trace: sv3-hzO/YH7XwwTxyWFISql2oKxxFjj2RJXVefV0E+ulDFDn8U/0AkwLUq/lbFOcELLtUMdX4TKEd9t/Wo3!39EgXW9/EBi7Ei69YAdxjiVsA04J4YST16DlRuuvAxAK8/WGXUMfi2Dyrr6QBOKQQETCAr177PU= X-Complaints-To: abuse@scarlet.be X-DMCA-Complaints-To: abuse@scarlet.biz X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.3.32 Xref: g2news1.google.com comp.lang.ada:4873 Date: 2005-09-18T19:05:35+02:00 List-Id: Florian Weimer writes: > GNAT 3.15p has no AMD64 support, and the tasking run-time is broken > on multiprocessor systems on x86. (Could be a kernel bug on this > particular machine, I don't have many SMP systems to test, > obviously.) I have a dual Pentium II @300 MHz, where Ada tasking programs utilise both processors without a problem (Debian Sarge, Linux 2.4.27, gnat 3.15p-12). > GCC 4.0 has a wrong-code bug in enumeration types with holes. I'm > reluctant to invest in a rewrite of my (quite valid!) Ada code to work > around this bug. There appear to be some other issues with array > range checks, but these are more subtle, and I haven't investigated > them further. Yes, this bug was reported recently on this newsgroup: ada/23836 on GCC's bugzilla database. > GCC 3.4 simply ICEs on my (valid) code. Not investigated further. gnat-3.4 still has many of the bugs from gnat 3.15p; solves a few, adds a few. > This will be painful for me because I cannot use your GNAT packages > anymore. You can use my packages for as long as you use Sarge :) More seriously, your desire for support for amd64 is one good reason to move forward. GNAT GPL 2005 Edition is based on GCC 3.4.4 (with several patches). It may or may not ICE on your code like GCC 3.4 does. I suggest you try it and decide for yourself which one suits you best. > But unless there's a perspective for de-facto support of GNAT (with > regular releases, and new platforms such as AMD64), I expect that > I'll have to rewrite the software anyway. 8-( I will try to support whichever version of GNAT is chosen for Debian. Both 3.4 and 4.0 support amd64, AFAIK. -- Ludovic Brenta.