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,2c7b0b777188b7c4
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!news.glorb.com!newsfeed101.telia.com!nf02.dk.telia.net!news.tele.dk!news.tele.dk!small.news.tele.dk!lnewsoutpeer00.lnd.ops.eu.uu.net!bnewsinpeer00.bru.ops.eu.uu.net!bnewspost00.bru.ops.eu.uu.net!emea.uu.net!read.news.fr.uu.net!not-for-mail
Date: Fri, 28 Oct 2005 14:35:18 +0200
From: Emmanuel Briot <briot@nospam.fr>
User-Agent: Mail/News 1.4.1 (X11/20051008)
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: GNAT GPL Edition Maintenance and Upgrades
References: <a790c$4342e299$499532c$1080@ALLTEL.NET>
   <1128499462.850353.146890@g44g2000cwa.googlegroups.com>
   <oNU0f.3248$4h2.686@newsread3.news.pas.earthlink.net>
   <87ek6zom2h.fsf@ludovic-brenta.org>
   <rVd1f.7719$oc.565@newsread2.news.pas.earthlink.net>
   <m2fyree0wz.fsf@grendel.local>
   <zFn1f.7633$zQ3.5405@newsread1.news.pas.earthlink.net>
   <mrw+A5Ls5qp1@eisner.encompasserve.org>
   <eLednaybe-pr89veRVn-vg@comcast.com>   <87ek697ga5.fsf@willow.rfc1149.net>
   <435e99ee$0$23939$9b4e6d93@newsread2.arcor-online.net>
   <1130321538.366226.26460@z14g2000cwz.googlegroups.com>
   <4360b346$0$22526$9b4e6d93@newsread4.arcor-online.net>
 <1130476216.365009.9090@g47g2000cwa.googlegroups.com>
 <43620890$0$22541$9b4e6d93@newsread4.arcor-online.net>
 <djt34t$4rn$1@sunnews.cern.ch>
In-Reply-To: <djt34t$4rn$1@sunnews.cern.ch>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <43621aff$0$25146$4d4eb98e@read.news.fr.uu.net>
NNTP-Posting-Host: lyon.act-europe.fr
X-Trace: 1130502912 read.news.fr.uu.net 25146 212.157.227.160:34544
X-Complaints-To: abuse@fr.uu.net
Xref: g2news1.google.com comp.lang.ada:6033
Date: 2005-10-28T14:35:18+02:00
List-Id: <comp.lang.ada>

> The version of GNAT that I got with my Linux distribution allows me to 
> overflow the Integer type without any exceptions at run time (and I can 
> also define my own range and overflow it without error). I guess that 
> with some chosen meaning of "good enough" this compiler would not be 
> released.

However, I am sure that it came with appropriate user documentation, 
which you might want to read (in particular the switches section), 
before assuming something is broken...