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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: f43e6,899fc98b2883af4a
X-Google-Attributes: gidf43e6,public
X-Google-Thread: 103376,583275b6950bf4e6
X-Google-Attributes: gid103376,public
X-Google-Thread: fdb77,5f529c91be2ac930
X-Google-Attributes: gidfdb77,public
X-Google-Thread: 1108a1,59ec73856b699922
X-Google-Attributes: gid1108a1,public
X-Google-ArrivalTime: 2003-05-19 00:57:01 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.freenet.de!feed.news.nacamar.de!uio.no!ntnu.no!not-for-mail
From: Preben Randhol <randhol+abuse@pvv.org>
Newsgroups: 
 comp.lang.java.advocacy,comp.object,comp.lang.ada,comp.software-eng
Subject: Re: Quality systems (Was: Using Ada for device drivers? (Was: the Ada
 mandate, and why it collapsed and died))
Followup-To: comp.lang.ada
Date: Mon, 19 May 2003 07:57:00 +0000 (UTC)
Organization: Norwegian university of science and technology
Message-ID: <slrnbch3ia.410.randhol+abuse@kiuk0152.chembio.ntnu.no>
References: <9fa75d42.0304230424.10612b1a@posting.google.com>
 <9fa75d42.0305091549.48b9c5d9@posting.google.com>
 <dstanbro-DDA263.20492210052003@mec2.bigpond.net.au>
 <ZpGva.13$1Q1.6@read3.inet.fi>
 <7507f79d.0305121629.5b8b7369@posting.google.com>
 <ln0wa.54$a03.44@read3.inet.fi>
 <9fa75d42.0305130543.60381450@posting.google.com>
 <254c16a.0305140549.3a87281b@posting.google.com>
 <9fa75d42.0305141747.5680c577@posting.google.com>
 <3ec4b1c9$1@news.wineasy.se> <AFdxa.3805$3t6.46222@news.xtra.co.nz>
 <9fa75d42.0305161748.1735fc32@posting.google.com>
 <Ygixa.86459$cO3.5860233@bgtnsc04-news.ops.worldnet.att.net>
 <URWxa.143$Ov2.92@nwrddc04.gnilink.net>
NNTP-Posting-Host: kiuk0152.chembio.ntnu.no
X-Trace: tyfon.itea.ntnu.no 1053331020 2045 129.241.83.78 (19 May 2003
 07:57:00 GMT)
X-Complaints-To: usenet@itea.ntnu.no
NNTP-Posting-Date: Mon, 19 May 2003 07:57:00 +0000 (UTC)
User-Agent: slrn/0.9.7.4 (Linux)
Xref: archiver1.google.com comp.lang.java.advocacy:64150 comp.object:63678
 comp.lang.ada:37504 comp.software-eng:19290
Date: 2003-05-19T07:57:00+00:00
List-Id: <comp.lang.ada>

Hyman Rosen wrote:
> C and C++ have undefined behavior on overflows. It is perfectly
> legal for an implementation to detect these and report an error.
> I don't know of any which do, however. It is to be noted that by
> default, GNAT has overflow checking disabled as well.

Just to make it clear, when you say overflows you mean numeric
overflows. Besides GNAT has division by zero checking is on by
default.

-- 
Preben Randhol                    http://www.pvv.org/~randhol/