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,de2b55be4e00b909
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news3.google.com!news4.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!t-online.de!newsfeed.freenet.de!news.teledata-fn.de!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Sun, 22 Oct 2006 18:29:00 +0200
From: Georg Bauhaus <bauhaus@futureapps.de>
Organization: elsewhere
User-Agent: Thunderbird 1.5.0.7 (Macintosh/20060909)
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: "limited with" with gnat GPL
References: <1161366401.648875.60120@m73g2000cwd.googlegroups.com>
   <1161383707.21705.0.camel@localhost.localdomain>
   <1161429460.478197.11720@k70g2000cwa.googlegroups.com>
   <453a0a10$0$30312$9b4e6d93@newsspool1.arcor-online.net>
 <1161439426.949071.131770@b28g2000cwb.googlegroups.com>
In-Reply-To: <1161439426.949071.131770@b28g2000cwb.googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <453b9b64$0$27614$9b4e6d93@newsspool2.arcor-online.net>
NNTP-Posting-Date: 22 Oct 2006 18:25:08 CEST
NNTP-Posting-Host: 5cab481a.newsspool2.arcor-online.net
X-Trace: 
 DXC=\^GP7=KT015NTD<CL>55K=A9EHlD;3Yc24Fo<]lROoR1Fl8W>\BH3Y25Z\`^SC`HM;A:ho7QcPOV3FDLZE05\LC3FKJn3bV1V;8
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:7135
Date: 2006-10-22T18:25:08+02:00
List-Id: <comp.lang.ada>

evangeli@cnam.fr wrote:

>> This is an instance of a GNAT Bug Box....
> 
> so the bad news seems to be that the problem comes from GNAT and that I
> have to wait for a bug correction?
> do you think that testing on another platform could produce other
> results?
> 

One of the good things about GNAT is that it is easy to get or build
different versions if you cannot otherwise get a supported compiler.
 The Debian versions, for example,  come with some bug fixes
to the standard GNU distribution. GCC 4.2 is also fairly good.

Another option is, of course, to ask for support (which usually
either means that your project is academically or otherwise
interesting for AdaCore so they help you, or you buy a subscription.
Or try another Ada compiler if there is a budget.)