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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,a8567eadfdf78b98
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-10-17 02:50:41 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.icl.net!newsfeed.fjserv.net!newsfeed.arcor-online.net!easynews.net!newsfeed3.easynews.net!feeder.news.heanet.ie!193.1.198.47.MISMATCH!not-for-mail
Newsgroups: comp.lang.ada
From: Colin_Paul_Gloster@ACM.org (Colin Paul Gloster)
Subject: Re: Why does this happen?
References: <3DAC92DB.4090307@linux.nu> <x7vhefnc5cu.fsf@pushface.org>
 <ur8eqwfb9.fsf@attglobal.net>
Reply-To: Colin_Paul_Gloster@ACM.org
Message-ID: <slrnaqt1vg.20e.Colin_Paul_Gloster@camac.dcu.ie>
User-Agent: slrn/0.9.7.0 (SunOS)
Organization: Dublin City University (DCU)
Cache-Post-Path: ns2-ext.dcu.ie!unknown@camac.dcu.ie
X-Cache: nntpcache 2.3.3 (see http://www.nntpcache.org/)
Date: 17 Oct 2002 09:50:41 GMT
NNTP-Posting-Date: 17 Oct 2002 09:50:41 GMT
NNTP-Posting-Host: 136.206.1.1
X-Trace: 1034848241 reader.news.heanet.ie 186 [::ffff:136.206.1.1]:47570
Xref: archiver1.google.com comp.lang.ada:29862
Date: 2002-10-17T09:50:41+00:00
List-Id: <comp.lang.ada>

In article <ur8eqwfb9.fsf@attglobal.net>, Jerry van Dijk wrote:

"Yes, the gcc GNAT 3.1 and 3.2 that come with the mingw system are not very
useful. However, after the freezing of the gcc 3.2 sources, a big update was
done to gcc GNAT, and it is now a LOT better.

If you want to try for yourself, goto

        http://prdownloads.sf.net/mingw

and download

        gnatgcc-3.3-exp-20021006-notes.txt.gz
        gnatgcc-3.3-exp-20021006.tar.gz        
        (and gnatgcc-3.3-exp-20021006.tar.gz if you need the sources)
  
[..] Although it is, IMO, much better then the 3.2 GNAT
version on Mingw, an ACVC run still shows some problems."

Does the -gnat83 switch still allow non-Ada83 programs with -1 .. 100
literal loop constraints pass without any warnings?