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!newshub.sdsu.edu!elnk-nf2-pas!newsfeed.earthlink.net!stamper.news.pas.earthlink.net!newsread2.news.pas.earthlink.net.POSTED!a6202946!not-for-mail
From: "Jeffrey R. Carter" <spam@spam.com>
Organization: jrcarter at acm dot org
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US;
 rv:1.7.12) Gecko/20050915
X-Accept-Language: en-us, en
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=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <fQw8f.3114$yX2.1049@newsread2.news.pas.earthlink.net>
Date: Fri, 28 Oct 2005 21:35:07 GMT
NNTP-Posting-Host: 67.3.212.184
X-Complaints-To: abuse@earthlink.net
X-Trace: newsread2.news.pas.earthlink.net 1130535307 67.3.212.184 (Fri,
 28 Oct 2005 14:35:07 PDT)
NNTP-Posting-Date: Fri, 28 Oct 2005 14:35:07 PDT
Xref: g2news1.google.com comp.lang.ada:6042
Date: 2005-10-28T21:35:07+00:00
List-Id: <comp.lang.ada>

Maciej Sobczak wrote:

> 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.

With any Ada compiler you can overflow signed integer types without causing an 
exception. It's called pragma Suppress.

The problem is that it's the default behavior with GNAT. GNAT is not, by 
default, an Ada compiler. You need to add -gnato and -fstack-check to make it one.

-- 
Jeff Carter
"Blessed are they who convert their neighbors'
oxen, for they shall inhibit their girth."
Monty Python's Life of Brian
83